VORTEX 2024 Contributors

Mon 16 - Fri 20 September 2024 Vienna, Austria

co-located with ISSTA/ECOOP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (35)

A Robert AbelaAbela, Robert RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors
Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties
Ayush AnandAnand, Ayush Indian Institute of Technology Bhubaneswar Runtime Verified Neural Networks for Cyber-Physical Systems
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Morning talks (part of VORTEX) Session Chair of Morning keynote (part of VORTEX) Session Chair of Afternoon keynote 2 (part of VORTEX) Session Chair of Afternoon talks 2 (part of VORTEX) Organizing Committee in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Session Chair of Afternoon talks 1 (part of VORTEX) Session Chair of Afternoon keynote 1 (part of VORTEX) Real-Time Guarantees for SLCS Monitors in XC Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties Organizing Committee in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
B Silvia BonfantiBonfanti, Silvia University of BergamoItaly Committee Member in Program Committee within the VORTEX-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
C Francesca CairoliCairoli, Francesca Committee Member in Program Committee within the VORTEX-track
Michele ChiariChiari, Michele TU WienAustria Committee Member in Program Committee within the VORTEX-track
Christian ColomboColombo, Christian University of MaltaMalta RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors Committee Member in Program Committee within the VORTEX-track
Axel CurmiCurmi, Axel RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Real-Time Guarantees for SLCS Monitors in XC
Thao DangDang, Thao CNRS/VERIMAGFrance Committee Member in Program Committee within the VORTEX-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Program Committee within the VORTEX-track
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Angelo FerrandoFerrando, Angelo Committee Member in Program Committee within the VORTEX-track
Rony G. FlatscherFlatscher, Rony G. WU ViennaAustria Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program
G Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the VORTEX-track
H Klaus HavelundHavelund, Klaus Jet Propulsion Laboratory, California Institute of TechnologyUnited States Operational and Declarative Runtime Verification and their Combination Committee Member in Program Committee within the VORTEX-track
L Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the VORTEX-track
P Hammond PearcePearce, Hammond University of New South Wales, SydneyAustralia Runtime Verified Neural Networks for Cyber-Physical Systems
Giulia PedrielliPedrielli, Giulia Committee Member in Program Committee within the VORTEX-track
Doron PeledPeled, Doron Bar Ilan UniversityIsrael Operational and Declarative Runtime Verification and their Combination
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Runtime Verified Neural Networks for Cyber-Physical Systems Committee Member in Program Committee within the VORTEX-track
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Committee Member in Program Committee within the VORTEX-track
R Partha RoopRoop, Partha University of Auckland Runtime Verified Neural Networks for Cyber-Physical Systems
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University R2U2: Runtime Verification Takes Off! Committee Member in Program Committee within the VORTEX-track
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Committee Member in Program Committee within the VORTEX-track
T Gianluca TortaTorta, Gianluca Real-Time Guarantees for SLCS Monitors in XC
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Committee Member in Program Committee within the VORTEX-track
Dhiren TripuramalluTripuramallu, Dhiren Indian Institute of Technology Bhubaneswar Runtime Verified Neural Networks for Cyber-Physical Systems
V Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties
W Till WinklerWinkler, Till Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program
Z Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Runtime Invariant Checking in Robotic Systems and Deep Learning Models