default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th FMICS 2023: Antwerp, Belgium
- Alessandro Cimatti
, Laura Titolo:
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14290, Springer 2023, ISBN 978-3-031-43680-2 - Davide Basile, Franco Mazzanti, Alessio Ferrari:
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. 1-21 - Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi:
The 4SECURail Case Study on Rigorous Standard Interface Specifications. 22-39 - Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha:
Statistical Model Checking for sf P. 40-56 - Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. 57-75 - Bence Graics, Vince Molnár, István Majzik:
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. 76-95 - Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. 96-112 - Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. 113-130 - John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. 131-150 - Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn:
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. 151-169 - Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson:
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. 170-188 - Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru:
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. 189-204 - Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. 205-223 - Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang:
Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. 224-241 - Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga:
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. 242-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 2025-01-07 20:32 CET 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:
