Ana Cavalcanti

233 papers A* 3A 3B 29C 26Misc 3Journal 91Unranked 67

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A model-based approach for co-simulation-driven digital twins in robotics. Robotics Auton. Syst. Santiago Gil, Arjun Badyal, Alvaro Miyazawa, Peter Gorm Larsen, Ana Cavalcanti
2026	—	`conf`	Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems. SII Santiago Gil, Alvaro Miyazawa, Ana Cavalcanti, Cláudio Gomes
2026	J	`jnl`	Correction: Diagrammatic physical robot models. Softw. Syst. Model. Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2026	J	`jnl`	Formal Evidence Generation for Assurance Cases for Robotic Software Models. CoRR Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter
2026	J	`jnl`	Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents. CoRR Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Lina Marsso, Beverley A. Townsend
2026	—	`ed.`	Towards Autonomous Robotic Systems - 26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings TAROS Ana Cavalcanti, Simon Foster, Robert Richardson
2025	J	`jnl`	Diagrammatic physical robot models. Softw. Syst. Model. Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025	B	`conf`	Formal Architectural Patterns for Adaptive Robotic Software. FASE James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
2025	J	`jnl`	Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment. CoRR Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
2025	—	`conf`	Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software. NFM Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock
2025	B	`conf`	RoboScene: Notation for Formal Verification of Human-Robot Interaction. FASE Holly Hendry, Ana Cavalcanti, Cade McCall, Mark Chattington
2025	J	`jnl`	Software Engineering for Self-Adaptive Robotics: A Research Agenda. CoRR Shaukat Ali, Ana Cavalcanti, Cláudio Ângelo Gonçalves Gomes, Peter Gorm Larsen, Hassan Sartaj, Anastasios Tefas, Jim Woodcock, Houxiang Zhang
2025	J	`jnl`	Special Collection on Computer Science Education. Formal Aspects Comput. Luigia Petre, Ana Cavalcanti
2025	J	`jnl`	Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend
2024	A*	`conf`	Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE 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
2024	J	`jnl`	Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR 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
2024	J	`jnl`	Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
2024	B	`ed.`	Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings FASE Dirk Beyer, Ana Cavalcanti
2024	J	`jnl`	Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]. IEEE Robotics Autom. Mag. Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo
2024	J	`jnl`	Laws of Timed State Machines. Comput. J. Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
2024	—	`conf`	Model Checking and Verification of Synchronisation Properties of Cobot Welding. FMAS@iFM Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti
2024	A	`conf`	Normative Requirements Operationalization with Large Language Models. RE 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
2024	J	`jnl`	Normative Requirements Operationalization with Large Language Models. CoRR 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
2024	J	`jnl`	Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project. Res. Dir. Cyber Phys. Syst. Peter Gorm Larsen, Shaukat Ali, Roland Behrens, Ana Cavalcanti, Cláudio Gomes, Guoyuan Li, Paul De Meulenaere, Mikkel Labori Olsen, Nikolaos Passalis, Thomas Peyrucain, Jesús Tapia, Anastasios Tefas, Houxiang Zhang
2024	—	`conf`	Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification. CASE Mustafa Adam, Elias E. Hartmark, Tage Andersen, David A. Anisi, Ana Cavalcanti
2024	J	`jnl`	Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024	J	`jnl`	Software engineering for robotics. Robotics Auton. Syst. Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis
2024	—	`book`	The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I The Practice of Formal Methods (I) Ana Cavalcanti, James Baxter
2024	—	`book`	The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II The Practice of Formal Methods (II) Ana Cavalcanti, James Baxter
2024	J	`jnl`	Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
2023	—	`conf`	Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
2023	B	`conf`	Challenges in testing of cyclic systems. ICECCS Ana Cavalcanti, Robert M. Hierons
2023	C	`conf`	Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC Ziggy Attala, Ana Cavalcanti, Jim Woodcock
2023	—	`conf`	Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
2023	J	`jnl`	RoboWorld: Verification of Robotic Systems with Environment in the Loop. Formal Aspects Comput. James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
2023	B	`conf`	Specification and Validation of Normative Rules for Autonomous Agents. FASE Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti
2023	J	`jnl`	Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend
2023	J	`jnl`	Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
2023	A*	`conf`	Towards a Formal Framework for Normative Requirements Elicitation. ASE Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2023	J	`jnl`	Trustworthy Autonomous Systems Through Verifiability. Computer Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock
2023	—	`conf`	UTP, Circus, and Isabelle. Theories of Programming and Formal Methods Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
2022	J	`jnl`	Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers Robotics AI Will Barnett, Ana Cavalcanti, Alvaro Miyazawa
2022	J	`jnl`	Correction to: Sound reasoning in tock-CSP. Acta Informatica James Baxter, Pedro Ribeiro, Ana Cavalcanti
2022	J	`jnl`	From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
2022	J	`jnl`	Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
2022	C	`conf`	RoboCert: Property Specification in Robotics. ICFEM Matt Windsor, Ana Cavalcanti
2022	A*	`conf`	RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE Dehui Du, Ana Cavalcanti, Jihui Nie
2022	J	`jnl`	Sound reasoning in tock-CSP. Acta Informatica James Baxter, Pedro Ribeiro, Ana Cavalcanti
2021	J	`jnl`	Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2021	J	`jnl`	Editorial. Formal Aspects Comput. Erik P. de Vink, Ana Cavalcanti
2021	—	`conf`	Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
2021	B	`conf`	RoboWorld: Where Can My Robot Work? SEFM Ana Cavalcanti, James Baxter, Gustavo Carvalho
2021	—	`conf`	Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. SBMF Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
2021	J	`jnl`	Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. CoRR Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
2021	Misc	`conf`	Transforming RoboSim Models into UPPAAL. TASE Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
2020	J	`jnl`	Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2020	J	`jnl`	Editorial. Formal Aspects Comput. Ana Cavalcanti, Pedro Ribeiro
2020	J	`jnl`	Inputs and Outputs in CSP: A Model and a Testing Theory. ACM Trans. Comput. Log. Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira
2020	C	`conf`	Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. ABZ Ana Cavalcanti
2020	J	`jnl`	Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2020	J	`jnl`	Unifying theories of reactive design contracts. Theor. Comput. Sci. Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
2019	J	`jnl`	Angelic processes for CSP via the UTP. Theor. Comput. Sci. Pedro Ribeiro, Ana Cavalcanti
2019	J	`jnl`	Editorial. Formal Aspects Comput. Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer
2019	J	`jnl`	Fault-based refinement-testing for CSP. Softw. Qual. J. Ana Cavalcanti, Adenilso Simão
2019	J	`jnl`	Finite complete suites for CSP refinement testing. Sci. Comput. Program. Jan Peleska, Wen-ling Huang, Ana Cavalcanti
2019	J	`jnl`	Priorities in tock-CSP. CoRR Pedro Ribeiro, James Baxter, Ana Cavalcanti
2019	—	`conf`	Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
2019	J	`jnl`	RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
2019	—	`conf`	Testing Robots Using CSP. TAP@FM Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
2019	J	`jnl`	Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2019	J	`jnl`	Verified simulation for robotics. Sci. Comput. Program. Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
2018	J	`jnl`	A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
2018	—	`conf`	Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2018	J	`jnl`	Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2018	C	`conf`	Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2018	J	`jnl`	Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
2018	J	`jnl`	Compositional and local livelock analysis for CSP. Inf. Process. Lett. Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2018	B	`conf`	Modelling and Verification for Swarm Robotics. IFM Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
2018	J	`jnl`	Safety-Critical Java: Level 2 in Practice. CoRR Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
2018	J	`jnl`	Unifying theories of time with generalised reactive processes. Inf. Process. Lett. Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2017	B	`conf`	Algebraic Compilation of Safety-Critical Java Bytecode. IFM James Baxter, Ana Cavalcanti
2017	J	`jnl`	An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
2017	A	`conf`	Automatic property checking of robotic applications. IROS Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
2017	B	`conf`	Avoiding useless mutants. GPCE Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André L. M. Santos, Ana Cavalcanti, Fabiano Cutigi Ferrari, José Carlos Maldonado
2017	—	`ed.`	Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings FMICS-AVoCS Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
2017	C	`conf`	Fault-Based Testing for Refinement in CSP. ICTSS Ana Cavalcanti, Adenilso da Silva Simão
2017	—	`conf`	Formal Methods for Robotics: RoboChart, RoboSim, and More. SBMF Ana Cavalcanti
2017	J	`jnl`	Formal mutation testing for Circus. Inf. Softw. Technol. Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
2017	—	`conf`	Formalising Cosimulation Models. SEFM Workshops Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti
2017	J	`jnl`	From Formalised State Machines to Implementations of Robotic Controllers. CoRR Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
2017	—	`conf`	Local Analysis of Determinism for CSP. SBMF Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
2017	B	`conf`	Modelling and Verification of Timed Robotic Controllers. IFM Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
2017	J	`jnl`	Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
2017	—	`ch.`	Sound Simulation and Co-simulation for Robotics. Present and Ulterior Software Engineering Ana Cavalcanti, Alvaro Miyazawa, Richard John Payne, Jim Woodcock
2017	J	`jnl`	Unifying Theories of Reactive Design Contracts. CoRR Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
2017	J	`jnl`	Unifying Theories of Timed with Generalised Reactive Processes. CoRR Simon Foster, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2016	B	`conf`	A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
2016	—	`conf`	A Stepwise Approach to Linking Theories. UTP Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
2016	Misc	`conf`	A Suspension-Trace Semantics for CSP. TASE Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
2016	C	`conf`	Behavioural Models for FMI Co-simulations. ICTAC Ana Cavalcanti, Jim Woodcock, Nuno Amálio
2016	C	`conf`	Checking SysML Models for Co-simulation. ICFEM Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
2016	—	`conf`	From Formalised State Machines to Implementations of Robotic Controllers. DARS Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
2016	—	`conf`	Java in the Safety-Critical Domain. SETSS Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
2016	C	`conf`	Local Livelock Analysis of Component-Based Models. ICFEM Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2016	B	`conf`	Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
2016	J	`jnl`	Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
2016	—	`conf`	Towards a UTP Semantics for Modelica. UTP Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock
2015	C	`conf`	CSP and Kripke Structures. ICTAC Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
2015	J	`jnl`	Laws of mission-based programming. Formal Aspects Comput. Frank Zeyda, Ana Cavalcanti
2015	—	`conf`	Mobile CSP. SBMF Jim Woodcock, Andy J. Wellings, Ana Cavalcanti
2015	B	`conf`	NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
2015	—	`conf`	Refinement Strategies for Safety-Critical Java. SBMF Alvaro Miyazawa, Ana Cavalcanti
2015	—	`conf`	SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. Refine@FM Alvaro Miyazawa, Ana Cavalcanti
2015	—	`conf`	Safety-Critical Java Virtual Machine Services. JTRES James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas
2015	J	`jnl`	Test selection for traces refinement. Theor. Comput. Sci. Ana Cavalcanti, Marie-Claude Gaudel
2014	C	`conf`	A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio
2014	B	`conf`	A Modular Theory of Object Orientation in Higher-Order UTP. FM Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
2014	—	`conf`	An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen
2014	—	`conf`	Angelicism in the Theory of Reactive Processes. UTP Pedro Ribeiro, Ana Cavalcanti
2014	B	`conf`	Assurance Cases for Block-Configurable Software. SAFECOMP Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
2014	—	`conf`	Contracts in CML. ISoLA (2) Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen
2014	B	`conf`	Data Flow Coverage for Circus-Based Testing. FASE Ana Cavalcanti, Marie-Claude Gaudel
2014	B	`conf`	Formal Refinement in SysML. IFM Alvaro Miyazawa, Ana Cavalcanti
2014	J	`jnl`	Refinement-based verification of implementations of Stateflow charts. Formal Aspects Comput. Alvaro Miyazawa, Ana Cavalcanti
2014	B	`conf`	SCJ: Memory-Safety Checking without Annotations. FM Chris Marriott, Ana Cavalcanti
2014	J	`jnl`	Test-data generation for control coverage by proof. Formal Aspects Comput. Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock
2014	C	`conf`	UTP Designs for Binary Multirelations. ICTAC Pedro Ribeiro, Ana Cavalcanti
2013	Misc	`conf`	Designs with Angelic Nondeterminism. TASE Pedro Ribeiro, Ana Cavalcanti
2013	C	`conf`	Formal Models of SysML Blocks. ICFEM Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti
2013	—	`conf`	Refining SCJ Mission Specifications into Parallel Handler Designs Refine@IFM Frank Zeyda, Ana Cavalcanti
2013	—	`conf`	Safety-critical Java level 2: motivations, example applications and issues. JTRES Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti
2013	J	`jnl`	Safety-critical Java programs from Circus models. Real Time Syst. Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei
2013	—	`conf`	Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods Ana Cavalcanti, Alexandre Mota, Jim Woodcock
2013	B	`conf`	Testing with Inputs and Outputs in CSP. FASE Ana Cavalcanti, Robert M. Hierons
2013	J	`jnl`	The Safety-Critical Java memory model formalised. Formal Aspects Comput. Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
2013	J	`jnl`	Unifying theories in ProofPower-Z. Formal Aspects Comput. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2012	C	`conf`	A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ Chris Marriott, Frank Zeyda, Ana Cavalcanti
2012	—	`conf`	Features of CML: A formal modelling language for Systems of Systems. SoSE Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry
2012	—	`conf`	Higher-Order UTP for a Theory of Methods. UTP Frank Zeyda, Ana Cavalcanti
2012	J	`jnl`	Mechanical reasoning about families of UTP theories. Sci. Comput. Program. Frank Zeyda, Ana Cavalcanti
2012	J	`jnl`	Mechanised support for sound refinement tactics. Formal Aspects Comput. Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
2012	J	`jnl`	Refinement-oriented models of Stateflow charts. Sci. Comput. Program. Alvaro Miyazawa, Ana Cavalcanti
2012	J	`jnl`	Special issue: International Colloquium on Theoretical Aspects of Computing - ICTAC 2010. Theor. Comput. Sci. Ana Cavalcanti, David Déharbe
2012	J	`jnl`	Special issue: International Conference on Formal Engineering Methods - ICFEM 2009. Sci. Comput. Program. Ana Cavalcanti
2012	—	`conf`	The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti
2011	J	`jnl`	A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. Marcel Oliveira, Frank Zeyda, Ana Cavalcanti
2011	C	`conf`	Conformance Relations for Distributed Testing Based on CSP. ICTSS Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
2011	J	`jnl`	Editorial. Formal Aspects Comput. Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel
2011	J	`jnl`	From control law diagrams to Ada via Formal Aspects Comput. Ana Cavalcanti, Phil Clayton, Colin O'Halloran
2011	—	`conf`	Refinement-based verification of sequential implementations of Stateflow charts Refine@FM Alvaro Miyazawa, Ana Cavalcanti
2011	—	`conf`	Safety-critical Java in Circus. JTRES Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda
2011	J	`jnl`	Testing for refinement in Acta Informatica Ana Cavalcanti, Marie-Claude Gaudel
2011	B	`conf`	The Safety-Critical Java Memory Model: A Formal Account. FM Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
2011	C	`conf`	The Safety-Critical Java Mission Model: A Formal Account. ICFEM Frank Zeyda, Ana Cavalcanti, Andy J. Wellings
2010	J	`jnl`	A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio
2010	J	`jnl`	An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects Comput. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
2010	—	`conf`	Automating Refinement of SBMF Frank Zeyda, Ana Cavalcanti
2010	—	`conf`	Communication Systems in ClawZ. ASM Michael Vernon, Frank Zeyda, Ana Cavalcanti
2010	—	`ch.`	Programming Phase: Formal Methods. Encyclopedia of Software Engineering Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti
2010	J	`jnl`	Sound refactorings. Sci. Comput. Program. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2010	J	`jnl`	Special issue: 2nd World Congress on Formal Methods. Formal Methods Syst. Des. Ana Cavalcanti, Dennis Dams
2010	—	`conf`	Specification Coverage for Testing in UTP Ana Cavalcanti, Marie-Claude Gaudel
2010	—	`ed.`	Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures PSSE Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2010	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings ICTAC Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock
2009	J	`jnl`	A UTP semantics for Formal Aspects Comput. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2009	B	`ed.`	FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings FM Ana Cavalcanti, Dennis Dams
2009	C	`ed.`	Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings ICFEM Karin K. Breitman, Ana Cavalcanti
2009	B	`conf`	Mechanised Translation of Control Law Diagrams into Circus. IFM Frank Zeyda, Ana Cavalcanti
2009	—	`conf`	Supporting ArcAngel in ProofPower. REFINE@FMWeek Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
2008	—	`conf`	A Note on Traces Refinement and the UTP Ana Cavalcanti, Marie-Claude Gaudel
2008	C	`conf`	A Theory of Pointers for the UTP. ICTAC Will Harwood, Ana Cavalcanti, Jim Woodcock
2008	—	`conf`	ArcAngelC: a Refinement Tactic Language for Circus. Refine@FM Marcel Oliveira, Ana Cavalcanti
2008	—	`conf`	Encoding UTP Frank Zeyda, Ana Cavalcanti
2008	J	`jnl`	Guest Editorial. Formal Aspects Comput. Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone
2008	—	`conf`	Mechanical Reasoning about Families of UTP Theories. SBMF Frank Zeyda, Ana Cavalcanti
2008	—	`conf`	Stateflow Diagrams in Circus. SBMF Ana Cavalcanti
2007	—	`conf`	Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti
2007	C	`conf`	Testing for Refinement in CSP. ICFEM Ana Cavalcanti, Marie-Claude Gaudel
2006	—	`conf`	A Denotational Semantics for Circus. Refine@ICFEM Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2006	B	`conf`	A Layered Behavioural Model of Platelets. ICECCS Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
2006	J	`jnl`	Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. Ana Cavalcanti, Jim Woodcock, Steve Dunne
2006	B	`conf`	Automatic Translation from FM Angela F. Freitas, Ana Cavalcanti
2006	—	`conf`	Object-Orientation in the UTP. UTP Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
2006	—	`conf`	Pointers and Records in the Unifying Theories of Programming. UTP Ana Cavalcanti, Will Harwood, Jim Woodcock
2006	—	`ed.`	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures PSSE Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2006	J	`jnl`	State-rich model checking. Innov. Syst. Softw. Eng. Leo Freitas, Jim Woodcock, Ana Cavalcanti
2006	C	`conf`	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM Leo Freitas, Ana Cavalcanti, Jim Woodcock
2006	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings ICTAC Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
2006	—	`conf`	Type Checking Circus Specifications. SBMF Manuela Xavier, Ana Cavalcanti, Augusto Sampaio
2006	—	`conf`	Unifying Theories in ProofPower-Z. UTP Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2006	B	`conf`	Verification of Control Systems using Circus. ICECCS Ana Cavalcanti, Phil Clayton
2005	—	`conf`	Angelic Nondeterminism and Unifying Theories of Programming. REFINE Ana Cavalcanti, Jim Woodcock
2005	B	`conf`	Control Law Diagrams in FM Ana Cavalcanti, Phil Clayton, Colin O'Halloran
2005	J	`jnl`	Formal development of industrial-scale systems in Innov. Syst. Softw. Eng. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2005	—	`conf`	Mechanised Refinement of Procedures. SBMF Manuela Xavier, Ana Cavalcanti
2005	B	`conf`	Operational Semantics for Model Checking Circus. FM Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
2005	J	`jnl`	Unifying classes and processes. Softw. Syst. Model. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2004	C	`conf`	A Framework for Specification and Validation of Real-Time Systems Using ICTAC Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
2004	—	`conf`	A Tutorial Introduction to CSP in PSSE Ana Cavalcanti, Jim Woodcock
2004	B	`conf`	A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM Jim Woodcock, Ana Cavalcanti
2004	J	`jnl`	Algebraic reasoning for object-oriented programming. Sci. Comput. Program. Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
2004	C	`conf`	From Circus to JCSP. ICFEM Marcel Oliveira, Ana Cavalcanti
2004	—	`ed.`	Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003 WMF Ana Cavalcanti, Patrícia D. L. Machado
2004	—	`conf`	Refactoring Towards a Layered Architecture. SBMF Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2004	B	`conf`	Refine and Gabriel: Support for Refinement and Tactics. SEFM Marcel Oliveira, Manuela Xavier, Ana Cavalcanti
2004	—	`conf`	Refinement: An overview. PSSE Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2003	J	`jnl`	A Refinement Strategy for Circus. Formal Aspects Comput. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2003	C	`conf`	A Refinement Tool for Z. ICFEM Angela F. Freitas, Carla Nascimento, Ana Cavalcanti
2003	—	`conf`	A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
2003	J	`jnl`	ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2003	J	`jnl`	Predicate transformers in the semantics of Circus. IEE Proc. Softw. Ana Cavalcanti, Jim Woodcock
2003	—	`conf`	Preface. WMF Ana Cavalcanti, Patrícia D. L. Machado
2002	—	`conf`	Forward Simulation for Data Refinement of Classes. FME Ana Cavalcanti, David A. Naumann
2002	A	`conf`	From CSP-OZ to Java with Processes. IPDPS Ana Cavalcanti, Augusto Sampaio
2002	—	`conf`	JACK: A Framework for Process Algebra Implementation in Java. SBES Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti
2002	—	`conf`	Refactoring by Transformation. Refine Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2002	C	`conf`	Refinement Algebra for Formal Bytecode Generation. ICFEM Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
2002	—	`conf`	Refinement in Circus. FME Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
2002	—	`conf`	Refinement of actions in Circus. Refine Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2002	—	`conf`	The Semantics of Circus. ZB Jim Woodcock, Ana Cavalcanti
2001	—	`conf`	A Concurrent Language for Refinement. IWFM Jim Woodcock, Ana Cavalcanti
2001	C	`conf`	The Steam Boiler in a Unified Theory of Z and CSP. APSEC Jim Woodcock, Ana Cavalcanti
2000	J	`jnl`	A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng. Ana Cavalcanti, David A. Naumann
2000	—	`conf`	Tactics of Refinement. SBES Marcel Oliveira, Ana Cavalcanti
1999	—	`conf`	A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. World Congress on Formal Methods Ana Cavalcanti, David A. Naumann
1999	J	`jnl`	An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Sci. Comput. Program. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
1999	—	`conf`	Cyber Rally: An experience of democratic use of the internet. HCI (2) Geber L. Ramalho, Flávia A. Barros, Sérgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano P. Moura, Alexandre M. L. de Vasconcelos
1998	J	`jnl`	A Weakest Precondition Semantics for Z. Comput. J. Ana Cavalcanti, Jim Woodcock
1998	J	`jnl`	Procedures and Recursion in the Refinement Calculus. J. Braz. Comput. Soc. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
1998	J	`jnl`	ZRC - A Refinement Calculus for Z. Formal Aspects Comput. Ana Cavalcanti, Jim Woodcock
1997	—	`—`	A refinement calculus for Z. Ana Cavalcanti
1992	—	`ch.`	MooZ Case Studies. Object Orientation in Z Silvio Romero de Lemos Meira, Ana Cavalcanti
1990	—	`conf`	Modular Object-oriented Z Specifications. Z User Workshop Silvio Romero de Lemos Meira, Ana Cavalcanti