Abstract is missing.
- Model-Based Testing Strategies and Their (In)dependence on Syntactic Model RepresentationsJan Peleska, Wen-ling Huang. 3-21 [doi]
- Abstract Interpretation of MATLAB Code with Interval SetsChristian Dernehl, Norman Hansen, Stefan Kowalewski. 25-38 [doi]
- Workflow Nets Verification: SMT or CLP?Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron. 39-55 [doi]
- One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFastMahmoud Mohsen, Bart Jacobs 0002. 56-64 [doi]
- Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual SlicingTakuro Kutsuna, Yoshinao Ishii. 65-80 [doi]
- Towards the Automated Verification of Weibull Distributions for System Failure RatesYu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001. 81-96 [doi]
- Fault-Aware Modeling and Specification for Efficient Formal Safety AnalysisAxel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif. 97-114 [doi]
- Block Library Driven Translation Validation for Dataflow Models in Safety Critical SystemsArnaud Dieumegard, Andres Toom, Marc Pantel. 117-132 [doi]
- A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling SystemsMounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen. 133-141 [doi]
- Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android ApplicationsIrina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh. 142-149 [doi]
- Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems withAxel Habermaier, Johannes Leupolz, Wolfgang Reif. 150-167 [doi]
- Formal Verification of a Rover Anti-collision SystemNing Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau. 171-188 [doi]
- Verification of AUTOSAR Software Architectures with Timed AutomataSteffen Beringer, Heike Wehrheim. 189-204 [doi]
- Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical SystemPhilip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola. 205-213 [doi]
- Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling SystemSomsak Vanit-Anunchai. 214-230 [doi]
- Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling SystemsAlessandro Fantechi. 231-245 [doi]