| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Achim D. Brucker, Burkhart Wolff |
Using Ontologies in Formal Developments Targeting Certification.  |
IFM  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001 |
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramon Janssen, Frits W. Vaandrager, Jan Tretmans |
Relating Alternating Relations for Conformance and Refinement. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Laura Voinea, Ornela Dardha, Simon J. Gay |
Resource Sharing via Capability-Based Multiparty Session Types. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wytse Oortwijn, Marieke Huisman |
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Bowles, Marco B. Caminati |
An Integrated Approach to a Combinatorial Optimisation Problem. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel |
A Multi-target Code Generator for High-Level B. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan |
Ontology-Mediated Probabilistic Model Checking. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Osama 0003, Anton Wijs |
SIGmA: GPU Accelerated Simplification of SAT Formulas. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Debasmita Lohar, Milos Prokop, Eva Darulova |
Sound Probabilistic Numerical Error Analysis. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Tzu-Chun Chen |
Stateful Behavioral Types for Active Objects. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
Making Linearizability Compositional for Partially Ordered Executions. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel |
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Bohlender, Stefan Kowalewski |
Design and Verification of Restart-Robust Industrial Control Software. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Cheng, Jean-Claude Royer, Massimo Tisi |
Efficiently Characterizing the Undefined Requests of a Rule-Based System. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eun-Young Kang 0001, Dongrui Mu, Li Huang 0001 |
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito |
Resource-Aware Virtually Timed Ambients. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Farrell, Matt Luckcuck, Michael Fisher 0001 |
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vashti Galpin |
Formal Modelling of Software Defined Networking. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten |
Reasoning About JML: Differences Between KeY and OpenJML. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Alvaro Miyazawa, Augusto Sampaio, Wei Li 0055, Pedro Ribeiro 0002, Jon Timmis |
Modelling and Verification for Swarm Robotics. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric |
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari 0001 |
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Körner, Michael Leuschel, Jeroen Meijer |
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Schmidt, Sebastian Krings, Michael Leuschel |
Repair and Generation of Formal Models Using Synthesis. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Salwa Kobeissi, Adnan Utayim, Mohamad Jaber 0001, Yliès Falcone |
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Kirsten Winter (eds.) |
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu-Vu Nguyen, Tayssir Touili |
Branching Temporal Logic of Calls and Returns for Pushdown Systems. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Leofante, Erika Ábrahám, Armando Tacchella |
Task Planning with OMT: An Application to Production Logistics. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Simon, Stefan Kowalewski |
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal |
Analysing AWN-Specifications Using mCRL2 (Extended Abstract). |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
A Precise Pictorial Language for Array Invariants. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Ribeiro 0002, Alvaro Miyazawa, Wei Li 0055, Ana Cavalcanti 0001, Jon Timmis |
Modelling and Verification of Timed Robotic Controllers. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin |
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Silvetti, Alberto Policriti, Luca Bortolussi |
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
Generalised Test Tables: A Practical Specification Language for Reactive Systems. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Steinhöfel, Nathan Wasser |
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Moran, Dan S. Wallach |
Verification of STAR-Vote and Evaluation of FDR and ProVerif. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuting Chen, Carlo A. Furia |
Triggerless Happy - Intermediate Verification with a First-Order Prover. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Kordy, Wojciech Widel |
How Well Can I Secure My System? |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
Analysis of Synchronisations in Stateful Active Objects. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Ji, Farn Wang, Peng Wu 0002 |
Synthesizing Coalitions for Multi-agent Games. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke |
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Rizaldi, Jonas Keinholz, Monika Huber 0001, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow |
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn |
The VerCors Tool Set: Verification of Parallel and Concurrent Software. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wu 0017 |
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva |
BTS: A Tool for Formal Component-Based Development. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Frohn, Jürgen Giesl |
Complexity Analysis for Java with AProVE. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Polikarpova, Steve A. Schneider (eds.) |
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Linker |
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas |
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Krishna 0001, Pascal Poizat, Gwen Salaün |
VBPMN: Automated Verification of BPMN Processes (Tool Paper). |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif |
Modular Verification of Order-Preserving Write-Back Caches. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. Ferreira 0001, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke |
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahrurrozi Rahman, Juliana Küster Filipe Bowles |
Formal Verification of CNL Health Recommendations. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Utting, David J. Pearce 0001, Lindsay Groves |
Making Whiley Boogie! |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi |
Hoare-Style Reasoning from Multiple Contracts. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | James Baxter 0001, Ana Cavalcanti 0001 |
Algebraic Compilation of Safety-Critical Java Bytecode. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani |
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. |
IFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hentschel 0002, Reiner Hähnle, Richard Bubel |
Can Formal Methods Improve the Efficiency of Code Reviews? |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Cassar, Adrian Francalanza |
On Implementing a Monitor-Oriented Programming Framework for Actor Systems. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Luckcuck, Ana Cavalcanti 0001, Andy J. Wellings |
A Formal Model of the Safety-Critical Java Level 2 Paradigm. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dániel Darvas, István Majzik, Enrique Blanco Viñuela |
Formal Verification of Safety PLC Based Control Software. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer |
A Component-Based Approach to Hybrid Systems Safety Verification. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko |
A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
Towards a Thread-Local Proof Technique for Starvation Freedom. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber 0001 |
Perspectives of Model Transformation Reuse. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Fendrich, Gerald Lüttgen |
A Generalised Theory of Interface Automata, Component Compatibility and Error. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
Monitoring Multi-threaded Component-Based Systems. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørnar Luteberget, Christian Johansen, Martin Steffen |
Rule-Based Consistency Checking of Railway Infrastructure Designs. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
Symbolic Computation and Automated Reasoning for Program Analysis. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Prehofer |
Property Preservation for Extension Patterns of State Transition Diagrams. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Korenciak, Vojtech Rehák, Adrian Farmadin |
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Freitas, James Baxter 0001, Ana Cavalcanti 0001, Andy J. Wellings |
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra van den Bos, Rick Smetsers, Frits W. Vaandrager |
Enhancing Automata Learning by Log-Based Metrics. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0023, David Aspinall 0001, Andrew D. Gordon 0001, Charles Sutton, Igor Muttik |
On Robust Malware Classifiers by Verifying Unwanted Behaviours. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ameri, Carlo A. Furia |
Why Just Boogie? - Translating Between Intermediate Verification Languages. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Owe |
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Michael Lienhardt |
On Type Checking Delta-Oriented Product Lines. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrii Kovalov, Juliana Küster Filipe Bowles |
Avoiding Medication Conflicts for Patients with Multimorbidities. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager |
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Barth 0001 |
Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorel Preoteasa |
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
Combining Static Analysis and Testing for Deadlock Detection. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Michael Leuschel |
SMT Solvers for Validation of B and Event-B Models. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost |
Probabilistic Formal Analysis of App Usage to Inform Redesign. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Kumar 0002, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal |
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield |
Symbolic Reachability Analysis of B Through ProB and LTSmin. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Temporal Random Testing for Spark Streaming. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Renáta Hodován, Ákos Kiss 0001 |
Fuzzing JavaScript Engine APIs. |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Marieke Huisman (eds.) |
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings |
IFM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Miyazawa, Ana Cavalcanti 0001 |
Formal Refinement in SysML. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki |
Code Generation for Event-B. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres |
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license