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

scholarly journals Counterexample Simplification for Liveness Property Violation

2018 ◽  
pp. 173-188
Author(s):  
Gianluca Barbon ◽  
Vincent Leroy ◽  
Gwen Salaün
Keyword(s):  
Liveness Property

Monte Carlo Tree Search for Finding Costly Paths in Programs

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

scholarly journals Graph-Based Shape Analysis Beyond Context-Freeness

2018 ◽  
pp. 271-286
Author(s):  
Hannah Arndt ◽  
Christina Jansen ◽  
Christoph Matheja ◽  
Thomas Noll
Keyword(s):  
Shape Analysis

Cross-Architecture Lifter Synthesis

2018 ◽  
pp. 155-170
Author(s):  
Rijnard van Tonder ◽  
Claire Le Goues

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

2018 ◽  
pp. 105-120
Author(s):  
Gerhard Schellhorn ◽  
Monika Wedel ◽  
Oleg Travkin ◽  
Jürgen König ◽  
Heike Wehrheim

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

2018 ◽  
pp. 205-220 ◽  
Author(s):  
Reza Babaee ◽  
Arie Gurfinkel ◽  
Sebastian Fischmeister
Keyword(s):  
Statistical Learning ◽  
Run Time

scholarly journals Formal Verification of Platoon Control Strategies

2018 ◽  
pp. 223-238 ◽  
Author(s):  
Adnan Rashid ◽  
Umair Siddique ◽  
Osman Hasan
Keyword(s):  
Formal Verification ◽  
Control Strategies

Online Enumeration of All Minimal Inductive Validity Cores

2018 ◽  
pp. 189-204 ◽  
Author(s):  
Jaroslav Bendík ◽  
Elaheh Ghassabani ◽  
Michael Whalen ◽  
Ivana Černá
Load More ...
Sign in / Sign up

Export Citation Format

Share Document