default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th 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, Neeraj Kumar Singh:
Empowering the Event-B Method Using External Theories. 18-35
Cooperative and Relational Verification
- Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
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, Alexander Weigl:
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, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
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, Christian Schilling:
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, Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL Model Checking by Probabilistic Decomposition. 209-226
Learning and Synthesis
- Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler:
Learning Finite State Models fromRecurrent Neural Networks. 229-248 - Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund:
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, Alexandra Mendes:
Verified Password Generation from Password Composition Policies. 271-288 - Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka:
A Policy Language to Capture Compliance of Data Protection Requirements. 289-309
Static Analysis and Testing
- Alexander Kolchin, Stepan Potiyenko:
Extending Data Flow Coverage to Test Constraint Refinements. 313-321 - Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
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, Rosemary Monahan:
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 2026-05-22 02:24 CEST 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:
