VORTEX 2025 Contributors

Mon 30 June - Fri 4 July 2025 Bergen, Norway

co-located with ECOOP 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (33)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee (to be finalized) within the VORTEX-track
Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Aggregate Monitoring of Spatial Formulas beyond SLCS
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Afternoon session (part of VORTEX) Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee (to be finalized) within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Session Chair of Morning session 1 (part of VORTEX) Bounded Time Monitoring in Aggregate Systems Aggregate Monitoring of Spatial Formulas beyond SLCS Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee (to be finalized) within the VORTEX-track
B Diana Carolina Benjumea HernandezBenjumea Hernandez, Diana Carolina The University of Manchester, UKUnited Kingdom PC Member in Program Committee (to be finalized) within the VORTEX-track
Silvia BonfantiBonfanti, Silvia University of BergamoItaly PC Member in Program Committee (to be finalized) within the VORTEX-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee (to be finalized) within the VORTEX-track
Einar Broch JohnsenBroch Johnsen, Einar University of OsloNorway Committee Member in Program Committee (to be finalized) within the VORTEX-track
C Rafael C. CardosoCardoso, Rafael C. University of AberdeenUnited Kingdom Runtime Monitoring of Action Specifications for Replanning in Classical Planning
Michele ChiariChiari, Michele TU WienAustria PC Member in Program Committee (to be finalized) within the VORTEX-track
Luca CicconeCiccone, Luca University of TurinItaly Ain’t No Stopping Us Monitoring Now (extended abstract)
Christian ColomboColombo, Christian University of MaltaMalta Committee Member in Program Committee (to be finalized) within the VORTEX-track
D Francesco DagninoDagnino, Francesco University of GenoaItaly Session Chair of Morning session 2 (part of VORTEX)
Francesco DagninoDagnino, Francesco Ain’t No Stopping Us Monitoring Now (extended abstract)
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Bounded Time Monitoring in Aggregate Systems
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal PC Member in Program Committee (to be finalized) within the VORTEX-track
Angelo FerrandoFerrando, Angelo University of Modena and Reggio EmiliaItaly Ain’t No Stopping Us Monitoring Now (extended abstract) Runtime Monitoring of Action Specifications for Replanning in Classical Planning PC Member in Program Committee (to be finalized) within the VORTEX-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal PC Member in Program Committee (to be finalized) within the VORTEX-track
Mohammed Aristide FoughaliFoughali, Mohammed Aristide Université Paris Cité / IRIF Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Monitors for distributed deadlock detection
G Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee (to be finalized) within the VORTEX-track
J Sung-Shik JongmansJongmans, Sung-Shik University of GroningenNetherlands PC Member in Program Committee (to be finalized) within the VORTEX-track
Thierry JéronJéron, Thierry INRIA Bounded Compositional Runtime Enforcement
P Doron PeledPeled, Doron Bar Ilan UniversityIsrael PC Member in Program Committee (to be finalized) within the VORTEX-track
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Bounded Compositional Runtime Enforcement PC Member in Program Committee (to be finalized) within the VORTEX-track
R Radosław Jan RowickiRowicki, Radosław Jan Technical University of DenmarkDenmark Monitors for distributed deadlock detection
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee (to be finalized) within the VORTEX-track
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Monitors for distributed deadlock detection PC Member in Program Committee (to be finalized) within the VORTEX-track
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden PC Member in Program Committee (to be finalized) within the VORTEX-track
Saumya ShankarShankar, Saumya Bounded Compositional Runtime Enforcement
Prisha SrinidiSrinidi, Prisha Indian Institute of Technology BhubaneswarIndia Bounded Compositional Runtime Enforcement
T Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Bounded Time Monitoring in Aggregate Systems Committee Member in Program Committee (to be finalized) within the VORTEX-track
V Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Aggregate Monitoring of Spatial Formulas beyond SLCS