 | 2009 |
|---|
| 60 |       | Ana Cavalcanti,
Dennis Dams:
FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Springer 2009 |
| 59 | | Frank Zeyda,
Ana Cavalcanti:
Mechanised Translation of Control Law Diagrams into Circus.
IFM 2009: 151-166 |
| 58 | | Ana Cavalcanti:
Stateflow Diagrams in Circus.
Electr. Notes Theor. Comput. Sci. 240: 23-41 (2009) |
| 57 | | Frank Zeyda,
Ana Cavalcanti:
Mechanical Reasoning about Families of UTP Theories.
Electr. Notes Theor. Comput. Sci. 240: 239-257 (2009) |
| 56 | | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
A UTP semantics for Circus.
Formal Asp. Comput. 21(1-2): 3-32 (2009) |
| 2008 |
|---|
| 55 | | Will Harwood,
Ana Cavalcanti,
Jim Woodcock:
A Theory of Pointers for the UTP.
ICTAC 2008: 141-155 |
| 54 | | Manuela Xavier,
Ana Cavalcanti,
Augusto Sampaio:
Type Checking Circus Specifications.
Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008) |
| 53 | | Kamel Barkaoui,
Manfred Broy,
Ana Cavalcanti,
Antonio Cerone:
Guest Editorial.
Formal Asp. Comput. 20(4-5): 349-350 (2008) |
| 2007 |
|---|
| 52 | | Ana Cavalcanti,
Marie-Claude Gaudel:
Testing for Refinement in CSP.
ICFEM 2007: 151-170 |
| 51 |  | Emine G. Aydal,
Jim Woodcock,
Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.
ICSOFT (SE) 2007: 290-295 |
| 50 | | Manuela Xavier,
Ana Cavalcanti:
Mechanised Refinement of Procedures.
Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007) |
| 49 | | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
A Denotational Semantics for Circus.
Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007) |
| 2006 |
|---|
| 48 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Springer 2006 |
| 47 | | Kamel Barkaoui,
Ana Cavalcanti,
Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings
Springer 2006 |
| 46 | | Angela Freitas,
Ana Cavalcanti:
Automatic Translation from Circus to Java.
FM 2006: 115-130 |
| 45 | | Ana Cavalcanti,
Phil Clayton:
Verification of Control Systems using Circus.
ICECCS 2006: 269-278 |
| 44 | | Steve Schneider,
Helen Treharne,
Ana Cavalcanti,
Jim Woodcock:
A Layered Behavioural Model of Platelets.
ICECCS 2006: 98-106 |
| 43 | | Leo Freitas,
Ana Cavalcanti,
Jim Woodcock:
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.
ICFEM 2006: 697-716 |
| 42 | | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
Unifying Theories in ProofPower-Z.
UTP 2006: 123-140 |
| 41 | | Thiago L. V. L. Santos,
Ana Cavalcanti,
Augusto Sampaio:
Object-Orientation in the UTP.
UTP 2006: 18-37 |
| 40 | | Ana Cavalcanti,
Will Harwood,
Jim Woodcock:
Pointers and Records in the Unifying Theories of Programming.
UTP 2006: 200-216 |
| 39 | | Ana Cavalcanti,
Jim Woodcock,
Steve Dunne:
Angelic nondeterminism in the unifying theories of programming.
Formal Asp. Comput. 18(3): 288-307 (2006) |
| 38 | | Leo Freitas,
Jim Woodcock,
Ana Cavalcanti:
State-rich model checking.
ISSE 2(1): 49-64 (2006) |
| 2005 |
|---|
| 37 | | Jim Woodcock,
Ana Cavalcanti,
Leonardo Freitas:
Operational Semantics for Model Checking Circus.
FM 2005: 237-252 |
| 36 | | Ana Cavalcanti,
Phil Clayton,
Colin O'Halloran:
Control Law Diagrams in Circus.
FM 2005: 253-268 |
| 35 | | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring Towards a Layered Architecture.
Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005) |
| 34 | | Ana Cavalcanti,
Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming.
Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005) |
| 33 | | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
Formal development of industrial-scale systems in Circus.
ISSE 1(2): 125-146 (2005) |
| 32 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Unifying classes and processes.
Software and System Modeling 4(3): 277-296 (2005) |
| 2004 |
|---|
| 31 | | Marcel Oliveira,
Ana Cavalcanti:
From Circus to JCSP.
ICFEM 2004: 320-340 |
| 30 | | 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 |
| 29 | | Jim Woodcock,
Ana Cavalcanti:
A Tutorial Introduction to Designs in Unifying Theories of Programming.
IFM 2004: 40-66 |
| 28 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement: An overview.
PSSE 2004: 1-17 |
| 27 | | Ana Cavalcanti,
Jim Woodcock:
A Tutorial Introduction to CSP in Unifying Theories of Programming.
PSSE 2004: 220-268 |
| 26 | | Marcel Oliveira,
Manuela Xavier,
Ana Cavalcanti:
Refine and Gabriel: Support for Refinement and Tactics.
SEFM 2004: 310-319 |
| 25 | | Ana Cavalcanti,
Patrícia D. L. Machado:
Preface.
Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004) |
| 24 | | Paulo Borba,
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio:
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program. 52: 53-100 (2004) |
| 2003 |
|---|
| 23 | | Adolfo Duran,
Ana Cavalcanti,
Augusto Sampaio:
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
FME 2003: 301-320 |
| 22 | | Angela Freitas,
Carla Nascimento,
Ana Cavalcanti:
A Refinement Tool for Z.
ICFEM 2003: 396-415 |
| 21 | | Marcel Oliveira,
Ana Cavalcanti,
Jim Woodcock:
ArcAngel: a Tactic Language for Refinement.
Formal Asp. Comput. 15(1): 28-47 (2003) |
| 20 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
A Refinement Strategy for Circus.
Formal Asp. Comput. 15(2-3): 146-181 (2003) |
| 19 | | Ana Cavalcanti,
Jim Woodcock:
Predicate transformers in the semantics of Circus.
IEE Proceedings - Software 150(2): 85-94 (2003) |
| 2002 |
|---|
| 18 | | Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti:
Refinement in Circus.
FME 2002: 451-470 |
| 17 | | Ana Cavalcanti,
David A. Naumann:
Forward Simulation for Data Refinement of Classes.
FME 2002: 471-490 |
| 16 | | Adolfo Duran,
Ana Cavalcanti,
Augusto Sampaio:
Refinement Algebra for Formal Bytecode Generation.
ICFEM 2002: 347-358 |
| 15 | | Ana Cavalcanti,
Augusto Sampaio:
From CSP-OZ to Java with Processes.
IPDPS 2002 |
| 14 | | Jim Woodcock,
Ana Cavalcanti:
The Semantics of Circus.
ZB 2002: 184-203 |
| 13 | | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring by Transformation.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 12 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement of actions in Circus.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 11 | | Jim Woodcock,
Ana Cavalcanti:
The Steam Boiler in a Unified Theory of Z and CSP.
APSEC 2001: 291-298 |
| 10 | | Jim Woodcock,
Ana Cavalcanti:
A Concurrent Language for Refinement.
IWFM 2001 |
| 2000 |
|---|
| 9 | | Ana Cavalcanti,
David A. Naumann:
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.
IEEE Trans. Software Eng. 26(8): 713-728 (2000) |
| 1999 |
|---|
| 8 | | 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 |
| 7 | | Ana Cavalcanti,
David A. Naumann:
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement.
World Congress on Formal Methods 1999: 1439-1459 |
| 6 | | 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) |
| 1998 |
|---|
| 5 | | Ana Cavalcanti,
Jim Woodcock:
A Weakest Precondition Semantics for Z.
Comput. J. 41(1): 1-15 (1998) |
| 4 | | Ana Cavalcanti,
Jim Woodcock:
ZRC - A Refinement Calculus for Z.
Formal Asp. Comput. 10(3): 267-289 (1998) |
| 3 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comp. Soc. 5(1): (1998) |
| 1992 |
|---|
| 2 | | Silvio Romero de Lemos Meira,
Ana Cavalcanti:
MooZ Case Studies.
Object Orientation in Z 1992: 37-58 |
| 1990 |
|---|
| 1 | | Silvio Romero de Lemos Meira,
Ana Cavalcanti:
Modular Object-oriented Z Specifications.
Z User Workshop 1990: 173-192 |
