|
FMCAD 2018: FORMAL METHODS IN COMPUTER AIDED DESIGN 2018
TALK AUTHOR INDEX
A | Abdulla, Parosh Aziz | | Aichernig, Bernhard K. | | Anand, Sourav | | Atig, Mohamed Faouzi | | B | Backeman, Peter | | Backes, John | | Barrett, Clark | | Baumgartner, Jason | | Becker, Heiko | | Bloem, Roderick | | Bolignano, Pauline | | Braud-Santoni, Nicolas | | Brunel, Julien | | C | Cadavero, Giuseppe | | Cadek, Pavel | | Cavada, Roberto | | Chakraborty, Supratik | | Chemouil, David | | Chen, Yu-Fang | | Cimatti, Alessandro | | Claessen, Koen | | Cook, Byron | | Cruz-Filipe, Luís | | D | Daly, Ross | | Danninger, Clemens | | Darulova, Eva | | Diep, Bui Phi | | Dodge, Catherine | | E | Ebrahimi, Masoud | | Egly, Uwe | | Enescu, Florian | | F | Fedyukovich, Grigory | | Fox, Anthony | | Fried, Dror | | Furbach, Florian | | G | Gacek, Andrew | | Gavran, Ivan | | Goldberg, Eugene | | Griggio, Alberto | | Gupta, Aarti | | Gupta, Aarti | | Gupta, Utkarsh | | H | Hadžić, Vedad | | Hanrahan, Pat | | Heljanko, Keijo | | Heule, Marijn | | Hoenicke, Jochen | | Hojjat, Hossein | | Holik, Lukas | | Hruska, Martin | | Huff, Dillon | | I | Ilioaea, Irina | | Ivrii, Alexander | | J | Johansen, Christian | | K | Kalla, Priyank | | L | Leino, Rustan | | Lonsing, Florian | | Luckow, Kasper | | Luteberget, Bjørnar | | M | Madhukar, Kumar | | Malik, Sharad | | Malík, Viktor | | Manerkar, Yatin | | Mann, Makai | | Martinelli Tabajara, Lucas | | Martonosi, Margaret | | Mattarei, Cristian | | McMillan, Kenneth L. | | Meyer, Roland | | Monat, Raphaël | | Mover, Sergio | | Myreen, Magnus O. | | N | Narodytska, Nina | | Neider, Daniel | | Nevo, Ziv | | P | Padon, Oded | | Pani, Thomas | | Passmore, Grant | | Podelski, Andreas | | Polikarpova, Nadia | | Ponce-De-Leon, Hernan | | Prabhu, Sumanth | | R | Rao, Vikas | | Rebola Pardo, Adrian | | Rezine, Ahmed | | Rosu, Grigore | | Roveri, Marco | | Ruemmer, Philipp | | Rungta, Neha | | S | Sagiv, Mooly | | Scaglione, Giuseppe | | Schrammel, Peter | | Seidl, Martina | | Sessa, Mirko | | Shoham, Sharon | | Sinn, Moritz | | Srinath, Arpitha | | T | Tappler, Martin | | Tawa, Jeanne | | Tkachuk, Oksana | | Tonetta, Stefano | | Trippel, Caroline | | V | Vardi, Moshe | | Varming, Carsten | | Vojnar, Tomas | | W | Weissenbacher, Georg | | Winter, Johannes | | Z | Zeljić, Aleksandar | | Zhang, Hongce | | Zuleger, Florian | | Zyuzin, Nikita | |
|
|