conf.researchr.org / Giorgio Audrito
Registered user since Wed 5 Jul 2017
Name:Giorgio Audrito
Country:Italy
Affiliation:UniversitĂ di Torino
Personal website: http://giorgio.audrito.info/#!/research
Research interests:Internet of Things, Programming Languages, Graph Algorithms
Contributions
2025
2024
VORTEX
- Author of Real-Time Guarantees for SLCS Monitors in XC within the VORTEX 2024-track
- Author of Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties within the VORTEX 2024-track
- Session Chair of Afternoon keynote 1 (part of VORTEX 2024)
- Co-chair in Program Committee within the VORTEX 2024-track
- Organizing Committee in Organizing Committee within the VORTEX 2024-track
- Session Chair of Afternoon talks 1 (part of VORTEX 2024)
2023
ACSOS
ECOOP
ECOOP/ISSTA
ISSTA
VORTEX
- Co-chair in Organizing Committee within the VORTEX 2023-track
- Author of Runtime Monitoring of Human Behaviour with Aggregate Computing on Android within the VORTEX 2023-track
- Co-chair in Program Committee within the VORTEX 2023-track
- Author of Combining Static and Runtime Verification with AC and Coq within the VORTEX 2023-track