default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th SEFM 2018: Toulouse, France
- Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9
Invited Keynote
- Mark Harman:
We Need a Testability Transformation Semantics. 3-17
Specification
- Stefan Hallerstede, Miran Hasanagic, Sebastian Krings
, Peter Gorm Larsen, Michael Leuschel:
From Software Specifications to Constraint Programming. 21-36 - Christoph Schulze, Rance Cleaveland, Mikael Lindvall:
Automated Specification Extraction and Analysis with Specstractor. 37-53 - Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin:
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. 54-69
Concurrency
- Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen:
Program Verification for Exception Handling on Active Objects Using Futures. 73-88 - Stefan Schupp, Erika Ábrahám:
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. 89-104 - Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim:
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. 105-120
Program Analysis
- Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser:
Monte Carlo Tree Search for Finding Costly Paths in Programs. 123-138 - Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
A Cloud-Based Execution Framework for Program Analysis. 139-154 - Rijnard van Tonder, Claire Le Goues:
Cross-Architecture Lifter Synthesis. 155-170
Model Checking and Runtime Verification
- Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Counterexample Simplification for Liveness Property Violation. 173-188 - Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná:
Online Enumeration of All Minimal Inductive Validity Cores. 189-204 - Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister:
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning. 205-220
Applications
- Adnan Rashid, Umair Siddique, Osman Hasan:
Formal Verification of Platoon Control Strategies. 223-238 - Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson:
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. 239-253 - Yunja Choi:
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. 254-268
Shape Analysis and Reuse
- Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll:
Graph-Based Shape Analysis Beyond Context-Freeness. 271-286 - Gabriel Campeanu:
Facilitating Component Reusability in Embedded Systems with GPUs. 287-301
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-30 00:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
