IFM

Keyphrases

Publications

2022

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. IFM (2022)
Neda Saeedloei, Feliks Kluzniak
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. IFM (2022)
Oisín Sheridan, Rosemary Monahan, Matt Luckcuck
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. IFM (2022)
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. IFM (2022)
Carolina Carreira
Studying Users' Willingness to Use a Formally Verified Password Manager. IFM (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
Certified Verification of Relational Properties. IFM (2022)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Probabilistic Model Checking of BPMN Processes at Runtime. IFM (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
Learning Finite State Models fromRecurrent Neural Networks. IFM (2022)
Conor Reynolds, Rosemary Monahan
Machine-Assisted Proofs for Institutions in Coq. IFM (2022)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM (2022)
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
HyperPCTL Model Checking by Probabilistic Decomposition. IFM (2022)
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka
A Policy Language to Capture Compliance of Data Protection Requirements. IFM (2022)
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. IFM (2022)
Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis
Reachability Analysis and Simulation for Hybridised Event-B Models. IFM (2022)
Marie-Christine Jakobs
Reusing Predicate Precision in Value Analysis. IFM (2022)
Michael Leuschel
Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. IFM (2022)
Joana Parreira
Simple Dependent Types for OSTRICH. IFM (2022)
Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes
Verified Password Generation from Password Composition Policies. IFM (2022)
Eduardo Geraldo
SNITCH: A Platform for Information Flow Control. IFM (2022)
Louise A. Dennis
Verifying Autonomous Systems. IFM (2022)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis for Low-Latency Environments. IFM (2022)
Marcelo Forets, Christian Schilling
Conservative Time Discretization: A Comparative Study. IFM (2022)
Akhila Bairy
Modeling Explanations in Autonomous Vehicles. IFM (2022)
Luís Carvalho
A Dialogue Interface for Low Code Program Evolution. IFM (2022)
Alexander Kolchin, Stepan Potiyenko
Extending Data Flow Coverage to Test Constraint Refinements. IFM (2022)

volume 13274, 2022

Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings IFM 13274 (2022)

2020

volume 12546, 2020

Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings IFM 12546 (2020)