| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti |
Mechanised support for sound refinement tactics.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanical reasoning about families of UTP theories. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel |
Editorial. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Phil Clayton, Colin O'Halloran |
From control law diagrams to Ada via Circus. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Frank Zeyda, Ana Cavalcanti |
A tactic language for refinement of state-rich concurrent specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Testing for refinement in Circus. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro Miyazawa, Ana Cavalcanti |
Refinement-based verification of sequential implementations of Stateflow charts |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
The Safety-Critical Java Mission Model: A Formal Account. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons |
Conformance Relations for Distributed Testing Based on CSP. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Andy J. Wellings, Jim Woodcock |
The Safety-Critical Java Memory Model: A Formal Account. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio |
A process algebraic framework for specification and validation of real-time systems. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
An algebraic approach to the design of compilers for object-oriented languages. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio |
Sound refactorings. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Dennis Dams |
Special issue: 2nd World Congress on Formal Methods. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti |
Programming Phase: Formal Methods. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Automating Refinement of Circus Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Specification Coverage for Testing in Circus. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 |
PSSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vernon, Frank Zeyda, Ana Cavalcanti |
Communication Systems in ClawZ. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
A UTP semantics for Circus. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Theorem proving, Relational model, Refinement calculus |
| 1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti |
Supporting ArcAngel in ProofPower. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti |
Stateflow Diagrams in Circus. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanical Reasoning about Families of UTP Theories. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti |
Mechanised Translation of Control Law Diagrams into Circus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
| 1 | Ana Cavalcanti, Dennis Dams (eds.) |
FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone |
Guest Editorial. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Xavier, Ana Cavalcanti, Augusto Sampaio |
Type Checking Circus Specifications. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti |
ArcAngelC: a Refinement Tactic Language for Circus. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Harwood, Ana Cavalcanti, Jim Woodcock |
A Theory of Pointers for the UTP. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
semantics, refinement, object models, relations |
| 1 | Frank Zeyda, Ana Cavalcanti |
Encoding Circus Programs in ProofPowerZ. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
A Denotational Semantics for Circus. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Xavier, Ana Cavalcanti |
Mechanised Refinement of Procedures. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emine G. Aydal, Jim Woodcock, Ana Cavalcanti |
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, Marie-Claude Gaudel |
Testing for Refinement in CSP. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Jim Woodcock, Steve Dunne |
Angelic nondeterminism in the unifying theories of programming. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Relations, Predicate transformers |
| 1 | Leo Freitas, Jim Woodcock, Ana Cavalcanti |
State-rich model checking. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Formal method tools, Model checking, Theorem proving, Abstract interpretation |
| 1 | Leo Freitas, Ana Cavalcanti, Jim Woodcock |
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.) |
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings |
ICTAC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Angela Freitas, Ana Cavalcanti |
Automatic Translation from Circus to Java. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio |
Object-Orientation in the UTP. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
Unifying Theories in ProofPower-Z. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
Unifying Theories of Programming, theorem prover |
| 1 | Ana Cavalcanti, Will Harwood, Jim Woodcock |
Pointers and Records in the Unifying Theories of Programming. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
semantics, refinement, object models, relations |
| 1 | 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 |
PSSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, Phil Clayton |
Verification of Control Systems using Circus. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
| 1 | Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock |
A Layered Behavioural Model of Platelets. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Unifying classes and processes. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
Integration, Refinement, CSP, Z |
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
Formal development of industrial-scale systems in Circus. |
ISSE |
2005 |
DBLP DOI BibTeX RDF |
Concurrency, Object-orientation, Refinement, Program development |
| 1 | Ana Cavalcanti, Jim Woodcock |
Angelic Nondeterminism and Unifying Theories of Programming. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio |
Refactoring Towards a Layered Architecture. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Ana Cavalcanti, Leonardo Freitas |
Operational Semantics for Model Checking Circus. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Phil Clayton, Colin O'Halloran |
Control Law Diagrams in Circus. |
FM |
2005 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
| 1 | Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio |
Algebraic reasoning for object-oriented programming. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Patrícia D. L. Machado |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti |
From Circus to JCSP. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
concurrency, object-orientation, program development |
| 1 | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti |
Refine and Gabriel: Support for Refinement and Tactics. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Formal methods integration, real-time systems, formal verification |
| 1 | Jim Woodcock, Ana Cavalcanti |
A Tutorial Introduction to Designs in Unifying Theories of Programming. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Refinement: An overview. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Jim Woodcock |
A Tutorial Introduction to CSP in Unifying Theories of Programming. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
ArcAngel: a Tactic Language for Refinement. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
ensp, Formal methods, Refinement calculus, Program development |
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
A Refinement Strategy for Circus. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
| 1 | Ana Cavalcanti, Jim Woodcock |
Predicate transformers in the semantics of Circus. |
IEE Proceedings - Software |
2003 |
DBLP BibTeX RDF |
|
| 1 | Angela Freitas, Carla Nascimento, Ana Cavalcanti |
A Refinement Tool for Z. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
ZRC, program development, calculation |
| 1 | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio |
Refactoring by Transformation. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Refinement of actions in Circus. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
Refinement Algebra for Formal Bytecode Generation. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio |
From CSP-OZ to Java with Processes. (PDF / PS) |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
refinement calculi, concurrency, program development |
| 1 | Jim Woodcock, Ana Cavalcanti |
The Semantics of Circus. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, David A. Naumann |
Forward Simulation for Data Refinement of Classes. |
FME |
2002 |
DBLP DOI BibTeX RDF |
soundness of simulation, program analysis and verification, object-orientation, data refinement |
| 1 | Augusto Sampaio, Jim Woodcock, Ana Cavalcanti |
Refinement in Circus. |
FME |
2002 |
DBLP DOI BibTeX RDF |
unifying theories of programming, distribution, CSP, Z |
| 1 | Jim Woodcock, Ana Cavalcanti |
The Steam Boiler in a Unified Theory of Z and CSP. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Ana Cavalcanti |
A Concurrent Language for Refinement. |
IWFM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, David A. Naumann |
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Refinement calculi, verification, object-orientation, semantic models |
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, David A. Naumann |
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Jim Woodcock |
ZRC - A Refinement Calculus for Z. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Formal methods, Weakest preconditions, Program development |
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Procedures and Recursion in the Refinement Calculus. |
J. Braz. Comp. Soc. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, Jim Woodcock |
A Weakest Precondition Semantics for Z. |
Comput. J. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Romero de Lemos Meira, Ana Cavalcanti |
MooZ Case Studies. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
| 1 | Silvio Romero de Lemos Meira, Ana Cavalcanti |
Modular Object-oriented Z Specifications. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")