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

2026

FM

Committee Member in Program Committee within the Research Track-track

2025

ASE

PC Member in Research Papers within the Research Papers-track

Requirements Engineering

Organizer of Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification within the Tutorials-track
Author of Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements within the Journal-First-track

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