IFM 2020: INTEGRATED FORMAL METHODS

A
Abbad Andaloussi, Amine	Chain of events: Modular Process Models for the Law
Ait Ameur, Yamine	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
B
Belluccini, Sara	PALM: a technique for Process ALgebraic specification Mining
Bemporad, Alberto	Tight Error Analysis in Fixed-point Arithmetics
Bian, Jinting	History-based Specification and Verification of Java Collections in KeY
Bjorner, Nikolaj	Algebra-based Loop Synthesis
Bodenmüller, Stefan	Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch
Brunner, Julian	Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata
C
Chairs,	Welcome
D
De Boer, Frank	History-based Specification and Verification of Java Collections in KeY
De Gouw, Stijn	History-based Specification and Verification of Java Collections in KeY
De Nicola, Rocco	PALM: a technique for Process ALgebraic specification Mining
de Putter, Sander	Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion
Debois, Søren	Chain of events: Modular Process Models for the Law
Drechsler, Rolf	Clustering-Guided SMT(LRA) Learning
Dupont, Guillaume	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
F
Feliu Gabaldon, Marco Antonio	Automatic Generation of Test Stable Floating Point Code
G
Garhewal, Bharat	Grey-Box Learning of Register Automata
Große, Daniel	Clustering-Guided SMT(LRA) Learning
H
Hallé, Sylvain	Reformulation of SAT into a PolynomialBox-Constrainted Optimization Problem
Henrio, Ludovic	Active Objects with Deterministic Behaviour
Hiep, Hans-Dieter	History-based Specification and Verification of Java Collections in KeY
Hildebrandt, Thomas	Chain of events: Modular Process Models for the Law
Hoang, Thai Son	Generating SPARK from Event-B Models
Howar, Falk	Grey-Box Learning of Register Automata Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs
Huisman, Marieke	A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-based Sorting Algorithms Formal methods for GPGPU programming: is the demand met?
Humenberger, Andreas	Algebra-based Loop Synthesis
I
Idani, Akram	Meeduse: A Tool to Build and Run Proved DSLs
Inverso, Omar	Tight Error Analysis in Fixed-point Arithmetics
J
Jacquet, Stéphane	Reformulation of SAT into a PolynomialBox-Constrainted Optimization Problem
Johnsen, Einar Broch	Active Objects with Deterministic Behaviour
K
Kazemi, Milad	Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
Kluzniak, Feliks	Synthesizing clock-efficient timed automata
Kosmatov, Nikolai	Detection of Polluting Test Objectives for Dataflow Criteria
Kovacs, Laura	Algebra-based Loop Synthesis
L
Lee, Edward	Verifying Parallel and Distributed Systems: The Observer Problem
Lemerre, Matthieu	Detection of Polluting Test Objectives for Dataflow Criteria
Lenaerts, Toon	Grey-Box Learning of Register Automata
Leuschel, Michael	Fast and Effective Well-Definedness Checking for Formal Models
López, Hugo A.	Chain of events: Modular Process Models for the Law
M
Martin, Thibault	Detection of Polluting Test Objectives for Dataflow Criteria
Meywerk, Tim	Clustering-Guided SMT(LRA) Learning
Moscato, Mariano	Automatic Generation of Test Stable Floating Point Code
Mues, Malte	Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs
Munoz, Cesar	Automatic Generation of Test Stable Floating Point Code
P
Pantel, Marc	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
Parker, David	Verification with Stochastic Games: Advances and Challenges
Prevosto, Virgile	Detection of Polluting Test Objectives for Dataflow Criteria
Pun, Violet Ka I	Active Objects with Deterministic Behaviour
R
Re, Barbara	PALM: a technique for Process ALgebraic specification Mining
Reif, Wolfgang	Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch
S
Saeedloei, Neda	Synthesizing clock-efficient timed automata
Safari, Mohsen	A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-based Sorting Algorithms
Schallau, Till	Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs
Schellhorn, Gerhard	Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch
Schrijvers, Timo	Grey-Box Learning of Register Automata
Simic, Stella	Tight Error Analysis in Fixed-point Arithmetics
Singh, Neeraj	An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
Slaats, Tijs	Chain of events: Modular Process Models for the Law
Smits, Rob	Grey-Box Learning of Register Automata
Soudjani, Sadegh	Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
Sritharan, Sanjeevan	Generating SPARK from Event-B Models
T
Taha, Safouan	Philosophers may Dine - Definitively!
Tiezzi, Francesco	PALM: a technique for Process ALgebraic specification Mining
Titolo, Laura	Automatic Generation of Test Stable Floating Point Code
Tribastone, Mirco	Tight Error Analysis in Fixed-point Arithmetics
V
Vaandrager, Frits	Grey-Box Learning of Register Automata
van den Brand, Mark	Formal methods for GPGPU programming: is the demand met?
van den Haak, Lars	Formal methods for GPGPU programming: is the demand met?
W
Walter, Marcel	Clustering-Guided SMT(LRA) Learning
Wijs, Anton	Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion Formal methods for GPGPU programming: is the demand met?
Wolff, Burkhart	Philosophers may Dine - Definitively!
Y
Yang, Hongseok	Towards Verified Stochastic Variational Inference for Probabilistic Programs
Ye, Lina	Philosophers may Dine - Definitively!

Disclaimer | Powered by EasyChair Smart Program