Accepted Papers

Full Papers | Short Papers | Journal-First

Full Papers

  • 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.

Short Papers

  • 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.

Journal-First Papers

  • 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.