IFM - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 483

2024

iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, ProceedingsPaula Herber, Anton Wijs, editors, Volume 14300 of Lecture Notes in Computer Science, Springer, 2024. [doi]

2023

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic TranslationLukas Armborst, Sophie Lathouwers, Marieke Huisman. IFM 2024: 153-171 [doi]

Lifting the Reasoning Level in Generic Weak Memory VerificationLara Bargmann, Heike Wehrheim. IFM 2024: 175-192 [doi]

Symbolic Model Checking of Relative Safety LTL PropertiesAlberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni. IFM 2024: 302-320 [doi]

Extending PlusCal for Modeling Distributed AlgorithmsHoratiu Cirstea, Stephan Merz. IFM 2024: 321-340 [doi]

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B MethodJannik Dunkelau, Michael Leuschel. IFM 2024: 237-256 [doi]

Shuffling Posets on TrajectoriesLuc Edixhoven. IFM 2024: 384-390 [doi]

Mission-Time LTL (MLTL) Formula Validation via Regular ExpressionsJenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier. IFM 2024: 279-301 [doi]

Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal MethodsGidon Ernst, Alexander Weigl. IFM 2024: 82-89 [doi]

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)Artur Graczyk, Marialena Hadjikosti, Andrei Popescu 0001. IFM 2024: 391-397 [doi]

diffDP: Using Data Dependencies and Properties in Difference Verification with ConditionsMarie-Christine Jakobs, Tim Pollandt. IFM 2024: 40-61 [doi]

Scalable and Precise Refinement Types for Imperative LanguagesFlorian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl. IFM 2024: 377-383 [doi]

Automated Sensitivity Analysis for Probabilistic LoopsMarcel Moosbrugger, Julian Müllner, Laura Kovács. IFM 2024: 21-39 [doi]

Reinforcement Learning Under Partial Observability Guided by Learned Environment ModelsEdi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill. IFM 2024: 257-276 [doi]

CHC Model Validation with Proof GuaranteesRodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina. IFM 2024: 62-81 [doi]

Reasoning About Exceptional Behavior at the Level of Java BytecodeMarco Paganoni, Carlo A. Furia. IFM 2024: 113-133 [doi]

Formal Modelling and Analysis of a Self-Adaptive Robotic SystemJuliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. IFM 2024: 343-363 [doi]

Refinement and Separation: Modular Verification of Wandering TreesGerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif. IFM 2024: 214-234 [doi]

Analysis and Formal Specification of OpenJDK's BitSetAndy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw. IFM 2024: 134-152 [doi]

Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of AbstractionMiroslav N. Velev. IFM 2024: 193-213 [doi]

CAN-verify: A Verification Tool For BDI AgentsMengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani. IFM 2024: 364-373 [doi]

Towards Formal Verification of a TPM Software StackYani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier. IFM 2024: 93-112 [doi]

SMT: Something You Must TryErika Ábrahám, József Kovács, Anne Remke. IFM 2024: 3-18 [doi]

2022

Empowering the Event-B Method Using External TheoriesYamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh. IFM 2022: 18-35 [doi]

Reachability Analysis and Simulation for Hybridised Event-B ModelsYamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis. IFM 2022: 109-128 [doi]

Scalable Typestate Analysis for Low-Latency EnvironmentsAlen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001. IFM 2022: 322-340 [doi]

Modeling Explanations in Autonomous VehiclesAkhila Bairy. IFM 2022: 347-351 [doi]

A Policy Language to Capture Compliance of Data Protection RequirementsChinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka. IFM 2022: 289-309 [doi]

Certified Verification of Relational PropertiesLionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. IFM 2022: 86-105 [doi]

Studying Users' Willingness to Use a Formally Verified Password ManagerCarolina Carreira. IFM 2022: 343-346 [doi]

A Dialogue Interface for Low Code Program EvolutionLuís Carvalho. IFM 2022: 357-360 [doi]

Formal Specification and Verification of JDK's Identity Hash Map ImplementationMartin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl. IFM 2022: 45-62 [doi]

Verifying Autonomous SystemsLouise A. Dennis. IFM 2022: 3-17 [doi]

Probabilistic Model Checking of BPMN Processes at RuntimeYliès Falcone, Gwen Salaün, Ahang Zuo. IFM 2022: 191-208 [doi]

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris RemovalMarie Farrell, Nikos Mavrakis, Angelo Ferrando 0001, Clare Dixon, Yang Gao. IFM 2022: 39-44 [doi]

Conservative Time Discretization: A Comparative StudyMarcelo Forets, Christian Schilling 0001. IFM 2022: 149-167 [doi]

SNITCH: A Platform for Information Flow ControlEduardo Geraldo. IFM 2022: 365-368 [doi]

Verified Password Generation from Password Composition PoliciesMiguel Grilo, João Campos, João F. Ferreira 0001, José Bacelar Almeida, Alexandra Mendes. IFM 2022: 271-288 [doi]

Reusing Predicate Precision in Value AnalysisMarie-Christine Jakobs. IFM 2022: 63-85 [doi]

Kaki: Concurrent Update Synthesis for Regular Policies via Petri GamesNicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund. IFM 2022: 249-267 [doi]

Extending Data Flow Coverage to Test Constraint RefinementsAlexander Kolchin, Stepan Potiyenko. IFM 2022: 313-321 [doi]

Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat ItMichael Leuschel. IFM 2022: 129-145 [doi]

Learning Finite State Models fromRecurrent Neural NetworksEdi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler. IFM 2022: 229-248 [doi]

Simple Dependent Types for OSTRICHJoana Parreira. IFM 2022: 361-364 [doi]

Machine-Assisted Proofs for Institutions in CoqConor Reynolds, Rosemary Monahan. IFM 2022: 369-372 [doi]

Untangling the Graphs of Timed Automata to Decrease the Number of ClocksNeda Saeedloei, Feliks Kluzniak. IFM 2022: 168-187 [doi]

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine ControllerOisín Sheridan, Rosemary Monahan, Matt Luckcuck. IFM 2022: 352-356 [doi]

Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, ProceedingsMaurice H. ter Beek, Rosemary Monahan, editors, Volume 13274 of Lecture Notes in Computer Science, Springer, 2022. [doi]

HyperPCTL Model Checking by Probabilistic DecompositionEshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour. IFM 2022: 209-226 [doi]

2020

Formal Verification of Executable Complementation and Equivalence Checking for Büchi AutomataJulian Brunner 0001. IFM 2020: 239-256 [doi]

PALM: A Technique for Process ALgebraic Specification MiningSara Belluccini, Rocco De Nicola, Barbara Re 0001, Francesco Tiezzi. IFM 2020: 397-418 [doi]

Modular Integration of Crashsafe Caching into a Verified Virtual File System SwitchStefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif. IFM 2020: 218-236 [doi]

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock InsertionSander de Putter, Anton Wijs. IFM 2020: 297-317 [doi]

Chain of Events: Modular Process Models for the LawSøren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt. IFM 2020: 368-386 [doi]

Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, ProceedingsBrijesh Dongol, Elena Troubitsyna, editors, Volume 12546 of Lecture Notes in Computer Science, Springer, 2020. [doi]

An Event-B Based Generic Framework for Hybrid Systems Formal ModellingGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. IFM 2020: 82-102 [doi]

Grey-Box Learning of Register AutomataBharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits. IFM 2020: 22-40 [doi]

Active Objects with Deterministic BehaviourLudovic Henrio, Einar Broch Johnsen, Violet Ka I Pun. IFM 2020: 181-198 [doi]

History-Based Specification and Verification of Java Collections in KeYHans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw. IFM 2020: 199-217 [doi]

Algebra-Based Loop SynthesisAndreas Humenberger, Nikolaj Bjørner, Laura Kovács. IFM 2020: 440-459 [doi]

Meeduse: A Tool to Build and Run Proved DSLsAkram Idani. IFM 2020: 349-367 [doi]

Reformulation of SAT into a Polynomial Box-Constrained Optimization ProblemStéphane Jacquet, Sylvain Hallé. IFM 2020: 387-394 [doi]

Formal Policy Synthesis for Continuous-State Systems via Reinforcement LearningMilad Kazemi, Sadegh Soudjani. IFM 2020: 3-21 [doi]

Fast and Effective Well-Definedness CheckingMichael Leuschel. IFM 2020: 63-81 [doi]

Detection of Polluting Test Objectives for Dataflow CriteriaThibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre. IFM 2020: 337-345 [doi]

Clustering-Guided SMT($\mathcal {L\!R\!A}$) LearningTim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler. IFM 2020: 41-59 [doi]

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java ProgramsMalte Mues, Till Schallau, Falk Howar. IFM 2020: 123-140 [doi]

Synthesizing Clock-Efficient Timed AutomataNeda Saeedloei, Feliks Kluzniak. IFM 2020: 276-294 [doi]

A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting AlgorithmsMohsen Safari, Marieke Huisman. IFM 2020: 257-275 [doi]

Tight Error Analysis in Fixed-Point ArithmeticStella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone. IFM 2020: 318-336 [doi]

Towards Generating SPARK from Event-B ModelsSanjeevan Sritharan, Thai Son Hoang. IFM 2020: 103-120 [doi]

Philosophers May Dine - Definitively!Safouan Taha, Burkhart Wolff, Lina Ye. IFM 2020: 419-439 [doi]

Automatic Generation of Guard-Stable Floating-Point CodeLaura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz. IFM 2020: 141-159 [doi]

Formal Methods for GPGPU Programming: Is the Demand Met?Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman. IFM 2020: 160-177 [doi]

2019

Accelerating Parameter Synthesis Using Semi-algebraic ConstraintsNikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek. IFM 2019: 27-45 [doi]

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems ProgrammingTuur Benoit, Bart Jacobs 0002. IFM 2019: 46-64 [doi]

An Integrated Approach to a Combinatorial Optimisation ProblemJuliana Bowles, Marco B. Caminati. IFM 2019: 284-302 [doi]

Using Ontologies in Formal Developments Targeting CertificationAchim D. Brucker, Burkhart Wolff. IFM 2019: 65-82 [doi]

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web ApplicationsMatteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra. IFM 2019: 495-503 [doi]

Integrated Model-Checking for the Design of Safe and Efficient Distributed Software CommissioningHélène Coullon, Claude Jard, Didier Lime. IFM 2019: 120-137 [doi]

Learning to Reuse: Adaptive Model Learning for Evolving SystemsCarlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão. IFM 2019: 138-156 [doi]

Axiomatic Characterization of Trace Reachability for Concurrent ObjectsFrank S. de Boer, Hans-Dieter A. Hiep. IFM 2019: 157-174 [doi]

Fuzzing JavaScript Environment APIs with Interdependent Function CallsRenáta Hodován, Dániel Vince, Ákos Kiss 0001. IFM 2019: 212-226 [doi]

Dione: A Protocol Verification System Built with Dafny for I/O AutomataChiao Hsieh, Sayan Mitra. IFM 2019: 227-245 [doi]

Relating Alternating Relations for Conformance and RefinementRamon Janssen, Frits W. Vaandrager, Jan Tretmans. IFM 2019: 246-264 [doi]

Summary of: Dynamic Structural Operational SemanticsChristian Johansen, Olaf Owe. IFM 2019: 525-528 [doi]

Summary of: An Evaluation of Interaction Paradigms for Active ObjectsFarzane Karami, Olaf Owe, Toktam Ramezanifarkhani. IFM 2019: 529-533 [doi]

Embedding SMT-LIB into B for Interactive Proof and Constraint SolvingSebastian Krings, Michael Leuschel. IFM 2019: 265-283 [doi]

Computing Bisimilarity Metrics for Probabilistic Timed AutomataRuggero Lanotte, Simone Tini. IFM 2019: 303-321 [doi]

Summary of: On Checking Delta-Oriented Software Product Lines of StatechartsMichael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin. IFM 2019: 534-537 [doi]

Sound Probabilistic Numerical Error AnalysisDebasmita Lohar, Milos Prokop, Eva Darulova. IFM 2019: 322-340 [doi]

A Summary of Formal Specification and Verification of Autonomous Robotic SystemsMatt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001. IFM 2019: 538-541 [doi]

Automated Drawing of Railway Schematics Using Numerical Optimization in SATBjørnar Luteberget, Koen Claessen, Christian Johansen. IFM 2019: 341-359 [doi]

The Digital Thread in Industry 4.0Tiziana Margaria, Alexander Schieweck. IFM 2019: 3-24 [doi]

Asynchronous Testing of Synchronous Components in GALS SystemsLina Marsso, Radu Mateescu 0001, Ioannis Parissis, Wendelin Serwe. IFM 2019: 360-378 [doi]

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal MethodsYakoub Nemouchi, Simon Foster 0001, Mario Gleirscher, Tim Kelly. IFM 2019: 379-398 [doi]

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable SystemsMaurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin. IFM 2019: 547-551 [doi]

Summary of: On the Expressiveness of Modal Transition Systems with Variability ConstraintsMaurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini. IFM 2019: 542-546 [doi]

Resource Sharing via Capability-Based Multiparty Session TypesA. Laura Voinea, Ornela Dardha, Simon J. Gay. IFM 2019: 437-455 [doi]

A Multi-target Code Generator for High-Level BFabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel. IFM 2019: 456-473 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

IFM (IFM)

Viewing Publication 1 - 100 from 483

2024

2023

2022

2020

2019

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

IFM (IFM)

Viewing Publication 1 - 100 from 483

2024

2023

2022

2020

2019

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1