default search action

combined dblp search
author search
venue search
publication search

ask others

29th FMICS 2024: Milan, Italy

> Home > Conferences and Workshops > FMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2024
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

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Becker24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Becker24
Jan Steffen Becker:
Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CastiglioniLLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CastiglioniLLT24
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini:
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. 21-39
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DustGSEM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DustGSEM24
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

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LaarhovenBGW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LaarhovenBGW24
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/JimenezRoaRVS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/JimenezRoaRVS24
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/RobbyHB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/RobbyHB24
Robby, John Hatcliff, Jason Belt:
Logika: The Sireum Verification Framework. 97-116

Case Studies

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BaranovLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BaranovLV24
Eduard Baranov, Axel Legay, Martin Vivian:
Fuzzing an Industrial Proprietary Protocol. 119-135
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GehlertJKMRBPHL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GehlertJKMRBPHL24
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HaakWHB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HaakWHB24
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CavadaCGTBCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CavadaCGTBCZ24
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PereiraJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PereiraJL24
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

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SiddiquiMAKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SiddiquiMAKM24
Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar:
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. 201-219
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AurandtJRW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AurandtJRW24
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DucoffePGBMBDO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DucoffePGBMBDO24
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.