Ana Cavalcanti -

Registered user since Tue 1 Oct 2019

Name:Ana Cavalcanti

Country:United Kingdom

Affiliation:University of York

Personal website:https://www-users.cs.york.ac.uk/~alcc/

Contributions

FormaliSE 2023	Committee Member in Program Committee within the FormaliSE 2023-track
MODELS 2022	Author of Probabilistic modelling and verification using RoboChart and PRISM within the Journal-first-track
ASE 2022	Author of RobSimVer: A Tool for RoboSim Modeling and Analysis within the Tool Demonstrations-track
FormaliSE 2022	Committee Member in Program Committee within the FormaliSE 2022-track
FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019	Committee Member in Program Committee within the FormaliSE 2019-track
FASE 2019	Committee Member in Program Committee within the FASE 2019-track
FormaliSE 2018	Committee Member in Program Committee within the FormaliSE 2018-track
GPCE 2017	Author of Avoiding Useless Mutants within the GPCE 2017-track