default search action

combined dblp search
author search
venue search
publication search

ask others

27th FMICS 2022: Warsaw, Poland

> 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/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HahnPSSTW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HahnPSSTW22
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reinforcement Learning with Guarantees that Hold for Ever. 3-7
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Luttik22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Luttik22
Bas Luttik:
Supporting Railway Innovations with Formal Modelling and Verification. 8-11

Certification

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/VidotDGOO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/VidotDGOO22
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/VuHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/VuHL22
Fabian Vu, Christopher Happe, Michael Leuschel:
Generating Domain-Specific Interactive Validation Documents. 32-49
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CassezFQ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CassezFQ22
Franck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles:
Deductive Verification of Smart Contracts with Dafny. 50-66

Industrial Use Cases

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AdeltGH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AdeltGH22
Julius Adelt, Julian Gebker, Paula Herber:
Towards Reusable Formal Models for Custom Real-Time Operating Systems. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/StramagliaK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/StramagliaK22
Anna Stramaglia, Jeroen J. A. Keiren:
Formal Verification of an Industrial UML-like Model using mCRL2. 86-102
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Bohrer22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Bohrer22
Rose Bohrer:
Chemical Case Studies in KeYmaera X. 103-120
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BergerLNSBFK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BergerLNSBFK22
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

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GrochowskiVK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GrochowskiVK22
Marco Grochowski, Marcus Völker, Stefan Kowalewski:
Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production. 137-154
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PedroSSLSF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PedroSSLSF22
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DommelenBP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DommelenBP22
Xavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel:
Model-Based Testing of Internet of Things Protocols. 172-189

Methodology

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HampusN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HampusN22
Anton Hampus, Mattias Nyberg:
Formally Verifying Decompositions of Stochastic Specifications. 193-210
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HennVKTPB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HennVKTPB22
Thomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher:
Verification of Behavior Trees using Linear Constrained Horn Clauses. 211-225
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HendriksMO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HendriksMO22
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.