![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
15th IFM 2019: Bergen, Norway
- 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
- Tiziana Margaria, Alexander Schieweck
:
The Digital Thread in Industry 4.0. 3-24
Regular Papers
- Nikola Benes
, Lubos Brim
, Martin Geletka
, Samuel Pastva
, David Safránek
:
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. 27-45 - Tuur Benoit, Bart Jacobs
:
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. 46-64 - Achim D. Brucker
, Burkhart Wolff:
Using Ontologies in Formal Developments Targeting Certification. 65-82 - Richard Bubel, Reiner Hähnle
, Asmae Heydari Tabar:
A Program Logic for Dependence Analysis. 83-100 - Marek Chalupa
, Jan Strejcek
:
Evaluation of Program Slicing in Software Verification. 101-119 - Hélène Coullon, Claude Jard, Didier Lime:
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. 120-137 - Carlos Diego Nascimento Damasceno
, Mohammad Reza Mousavi
, Adenilso da Silva Simão
:
Learning to Reuse: Adaptive Model Learning for Evolving Systems. 138-156 - Frank S. de Boer, Hans-Dieter A. Hiep
:
Axiomatic Characterization of Trace Reachability for Concurrent Objects. 157-174 - Paul Dubrulle
, Christophe Gaston
, Nikolai Kosmatov
, Arnault Lapitre
:
Dynamic Reconfigurations in Frequency Constrained Data Flow. 175-193 - Clemens Dubslaff
, Patrick Koopmann
, Anni-Yasmin Turhan:
Ontology-Mediated Probabilistic Model Checking. 194-211 - Renáta Hodován
, Dániel Vince
, Ákos Kiss
:
Fuzzing JavaScript Environment APIs with Interdependent Function Calls. 212-226 - Chiao Hsieh
, Sayan Mitra
:
Dione: A Protocol Verification System Built with Dafny for I/O Automata. 227-245 - Ramon Janssen, Frits W. Vaandrager, Jan Tretmans:
Relating Alternating Relations for Conformance and Refinement. 246-264 - Sebastian Krings
, Michael Leuschel
:
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. 265-283 - Juliana Bowles
, Marco B. Caminati
:
An Integrated Approach to a Combinatorial Optimisation Problem. 284-302 - Ruggero Lanotte
, Simone Tini
:
Computing Bisimilarity Metrics for Probabilistic Timed Automata. 303-321 - Debasmita Lohar
, Milos Prokop
, Eva Darulova
:
Sound Probabilistic Numerical Error Analysis. 322-340 - Bjørnar Luteberget
, Koen Claessen, Christian Johansen
:
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. 341-359 - Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe:
Asynchronous Testing of Synchronous Components in GALS Systems. 360-378 - Yakoub Nemouchi, Simon Foster
, Mario Gleirscher, Tim Kelly:
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. 379-398 - Wytse Oortwijn, Marieke Huisman
:
Practical Abstractions for Automated Verification of Message Passing Concurrency. 399-417 - Wytse Oortwijn, Marieke Huisman
:
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. 418-436 - A. Laura Voinea
, Ornela Dardha
, Simon J. Gay
:
Resource Sharing via Capability-Based Multiparty Session Types. 437-455 - Fabian Vu
, Dominik Hansen, Philipp Körner
, Michael Leuschel
:
A Multi-target Code Generator for High-Level B. 456-473 - Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. 474-492
Short Papers
- Matteo Camilli
, Angelo Gargantini
, Rosario Madaudo, Patrizia Scandurra
:
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. 495-503 - Bernhard Gleiss, Laura Kovács
, Lena Schnedlitz:
Interactive Visualization of Saturation Attempts in Vampire. 504-513 - Muhammad Osama
, Anton Wijs
:
SIGmA: GPU Accelerated Simplification of SAT Formulas. 514-522
Journal-First Extended Abstracts
- Christian Johansen
, Olaf Owe
:
Summary of: Dynamic Structural Operational Semantics. 525-528 - Farzane Karami, Olaf Owe
, Toktam Ramezanifarkhani:
Summary of: An Evaluation of Interaction Paradigms for Active Objects. 529-533 - Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. 534-537 - Matt Luckcuck
, Marie Farrell
, Louise A. Dennis
, Clare Dixon
, Michael Fisher
:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. 538-541 - 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 - 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.