Concepedia

Ana Cavalcanti

AC

51

Publications

1.6K

Citations

24

H-Index

1987

Active since

Affiliations

University of York(Current)

Universidade Federal de Pernambuco

University of Kent

University of Oxford

Universidade Federal do Rio Grande do Norte

Ana Cavalcanti is an author at University of York specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSystems EngineeringVerificationSoftware Engineering

Publications per year

1987–2024

51

Publications

51

A UTP semantics for <i>Circus</i>

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock · Formal Aspects of Computing · 2007 · 119 citations · Full text

A Refinement Strategy for <i>Circus</i>

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock · Formal Aspects of Computing · 2003 · 114 citations · Full text

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

Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · Software & Systems Modeling · 2019 · 107 citations · Full text

Robot Kinematics, Present Robochart, Robotic Systems +28

A Concurrent Language for Refinement

Jim Woodcock, Ana Cavalcanti · Electronic workshops in computing · 2001 · 78 citations · Full text

Engineering, Verification, Software Engineering +20

Algebraic reasoning for object-oriented programming

Paulo Borba, Augusto Sampaio, Ana Cavalcanti et al. · Science of Computer Programming · 2004 · 75 citations

Engineering, Program Analysis, Automated Reasoning +9

Rows per page

1–5 of 51