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

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319929699, 9783319929705

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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 ◽

Author(s):

Reza Babaee ◽

Arie Gurfinkel ◽

Sebastian Fischmeister

Keyword(s):

Statistical Learning ◽

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 ◽

Author(s):

Adnan Rashid ◽

Umair Siddique ◽

Osman Hasan

Keyword(s):

Formal Verification ◽

Control Strategies

Download Full-text

A Cloud-Based Execution Framework for Program Analysis

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

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

2018 ◽

pp. 139-154

Author(s):

Daniel Balasubramanian ◽

Dmitriy Kostyuchenko ◽

Kasper Luckow ◽

Rody Kersten ◽

Gabor Karsai

Keyword(s):

Program Analysis

Download Full-text