Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paula Herber, Anton Wijs (eds.) |
iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings |
iFM |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
Scalable and Precise Refinement Types for Imperative Languages. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
CHC Model Validation with Proof Guarantees. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani |
CAN-verify: A Verification Tool For BDI Agents. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Artur Graczyk, Marialena Hadjikosti, Andrei Popescu 0001 |
A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Lara Bargmann, Heike Wehrheim |
Lifting the Reasoning Level in Generic Weak Memory Verification. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, József Kovács, Anne Remke |
SMT: Something You Must Try. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Paganoni, Carlo A. Furia |
Reasoning About Exceptional Behavior at the Level of Java Bytecode. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Dunkelau, Michael Leuschel |
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif |
Refinement and Separation: Modular Verification of Wandering Trees. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Moosbrugger, Julian Müllner, Laura Kovács |
Automated Sensitivity Analysis for Probabilistic Loops. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
Symbolic Model Checking of Relative Safety LTL Properties. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill |
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Alexander Weigl |
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Stephan Merz |
Extending PlusCal for Modeling Distributed Algorithms. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
Analysis and Formal Specification of OpenJDK's BitSet. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs, Tim Pollandt |
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luc Edixhoven |
Shuffling Posets on Trajectories. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Akhila Bairy |
Modeling Explanations in Autonomous Vehicles. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Conor Reynolds, Rosemary Monahan |
Machine-Assisted Proofs for Institutions in Coq. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Nikos Mavrakis, Angelo Ferrando 0001, Clare Dixon, Yang Gao 0002 |
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kolchin, Stepan Potiyenko |
Extending Data Flow Coverage to Test Constraint Refinements. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oisín Sheridan, Rosemary Monahan, Matt Luckcuck |
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joana Parreira |
Simple Dependent Types for OSTRICH. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
Learning Finite State Models fromRecurrent Neural Networks. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 |
Scalable Typestate Analysis for Low-Latency Environments. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka |
A Policy Language to Capture Compliance of Data Protection Requirements. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Louise A. Dennis |
Verifying Autonomous Systems. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
Certified Verification of Relational Properties. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Forets, Christian Schilling 0001 |
Conservative Time Discretization: A Comparative Study. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Geraldo |
SNITCH: A Platform for Information Flow Control. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Gwen Salaün, Ahang Zuo |
Probabilistic Model Checking of BPMN Processes at Runtime. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carolina Carreira |
Studying Users' Willingness to Use a Formally Verified Password Manager. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung 0003, Mattias Ulbrich, Alexander Weigl |
Formal Specification and Verification of JDK's Identity Hash Map Implementation. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Rosemary Monahan (eds.) |
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh 0001 |
Empowering the Event-B Method Using External Theories. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs |
Reusing Predicate Precision in Value Analysis. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Grilo, João Campos, João F. Ferreira 0001, José Bacelar Almeida, Alexandra Mendes |
Verified Password Generation from Password Composition Policies. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh 0001, Paulius Stankaitis |
Reachability Analysis and Simulation for Hybridised Event-B Models. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luís Carvalho 0003 |
A Dialogue Interface for Low Code Program Evolution. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour |
HyperPCTL Model Checking by Probabilistic Decomposition. |
IFM |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Julian Brunner 0001 |
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Akram Idani |
Meeduse: A Tool to Build and Run Proved DSLs. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Søren Debois, Hugo A. López 0001, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt |
Chain of Events: Modular Process Models for the Law. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Safouan Taha, Burkhart Wolff, Lina Ye |
Philosophers May Dine - Definitively! |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sara Belluccini, Rocco De Nicola, Barbara Re 0001, Francesco Tiezzi 0001 |
PALM: A Technique for Process ALgebraic Specification Mining. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman |
Formal Methods for GPGPU Programming: Is the Demand Met? |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Malte Mues, Till Schallau, Falk Howar |
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
Tight Error Analysis in Fixed-Point Arithmetic. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz |
Automatic Generation of Guard-Stable Floating-Point Code. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Jacquet, Sylvain Hallé |
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw |
History-Based Specification and Verification of Java Collections in KeY. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Safari, Marieke Huisman |
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sander de Putter, Anton Wijs |
Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Elena Troubitsyna (eds.) |
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits |
Grey-Box Learning of Register Automata. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif |
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre |
Detection of Polluting Test Objectives for Dataflow Criteria. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun |
Active Objects with Deterministic Behaviour. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Milad Kazemi, Sadegh Soudjani |
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Synthesizing Clock-Efficient Timed Automata. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Fast and Effective Well-Definedness Checking. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sanjeevan Sritharan, Thai Son Hoang |
Towards Generating SPARK from Event-B Models. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács |
Algebra-Based Loop Synthesis. |
IFM |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn, Marieke Huisman |
Practical Abstractions for Automated Verification of Message Passing Concurrency. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rui Wang 0048, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (eds.) |
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget, Koen Claessen, Christian Johansen |
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre |
Dynamic Reconfigurations in Frequency Constrained Data Flow. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yakoub Nemouchi, Simon Foster 0001, Mario Gleirscher, Tim Kelly |
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi 0001, Adenilso da Silva Simão |
Learning to Reuse: Adaptive Model Learning for Evolving Systems. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Simone Tini |
Computing Bisimilarity Metrics for Probabilistic Timed Automata. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tuur Benoit, Bart Jacobs 0002 |
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Krings, Michael Leuschel |
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek |
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lina Marsso, Radu Mateescu 0001, Ioannis Parissis, Wendelin Serwe |
Asynchronous Testing of Synchronous Components in GALS Systems. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Renáta Hodován, Dániel Vince, Ákos Kiss 0001 |
Fuzzing JavaScript Environment APIs with Interdependent Function Calls. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chiao Hsieh, Sayan Mitra |
Dione: A Protocol Verification System Built with Dafny for I/O Automata. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra |
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gleiss, Laura Kovács, Lena Schnedlitz |
Interactive Visualization of Saturation Attempts in Vampire. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Hans-Dieter A. Hiep |
Axiomatic Characterization of Trace Reachability for Concurrent Objects. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa, Jan Strejcek |
Evaluation of Program Slicing in Software Verification. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Coullon, Claude Jard, Didier Lime |
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Alexander Schieweck |
The Digital Thread in Industry 4.0. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin |
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Johansen, Olaf Owe |
Summary of: Dynamic Structural Operational Semantics. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar |
A Program Logic for Dependence Analysis. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani |
Summary of: An Evaluation of Interaction Paradigms for Active Objects. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|