VORTEX 2019 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (45)

A Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the VORTEX-track
Elvira AlbertAlbert, Elvira Committee Member in Program Committee within the VORTEX-track
Eman AldakheelAldakheel, Eman University of Illinois at Chicago & Princess Nourah bint Abdulrahman UniversityUnited States Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
Davide AnconaAncona, Davide University of GenovaItaly Session Chair of Session 3 (part of VORTEX) Opening at 10:25 Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly A Field Calculus Implementation of Spatial Logic Committee Member in Program Committee within the VORTEX-track
B Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
Borzoo BonakdarpourBonakdarpour, Borzoo Iowa State University, USA Committee Member in Program Committee within the VORTEX-track
Ugo BuyBuy, Ugo Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
C Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the COP-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the COP-track
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly A Field Calculus Implementation of Spatial Logic
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Cynthia DisenfeldDisenfeld, Cynthia University of Toronto Committee Member in Program Committee within the COP-track
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
F Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification
G Radu GrigoreGrigore, Radu University of KentUnited Kingdom Session Chair of Session 2 (part of VORTEX) Invited talk: Fast Runtime Verification via Slow Program Analysis Committee Member in Program Committee within the VORTEX-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Committee Member in Program Committee within the COP-track
Robert HirschfeldHirschfeld, Robert Hasso-Plattner-Institut (HPI), GermanyGermany Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Falk HowarHowar, Falk Clausthal University of Technology Committee Member in Program Committee within the VORTEX-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
J Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands Session Chair of Session 1 (part of VORTEX) Invited talk: Monitoring Asynchronous Communications (in Clojure) Committee Member in Program Committee within the VORTEX-track
K Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
Hillel KuglerKugler, Hillel MicrosoftUnited States Committee Member in Program Committee within the VORTEX-track
L Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Committee Member in Program Committee within the COP-track
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, ItalyItaly Committee Member in Program Committee within the VORTEX-track
David H. LorenzLorenz, David H. Open University and Technion IIT Session Chair of Research Papers (part of COP) Session Chair of Research Papers (part of COP) Contact Organizer in Organizing Committee within the COP-track Chair in Program Committee within the COP-track
Gerald LüttgenLüttgen, Gerald University of BambergGermany Committee Member in Program Committee within the VORTEX-track
M Fernando MaciasMacias, Fernando Empowering Multilevel DSMLs with Integrated Runtime Verification
Mariana MarasoiuMarasoiu, Mariana University of Cambridge Committee Member in Program Committee within the COP-track
Leonardo MarianiMariani, Leonardo University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
P Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Program Committee within the COP-track
R Giles RegerReger, Giles University of ManchesterUnited Kingdom Invited talk: Runtime Verification and Objects: Are we doing it wrong? Committee Member in Program Committee within the VORTEX-track
Adrian RutleRutle, Adrian Empowering Multilevel DSMLs with Integrated Runtime Verification
S Torben ScheffelScheffel, Torben Empowering Multilevel DSMLs with Integrated Runtime Verification
Malte SchmitzSchmitz, Malte Empowering Multilevel DSMLs with Integrated Runtime Verification
Julien SignolesSignoles, Julien CEA LISTFrance Committee Member in Program Committee within the VORTEX-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway A Field Calculus Implementation of Spatial Logic Empowering Multilevel DSMLs with Integrated Runtime Verification
César SánchezSánchez, César IMDEA Software InstituteSpain Committee Member in Program Committee within the VORTEX-track
T emilio tuostotuosto, emilio University of LeicesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the VORTEX-track
V Mirko ViroliViroli, Mirko University of Bologna A Field Calculus Implementation of Spatial Logic

VORTEX 2019 Contributors

Results (45)

Tracks

Workshops