|
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 | |
|
|