Ana Cavalcanti

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 85

Top Venues

CoRR

Formal Aspects Comput.

IFM

Sci. Comput. Program.

Publications

Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236 (2024)
Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis
Software engineering for robotics. Robotics Auton. Syst. 174 (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Normative Requirements Operationalization with Large Language Models. CoRR (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48 (6-7) (2024)
Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
Laws of Timed State Machines. Comput. J. 67 (6) (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Towards a Formal Framework for Normative Requirements Elicitation. ASE (2023)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Trustworthy Autonomous Systems Through Verifiability. Computer 56 (2) (2023)
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE (2023)
James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
RoboWorld: Verification of Robotic Systems with Environment in the Loop. Formal Aspects Comput. 35 (4) (2023)
Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti
Specification and Validation of Normative Rules for Autonomous Agents. FASE (2023)
Ana Cavalcanti, Robert M. Hierons
Challenges in testing of cyclic systems. ICECCS (2023)
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24 (2) (2023)
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley Townsend
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR (2023)
Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products (2023)
Ziggy Attala, Ana Cavalcanti, Jim Woodcock
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC (2023)
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Sound reasoning in tock-CSP. Acta Informatica 59 (1) (2022)
Will Barnett, Ana Cavalcanti, Alvaro Miyazawa
Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers Robotics AI 9 (2022)
Matt Windsor, Ana Cavalcanti
RoboCert: Property Specification in Robotics. ICFEM (2022)
Will Barnett, Ana Cavalcanti, Alvaro Miyazawa
Architectural modelling for robotics: RoboArch and the CorteX example. Future Internet 9 (2022)
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Correction to: Sound reasoning in tock-CSP. Acta Informatica 59 (2-3) (2022)
Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32 (4) (2022)
Dehui Du, Ana Cavalcanti, Jihui Nie
RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE (2022)
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21 (2) (2022)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121 (2021)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. CoRR (2021)
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
Transforming RoboSim Models into UPPAAL. TASE (2021)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. SBMF (2021)
Ana Cavalcanti, James Baxter, Gustavo Carvalho
RoboWorld: Where Can My Robot Work? SEFM (2021)
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School (2021)
Erik P. de Vink, Ana Cavalcanti
Editorial. Formal Aspects Comput. 33 (1) (2021)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197 (2020)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR (2020)
Ana Cavalcanti, Pedro Ribeiro
Editorial. Formal Aspects Comput. 32 (2-3) (2020)
Ana Cavalcanti
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. ABZ (2020)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira
Inputs and Outputs in CSP: A Model and a Testing Theory. ACM Trans. Comput. Log. 21 (3) (2020)
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
Automatic Translation of tock-CSP into Timed Automata. CoRR (2020)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802 (2020)
Ana Cavalcanti, Adenilso Simão
Fault-based refinement-testing for CSP. Softw. Qual. J. 27 (2) (2019)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP (2019)
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
Testing Robots Using CSP. TAP@FM (2019)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
Verified simulation for robotics. Sci. Comput. Program. 174 (2019)
Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer
Editorial. Formal Aspects Comput. 31 (2) (2019)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18 (5) (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR (2019)
Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings
: Specification and refinement of Safety-Critical Java programs. Sci. Comput. Program. 181 (2019)
Pedro Ribeiro, James Baxter, Ana Cavalcanti
Priorities in tock-CSP. CoRR (2019)
Pedro Ribeiro, Ana Cavalcanti
Angelic processes for CSP via the UTP. Theor. Comput. Sci. 756 (2019)
Jan Peleska, Wen-ling Huang, Ana Cavalcanti
Finite complete suites for CSP refinement testing. Sci. Comput. Program. 179 (2019)
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
Modelling and Verification for Swarm Robotics. IFM (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS (2018)
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133 (2018)
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
Safety-Critical Java: Level 2 in Practice. CoRR (2018)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135 (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS (2018)
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR (2018)
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR (2018)
Ana Cavalcanti
Formal Methods for Robotics: RoboChart, RoboSim, and More. SBMF (2017)
Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
Formal mutation testing for Circus. Inf. Softw. Technol. 81 (2017)
Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
Local Analysis of Determinism for CSP. SBMF (2017)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
Automatic property checking of robotic applications. IROS (2017)
Ana Cavalcanti, Adenilso da Silva Simão
Fault-Based Testing for Refinement in CSP. ICTSS (2017)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying Theories of Reactive Design Contracts. CoRR (2017)
James Baxter, Ana Cavalcanti
Algebraic Compilation of Safety-Critical Java Bytecode. IFM (2017)
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
Modelling and Verification of Timed Robotic Controllers. IFM (2017)
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. 29 (6) (2017)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. CoRR (2017)
Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti
Formalising Cosimulation Models. SEFM Workshops (2017)
Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Theories of Timed with Generalised Reactive Processes. CoRR (2017)
Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André L. M. Santos, Ana Cavalcanti, Fabiano Cutigi Ferrari, José Carlos Maldonado
Avoiding useless mutants. GPCE (2017)
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Local Livelock Analysis of Component-Based Models. ICFEM (2016)
Ana Cavalcanti, Jim Woodcock, Nuno Amálio
Behavioural Models for FMI Co-simulations. ICTAC (2016)
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM (2016)
Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM (2016)
Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
Checking SysML Models for Co-simulation. ICFEM (2016)
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
Java in the Safety-Critical Domain. SETSS (2016)
Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock
Towards a UTP Semantics for Modelica. UTP (2016)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. DARS (2016)
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. 28 (5) (2016)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
A Suspension-Trace Semantics for CSP. TASE (2016)
Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
A Stepwise Approach to Linking Theories. UTP (2016)
Frank Zeyda, Ana Cavalcanti
Laws of mission-based programming. Formal Aspects Comput. 27 (2) (2015)
Alvaro Miyazawa, Ana Cavalcanti
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. Refine@FM (2015)
Alvaro Miyazawa, Ana Cavalcanti
Refinement Strategies for Safety-Critical Java. SBMF (2015)
Jim Woodcock, Andy J. Wellings, Ana Cavalcanti
Mobile CSP. SBMF (2015)
Ana Cavalcanti, Marie-Claude Gaudel
Test selection for traces refinement. Theor. Comput. Sci. 563 (2015)
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM (2015)
James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas
Safety-Critical Java Virtual Machine Services. JTRES (2015)
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
CSP and Kripke Structures. ICTAC (2015)
Chris Marriott, Ana Cavalcanti
SCJ: Memory-Safety Checking without Annotations. FM (2014)
Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings
Models for Safety-Critical Java Programs. Comput. J. 57 (7) (2014)
Alvaro Miyazawa, Ana Cavalcanti
Refinement-based verification of implementations of Stateflow charts. Formal Aspects Comput. 26 (2) (2014)
Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock
Test-data generation for control coverage by proof. Formal Aspects Comput. 26 (4) (2014)
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen
Contracts in CML. ISoLA (2) (2014)
Pedro Ribeiro, Ana Cavalcanti
Angelicism in the Theory of Reactive Processes. UTP (2014)
Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
A Modular Theory of Object Orientation in Higher-Order UTP. FM (2014)

Ana Cavalcanti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ana Cavalcanti