Full Papers | Short Papers | Journal-First
Practical Abstractions for Automated Verification of Message Passing Concurrency.
Wytse Oortwijn and Marieke Huisman.
Sound Probabilistic Numerical Error Analysis.
Debasmita Lohar, Milos Prokop and Eva Darulova.
Axiomatic Characterization of Trace Reachability for Concurrent Objects.
Frank de Boer and Hans-Dieter Hiep.
A Program Logic For Dependence Analysis.
Richard Bubel, Reiner Hähnle and Asmae Heydari Tabar.
Learning to reuse: Adaptive model learning for evolving systems.
Carlos Diego Damasceno, Mohammadreza Mousavi and Adenilso Simao.
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.
Yakoub Nemouchi, Simon Foster, Mario Gleirscher and Tim Kelly.
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving.
Sebastian Krings and Michael Leuschel.
Accelerating Parameter Synthesis using Semi-Algebraic Constraints.
Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva and David Šafránek.
Relating Alternating Relations for Conformance and Refinement.
Ramon Janssen, Frits Vaandrager and Jan Tretmans.
Resource sharing via capability-based multiparty session types.
A. Laura Voinea, Ornela Dardha and Simon Gay.
Asynchronous Testing of Synchronous Components in GALS Systems.
Lina Marsso, Radu Mateescu, Ioannis Parissis and Wendelin Serwe.
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.
Wytse Oortwijn and Marieke Huisman.
Using Ontologies in Formal Developments Targeting Certification.
Achim D. Brucker and Burkhart Wolff.
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming.
Tuur Benoit and Bart Jacobs.
Dynamic Reconfigurations in Frequency Constrained Data Flow.
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov and Arnault Lapitre.
Computing Bisimilarity Metrics for Probabilistic Timed Automata.
Ruggero Lanotte and Simone Tini.
An integrated approach to a combinatorial optimisation problem.
Juliana Küster Filipe Bowles and Marco B. Caminati.
Automated Drawing of Railway Schematics using SAT and optimization.
Bjørnar Luteberget, Koen Claessen and Christian Johansen.
Dione: A protocol verification system built with Dafny for I/O Automata.
Chiao Hsieh and Sayan Mitra.
Evaluation of Program Slicing in Software Verification.
Marek Chalupa and Jan Strejček.
Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning.
Helene Coullon, Claude Jard and Didier Lime.
Visualization and Abstractions for Execution Paths in Model-based Software Testing.
Rui Wang, Cyrille Valentin Artho, Lars Michael Kristensen and Volker Stolz.
A Multi-Target Code Generator for High-Level B.
Fabian Vu, Philipp Koerner and Michael Leuschel.
Ontology-Mediated Probabilistic Model Checking.
Clemens Dubslaff, Patrick Koopmann and Anni-Yasmin Turhan.
Fuzzing JavaScript Environment APIs with Interdependent Function Calls.
Renáta Hodován, Dániel Vince and Ákos Kiss.
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications.
Matteo Camilli, Angelo Gargantini, Rosario Madaudo and Patrizia Scandurra.
Interactive Visualization of Saturation Attempts in Vampire.
Bernhard Gleiss, Laura Kovacs and Lena Schnedlitz.
SIGmA: GPU Accelerated Simplification of SAT Formulas.
Muhammad Osama and Anton Wijs.
A Scalable Framework for Quantitative Modeling and Analysis of Highly Configurable Systems.
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin.
An Evaluation of Interaction Paradigms for Active Objects.
Farzane Karami, Olaf Owe and Toktam Ramezanifarkhani.
On Checking Delta-Oriented Product Lines of Statecharts.
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa and Gianluca Turin
On the Expressiveness of MTSs with Variability Constraints.
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti and Luca Paolini.
Dynamic Structural Operational Semantics.
Christian Johansen and Olaf Owe.
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon and Michael Fisher.