|
FM 2019: 23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
TALK AUTHOR INDEX
A | Aichernig, Bernhard K. | | Amram, Gal | | Andronick, June | | Appel, Andrew W. | | Arusoaie, Andrei | | B | Bacci, Giovanni | | Baier, Christel | | Bao, Yuyan | | Bard, Joachim | | Becker, Heiko | | Bendisposto, Jens | | Beringer, Lennart | | Blakqori, Genc | | Bodeveix, Jean-Paul | | Bonakdarpour, Borzoo | | Bonsangue, Marcello | | Boyer, Benoît | | Brenas, Jon Haël | | Brunel, Julien | | Butterfield, Andrew | | C | Charguéraud, Arthur | | Chemouil, David | | Cordwell, Katherine | | Coughlin, Nicholas | | D | D'Souza, Deepak | | D'Souza, Meenakshi | | Darulova, Eva | | de Boer, Frank S. | | Dehnert, Christian | | Deifel, Hans-Peter | | Derrick, John | | Doherty, Simon | | Dongol, Brijesh | | Dubrulle, Paul | | Dunkelau, Jannik | | E | Echahed, Rachid | | Ehlers, Rüdiger | | Eichlseder, Maria | | Ernst, Gidon | | Evangelidis, Alexandros | | F | Feliú, Marco A. | | Filali, Mamoun | | Filaretti, Daniele | | Filliâtre, Jean-Christophe | | G | Gomes, Artur Oliveira | | Guth, Dwight | | H | H. Pham, Long | | Hähnle, Reiner | | I | Irofti, Dina | | J | Jackson, Daniel | | Jantsch, Simon | | Johansen, Christian | | Johnson, Ralph | | Johnson, Taylor T. | | Jongmans, Sung-Shik | | Junges, Sebastian | | K | Kang, Eunsuk | | Kasampalis, Theodoros | | Katoen, Joost-Pieter | | Klein, Joachim | | Krings, Sebastian | | Krishnamurthi, Shriram | | Kwiatkowska, Marta | | Körner, Philipp | | L | Lamers, Arjan | | Lang, Frédéric | | Larsen, Kim G. | | Le, Quang Loc | | Leavens, Gary T. | | Leuschel, Michael | | Liu, Yang | | Lourenço, Cláudio | | Lucanu, Dorel | | Lunel, Simon | | Luteberget, Bjørnar | | M | Manzanas Lopez, Diego | | Maoz, Shahar | | Marmsoler, Diego | | Mateescu, Radu | | Mazzanti, Franco | | Milicevic, Aleksandar | | Milius, Stefan | | Mitsch, Stefan | | Moore, Brandon | | Moscato, Mariano | | Murray, Toby | | Musau, Patrick | | Muñoz, César A. | | Müller, David | | N | Near, Joseph P. | | Nguyen, Luan | | Norman, Gethin | | Nyberg, Mattias | | O | Ogawa, Mizuhito | | P | Pai, Rekha | | Pang, Jun | | Parker, David | | Paul, Soumya | | Pereira, Mário | | Phan, Quoc-Sang | | Pistiner, Or | | Platzer, André | | Poll, Erik | | R | Roșu, Grigore | | S | Santos, Gabriel | | Sanán, David | | Schellhorn, Gerhard | | Schneider, Gerardo | | Schröder, Lutz | | Sheinvald, Sarai | | Singh, Abhishek | | Smith, Graeme | | Sogokon, Andrew | | Steffen, Martin | | Steinhöfel, Dominic | | Strecker, Martin | | Stucki, Sandro | | Su, Cui | | Sun, Jun | | Sánchez, César | | T | Talpin, Jean-Pierre | | Tan, Yong Kiam | | Tappler, Martin | | Titolo, Laura | | Tran, Hoang-Dung | | V | van Eekelen, Marko | | Vu, Anh V. | | W | Wehrheim, Heike | | Westman, Jonas | | Wißmann, Thorsten | | X | Xiang, Weiming | | Y | Yang, Xiao Dong | | Z | Zhang, Fuyuan | | Zhang, Yi | | Zhao, Yongwang | | Č | Češka, Milan | | Ș | Șerbănuță, Traian Florin | | Șerbănuță, Virgil | |
|
|