Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319152004, 9783319152011

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Retrieving Points of Interest from Human Systematic Movements

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_19 ◽

2015 ◽

pp. 294-308 ◽

Author(s):

Riccardo Guidotti ◽

Anna Monreale ◽

Salvatore Rinzivillo ◽

Dino Pedreschi ◽

Fosca Giannotti

Keyword(s):

Points Of Interest

Download Full-text

On Generation of Context-Abstract Plans

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_25 ◽

2015 ◽

pp. 376-388

Author(s):

Łukasz Mikulski ◽

Artur Niewiadomski ◽

Marcin Piątkowski ◽

Sebastian Smyczyński

Download Full-text

Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_20 ◽

2015 ◽

pp. 311-322 ◽

Author(s):

Andreas Ibing

Keyword(s):

Partial Order ◽

Symbolic Execution ◽

Download Full-text

A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_16 ◽

2015 ◽

pp. 243-258

Author(s):

Sheema Sameen ◽

Roberto Barbuti ◽

Paolo Milazzo ◽

Antonio Cerone

Keyword(s):

Colorectal Cancer ◽

Mathematical Model ◽

Monoclonal Antibody ◽

Kras Mutation ◽

Antibody Treatment ◽

Monoclonal Antibody Treatment

Download Full-text

OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_11 ◽

2015 ◽

pp. 164-181

Author(s):

Patrick Mukala ◽

Antonio Cerone ◽

Franco Turini

Keyword(s):

Learning Processes

Download Full-text

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_1 ◽

2015 ◽

pp. 3-19 ◽

Author(s):

Bernhard Beckert ◽

Sarah Grebing ◽

Florian Böhl

Keyword(s):

Focus Groups ◽

Usability Evaluation ◽

Theorem Provers ◽

Interactive Theorem Provers

Download Full-text

An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_15 ◽

2015 ◽

pp. 227-242 ◽

Author(s):

Patrick Mukala ◽

Antonio Cerone ◽

Franco Turini

Keyword(s):

Learning Process ◽

State Machine ◽

Abstract State Machine

Download Full-text

Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_12 ◽

2015 ◽

pp. 182-198 ◽

Author(s):

Patrick Mukala ◽

Antonio Cerone ◽

Franco Turini

Keyword(s):

Process Mining ◽

State Of The Art ◽

Download Full-text

Quantitative Anonymity Evaluation of Voting Protocols

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_22 ◽

2015 ◽

pp. 335-349 ◽

Author(s):

Fabrizio Biondi ◽

Axel Legay

Download Full-text

Modelling and Verification of Survivability Requirements for Critical Systems

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_6 ◽

2015 ◽

pp. 86-100

Author(s):

Simona Bernardi ◽

Lacramioara Dranca ◽

José Merseguer

Keyword(s):

Critical Systems

Download Full-text