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
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