InterAVT 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Mathieu AcherAcher, Mathieu Committee Member in Program Committee within the InterAVT-track
B Alessandra BagnatoBagnato, Alessandra Softeam Committee Member in Program Committee within the InterAVT-track
Stylianos BasagiannisBasagiannis, Stylianos United Technologies Research centre Welcome to InterAVT 2019 Committee Member in Organizing Committee within the InterAVT-track
Saddek BensalemBensalem, Saddek Verimag Rigorous Design of FDIR Systems with BIP
Cinzia BernardeshiBernardeshi, Cinzia Univ. of PisaItaly FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems Committee Member in Program Committee within the InterAVT-track
Dirk BeyerBeyer, Dirk LMU MunichGermany Committee Member in Program Committee within the InterAVT-track
Armin BiereBiere, Armin Johannes Kepler University LinzAustria Committee Member in Program Committee within the InterAVT-track
Goetz BotterweckBotterweck, Goetz Lero - The Irish Software Research Centre and University of LimerickIreland Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges Welcome to InterAVT 2019 Committee Member in Organizing Committee within the InterAVT-track
Jorg BrauerBrauer, Jorg Verified SystemsGermany Committee Member in Program Committee within the InterAVT-track
Jeremy BryansBryans, Jeremy Coventry University Committee Member in Program Committee within the InterAVT-track
C Maxime CordyCordy, Maxime SnT, University of Luxembourg Committee Member in Program Committee within the InterAVT-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Cross Programming Language Taint Analysis for the IoT Ecosystem
D Marco DinataleDinatale, Marco Scuole Santa AnnaItaly Committee Member in Program Committee within the InterAVT-track
Andrea DomeniciDomenici, Andrea University of Pisa, Italy FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
Iulia DragomirDragomir, Iulia Rigorous Design of FDIR Systems with BIP
F Alessandro FantechiFantechi, Alessandro University of FlorenceItaly Committee Member in Program Committee within the InterAVT-track
Pietro FerraraFerrara, Pietro JuliaSoft SRL, ItalyItaly Cross Programming Language Taint Analysis for the IoT Ecosystem
Nathan FultonFulton, Nathan MIT-IBM Watson AI LabUnited States Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges"
G Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Committee Member in Program Committee within the InterAVT-track
H Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the InterAVT-track
Patrick HeymansHeymans, Patrick University of NamurBelgium Committee Member in Program Committee within the InterAVT-track
Robert HusakHusak, Robert AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
I Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-AlpesFrance Committee Member in Program Committee within the InterAVT-track
J Mikoláš JanotaJanota, Mikoláš INESC-ID, IST, ULisboaPortugal Committee Member in Program Committee within the InterAVT-track
K Florent KirchnerKirchner, Florent Advances in Usability of Formal Methods for Code Verification
Jan KofroňKofroň, Jan Charles UniversityCzechia AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
L Stefan LeueLeue, Stefan University of KonstanzGermany Committee Member in Program Committee within the InterAVT-track
M Amit Kr MandalMandal, Amit Kr Università Ca' Foscari, Venezia, Italy Cross Programming Language Taint Analysis for the IoT Ecosystem
Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland Committee Member in Program Committee within the InterAVT-track
Andre MaronezeMaroneze, Andre Advances in Usability of Formal Methods for Code Verification
Anastasia MavridouMavridou, Anastasia NASA Ames Committee Member in Program Committee within the InterAVT-track
Anila MjedaMjeda, Anila Lero - The Irish Software Research Centre and University of LimerickIreland Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges Welcome to InterAVT 2019 Committee Member in Organizing Committee within the InterAVT-track
P David ParkerParker, David University of BirminghamUnited Kingdom Committee Member in Program Committee within the InterAVT-track
Valentin PerrellePerrelle, Valentin Advances in Usability of Formal Methods for Code Verification
Ken PiercePierce, Ken The University of Newcastle Committee Member in Program Committee within the InterAVT-track
S Sergio SaponaraSaponara, Sergio University of Pisa, Italy FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
Fausto SpotoSpoto, Fausto U. Verona Cross Programming Language Taint Analysis for the IoT Ecosystem
T Maurice ter Beekter Beek, Maurice Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Committee Member in Program Committee within the InterAVT-track
Stavros TripakisTripakis, Stavros Northeastern UniversityUnited States Committee Member in Program Committee within the InterAVT-track
V Anthony VentresqueVentresque, Anthony Lero and University College DublinIreland Committee Member in Program Committee within the InterAVT-track
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia Committee Member in Program Committee within the InterAVT-track
Z Filip ZavoralZavoral, Filip AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention