![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.