| The Semantics of Circus J Woodcock, A Cavalcanti ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002 | 299 | 2002 |
| A Refinement Strategy for Circus A Cavalcanti, A Sampaio, J Woodcock Formal Aspects of Computing 15 (2-3), 146-181, 2003 | 184 | 2003 |
| A concurrent language for refinement JCP Woodcock, A Cavalcanti 5th Irish Workshop on Formal Methods, 2001 | 181* | 2001 |
| A UTP semantics for Circus M Oliveira, A Cavalcanti, J Woodcock Formal Aspects of Computing 21 (1-2), 3-32, 2009 | 165 | 2009 |
| A weakest precondition semantics for an object-oriented language of refinement A Cavalcanti, DA Naumann IEEE TSE 26 (8), 713-728, 2000 | 122* | 2000 |
| A refinement calculus for Z ALC Cavalcanti | 120* | 1997 |
| ZRC–a refinement calculus for Z A Cavalcanti, J Woodcock Formal Aspects of Computing 10 (3), 267-289, 1998 | 119 | 1998 |
| A tutorial introduction to CSP in Unifying Theories of Programming A Cavalcanti, J Woodcock Refinement techniques in software engineering, 220-268, 2006 | 117 | 2006 |
| 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 | 113 | 2004 |
| 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 | 110 | 2019 |
| 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 | 102 | 2012 |
| Refinement in Circus A Sampaio, J Woodcock, A Cavalcanti FME 2002: Formal Methods—Getting IT Right, 1-15, 2002 | 99 | 2002 |
| Theoretical aspects of computing, Proceedings (Lecture Notes in Computer Science) K Barkaoui, A Cavalcanti, A Cerone Springer-Verlag New York Inc, 2006 | 96* | 2006 |
| Modular object-oriented Z specifications SRL Meira, A Cavalcanti Proceedings of the Fifth Annual Z User Meeting on Z User Workshop, 173-192, 1990 | 90* | 1990 |
| Unifying classes and processes A Cavalcanti, A Sampaio, J Woodcock Software & Systems Modeling 4 (3), 277-296, 2005 | 87* | 2005 |
| A weakest precondition semantics for an object-oriented language of refinement A Cavalcanti, DA Naumann International Symposium on Formal Methods, 1439-1459, 1999 | 71 | 1999 |
| A tutorial introduction to designs in Unifying Theories of Programming J Woodcock, A Cavalcanti Integrated Formal Methods, 40-66, 2004 | 68 | 2004 |
| 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 | 66 | 2010 |
| Automatic translation from Circus to Java A Freitas, A Cavalcanti International Symposium on Formal Methods, 115-130, 2006 | 64 | 2006 |
| Control law diagrams in Circus A Cavalcanti, P Clayton, C O’Halloran International Symposium on Formal Methods, 253-268, 2005 | 56 | 2005 |
