Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th FMICS 2021: Paris, France
- 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
- 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 - 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 - 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
- Hamid Jahanian:
Parametric Faults in Safety Critical Programs. 51-66 - Robert Rubbens, Sophie Lathouwers, Marieke Huisman:
Modular Transformation of Java Exceptions Modulo Errors. 67-84 - Bernd Westphal:
On Education and Training in Formal Methods for Industrial Critical Systems. 85-103
(Event-)B Modeling and Validation
- Joshua Schmidt, Michael Leuschel:
Improving SMT Solver Integrations for the Validation of B and Event-B Models. 107-125 - 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
- Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. 149-166 - Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. 167-173 - 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
- 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 - Roberto Bruttomesso:
Intrepid: A Scriptable and Cloud-Ready SMT-Based Model Checker. 202-211 - Daniel Larraz, Mickaël Laurent, Cesare Tinelli:
Merit and Blame Assignment with Kind 2. 212-220
Test Generation and Probabilistic Verification
- 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 - 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
a service of 
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 2024-05-21 21:43 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:
