FMICS 2021 – List of accepted papers

  • Davide Basile, Alessandro Fantechi and Irene Rosadi: Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer
  • Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink and Giorgio Oronzo Spagnolo: Spatial Model Checking for Smart Stations: Research Challenges
  • Jens Bendisposto, David Geleßus, Michael Leuschel and Fabian Vu: ProB2-UI: A Java-based User Interface for ProB
  • Roberto Bruttomesso: Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker
  • Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol and Jim Woodcock: Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps
  • Hamid Jahanian: Parametric Faults in Safety Critical Programs
  • Andrej Kiviriga, Ulrik Nyman and Kim Guldstrand Larsen: Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
  • Daniel Larraz, Mickaël Laurent and Cesare Tinelli: Merit and Blame Assignment with Kind 2
  • Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré and Hiroaki Inoue: Automated Verification of Temporal Properties of Ladder Programs
  • Ismail Mendil, Yamine Ait Ameur, Neeraj Kumar Singh, Dominique Méry and Philippe Palanque: Standard Conformance-by-Construction with Event-B
  • Baptiste Pollien, Xavier Thirioux, Christophe Garion, Gautier Hattenberger and Pierre Roux: Verifying the Mathematical Library of an UAV Autopilot with Frama-C
  • Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty and Zhen Zhang: Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
  • Robert Rubbens, Sophie Lathouwers and Marieke Huisman: Modular Transformation of Java Exceptions Modulo Errors
  • Joshua Schmidt and Michael Leuschel: Improving SMT Solver Integrations for the Validation of B and Event-B Models
  • Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli and Georgios Fainekos: PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
  • Bernd Westphal: On education and training in formal methods for industrial critical systems