Authors
|
Abdelhalim, ShoroukAbella, JaumeAgrawal, KunalAhmed, ShareefAltmeyer, SebastianAmalou, Abderaouf NAnderson, James H.André, ÉtienneAromolo, FedericoBaruah, SanjoyBender, Michael A.Bhuiyan, AshikahmedBiondi, AlessandroBourke, TimothyBregeon, VincentCarpanedo, PatrickCasini, DanielCazorla, Francisco J.Chen, Jian-JiaChen, Kuan-HsunChen, WeifanDal Zilio, SilvanoDasari, DakshinaDengler, EvaDi Natale, MarcoEkberg, PontusFejoz, LoïcFromont, ElisaGarcia-Esteban, SergioGaukler, MaximilianGermchi, DaneshGerstlauer, AndreasGraczyk, RafalGraf, SusanneGünzel, MarioGuo, ZhishanGutiérrez, J. JavierHarbour, Michael GonzálezHassan, MohamedHenia, RafikHoornaert, DenisHossam, MohamedIzhbirdeev, IvanKritikakou, AngelikiLe Botlan, DidierLi, JingLipari, GiuseppeLucchetti, FedericoMancuso, RenatoMarchetti-Spaccamela, AlbertoMatovic, AleksandarMedina, JulioMezzetti, EnricoModekurthy, Venkata PrashantMueller-Gritschneder, DanielNavet, NicolasNelissen, GeoffreyNikiema, Pegdwende RomaricNikolaus, PaulPapadopoulos, Alessandro V.Pellizzoni, RodolfoPivezhandi, MohammadPouzet, MarcPuaut, IsabelleQuinton, SophieRaffeck, PhillipRheinfels, TimRivas, Juan M.Roozkhosh, ShahinSaeed, AhsanSaifullah, AbusayeedSchlichtmann, UlfSchuster, SimonSciangula, GerlandoScordino, ClaudioSentieys, OlivierSerrano-Cases, AlejandroSharma, SanskritiStea, GiovanniSun, YouchengTeper, HarunTraiola, MarcelloUlbrich, PeterVölp, Marcusvon der Brüggen, GeorgWägemann, PeterZiegenbein, DirkZippo, Raffaele
|
|
|
| |
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
|
Authors: Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano ; Fejoz, Loïc ; Harbour, Michael González ; Graf, Susanne ; Gutiérrez, J. Javier ; Henia, Rafik ; Le Botlan, Didier ; Lipari, Giuseppe ; Medina, Julio ; Navet, Nicolas ; Quinton, Sophie ; Rivas, Juan M. ; Sun, Youcheng
Abstract |
Document (1,399 KB) |
BibTeX
|
|
| |