Ana Cavalcanti

Best Publications

• The Semantics of Circus

  Jim Woodcock;Ana Cavalcanti

  301
  Citations

• A Refinement Strategy for Circus

  Ana L. C. Cavalcanti;Augusto C.A. Sampaio;Jim Woodcock

  194
  Citations

• A UTP semantics for Circus

  Marcel Oliveira;Ana Cavalcanti;Jim Woodcock

  177
  Citations

• A concurrent language for refinement

  Jim Woodcock;Ana Cavalcanti

  159
  Citations

• ZRC --- A Refinement Calculus for Z

  Ana Cavalcanti;Jim Woodcock

  121
  Citations

• RoboChart: modelling and verification of the functional behaviour of robotic applications

  Alvaro Heiji Miyazawa;Pedro Fernando De Oliveira Salazar Ribeiro;W. Li;Ana Lucia Caneca Cavalcanti

  120
  Citations

• Algebraic reasoning for object-oriented programming

  Paulo Borba;Augusto Sampaio;Ana Cavalcanti;Márcio Cornélio

  120
  Citations

• Features of CML: A formal modelling language for Systems of Systems

  J. Woodcock;A. Cavalcanti;J. Fitzgerald;P. Larsen

  108
  Citations

• Refinement in Circus

  Augusto Sampaio;Jim Woodcock;Ana Cavalcanti

  103
  Citations

• A Tutorial Introduction to CSP in Unifying Theories of Programming

  A. L. C. Cavalcanti;J. C. P. Woodcock

  86
  Citations

• Modular Object-oriented Z Specifications

  Unknown

  78
  Citations

• Unifying classes and processes

  Ana Cavalcanti;Augusto Sampaio;Jim Woodcock

  75
  Citations

• A weakest precondition semantics for refinement of object-oriented programs

  Unknown

  75
  Citations

• A process algebraic framework for specification and validation of real-time systems

  Unknown

  72
  Citations

• A Weakest Precondition Semantics for an Object-Oriented Language of Refinement

  Unknown

  71
  Citations

• Automatic translation from Circus to Java

  Unknown

  70
  Citations

• Control law diagrams in circus

  Unknown

  60
  Citations

• Unifying theories in ProofPower-Z

  Marcel Oliveira;Ana Cavalcanti;Jim Woodcock

  48
  Citations

• Verified simulation for robotics

  Ana Cavalcanti;Augusto Sampaio;Alvaro Miyazawa;Pedro Ribeiro

  39
  Citations

• ArcAngel: a Tactic Language for Refinement

  Marcel V. M. Oliveira;Ana L. C. Cavalcanti;Jim Woodcock

  37
  Citations