default search action

combined dblp search
author search
venue search
publication search

ask others

28th FMICS 2023: Antwerp, Belgium

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2023
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BasileMF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BasileMF23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BelliFGMMQTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BelliFGMMQTV23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DuranPRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DuranPRR23
Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha:
Statistical Model Checking for sf P. 40-56
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DustGSEM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DustGSEM23
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. 57-75
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GraicsMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GraicsMM23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LarsenLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LarsenLP23
Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. 96-112
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HasratJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HasratJLS23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HatcliffBRLSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HatcliffBRLSC23
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. 131-150
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/JohannsenKJRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/JohannsenKJRW23
Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn:
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. 151-169
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PalLJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PalLJ23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SfarCIC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SfarCIC23
Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru:
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. 189-204
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SoltaniVDLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SoltaniVDLS23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SunMWZW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SunMWZW23
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/WalGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/WalGS23
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.