More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

15th IFM 2019: Bergen, Norway

> Home > Conferences and Workshops > IFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2019
Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Lecture Notes in Computer Science 11918, Springer 2019, ISBN 978-3-030-34967-7

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MargariaS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MargariaS19
Tiziana Margaria, Alexander Schieweck:
The Digital Thread in Industry 4.0. 3-24

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BenesBGPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BenesBGPS19
Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek:
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. 27-45
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Benoit019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Benoit019
Tuur Benoit, Bart Jacobs:
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. 46-64
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BruckerW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BruckerW19
Achim D. Brucker, Burkhart Wolff:
Using Ontologies in Formal Developments Targeting Certification. 65-82
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BubelHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BubelHT19
Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar:
A Program Logic for Dependence Analysis. 83-100
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ChalupaS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ChalupaS19
Marek Chalupa, Jan Strejcek:
Evaluation of Program Slicing in Software Verification. 101-119
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CoullonJL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CoullonJL19
Hélène Coullon, Claude Jard, Didier Lime:
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. 120-137
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DamascenoMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DamascenoMS19
Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão:
Learning to Reuse: Adaptive Model Learning for Evolving Systems. 138-156
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BoerH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BoerH19
Frank S. de Boer, Hans-Dieter A. Hiep:
Axiomatic Characterization of Trace Reachability for Concurrent Objects. 157-174
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DubrulleGKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DubrulleGKL19
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre:
Dynamic Reconfigurations in Frequency Constrained Data Flow. 175-193
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DubslaffKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DubslaffKT19
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Ontology-Mediated Probabilistic Model Checking. 194-211
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HodovanV019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HodovanV019
Renáta Hodován, Dániel Vince, Ákos Kiss:
Fuzzing JavaScript Environment APIs with Interdependent Function Calls. 212-226
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HsiehM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HsiehM19
Chiao Hsieh, Sayan Mitra:
Dione: A Protocol Verification System Built with Dafny for I/O Automata. 227-245
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/JanssenVT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/JanssenVT19
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. 246-264
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KringsL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KringsL19
Sebastian Krings, Michael Leuschel:
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. 265-283
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BowlesC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BowlesC19
Juliana Bowles, Marco B. Caminati:
An Integrated Approach to a Combinatorial Optimisation Problem. 284-302
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LanotteT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LanotteT19
Ruggero Lanotte, Simone Tini:
Computing Bisimilarity Metrics for Probabilistic Timed Automata. 303-321
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LoharPD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LoharPD19
Debasmita Lohar, Milos Prokop, Eva Darulova:
Sound Probabilistic Numerical Error Analysis. 322-340
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LutebergetCJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LutebergetCJ19
Bjørnar Luteberget, Koen Claessen, Christian Johansen:
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. 341-359
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Marsso0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Marsso0PS19
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe:
Asynchronous Testing of Synchronous Components in GALS Systems. 360-378
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Nemouchi0GK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Nemouchi0GK19
Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly:
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. 379-398
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OortwijnH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OortwijnH19
Wytse Oortwijn, Marieke Huisman:
Practical Abstractions for Automated Verification of Message Passing Concurrency. 399-417
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OortwijnH19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OortwijnH19a
Wytse Oortwijn, Marieke Huisman:
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. 418-436
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/VoineaDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/VoineaDG19
A. Laura Voinea, Ornela Dardha, Simon J. Gay:
Resource Sharing via Capability-Based Multiparty Session Types. 437-455
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/VuHKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/VuHKL19
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel:
A Multi-target Code Generator for High-Level B. 456-473
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/WangAKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/WangAKS19
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. 474-492

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CamilliGMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CamilliGMS19
Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra:
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. 495-503
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GleissKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GleissKS19
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz:
Interactive Visualization of Saturation Attempts in Vampire. 504-513
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OsamaW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OsamaW19
Muhammad Osama, Anton Wijs:
SIGmA: GPU Accelerated Simplification of SAT Formulas. 514-522

Journal-First Extended Abstracts

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/JohansenO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/JohansenO19
Christian Johansen, Olaf Owe:
Summary of: Dynamic Structural Operational Semantics. 525-528
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KaramiOR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KaramiOR19
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani:
Summary of: An Evaluation of Interaction Paradigms for Active Objects. 529-533
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LienhardtDTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LienhardtDTT19
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. 534-537
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LuckcuckFDD019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LuckcuckFDD019
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. 538-541
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeekDGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeekDGMP19
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. 542-546
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeekLLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeekLLV19
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. 547-551

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.