iFM

Publications

volume 14300, 2024

iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings iFM 14300 (2024)

2023

Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl
Scalable and Precise Refinement Types for Imperative Languages. iFM (2023)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
CHC Model Validation with Proof Guarantees. iFM (2023)
Lukas Armborst, Sophie Lathouwers, Marieke Huisman
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. iFM (2023)
Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani
CAN-verify: A Verification Tool For BDI Agents. iFM (2023)
Artur Graczyk, Marialena Hadjikosti, Andrei Popescu
A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). iFM (2023)
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
Towards Formal Verification of a TPM Software Stack. iFM (2023)
Lara Bargmann, Heike Wehrheim
Lifting the Reasoning Level in Generic Weak Memory Verification. iFM (2023)
Erika Ábrahám, József Kovács, Anne Remke
SMT: Something You Must Try. iFM (2023)
Marco Paganoni, Carlo A. Furia
Reasoning About Exceptional Behavior at the Level of Java Bytecode. iFM (2023)
Jannik Dunkelau, Michael Leuschel
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. iFM (2023)
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
Refinement and Separation: Modular Verification of Wandering Trees. iFM (2023)
Marcel Moosbrugger, Julian Müllner, Laura Kovács
Automated Sensitivity Analysis for Probabilistic Loops. iFM (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM (2023)
Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
Symbolic Model Checking of Relative Safety LTL Properties. iFM (2023)
Miroslav N. Velev
Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction. iFM (2023)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM (2023)
Gidon Ernst, Alexander Weigl
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. iFM (2023)
Horatiu Cirstea, Stephan Merz
Extending PlusCal for Modeling Distributed Algorithms. iFM (2023)
Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw
Analysis and Formal Specification of OpenJDK's BitSet. iFM (2023)
Marie-Christine Jakobs, Tim Pollandt
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. iFM (2023)
Luc Edixhoven
Shuffling Posets on Trajectories. iFM (2023)
Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. iFM (2023)