default author photo

Ana Cavalcanti

University of York

Heslington

University of York

York, YO10 5DD

United Kingdom

  • University of York

SCHOLARLY PAPERS

5

DOWNLOADS

292

TOTAL CITATIONS

4

Scholarly Papers (5)

Actions:
Email selected abstracts
1.

A Model-Based Approach for Co-Simulation-Driven Digital Twins in Robotics

Number of pages: 23 Posted: 10 Dec 2024
SANTIAGO GIL, Arjun Badyal, Alvaro Miyazawa, Peter Gorm Larsen and Ana Cavalcanti
Aarhus University, University of York, University of York, Aarhus University and University of York
Downloads 100 (694,528)
Citation 1

Abstract:

Loading...

Robotics, Co-simulation, Digital Twin, Model-based engineering

2.

Specification, Validation and Verification Of Social, Legal, Ethical, Empathetic and Cultural Requirements For Autonomous Agents

Number of pages: 23 Posted: 14 Nov 2023
Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson and Beverley Townsend
University of York, University of York, University of York, University of York, University of York and University of York
Downloads 67 (924,743)
Citation 3

Abstract:

Loading...

autonomous agents, social, legal, ethical, empathethic and cultural requirements, verification and validation, sociotechnical systems, Formal Methods

3.

Model Checking for a Hybrid Process Algebra

Number of pages: 40 Posted: 03 Mar 2025
James Baxter, Mark Wetzlinger and Ana Cavalcanti
University of York, affiliation not provided to SSRN and University of York
Downloads 60 (970,490)

Abstract:

Loading...

verification, hybrid automata, CyPhyCircus, CORA

4.

Norm-Aware Workflow Adaptation for Autonomous Agents

Number of pages: 12 Posted: 05 Feb 2026
A L Partis, Radu Calinescu, Ana Cavalcanti, Sinem Getir Yaman, Ioannis Stefanakos and Alvaro Miyazawa
University of York - Department of Computer Science, University of York, University of York, University of York, University of York and University of York
Downloads 40 (1,222,651)

Abstract:

Loading...

self-adaptive intelligent agents, social, legal, ethical, empathetic and cultural rules, workflow adaptation

5.

A Sound Strategy for Livelock Analysis of Bric Components

Number of pages: 39 Posted: 02 May 2023
Madiel Conserva Filho, Ana Cavalcanti, Marcel Oliveira and Augusto Sampaio
affiliation not provided to SSRN, University of York, Universidade do Estado do Rio Grande do Norte (UERN) and affiliation not provided to SSRN
Downloads 25 (1,385,945)

Abstract:

Loading...

Component-Based Systems, Local Analysis, Model Checking, Performance