|
ATVA2019: 17TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
TALK AUTHOR INDEX
A | Abdulla, Parosh Aziz | | Adabala, Keerthi | | André, Étienne | | Atig, Mohamed Faouzi | | B | Baier, Christel | | Bartocci, Ezio | | Basin, David | | Battou, Abdella | | Benmohamed, Lotfi | | Bensalem, Saddek | | Beyer, Dirk | | Biere, Armin | | Blahoudek, František | | Bloem, Roderick | | Bonakdarpour, Borzoo | | Bouyer-Decitre, Patricia | | Brazdil, Tomas | | Brix, Frederik | | C | Chatterjee, Krishnendu | | D | Darulova, Eva | | Dimitrova, Rayna | | Duret-Lutz, Alexandre | | E | Ehlers, Rüdiger | | F | Filliben, James J. | | Finkbeiner, Bernd | | G | Gieseking, Manuel | | Guldstrand Larsen, Kim | | H | H. Pham, Long | | Hecking-Harbusch, Jesko | | Holik, Lukas | | I | Izycheva, Anastasiia | | J | Jacobs, Swen | | Jaeger, Manfred | | Janků, Petr | | Jensen, Peter Gjøl | | Junges, Sebastian | | K | Katoen, Joost-Pieter | | Khoussi, Siham | | Klein, Joachim | | Kovacs, Laura | | Kretinsky, Jan | | Krstic, Srdjan | | Kucera, Antonin | | Kölbl, Martin | | L | Le, Hoang M. | | Le, Quang Loc | | Legay, Axel | | Lemberger, Thomas | | Leue, Stefan | | Löding, Christof | | M | Major, Juraj | | Majumdar, Rupak | | Manta, Alexander | | Meggendorfer, Tobias | | Metzger, Niklas | | Mitra, Sayan | | Mokhlesi, Navid | | Murawski, Andrzej | | Müller, David | | N | Nouri, Ayoub | | Novotný, Petr | | O | Olderog, Ernst-Ruediger | | P | Parizek, Pavel | | Phan, Quoc-Sang | | Phi Diep, Bui | | Pirogov, Anton | | Q | Qin, Shengchao | | R | Ramsay, Steven | | Raszyk, Martin | | S | Sasaráková, Miriama | | Schneider, Joshua | | Sedwards, Sean | | Seidl, Helmut | | Shi, Junxiao | | Sibai, Hussein | | Sifakis, Joseph | | Spel, Jip | | Stankovic, Miroslav | | Strejček, Jan | | Sun, Jun | | T | Taankvist, Jakob Haahr | | Torfah, Hazem | | Traytel, Dmitriy | | Tzevelekos, Nikos | | V | Velan, Dominik | | Vizel, Yakir | | Z | Zbončáková, Tatiana | |
|
|