default search action

combined dblp search
author search
venue search
publication search

ask others

25th FMICS 2020: Vienna, Austria

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2020
Maurice H. ter Beek, Dejan Nickovic:
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Lecture Notes in Computer Science 12327, Springer 2020, ISBN 978-3-030-58297-5

FMICS 25th Anniversary

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GaravelBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GaravelBP20
Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol:
The 2020 Expert Survey on Formal Methods. 3-69

Quantitative Analysis and Cyber-Physical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GuESL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GuESL20
Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. 73-92
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KlinikGKE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KlinikGKE20
Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen:
Skylines for Symbolic Energy Consumption Analysis. 93-112
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KouskoulasMG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KouskoulasMG20
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin:
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers. 113-129
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MoradiASCST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MoradiASCST20
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott:
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. 130-147

Formal Verification of Industrial Systems

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BinderABHJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BinderABHJ20
Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan:
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. 151-169
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/WuRF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/WuRF20
May Wu, Jessie C. Rosenberg, Nathan Fulton:
A Formally Verified Plasma Vertical Position Control Algorithm. 170-188
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ButlerKKLLMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ButlerKKLLMV20
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin:
The First Twenty-Five Years of Industrial Use of the B-Method. 189-209
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LecomteLSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LecomteLSB20
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy:
A Safety Flasher Developed with the CLEARSY Safety Platform. 210-227

Temporal Logic and Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BunteGW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BunteGW20
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formal Verification of OIL Component Specifications using mCRL2. 231-251
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HuangC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HuangC20
Samuel Huang, Rance Cleaveland:
Temporal-Logic Query Checking over Finite Data Streams. 252-271
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/OzeerSLOV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/OzeerSLOV20
Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent:
Verification of a Failure Management Protocol for Stateful IoT Applications. 272-287

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.