Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gianluca Torta
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ISSTA/ECOOP 2024 profile
Registered user since Tue 6 Jul 2021
Name:
Gianluca Torta
Contributions
2024
VORTEX
Author of Real-Time Guarantees for SLCS Monitors in XC within the VORTEX 2024-track
2022
VORTEX
Author of Predictive Semantics for Past-CTL Runtime Monitors within the VORTEX 2022-track
2021
VORTEX
Author of RM for Users’ Safety and Security in the Built Environment within the VORTEX-track
Author of Towards Aggregate Monitoring of Spatio-temporal Properties within the VORTEX-track
Share
x
Thu 21 Nov 11:58