• Sign in
  • Sign up
conf.researchr.org / Ana Cavalcanti
  • * ICSE 2018 * profile
  • ASE 2022 profile
  • ETAPS 2019 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • MODELS 2022 profile
  • SPLASH 2017 profile
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

Share
xMon 29 May 08:24
using conf.researchr.org (v1.60.0)
Support page
Sign Up