Ana Cavalcanti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
63
Venues
19
Active years
1999–2026
Best venue rank
A*
Where they publish
Papers
63 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | The SLEEC Framework for Normative Requirements Engineering. | Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend |
| 2026 | ITP | Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. | Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff |
| 2025 | FASE | Formal Architectural Patterns for Adaptive Robotic Software. | James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cludio Gomes |
| 2025 | FASE | RoboScene: Notation for Formal Verification of Human-Robot Interaction. | Holly Hendry, Ana Cavalcanti, Cade McCall, Mark Chattington |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | RE | Normative Requirements Operationalization with Large Language Models. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2023 | FASE | Specification and Validation of Normative Rules for Autonomous Agents. | Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti |
| 2023 | ICECCS | Challenges in testing of cyclic systems. | Ana Cavalcanti, Robert M. Hierons |
| 2023 | ICTAC | Modelling and Verifying Robotic Software that Uses Neural Networks. | Ziggy Attala, Ana Cavalcanti, Jim Woodcock |
| 2022 | ICFEM | RoboCert: Property Specification in Robotics. | Matt Windsor, Ana Cavalcanti |
| 2021 | ICTAC | Model-Based Engineering for Robotics with RoboChart and RoboTool. | Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro |
| 2021 | SEFM | RoboWorld: Where Can My Robot Work? | Ana Cavalcanti, James Baxter, Gustavo Carvalho |
| 2021 | TASE | Transforming RoboSim Models into UPPAAL. | Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang |
| 2019 | TAP | Testing Robots Using CSP. | Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru |
| 2018 | IFM | Modelling and Verification for Swarm Robotics. | Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis |
| 2017 | GPCE | Avoiding useless mutants. | Leonardo Fernandes, Mrcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, Andr L. M. Santos, Ana Cavalcanti, Fabiano Cutigi Ferrari, Jos Carlos Maldonado |
| 2017 | IROS | Automatic property checking of robotic applications. | Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis |
| 2017 | IFM | Modelling and Verification of Timed Robotic Controllers. | Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis |
| 2017 | IFM | Algebraic Compilation of Safety-Critical Java Bytecode. | James Baxter, Ana Cavalcanti |
| 2017 | SEFM | Formalising Cosimulation Models. | Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti |
| 2016 | ICFEM | Checking SysML Models for Co-simulation. | Nuno Amlio, Richard John Payne, Ana Cavalcanti, Jim Woodcock |
| 2016 | ICFEM | Local Livelock Analysis of Component-Based Models. | Madiel S. Conserva Filho, Marcel Vincius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti |
| 2016 | ICTAC | Behavioural Models for FMI Co-simulations. | Ana Cavalcanti, Jim Woodcock, Nuno Amlio |
| 2016 | IFM | Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. | Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings |
| 2016 | IFM | A Formal Model of the Safety-Critical Java Level 2 Paradigm. | Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings |
| 2016 | TASE | A Suspension-Trace Semantics for CSP. | Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio |
| 2015 | ICTAC | CSP and Kripke Structures. | Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock |
| 2015 | SEFM | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. | Gustavo Carvalho, Flvia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2014 | FASE | Data Flow Coverage for Circus-Based Testing. | Ana Cavalcanti, Marie-Claude Gaudel |
| 2014 | FM | SCJ: Memory-Safety Checking without Annotations. | Chris Marriott, Ana Cavalcanti |
| 2014 | FM | A Modular Theory of Object Orientation in Higher-Order UTP. | Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio |
| 2014 | ICFEM | A Formal Model for Natural-Language Timed Requirements of Reactive Systems. | Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio |
| 2014 | ICTAC | UTP Designs for Binary Multirelations. | Pedro Ribeiro, Ana Cavalcanti |
| 2014 | IFM | Formal Refinement in SysML. | Alvaro Miyazawa, Ana Cavalcanti |
| 2014 | ISoLA | Contracts in CML. | Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen |
| 2014 | SAFECOMP | Assurance Cases for Block-Configurable Software. | Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands |
| 2013 | FASE | Testing with Inputs and Outputs in CSP. | Ana Cavalcanti, Robert M. Hierons |
| 2013 | ICFEM | Formal Models of SysML Blocks. | Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti |
| 2013 | TASE | Designs with Angelic Nondeterminism. | Pedro Ribeiro, Ana Cavalcanti |
| 2011 | FM | The Safety-Critical Java Memory Model: A Formal Account. | Ana Cavalcanti, Andy J. Wellings, Jim Woodcock |
| 2011 | ICFEM | The Safety-Critical Java Mission Model: A Formal Account. | Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
| 2009 | IFM | Mechanised Translation of Control Law Diagrams into Circus. | Frank Zeyda, Ana Cavalcanti |
| 2008 | ICTAC | A Theory of Pointers for the UTP. | Will Harwood, Ana Cavalcanti, Jim Woodcock |
| 2007 | ICFEM | Testing for Refinement in CSP. | Ana Cavalcanti, Marie-Claude Gaudel |
| 2007 | ICSoft | Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. | Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti |
| 2006 | FM | Automatic Translation from | Angela F. Freitas, Ana Cavalcanti |
| 2006 | ICECCS | Verification of Control Systems using Circus. | Ana Cavalcanti, Phil Clayton |
| 2006 | ICECCS | A Layered Behavioural Model of Platelets. | Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock |
| 2006 | ICFEM | Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. | Leo Freitas, Ana Cavalcanti, Jim Woodcock |
| 2005 | FM | Control Law Diagrams in | Ana Cavalcanti, Phil Clayton, Colin O'Halloran |
| 2005 | FM | Operational Semantics for Model Checking Circus. | Jim Woodcock, Ana Cavalcanti, Leonardo Freitas |
| 2004 | ICFEM | From Circus to JCSP. | Marcel Oliveira, Ana Cavalcanti |
| 2004 | ICTAC | A Framework for Specification and Validation of Real-Time Systems Using | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
| 2004 | IFM | A Tutorial Introduction to Designs in Unifying Theories of Programming. | Jim Woodcock, Ana Cavalcanti |
| 2004 | SEFM | Refine and Gabriel: Support for Refinement and Tactics. | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti |
| 2003 | FM | A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
| 2003 | ICFEM | A Refinement Tool for Z. | Angela F. Freitas, Carla Nascimento, Ana Cavalcanti |
| 2002 | FM | Forward Simulation for Data Refinement of Classes. | Ana Cavalcanti, David A. Naumann |
| 2002 | FM | Refinement in Circus. | Augusto Sampaio, Jim Woodcock, Ana Cavalcanti |
| 2002 | ICFEM | Refinement Algebra for Formal Bytecode Generation. | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
| 2001 | APSEC | The Steam Boiler in a Unified Theory of Z and CSP. | Jim Woodcock, Ana Cavalcanti |
| 1999 | FM | A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. | Ana Cavalcanti, David A. Naumann |
| 1999 | HCI | Cyber Rally: An experience of democratic use of the internet. | Geber L. Ramalho, Flvia A. Barros, Srgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano P. Moura, Alexandre M. L. de Vasconcelos |