default search action
25th FMICS 2020: Vienna, Austria
- 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
- 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
- Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. 73-92 - Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen:
Skylines for Symbolic Energy Consumption Analysis. 93-112 - Yanni Kouskoulas, Thyago J. Machado, Daniel Genin:
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers. 113-129 - 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
- Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan:
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. 151-169 - May Wu, Jessie C. Rosenberg, Nathan Fulton:
A Formally Verified Plasma Vertical Position Control Algorithm. 170-188 - 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 - Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy:
A Safety Flasher Developed with the CLEARSY Safety Platform. 210-227
Temporal Logic and Model Checking
- Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formal Verification of OIL Component Specifications using mCRL2. 231-251 - Samuel Huang, Rance Cleaveland:
Temporal-Logic Query Checking over Finite Data Streams. 252-271 - 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.