IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
TALK AUTHOR INDEX
A
Artho, Cyrille Valentin
B
Benes, Nikola
Benoit, Tuur
Brim, Lubos
Brucker, Achim D.
Bubel, Richard
C
Camilli, Matteo
Caminati, Marco B.
Chalupa, Marek
Claessen, Koen
Coullon, Helene
D
Damasceno, Carlos Diego
Damiani, Ferruccio
Dardha, Ornela
Darulova, Eva
de Boer, Frank
Dennis, Louise
Dixon, Clare
Dubrulle, Paul
Dubslaff, Clemens
F
Farrell, Marie
Filliatre, Jean-Christophe
Fisher, Michael
Foster, Simon
G
Gargantini, Angelo
Gaston, Christophe
Gay, Simon
Geletka, Martin
Gleirscher, Mario
Gleiss, Bernhard
Gnesi, Stefania
H
Heydari Tabar, Asmae
Hiep, Hans-Dieter
Hodován, Renáta
Hsieh, Chiao
Huisman, Marieke
Hähnle, Reiner
J
Jacobs, Bart
Janssen, Ramon
Jard, Claude
Johansen, Christian
K
Karami, Farzane
Kelly, Tim
Kiss, Ákos
Koerner, Philipp
Koopmann, Patrick
Kosmatov, Nikolai
Kovacs, Laura
Krings, Sebastian
Kristensen, Lars Michael
Küster Filipe Bowles, Juliana
L
Lanotte, Ruggero
Lapitre, Arnault
Legay, Axel
Leuschel, Michael
Lienhardt, Michael
Lime, Didier
Lluch Lafuente, Alberto
Lohar, Debasmita
Luckcuck, Matt
Luteberget, Bjørnar
M
Madaudo, Rosario
Margaria, Tiziana
Marsso, Lina
Mateescu, Radu
Mazzanti, Franco
Mitra, Sayan
Mousavi, Mohammadreza
N
Nemouchi, Yakoub
O
Oortwijn, Wytse
Osama, Muhammad
Owe, Olaf
P
Paolini, Luca
Parissis, Ioannis
Pastva, Samuel
Prokop, Milos
Păsăreanu, Corina
R
Ramezanifarkhani, Toktam
S
Scandurra, Patrizia
Schieweck, Alexander
Schnedlitz, Lena
Serwe, Wendelin
Simao, Adenilso
Stolz, Volker
Strejček, Jan
T
ter Beek, Maurice H.
Testa, Lorenzo
Tini, Simone
Tretmans, Jan
Turhan, Anni-Yasmin
Turin, Gianluca
V
Vaandrager, Frits
Vandin, Andrea
Vince, Dániel
Voinea, A. Laura
Vu, Fabian
W
Wang, Rui
Wijs, Anton
Wolff, Burkhart
Š
Šafránek, David