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

2024

Requirements Engineering

Author of Normative Requirements Operationalization with Large Language Models within the Research Papers-track

FormaliSE

Committee Member in Program Committee within the FormaliSE 2024-track

ICSE

Author of Analyzing and Debugging Normative Requirements via Satisfiability Checking within the Research Track-track

2023

FormaliSE

Committee Member in Program Committee within the FormaliSE 2023-track

ASE

2022

MODELS

Author of Probabilistic modelling and verification using RoboChart and PRISM within the Journal-first-track

ASE

Author of RobSimVer: A Tool for RoboSim Modeling and Analysis within the Tool Demonstrations-track

FormaliSE

Committee Member in Program Committee within the FormaliSE 2022-track

2021

FormaliSE

Committee Member in Programme Committee within the FormaliSE 2021-track

2020

FormaliSE

PC Member in Program Committee within the FormaliSE 2020-track

2019

FormaliSE

Committee Member in Program Committee within the FormaliSE 2019-track

FASE

Committee Member in Program Committee within the FASE 2019-track

2018

FormaliSE

Committee Member in Program Committee within the FormaliSE 2018-track

2017

GPCE

Author of Avoiding Useless Mutants within the GPCE 2017-track