FMICS

Keyphrases

Publications

2023

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. FMICS (2023)
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. FMICS (2023)
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. FMICS (2023)
Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. FMICS (2023)
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. FMICS (2023)
Davide Basile, Franco Mazzanti, Alessio Ferrari
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. FMICS (2023)
Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. FMICS (2023)
Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha
Statistical Model Checking for sf P. FMICS (2023)
Bence Graics, Vince Molnár, István Majzik
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. FMICS (2023)
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
Automated Property-Based Testing from AADL Component Contracts. FMICS (2023)
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. FMICS (2023)
Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Refinement of Systems with an Attacker Focus. FMICS (2023)
Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. FMICS (2023)
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. FMICS (2023)

volume 14290, 2023

Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings FMICS 14290 (2023)

2022

volume 13487, 2022

Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings FMICS 13487 (2022)

2021

volume 12863, 2021

Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings FMICS 12863 (2021)

2020

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formal Verification of OIL Component Specifications using mCRL2. FMICS (2020)

volume 12327, 2020

Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings FMICS 12327 (2020)