Ana Cavalcanti

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock: The Safety-Critical Java memory model formalised. Formal Asp. Comput. 25(1): 37-57 (2013)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying theories in ProofPower-Z. Formal Asp. Comput. 25(1): 133-158 (2013)

Ana Cavalcanti, Robert M. Hierons: Testing with Inputs and Outputs in CSP. FASE 2013: 359-374

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti: Mechanised support for sound refinement tactics. Formal Asp. Comput. 24(1): 127-160 (2012)

Frank Zeyda, Ana Cavalcanti: Mechanical reasoning about families of UTP theories. Sci. Comput. Program. 77(4): 444-479 (2012)

Alvaro Miyazawa, Ana Cavalcanti: Refinement-oriented models of Stateflow charts. Sci. Comput. Program. 77(10-11): 1151-1177 (2012)

Ana Cavalcanti: Special issue: International Conference on Formal Engineering Methods - ICFEM 2009. Sci. Comput. Program. 77(12): 1211 (2012)

Ana Cavalcanti, David Déharbe: Special issue: International Colloquium on Theoretical Aspects of Computing - ICTAC 2010. Theor. Comput. Sci. 455: 1 (2012)

Chris Marriott, Frank Zeyda, Ana Cavalcanti: A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ 2012: 294-307

Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti: The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES 2012: 62-71

Kun Wei, Jim Woodcock, Ana Cavalcanti: Circus Time with Reactive Designs. UTP 2012: 68-87

Frank Zeyda, Ana Cavalcanti: Higher-Order UTP for a Theory of Methods. UTP 2012: 204-223

Ana Cavalcanti, Marie-Claude Gaudel: Testing for refinement in Circus. Acta Inf. 48(2): 97-147 (2011)

Ana Cavalcanti, Phil Clayton, Colin O'Halloran: From control law diagrams to Ada via Circus. Formal Asp. Comput. 23(4): 465-512 (2011)

Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel: Editorial. Formal Asp. Comput. 23(6): 681 (2011)

Marcel Oliveira, Frank Zeyda, Ana Cavalcanti: A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011)

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock: The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261

Frank Zeyda, Ana Cavalcanti, Andy J. Wellings: The Safety-Critical Java Mission Model: A Formal Account. ICFEM 2011: 49-65

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda: Safety-critical Java in Circus. JTRES 2011: 20-29

Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons: Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63

Alvaro Miyazawa, Ana Cavalcanti: Refinement-based verification of sequential implementations of Stateflow charts. Refine 2011: 65-83

Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio: A process algebraic framework for specification and validation of real-time systems. Formal Asp. Comput. 22(2): 153-191 (2010)

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: An algebraic approach to the design of compilers for object-oriented languages. Formal Asp. Comput. 22(5): 489-535 (2010)

Ana Cavalcanti, Dennis Dams: Special issue: 2nd World Congress on Formal Methods. Formal Methods in System Design 37(2-3): 93-94 (2010)

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010)

Michael Vernon, Frank Zeyda, Ana Cavalcanti: Communication Systems in ClawZ. ASM 2010: 334-348

Frank Zeyda, Ana Cavalcanti: Automating Refinement of Circus Programs. SBMF 2010: 274-290

Ana Cavalcanti, Marie-Claude Gaudel: Specification Coverage for Testing in Circus. UTP 2010: 1-45

Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti: Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785

Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, isbn 978-3-642-14807-1

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, isbn 978-3-642-14334-2

Ana Cavalcanti: Stateflow Diagrams in Circus. Electr. Notes Theor. Comput. Sci. 240: 23-41 (2009)

Frank Zeyda, Ana Cavalcanti: Mechanical Reasoning about Families of UTP Theories. Electr. Notes Theor. Comput. Sci. 240: 239-257 (2009)

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti: Supporting ArcAngel in ProofPower. Electr. Notes Theor. Comput. Sci. 259: 225-243 (2009)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009)

Frank Zeyda, Ana Cavalcanti: Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166

Ana Cavalcanti, Dennis Dams (Eds.): FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5850, Springer 2009, isbn 978-3-642-05088-6

Karin Breitman, Ana Cavalcanti (Eds.): Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5885, Springer 2009, isbn 978-3-642-10372-8

Manuela Xavier, Ana Cavalcanti, Augusto Sampaio: Type Checking Circus Specifications. Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008)

Marcel Oliveira, Ana Cavalcanti: ArcAngelC: a Refinement Tactic Language for Circus. Electr. Notes Theor. Comput. Sci. 214: 203-229 (2008)

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)

Will Harwood, Ana Cavalcanti, Jim Woodcock: A Theory of Pointers for the UTP. ICTAC 2008: 141-155

Ana Cavalcanti, Marie-Claude Gaudel: A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. UTP 2008: 42-61

