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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030304454, 9783030304461

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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):

C Programs

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 ◽

Cited By ~ 2

Author(s):

Achim D. Brucker ◽

Burkhart Wolff

Keyword(s):

Design And Implementation

Download Full-text

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 ◽

Cited By ~ 1

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

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 2

Author(s):

Wil M. P. van der Aalst

Keyword(s):

Process Mining ◽

Event Data

Download Full-text

Software Engineering and Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

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

Local Nontermination Detection for Parallel C++ Programs

Isabelle/DOF: Design and Implementation

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

Incorporating Data into EFSM Inference

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

SAT Encodings of the At-Most-k Constraint

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

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

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

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