VORTEX 2023 Contributors

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (24)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Runtime Monitoring of Human Behaviour with Aggregate Computing on Android Combining Static and Runtime Verification with AC and Coq Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
B Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Monitoring for resource-awareness
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Stream Runtime Verification and Aggregate Programming
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the VORTEX-track
Angelo FerrandoFerrando, Angelo RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in Program Committee within the VORTEX-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
G Andrea GattiGatti, Andrea University of Genoa, Italy RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
H Daniel HauresHaures, Daniel University of Turin, Italy Combining Static and Runtime Verification with AC and Coq
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
M Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, ItalyItaly RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
N Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
P Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
R Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee within the VORTEX-track
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Runtime Monitoring of Human Behaviour with Aggregate Computing on Android PC Member in Program Committee within the VORTEX-track
T Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy On Stream Runtime Verification and Aggregate Programming PC Member in Program Committee within the VORTEX-track
Y Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom PC Member in Program Committee within the VORTEX-track