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
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Organizing Committee in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly 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 Sciences Committee Member in Program Committee within the VORTEX-track
R Anand RaghunathanRaghunathan, Anand School of Electrical and Computer Engineering, Purdue University Runtime Verified Neural Networks for Cyber-Physical Systems
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 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