default search action

combined dblp search
author search
venue search
publication search

ask others

16th IFM 2020: Lugano, Switzerland

> 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2020
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

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/KazemiS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/KazemiS20
Milad Kazemi, Sadegh Soudjani:
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GarhewalVHSLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GarhewalVHSLS20
Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits:
Grey-Box Learning of Register Automata. 22-40
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MeywerkWGD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MeywerkWGD20
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

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Leuschel20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Leuschel20
Michael Leuschel:
Fast and Effective Well-Definedness Checking. 63-81
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DupontAPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DupontAPS20
Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling. 82-102
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SritharanH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SritharanH20
Sanjeevan Sritharan, Thai Son Hoang:
Towards Generating SPARK from Event-B Models. 103-120

Program Analysis and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MuesSH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MuesSH20
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/TitoloMFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/TitoloMFM20
Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz:
Automatic Generation of Guard-Stable Floating-Point Code. 141-159
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HaakWBH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HaakWBH20
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

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HenrioJP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HenrioJP20
Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun:
Active Objects with Deterministic Behaviour. 181-198
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HiepBBG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HiepBBG20
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BodenmullerSR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BodenmullerSR20
Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. 218-236

Formal Verification

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/000120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/000120
Julian Brunner:
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. 239-256
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SafariH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SafariH20
Mohsen Safari, Marieke Huisman:
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. 257-275
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SaeedloeiK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SaeedloeiK20
Neda Saeedloei, Feliks Kluzniak:
Synthesizing Clock-Efficient Timed Automata. 276-294

Static Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PutterW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PutterW20
Sander de Putter, Anton Wijs:
Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. 297-317
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SimicBIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SimicBIT20
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone:
Tight Error Analysis in Fixed-Point Arithmetic. 318-336
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MartinKPL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MartinKPL20
Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre:
Detection of Polluting Test Objectives for Dataflow Criteria. 337-345

Domain-Specific Approaches

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/Idani20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/Idani20
Akram Idani:
Meeduse: A Tool to Build and Run Proved DSLs. 349-367
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DeboisLSAH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DeboisLSAH20
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/JacquetH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/JacquetH20
Stéphane Jacquet, Sylvain Hallé:
Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. 387-394

Algebraic Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BellucciniN0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BellucciniN0T20
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi:
PALM: A Technique for Process ALgebraic Specification Mining. 397-418
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/TahaWY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/TahaWY20
Safouan Taha, Burkhart Wolff, Lina Ye:
Philosophers May Dine - Definitively! 419-439
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HumenbergerBK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HumenbergerBK20
Andreas Humenberger, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Loop Synthesis. 440-459

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.