VORTEX 2021 Contributors

Sun 11 - Sat 17 July 2021 Online

co-located with ECOOP and ISSTA 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (35)

A Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Session Chair of Afternoon session 1 (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Morning session (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Towards Aggregate Monitoring of Spatio-temporal Properties RM for Users’ Safety and Security in the Built Environment
B Daniela BriolaBriola, Daniela University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
C Rafael C. CardosoCardoso, Rafael C. RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
Maria ChristakisChristakis, Maria MPI-SWSGermany Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
Christian ColomboColombo, Christian Runtime Verification for Trustworthy Secure Shell Deployment Committee Member in Program Committee within the VORTEX-track
Axel CurmiCurmi, Axel Runtime Verification for Trustworthy Secure Shell Deployment
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly RM for Users’ Safety and Security in the Built Environment Committee Member in Program Committee within the VORTEX-track
Giuseppe Di GiudaDi Giuda, Giuseppe RM for Users’ Safety and Security in the Built Environment
E Joshua EllulEllul, Joshua University of Malta Optional Monitoring for Long-Lived Transactions
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Committee Member in Program Committee within the VORTEX-track
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly RVPLAN: A General Purpose Framework for Replanning using Runtime Verification Committee Member in Program Committee within the VORTEX-track
Michael FisherFisher, Michael University of Manchester, UKUnited Kingdom Increasing Confidence in Autonomous Systems
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of Afternoon session 2 (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
J Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Committee Member in Program Committee within the VORTEX-track
L Karoliina LehtinenLehtinen, Karoliina University of LiverpoolUnited Kingdom Committee Member in Program Committee within the VORTEX-track
M Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Silvia MeschiniMeschini, Silvia RM for Users’ Safety and Security in the Built Environment
N Laura NenziNenzi, Laura University of TriesteItaly Committee Member in Program Committee within the VORTEX-track
P Gordon PacePace, Gordon University of MaltaMalta Optional Monitoring for Long-Lived Transactions
Laura PellegriniPellegrini, Laura RM for Users’ Safety and Security in the Built Environment
R Giles RegerReger, Giles University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Committee Member in Program Committee within the VORTEX-track
Elena SeghezziSeghezzi, Elena RM for Users’ Safety and Security in the Built Environment
Julien SignolesSignoles, Julien CEA LISTFrance The E-ACSL Perspective on Runtime Assertion Checking
César SánchezSánchez, César IMDEA Software InstituteSpain Synchronous and Asynchronous Stream Runtime Verification
T Lavinia Chiara TagliabueTagliabue, Lavinia Chiara RM for Users’ Safety and Security in the Built Environment
Lorenzo TestaTesta, Lorenzo RM for Users’ Safety and Security in the Built Environment
Gianluca TortaTorta, Gianluca Towards Aggregate Monitoring of Spatio-temporal Properties RM for Users’ Safety and Security in the Built Environment
V Mark VellaVella, Mark Runtime Verification for Trustworthy Secure Shell Deployment
Alessandro VerriVerri, Alessandro Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents