default search action
17th IFM 2022: Lugano, Switzerland
- Maurice H. ter Beek
, Rosemary Monahan
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Lecture Notes in Computer Science 13274, Springer 2022, ISBN 978-3-031-07726-5
Invited Presentations
- Louise A. Dennis
Verifying Autonomous Systems. 3-17 - Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere
Empowering the Event-B Method Using External Theories. 18-35
Cooperative and Relational Verification
- Marie Farrell, Nikos Mavrakis
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. 39-44 - Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich
Formal Specification and Verification of JDK's Identity Hash Map Implementation. 45-62 - Marie-Christine Jakobs
Reusing Predicate Precision in Value Analysis. 63-85 - Lionel Blatter
Certified Verification of Relational Properties. 86-105
B Method
- Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. 109-128 - Michael Leuschel
Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. 129-145
Time
- Marcelo Forets
Conservative Time Discretization: A Comparative Study. 149-167 - Neda Saeedloei, Feliks Kluzniak:
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. 168-187
Probability
- Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Model Checking of BPMN Processes at Runtime. 191-208 - Eshita Zaman, Gianfranco Ciardo
HyperPCTL Model Checking by Probabilistic Decomposition. 209-226
Learning and Synthesis
- Edi Muskardin
Learning Finite State Models fromRecurrent Neural Networks. 229-248 - Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen
Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. 249-267
Security
- Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida
Verified Password Generation from Password Composition Policies. 271-288 - Chinmayi Prabhu Baramashetru
A Policy Language to Capture Compliance of Data Protection Requirements. 289-309
Static Analysis and Testing
- Alexander Kolchin
Extending Data Flow Coverage to Test Constraint Refinements. 313-321 - Alen Arslanagic
Scalable Typestate Analysis for Low-Latency Environments. 322-340
PhD Symposium Presentations
- Carolina Carreira:
Studying Users' Willingness to Use a Formally Verified Password Manager. 343-346 - Akhila Bairy
Modeling Explanations in Autonomous Vehicles. 347-351 - Oisín Sheridan, Rosemary Monahan, Matt Luckcuck:
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. 352-356 - Luís Carvalho:
A Dialogue Interface for Low Code Program Evolution. 357-360 - Joana Parreira:
Simple Dependent Types for OSTRICH. 361-364 - Eduardo Geraldo
SNITCH: A Platform for Information Flow Control. 365-368 - Conor Reynolds
Machine-Assisted Proofs for Institutions in Coq. 369-372
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.
last updated on 2024-12-31 21:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: