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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![Springer, 978-3-031-47704-1 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
Scalable and Precise Refinement Types for Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 377-383, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
CHC Model Validation with Proof Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 62-81, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 153-171, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani |
CAN-verify: A Verification Tool For BDI Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 364-373, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 391-397, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 93-112, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lara Bargmann, Heike Wehrheim |
Lifting the Reasoning Level in Generic Weak Memory Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 175-192, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, József Kovács, Anne Remke |
SMT: Something You Must Try. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 3-18, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Paganoni, Carlo A. Furia |
Reasoning About Exceptional Behavior at the Level of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 113-133, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Dunkelau, Michael Leuschel |
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 237-256, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif |
Refinement and Separation: Modular Verification of Wandering Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 214-234, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Moosbrugger, Julian Müllner, Laura Kovács |
Automated Sensitivity Analysis for Probabilistic Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 21-39, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 343-363, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
Symbolic Model Checking of Relative Safety LTL Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 302-320, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 193-213, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 257-276, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Alexander Weigl |
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 82-89, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Stephan Merz |
Extending PlusCal for Modeling Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 321-340, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
Analysis and Formal Specification of OpenJDK's BitSet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 134-152, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs, Tim Pollandt |
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 40-61, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luc Edixhoven |
Shuffling Posets on Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 384-390, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 279-301, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Akhila Bairy |
Modeling Explanations in Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 347-351, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Conor Reynolds, Rosemary Monahan |
Machine-Assisted Proofs for Institutions in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 369-372, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 39-44, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kolchin, Stepan Potiyenko |
Extending Data Flow Coverage to Test Constraint Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 313-321, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 352-356, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joana Parreira |
Simple Dependent Types for OSTRICH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 361-364, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler |
Learning Finite State Models fromRecurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 229-248, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001 |
Scalable Typestate Analysis for Low-Latency Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 322-340, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 289-309, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Louise A. Dennis |
Verifying Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 3-17, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
Certified Verification of Relational Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 86-105, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Forets, Christian Schilling 0001 |
Conservative Time Discretization: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 149-167, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Geraldo |
SNITCH: A Platform for Information Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 365-368, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 249-267, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Gwen Salaün, Ahang Zuo |
Probabilistic Model Checking of BPMN Processes at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 191-208, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 168-187, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carolina Carreira |
Studying Users' Willingness to Use a Formally Verified Password Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 343-346, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 45-62, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-031-07726-5 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 18-35, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Jakobs |
Reusing Predicate Precision in Value Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 63-85, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 129-145, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 271-288, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 109-128, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luís Carvalho 0003 |
A Dialogue Interface for Low Code Program Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 357-360, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour |
HyperPCTL Model Checking by Probabilistic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, pp. 209-226, 2022, Springer, 978-3-031-07726-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 82-102, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Julian Brunner 0001 |
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 239-256, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Akram Idani |
Meeduse: A Tool to Build and Run Proved DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 349-367, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 368-386, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Safouan Taha, Burkhart Wolff, Lina Ye |
Philosophers May Dine - Definitively! ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 419-439, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 397-418, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 160-177, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 123-140, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
Tight Error Analysis in Fixed-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 318-336, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 141-159, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Jacquet, Sylvain Hallé |
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 387-394, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 199-217, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 257-275, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 297-317, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-030-63460-5 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 22-40, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 218-236, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 41-59, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre |
Detection of Polluting Test Objectives for Dataflow Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 337-345, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun |
Active Objects with Deterministic Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 181-198, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Milad Kazemi, Sadegh Soudjani |
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 3-21, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Feliks Kluzniak |
Synthesizing Clock-Efficient Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 276-294, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Fast and Effective Well-Definedness Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 63-81, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sanjeevan Sritharan, Thai Son Hoang |
Towards Generating SPARK from Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 103-120, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács |
Algebra-Based Loop Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, pp. 440-459, 2020, Springer, 978-3-030-63460-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn, Marieke Huisman |
Practical Abstractions for Automated Verification of Message Passing Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 399-417, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 474-492, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![Springer, 978-3-030-34967-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget, Koen Claessen, Christian Johansen |
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 341-359, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre |
Dynamic Reconfigurations in Frequency Constrained Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 175-193, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 379-398, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 138-156, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Simone Tini |
Computing Bisimilarity Metrics for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 303-321, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tuur Benoit, Bart Jacobs 0002 |
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 46-64, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Krings, Michael Leuschel |
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 265-283, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek |
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 27-45, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lina Marsso, Radu Mateescu 0001, Ioannis Parissis, Wendelin Serwe |
Asynchronous Testing of Synchronous Components in GALS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 360-378, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 547-551, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Renáta Hodován, Dániel Vince, Ákos Kiss 0001 |
Fuzzing JavaScript Environment APIs with Interdependent Function Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 212-226, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chiao Hsieh, Sayan Mitra |
Dione: A Protocol Verification System Built with Dafny for I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 227-245, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra |
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 495-503, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gleiss, Laura Kovács, Lena Schnedlitz |
Interactive Visualization of Saturation Attempts in Vampire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 504-513, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Hans-Dieter A. Hiep |
Axiomatic Characterization of Trace Reachability for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 157-174, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 542-546, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chalupa, Jan Strejcek |
Evaluation of Program Slicing in Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 101-119, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 120-137, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Alexander Schieweck |
The Digital Thread in Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 3-24, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 534-537, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Johansen, Olaf Owe |
Summary of: Dynamic Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 525-528, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar |
A Program Logic for Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 83-100, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani |
Summary of: An Evaluation of Interaction Paradigms for Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, pp. 529-533, 2019, Springer, 978-3-030-34967-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|