Frank Zeyda, Ana Cavalcanti: Encoding Circus Programs in ProofPowerZ. UTP 2008: 218-237

Manuela Xavier, Ana Cavalcanti: Mechanised Refinement of Procedures. Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: A Denotational Semantics for Circus. Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007)

Ana Cavalcanti, Marie-Claude Gaudel: Testing for Refinement in CSP. ICFEM 2007: 151-170

Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295

Ana Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)

Leo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)

Angela Freitas, Ana Cavalcanti: Automatic Translation from Circus to Java. FM 2006: 115-130

Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106

Ana Cavalcanti, Phil Clayton: Verification of Control Systems using Circus. ICECCS 2006: 269-278

Leo Freitas, Ana Cavalcanti, Jim Woodcock: Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716

Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio: Object-Orientation in the UTP. UTP 2006: 18-37

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying Theories in ProofPower-Z. UTP 2006: 123-140

Ana Cavalcanti, Will Harwood, Jim Woodcock: Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216

Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (Eds.): Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Lecture Notes in Computer Science 4281, Springer 2006, isbn 3-540-48815-4

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167, Springer 2006, isbn 978-3-540-46253-8

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring Towards a Layered Architecture. Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005)

Ana Cavalcanti, Jim Woodcock: Angelic Nondeterminism and Unifying Theories of Programming. Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005)

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: Formal development of industrial-scale systems in Circus. ISSE 1(2): 125-146 (2005)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Unifying classes and processes. Software and System Modeling 4(3): 277-296 (2005)

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252

Ana Cavalcanti, Phil Clayton, Colin O'Halloran: Control Law Diagrams in Circus. FM 2005: 253-268

Ana Cavalcanti, Patrícia D. L. Machado: Preface. Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004)

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004)

Marcel Oliveira, Ana Cavalcanti: From Circus to JCSP. ICFEM 2004: 320-340

Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio: A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. ICTAC 2004: 478-493

Jim Woodcock, Ana Cavalcanti: A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement: An overview. PSSE 2004: 1-17

Ana Cavalcanti, Jim Woodcock: A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268

Marcel Oliveira, Manuela Xavier, Ana Cavalcanti: Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. Formal Asp. Comput. 15(1): 28-47 (2003)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: A Refinement Strategy for Circus. Formal Asp. Comput. 15(2-3): 146-181 (2003)

Ana Cavalcanti, Jim Woodcock: Predicate transformers in the semantics of Circus. IEE Proceedings - Software 150(2): 85-94 (2003)

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME 2003: 301-320

Angela Freitas, Carla Nascimento, Ana Cavalcanti: A Refinement Tool for Z. ICFEM 2003: 396-415

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement of actions in Circus. Electr. Notes Theor. Comput. Sci. 70(3): 132-162 (2002)

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring by Transformation. Electr. Notes Theor. Comput. Sci. 70(3): 311-330 (2002)

Augusto Sampaio, Jim Woodcock, Ana Cavalcanti: Refinement in Circus. FME 2002: 451-470

Ana Cavalcanti, David A. Naumann: Forward Simulation for Data Refinement of Classes. FME 2002: 471-490

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: Refinement Algebra for Formal Bytecode Generation. ICFEM 2002: 347-358

Ana Cavalcanti, Augusto Sampaio: From CSP-OZ to Java with Processes. IPDPS 2002

Jim Woodcock, Ana Cavalcanti: The Semantics of Circus. ZB 2002: 184-203

Jim Woodcock, Ana Cavalcanti: The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298

Jim Woodcock, Ana Cavalcanti: A Concurrent Language for Refinement. IWFM 2001

Ana Cavalcanti, David A. Naumann: A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng. 26(8): 713-728 (2000)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Sci. Comput. Program. 33(1): 87-96 (1999)

Ana Cavalcanti, David A. Naumann: A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. World Congress on Formal Methods 1999: 1439-1459

Geber Ramalho, Flávia A. Barros, Sérgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano Moura, Alexandre Vasconcelos: Cyber Rally: An experience of democratic use of the internet. HCI (2) 1999: 402-406

Ana Cavalcanti, Jim Woodcock: A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998)

Ana Cavalcanti, Jim Woodcock: ZRC - A Refinement Calculus for Z. Formal Asp. Comput. 10(3): 267-289 (1998)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Procedures and Recursion in the Refinement Calculus. J. Braz. Comp. Soc. 5(1) (1998)

Silvio Romero de Lemos Meira, Ana Cavalcanti: MooZ Case Studies. Object Orientation in Z 1992: 37-58

Silvio Romero de Lemos Meira, Ana Cavalcanti: Modular Object-oriented Z Specifications. Z User Workshop 1990: 173-192