default search action

combined dblp search
author search
venue search
publication search

ask others

26th FMICS 2021: Paris, France

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2021
Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12863, Springer 2021, ISBN 978-3-030-85247-4

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HansenGPTPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HansenGPTPW21
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock:
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LourencoCFMMI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LourencoCFMMI21
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue:
Automated Verification of Temporal Properties of Ladder Programs. 21-38
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BeekCLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BeekCLMS21
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo:
Spatial Model Checking for Smart Stations - Research Challenges. 39-47

Program Safety and Education

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Jahanian21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Jahanian21
Hamid Jahanian:
Parametric Faults in Safety Critical Programs. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/RubbensLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/RubbensLH21
Robert Rubbens, Sophie Lathouwers, Marieke Huisman:
Modular Transformation of Java Exceptions Modulo Errors. 67-84
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Westphal21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Westphal21
Bernd Westphal:
On Education and Training in Formal Methods for Industrial Critical Systems. 85-103

(Event-)B Modeling and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SchmidtL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SchmidtL21
Joshua Schmidt, Michael Leuschel:
Improving SMT Solver Integrations for the Validation of B and Event-B Models. 107-125
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MendilASMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MendilASMP21
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Standard Conformance-by-Construction with Event-B. 126-146

Formal Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KivirigaLN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KivirigaLN21
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. 149-166
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PollienGHRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PollienGHRT21
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. 167-173
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BasileFR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BasileFR21
Davide Basile, Alessandro Fantechi, Irene Rosadi:
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. 174-190

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BendispostoGJLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BendispostoGJLP21
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth:
ProB2-UI: A Java-Based User Interface for ProB. 193-201
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Bruttomesso21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Bruttomesso21
Roberto Bruttomesso:
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. 202-211
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LarrazLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LarrazLT21
Daniel Larraz, Mickaël Laurent, Cesare Tinelli:
Merit and Blame Assignment with Kind 2. 212-220

Test Generation and Probabilistic Verification

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ThibeaultACPF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ThibeaultACPF21
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos:
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. 223-231
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/RobertsLHBRCZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/RobertsLHBRCZ21
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang:
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. 232-248

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.