default search action
27th FMICS 2022: Warsaw, Poland
- Jan Friso Groote, Marieke Huisman:
Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Lecture Notes in Computer Science 13487, Springer 2022, ISBN 978-3-031-15007-4
Invited Keynote Talks
- Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reinforcement Learning with Guarantees that Hold for Ever. 3-7 - Bas Luttik:
Supporting Railway Innovations with Formal Modelling and Verification. 8-11
Certification
- Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober:
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. 15-31 - Fabian Vu, Christopher Happe, Michael Leuschel:
Generating Domain-Specific Interactive Validation Documents. 32-49 - Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles:
Deductive Verification of Smart Contracts with Dafny. 50-66
Industrial Use Cases
- Julius Adelt, Julian Gebker, Paula Herber:
Towards Reusable Formal Models for Custom Real-Time Operating Systems. 69-85 - Anna Stramaglia, Jeroen J. A. Keiren:
Formal Verification of an Industrial UML-like Model using mCRL2. 86-102 - Rose Bohrer:
Chemical Case Studies in KeYmaera X. 103-120 - Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel:
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. 121-133
Testing and Monitoring
- Marco Grochowski, Marcus Völker, Stefan Kowalewski:
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. 137-154 - André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira:
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. 155-171 - Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel:
Model-Based Testing of Internet of Things Protocols. 172-189
Methodology
- Anton Hampus, Mattias Nyberg:
Formally Verifying Decompositions of Stochastic Specifications. 193-210 - Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher:
Verification of Behavior Trees using Linear Constrained Horn Clauses. 211-225 - Dennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn:
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems. 226-243
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.