| The Semantics of Circus J Woodcock, A Cavalcanti ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002 | 308 | 2002 |
| A Refinement Strategy for Circus A Cavalcanti, A Sampaio, J Woodcock Formal Aspects of Computing 15 (2-3), 146-181, 2003 | 186 | 2003 |
| A concurrent language for refinement JCP Woodcock, A Cavalcanti 5th Irish Workshop on Formal Methods, 2001 | 175* | 2001 |
| A UTP semantics for Circus M Oliveira, A Cavalcanti, J Woodcock Formal Aspects of Computing 21 (1-2), 3-32, 2009 | 171 | 2009 |
| RoboChart: modelling and verification of the functional behaviour of robotic applications A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock Software & Systems Modeling 18 (5), 3097-3149, 2019 | 149 | 2019 |
| A tutorial introduction to CSP in Unifying Theories of Programming A Cavalcanti, J Woodcock Refinement techniques in software engineering, 220-268, 2006 | 123 | 2006 |
| ZRC–a refinement calculus for Z A Cavalcanti, J Woodcock Formal Aspects of Computing 10 (3), 267-289, 1998 | 119 | 1998 |
| A refinement calculus for Z ALC Cavalcanti | 119* | 1997 |
| A weakest precondition semantics for an object-oriented language of refinement A Cavalcanti, DA Naumann IEEE TSE 26 (8), 713-728, 2000 | 118* | 2000 |
| Algebraic reasoning for object-oriented programming P Borba, A Sampaio, A Cavalcanti, M Cornélio Science of Computer Programming 52 (1-3), 53-100, 2004 | 104 | 2004 |
| Features of CML: A formal modelling language for Systems of Systems J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry System of Systems Engineering (SoSE), 2012 7th International Conference on, 1-6, 2012 | 103 | 2012 |
| Modular object-oriented Z specifications SRL Meira, A Cavalcanti Proceedings of the Fifth Annual Z User Meeting on Z User Workshop, 173-192, 1990 | 97* | 1990 |
| Theoretical aspects of computing, Proceedings (Lecture Notes in Computer Science) K Barkaoui, A Cavalcanti, A Cerone Springer-Verlag New York Inc, 2006 | 96* | 2006 |
| Refinement in Circus A Sampaio, J Woodcock, A Cavalcanti FME 2002: Formal Methods—Getting IT Right, 1-15, 2002 | 96 | 2002 |
| Unifying classes and processes A Cavalcanti, A Sampaio, J Woodcock Software & Systems Modeling 4 (3), 277-296, 2005 | 81* | 2005 |
| A tutorial introduction to designs in Unifying Theories of Programming J Woodcock, A Cavalcanti Integrated Formal Methods, 40-66, 2004 | 74 | 2004 |
| A weakest precondition semantics for an object-oriented language of refinement A Cavalcanti, DA Naumann International Symposium on Formal Methods, 1439-1459, 1999 | 70 | 1999 |
| A process algebraic framework for specification and validation of real-time systems A Sherif, A Cavalcanti, H Jifeng, A Sampaio Formal Aspects of Computing 22 (2), 153-191, 2010 | 69 | 2010 |
| Automatic translation from Circus to Java A Freitas, A Cavalcanti International Symposium on Formal Methods, 115-130, 2006 | 65 | 2006 |
| ArcAngel: a tactic language for refinement M Oliveira, A Cavalcanti, J Woodcock Formal Aspects of Computing 15 (1), 28-47, 2003 | 59 | 2003 |
