Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Angelo Ferrando
conf.researchr.org general profile
ECOOP 2016 profile
ECOOP 2025 profile
ECOOP and ISSTA 2023 profile
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Tue 4 Apr 2023
Name:
Angelo Ferrando
Contributions
2025
VORTEX
PC Member in Program Committee (to be finalized) within the VORTEX-track
2024
VORTEX
Committee Member in Program Committee within the VORTEX 2024-track
NFM
Committee Member in Program Committee within the NFM 2024-track
2023
VORTEX
Author of RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa within the VORTEX 2023-track
2017
FTfJP
Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track
2016
VORTEX
Author of The Early Bird Catches the Worm: first Verify, then Monitor! within the VORTEX-track
Share
x
Sat 17 May 14:35
