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

9783319929699, 9783319929705

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Counterexample Simplification for Liveness Property Violation

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

10.1007/978-3-319-92970-5_11 ◽

2018 ◽

pp. 173-188

Author(s):

Gianluca Barbon ◽

Vincent Leroy ◽

Gwen Salaün

Keyword(s):

Liveness Property

Download Full-text

Monte Carlo Tree Search for Finding Costly Paths in Programs

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

10.1007/978-3-319-92970-5_8 ◽

2018 ◽

pp. 123-138

Author(s):

Kasper Luckow ◽

Corina S. Păsăreanu ◽

Willem Visser

Keyword(s):

Monte Carlo ◽

Tree Search ◽

Monte Carlo Tree Search

Download Full-text

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems

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

10.1007/978-3-319-92970-5_6 ◽

2018 ◽

pp. 89-104

Author(s):

Stefan Schupp ◽

Erika Ábrahám

Keyword(s):

Hybrid Systems ◽

Safety Analysis

Download Full-text

Graph-Based Shape Analysis Beyond Context-Freeness

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

10.1007/978-3-319-92970-5_17 ◽

2018 ◽

pp. 271-286

Author(s):

Hannah Arndt ◽

Christina Jansen ◽

Christoph Matheja ◽

Thomas Noll

Keyword(s):

Shape Analysis

Download Full-text

Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation

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

10.1007/978-3-319-92970-5_16 ◽

2018 ◽

pp. 254-268

Author(s):

Yunja Choi

Keyword(s):

Specific Model ◽

Model Generation ◽

Control Programs ◽

Domain Specific

Download Full-text

Cross-Architecture Lifter Synthesis

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

10.1007/978-3-319-92970-5_10 ◽

2018 ◽

pp. 155-170

Author(s):

Rijnard van Tonder ◽

Claire Le Goues

Download Full-text

FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity

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

10.1007/978-3-319-92970-5_7 ◽

2018 ◽

pp. 105-120

Author(s):

Gerhard Schellhorn ◽

Monika Wedel ◽

Oleg Travkin ◽

Jürgen König ◽

Heike Wehrheim

Download Full-text

$$\mathcal {P}revent$$: A Predictive Run-Time Verification Framework Using Statistical Learning

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

10.1007/978-3-319-92970-5_13 ◽

2018 ◽

pp. 205-220 ◽

Cited By ~ 5

Author(s):

Reza Babaee ◽

Arie Gurfinkel ◽

Sebastian Fischmeister

Keyword(s):

Statistical Learning ◽

Run Time

Download Full-text

Formal Verification of Platoon Control Strategies

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

10.1007/978-3-319-92970-5_14 ◽

2018 ◽

pp. 223-238 ◽

Cited By ~ 4

Author(s):

Adnan Rashid ◽

Umair Siddique ◽

Osman Hasan

Keyword(s):

Formal Verification ◽

Control Strategies

Download Full-text

Online Enumeration of All Minimal Inductive Validity Cores

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

10.1007/978-3-319-92970-5_12 ◽

2018 ◽

pp. 189-204 ◽

Cited By ~ 4

Author(s):

Jaroslav Bendík ◽

Elaheh Ghassabani ◽

Michael Whalen ◽

Ivana Černá

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Counterexample Simplification for Liveness Property Violation

Monte Carlo Tree Search for Finding Costly Paths in Programs

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems

Graph-Based Shape Analysis Beyond Context-Freeness

Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation

Cross-Architecture Lifter Synthesis

FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity

$$\mathcal {P}revent$$: A Predictive Run-Time Verification Framework Using Statistical Learning

Formal Verification of Platoon Control Strategies

Online Enumeration of All Minimal Inductive Validity Cores

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