Anthony Hall

Publication Activity (10 Years)

Years Active: 1987-2013
Publications (10 Years): 0

Top Topics

Transactional Properties

Pattern Detection

Commit Protocols

Top Venues

Formal Aspects Comput.

Publications

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Atomicity failure and the retrenchment atomicity pattern. Formal Aspects Comput. 25 (3) (2013)
Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones
Motion Capture for a Natural Tree in the Wind. MIG (2010)
Anthony Hall
Integrating Z into Large Projects Tools and Techniques. ABZ (2008)
Anthony Hall
Realising the Benefits of Formal Methods. J. Univers. Comput. Sci. 13 (5) (2007)
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Retrenchment and the Atomicity Pattern. SEFM (2007)
Anthony Hall
Software Verification and Software Engineering a Practitioner's Perspective. VSTTE (2005)
Anthony Hall
Realising the Benefits of Formal Methods. ICFEM (2005)
Anthony Hall
Making Formal Methods Work. SEFM (2005)
Anthony Hall
Correctness by Construction: Integrating Formality into a Commercial Development Process. FME (2002)
Anthony Hall
Z Styles for Security Properties and Modern User Interfaces. FASec (2002)
Anthony Hall, Roderick Chapman
Correctness by Construction: Developing a Commercial Secure System. IEEE Softw. 19 (1) (2002)
Anthony Hall
A Unified Approach to Systems and Software Requirements. RE (2001)
Jonathan Hammond, Rosamund Rawlings, Anthony Hall
Will It Work? RE (2001)
Anthony Hall
What Does Industry Need From Formal Specification Techniques? WIFT (1998)
Anthony Hall
Taking Z Seriously. ZUM (1997)
Adrian Cox, Anthony Hall
A Real Time Kernel to Support the Transputer Programming Model. HPCN Europe (1997)
Nikolaos G. Bourbakis, Richard Andel, Anthony Hall
Visual Target Tracking and Extraction from a Sequence of Images. ICTAI (1997)
Anthony Hall
What's the Use of Requirements Engineering? RE (1997)
Anthony Hall
Do interactive systems need specifications? DSV-IS (1997)
Anthony Hall
Using Formal Methods to Develop an ATC Information System. IEEE Softw. 13 (2) (1996)
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. Computer 29 (4) (1996)
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
The Future of Formal Methods in Industry. ZUM (1995)
Anthony Hall
Specifying and Interpreting Class Hierarchies in Z. Z User Workshop (1994)
Anthony Hall
Is Software Engineering? CSEE (1992)
Anthony Hall
Using Z as a Specification Calculus for Object-Oriented Systems. VDM Europe (1990)
Anthony Hall
Seven Myths of Formal Methods. IEEE Softw. 7 (5) (1990)
Anthony Hall
Tool Interfaces in Integrated Project Support Environments. ICSE (1987)