FMICS

Keyphrases

Publications

2024

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. FMICS (2024)
Robby, John Hatcliff, Jason Belt
Logika: The Sireum Verification Framework. FMICS (2024)
Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formalising the Industrial Language SMMT in mCRL2. FMICS (2024)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS (2024)
Jan Steffen Becker
Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. FMICS (2024)
Eduard Baranov, Axel Legay, Martin Vivian
Fuzzing an Industrial Proprietary Protocol. FMICS (2024)
Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. FMICS (2024)
Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux
Modelling and Analysis of DTLS: Power Consumption and Attacks. FMICS (2024)
Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte
Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. FMICS (2024)
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. FMICS (2024)
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS (2024)
Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. FMICS (2024)
Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. FMICS (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS (2024)

volume 14952, 2024

Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings FMICS 14952 (2024)

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)