FMCAD 2020: FORMAL METHODS IN COMPUTER AIDED DESIGN
TALK AUTHOR INDEX
A
Alizadeh Alamdari, Parand
Arif, M. Fareed
Asadi, Sepideh
Avni, Guy
Azevedo de Amorim, Arthur
B
Baier, Christel
Bansal, Chetan
Barrett, Clark
Baumgartner, Jason
Beame, Paul
Biere, Armin
Blicha, Martin
Brauße, Franz
Bueno, Denis
C
Cauli, Claudia
Chatterjee, Prantik
Chowdhury, Omar
Cimatti, Alessandro
Cook, Byron
Cox, Arlen
D
D'Souza, Deepak
Deisinger, Nate
Devriendt, Jo
Diep, Bui Phi
Doebel, Bjoern
Dureja, Rohit
E
Echeverria, Mitziu
Ehlers, Rüdiger
Elboher, Yizhak
Elffers, Jan
F
Fedotov, Alexander
Fedyukovich, Grigory
Fleury, Mathias
Fouladi, Sadjad
Funke, Florian
G
Gavran, Ivan
Geatti, Luca
Georgiou, Pamina
Gigante, Nicola
Gleiss, Bernhard
Gopinath, Divya
Gopinath, Sridhar
Gottschlich, Justin
Gupta, Aarti
H
Harder, Hans
Henzinger, Thomas A.
Hyvärinen, Antti
I
Irfan, Ahmed
J
Jagannathan, Suresh
Jantsch, Simon
Jia, Limin
Julian, Kyle
K
Kanzelman, Robert
Katz, Guy
Kaufmann, Daniela
Keiren, Jeroen J.A.
Khasidashvili, Zurab
Klimis, Vasileios
Korovin, Konstantin
Kovacs, Laura
Kroening, Daniel
Kugler, Hillel
Kumar, Rahul
Kupferman, Orna
L
Lahiri, Shuvendu
Lal, Akash
Larraz, Daniel
Levin, Vladimir
Lichtenberg, Jakob
Liew, Vincent
Lin, Xuankang
Lonsing, Florian
Lukina, Anna
M
Madhukar, Kumar
Manthey, Norbert
Mitra, Subhasish
Montanari, Angelo
Möhle, Sibylle
N
Nadel, Alexander
Nagashima, Yutaka
Namjoshi, Kedar
Neider, Daniel
Niemetz, Aina
Noetzli, Andres
Nordstrom, Jakob
Nutz, Alexander
O
Ozdemir, Alex
P
Pani, Thomas
Parisis, George
Pasareanu, Corina
Pick, Lauren
Pohlack, Martin
Polgreen, Elizabeth
Prabhu, Sumanth
Preiner, Mathias
R
Reus, Bernhard
Reynolds, Andrew
Roy, Subhajit
Rozier, Kristin Yvonne
S
Sahoo, Debashis
Sakallah, Karem A.
Samanta, Roopsha
Schmaltz, Julien
Schrammel, Peter
Schuppe, Georg
Sharygina, Natasha
Skadron, Kevin
T
Tabajara, Lucas
Tautschnig, Michael
Thakkar, Aalok
Tinelli, Cesare
Tonetta, Stefano
Tracy II, Tommy
Trefler, Richard
V
Vardi, Moshe
Vo, Daniella
W
Weissenbacher, Georg
Wieczorkiewicz, Pawel
Williams, Mark
Wu, Haoze
Z
Zeljić, Aleksandar
Zhang, Zichao
Zhu, He
Zuleger, Florian