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

TOTAL DOCUMENTS

28

(FIVE YEARS 28)

H-INDEX

3

(FIVE YEARS 3)

Published By Springer International Publishing

9783030304454, 9783030304461

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

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

10.1007/978-3-030-30446-1_25 ◽

2019 ◽

pp. 471-490 ◽

Author(s):

Marie Farrell ◽

Matthew Bradbury ◽

Michael Fisher ◽

Louise A. Dennis ◽

Clare Dixon ◽

...

Keyword(s):

Formal Verification ◽

Analysis Techniques ◽

Threat Analysis ◽

Cooperative Awareness Messages ◽

Cooperative Awareness

Download Full-text

Incorporating Data into EFSM Inference

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

10.1007/978-3-030-30446-1_14 ◽

2019 ◽

pp. 257-272

Author(s):

Michael Foster ◽

Achim D. Brucker ◽

Ramsay G. Taylor ◽

Siobhán North ◽

John Derrick

Download Full-text

Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators

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

10.1007/978-3-030-30446-1_22 ◽

2019 ◽

pp. 410-429

Author(s):

Anton Wijs ◽

Maciej Wiłkowski

Keyword(s):

Formal Verification ◽

Push Button ◽

Code Generators

Download Full-text

Local Nontermination Detection for Parallel C++ Programs

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

10.1007/978-3-030-30446-1_20 ◽

2019 ◽

pp. 373-390

Author(s):

Vladimír Štill ◽

Jiří Barnat

Keyword(s):

Download Full-text

Isabelle/DOF: Design and Implementation

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

10.1007/978-3-030-30446-1_15 ◽

2019 ◽

pp. 275-292 ◽

Author(s):

Achim D. Brucker ◽

Burkhart Wolff

Keyword(s):

Design And Implementation

Download Full-text

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

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

10.1007/978-3-030-30446-1_5 ◽

2019 ◽

pp. 87-104 ◽

Author(s):

Mario Gleirscher ◽

Simon Foster ◽

Yakoub Nemouchi

Keyword(s):

Autonomous Robots ◽

Formal Model ◽

Model Based ◽

Assurance Cases

Download Full-text

SAT Encodings of the At-Most-k Constraint

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

10.1007/978-3-030-30446-1_7 ◽

2019 ◽

pp. 127-144 ◽

Author(s):

Paul Maximilian Bittner ◽

Thomas Thüm ◽

Ina Schaefer

Download Full-text

Let’s Prove It Later—Verification at Different Points in Time

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

10.1007/978-3-030-30446-1_24 ◽

2019 ◽

pp. 454-468

Author(s):

Martin Ring ◽

Christoph Lüth

Download Full-text

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach

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

10.1007/978-3-030-30446-1_13 ◽

2019 ◽

pp. 243-256

Author(s):

Florent Avellaneda ◽

Alexandre Petrenko

Download Full-text

Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data

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

10.1007/978-3-030-30446-1_1 ◽

2019 ◽

pp. 3-25 ◽

Author(s):

Wil M. P. van der Aalst

Keyword(s):

Process Mining ◽

Download Full-text