Anthony Hall

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput. 25(3): 439-464 (2013)

Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael Jones: Motion Capture for a Natural Tree in the Wind. MIG 2010: 158-169

Anthony Hall: Integrating Z into Large Projects Tools and Techniques. ABZ 2008: 337

Anthony Hall: Realising the Benefits of Formal Methods. J. UCS 13(5): 669-678 (2007)

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46

Anthony Hall: Realising the Benefits of Formal Methods. ICFEM 2005: 1-4

Anthony Hall: Making Formal Methods Work. SEFM 2005: 261-262

Anthony Hall: Software Verification and Software Engineering a Practitioner's Perspective. VSTTE 2005: 70-73

Anthony Hall, Roderick Chapman: Correctness by Construction: Developing a Commercial Secure System. IEEE Software 19(1): 18-25 (2002)

Anthony Hall: Z Styles for Security Properties and Modern User Interfaces. FASec 2002: 152-166

Anthony Hall: Correctness by Construction: Integrating Formality into a Commercial Development Process. FME 2002: 224-233

Jonathan Hammond, Rosamund Rawlings, Anthony Hall: Will It Work? RE 2001: 102-109

Anthony Hall: A Unified Approach to Systems and Software Requirements. RE 2001: 267

Anthony Hall: What Does Industry Need From Formal Specification Techniques? WIFT 1998: 2-

Anthony Hall: Do interactive systems need specifications? DSV-IS 1997: 1-12

Adrian Cox, Anthony Hall: A Real Time Kernel to Support the Transputer Programming Model. HPCN Europe 1997: 615-623

Nikolaos G. Bourbakis, Richard Andel, Anthony Hall: Visual Target Tracking and Extraction from a Sequence of Images. ICTAI 1997: 384-391

Anthony Hall: What's the Use of Requirements Engineering? RE 1997: 2-

Anthony Hall: Taking Z Seriously. ZUM 1997: 89-91

Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)

Anthony Hall: Using Formal Methods to Develop an ATC Information System. IEEE Software 13(2): 66-76 (1996)

Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. ZUM 1995: 237-242

Anthony Hall: Specifying and Interpreting Class Hierarchies in Z. Z User Workshop 1994: 120-138

Anthony Hall: Is Software Engineering? CSEE 1992: 5-8

Anthony Hall: Seven Myths of Formal Methods. IEEE Software 7(5): 11-19 (1990)

Anthony Hall: Using Z as a Specification Calculus for Object-Oriented Systems. VDM Europe 1990: 290-318

Anthony Hall: Tool Interfaces in Integrated Project Support Environments. ICSE 1987: 289-290