Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Angelo Ferrando
conf.researchr.org general profile
ECOOP 2016 profile
ECOOP and ISSTA 2023 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
2024
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
Fri 29 Mar 06:36