![](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
16th IFM 2020: Lugano, Switzerland
- Brijesh Dongol
, Elena Troubitsyna:
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12546, Springer 2020, ISBN 978-3-030-63460-5
Integrating Machine Learning and Formal Modelling
- Milad Kazemi, Sadegh Soudjani:
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. 3-21 - Bharat Garhewal
, Frits W. Vaandrager, Falk Howar
, Timo Schrijvers, Toon Lenaerts, Rob Smits:
Grey-Box Learning of Register Automata. 22-40 - Tim Meywerk
, Marcel Walter
, Daniel Große
, Rolf Drechsler
:
Clustering-Guided SMT($\mathcal {L\!R\!A}$) Learning. 41-59
Modelling and Verification in B and Event-B
- Michael Leuschel
:
Fast and Effective Well-Definedness Checking. 63-81 - Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. 82-102 - Sanjeevan Sritharan, Thai Son Hoang
:
Towards Generating SPARK from Event-B Models. 103-120
Program Analysis and Testing
- Malte Mues
, Till Schallau
, Falk Howar
:
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. 123-140 - Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz:
Automatic Generation of Guard-Stable Floating-Point Code. 141-159 - Lars B. van den Haak
, Anton Wijs
, Mark van den Brand
, Marieke Huisman
:
Formal Methods for GPGPU Programming: Is the Demand Met? 160-177
Verification of Interactive Behaviour
- Ludovic Henrio
, Einar Broch Johnsen
, Violet Ka I Pun
:
Active Objects with Deterministic Behaviour. 181-198 - Hans-Dieter A. Hiep
, Jinting Bian, Frank S. de Boer, Stijn de Gouw:
History-Based Specification and Verification of Java Collections in KeY. 199-217 - Stefan Bodenmüller
, Gerhard Schellhorn, Wolfgang Reif:
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. 218-236
Formal Verification
- Julian Brunner
:
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. 239-256 - Mohsen Safari, Marieke Huisman
:
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. 257-275 - Neda Saeedloei, Feliks Kluzniak:
Synthesizing Clock-Efficient Timed Automata. 276-294
Static Analysis
- Sander de Putter, Anton Wijs
:
Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. 297-317 - Stella Simic
, Alberto Bemporad
, Omar Inverso
, Mirco Tribastone
:
Tight Error Analysis in Fixed-Point Arithmetic. 318-336 - Thibault Martin
, Nikolai Kosmatov
, Virgile Prevosto
, Matthieu Lemerre
:
Detection of Polluting Test Objectives for Dataflow Criteria. 337-345
Domain-Specific Approaches
- Akram Idani
:
Meeduse: A Tool to Build and Run Proved DSLs. 349-367 - Søren Debois, Hugo A. López
, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt:
Chain of Events: Modular Process Models for the Law. 368-386 - Stéphane Jacquet
, Sylvain Hallé:
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. 387-394
Algebraic Techniques
- Sara Belluccini, Rocco De Nicola
, Barbara Re, Francesco Tiezzi:
PALM: A Technique for Process ALgebraic Specification Mining. 397-418 - Safouan Taha, Burkhart Wolff, Lina Ye:
Philosophers May Dine - Definitively! 419-439 - Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács
:
Algebra-Based Loop Synthesis. 440-459
![](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.