


default search action
28th FMICS 2023: Antwerp, Belgium
- Alessandro Cimatti
, Laura Titolo
:
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14290, Springer 2023, ISBN 978-3-031-43680-2 - Davide Basile
, Franco Mazzanti
, Alessio Ferrari
:
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. 1-21 - Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi:
The 4SECURail Case Study on Rigorous Standard Interface Specifications. 22-39 - Francisco Durán, Nicolás Pozas
, Carlos Ramírez
, Camilo Rocha:
Statistical Model Checking for sf P. 40-56 - Lukas Johannes Dust, Rong Gu, Cristina Seceleanu
, Mikael Ekström, Saad Mubeen:
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. 57-75 - Bence Graics
, Vince Molnár, István Majzik:
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. 76-95 - Kim Guldstrand Larsen
, Axel Legay
, Danny Bøgsted Poulsen
:
Refinement of Systems with an Attacker Focus. 96-112 - Imran Riaz Hasrat
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. 113-130 - John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. 131-150 - Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn:
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. 151-169 - Neelanjana Pal
, Diego Manzanas Lopez
, Taylor T. Johnson
:
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. 170-188 - Aziz Sfar
, David Carral
, Dina Irofti
, Madalina Croitoru
:
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. 189-204 - Reza Soltani
, Matthias Volk
, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. 205-223 - Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang:
Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. 224-241 - Djurre van der Wal
, Marcus Gerhold
, Mariëlle Stoelinga
:
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. 242-258

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.