default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th FMICS 2024: Milan, Italy
- Anne E. Haxthausen
, Wendelin Serwe:
Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. Lecture Notes in Computer Science 14952, Springer 2024, ISBN 978-3-031-68149-3
Real-Time Systems/Robotics
- Jan Steffen Becker:
Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. 3-20 - Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini:
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. 21-39 - 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. 40-59
Semantics and Verification
- Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formalising the Industrial Language SMMT in mCRL2. 63-79 - Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga:
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. 80-96 - Robby, John Hatcliff, Jason Belt:
Logika: The Sireum Verification Framework. 97-116
Case Studies
- Eduard Baranov, Axel Legay, Martin Vivian:
Fuzzing an Industrial Proprietary Protocol. 119-135 - 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. 136-151 - 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. 152-169 - 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. 170-181 - 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. 182-198
Neural Networks
- Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar:
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. 201-219 - Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn:
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. 220-244 - 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. 245-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.
last updated on 2026-05-25 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
