The Overture Initiative Integrating Tools for VDM
Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J. et al.
Software Engineering Notes Vol. 35, Issue 1, pp 1-6
ACM, 2010 ISSN 0163-5948

[Abstract]

Methods for the Development of Distributed Real-Time Embedded Systems using VDM
Larsen, P.G., Fitzgerald, J. and Wolff, S.
International Journal of Software and Informatics Vol. 3, Issue 2, pp 305-341
Institute of Software, Chinese Academy of Sciences , 2009 ISSN 1673-7288

[Abstract]

Formal Methods: Practice and Experience
Woodcock, J., Larsen, P.G., Bicarregui, J. and Fitzgerald, J.
ACM Computing Surveys Vol. 41, Issue 4, pp 1-36
ACM, 2009 ISSN 0360-0300
Notes : Article no. 19.

[Abstract]

Practice-oriented courses in formal methods using VDM++
Larsen, P.G., Fitzgerald, J.S. and Riddle, S.
Formal Aspects of Computing Vol. 21, Issue 3, pp 245-257
Springer, 2009 ISSN 0934-5043
Notes : DOI 10.1007/s00165-008-0068-5 Published online 2 February 2008.

The Connection between Two Ways of Reasoning about Partial Functions
Fitzgerald, J.S. and Jones, C.B.
Information Processing Letters Vol. 107, Issue 3-4, pp 128-132
Elsevier B.V., 2008

Formality in Specification and Modelling: Developments in Software Engineering Practice
Fitzgerald, J.S.
Advances in Computers Vol. 49, Issue n/a, pp 69-94
Academic Press, 1999 ISSN 0065-2458

Applying Formal Specification in Industry
Larsen, P.G., Fitzgerald, J.S. and Brookes, T.M.
IEEE Software Vol. 13, Issue 3, pp 48-56
IEEE Computer Society, 1996 ISSN 0740-7459

A Comparison of the Conventional and Formal Design of a Secure System Component
Brookes, T.M., Green, M., Fitzgerald, J.S. and Larsen, P.G.
FACS Europe Newsletter Vol. 1, Issue 2,
British Computer Society Specialist Group in Formal Aspects of Computing Science (BCS FACS), 1994 ISSN 1361-3103

Modelling Systems: Practical Tools and Techniques in Software Engineering. 2nd ed.
Fitzgerald, J. and Larsen, P.G.
Cambridge University Press, 2009, ISBN 978-0-521-89911-6
Notes : Reviewed in Software Engineering Notes Vol. 35, no. 1, ACM, 2010, p. 38. http://doi.acm.org/10.1145/1668862.1668879

The Typed Logic of Partial Functions and the Vienna Development Method
Fitzgerald, J. S.
In Logics of Specification Languages,
Bjørner, D. and Henson, M. C. (eds.), pp 453-487
Monographs in Theoretical Computer Science. An EATCS Series,
Springer, 2007, ISBN 978-3-540-74106-0

Validated Designs for Object-oriented Systems
Fitzgerald, J.S., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.
Springer -Verlag, 2005, ISBN 1-85233-881-4

Modelling Systems: Practical Tools and Techniques in Software Engineering
Fitzgerald, J.S. and Larsen, P.G.
Cambridge University Press, 1998, ISBN 0-521-62348-0

A tracking system
Fitzgerald, J.S. and Jones, C.B.
In Proof in VDM: Case Studies,
Bicarregui, J.C. (ed), pp 1-30
Formal Approaches to Computing and Information Technology (FACIT),
Springer-Verlag, London, 1998, ISBN 3-540-76186-1

Developing a Security-critical System using Formal and Conventional Methods
Fitzgerald, J.S., Larsen, P.G., Brookes, T. and Green, M.
In Applications of Formal Methods,
Hinchey, M.G. and Bowen, J.P. (eds.), pp 333-356
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed.)
Prentice Hall, 1995, ISBN 0-13-366949-1
Notes : Chapter 14.

Formal Specification of an Aerospace System: the Attitude Monitor
Coombes, A., Barroca, L. , Fitzgerald, J.S., McDermid, J.A., Spencer, L. and Saeed, A.
In Applications of Formal Methods,
Hinchey M.G. and Bowen, J.P. (eds.), pp 307-332
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed.)
Prentice Hall, 1995, ISBN 0-13-366949-1
Notes : Chapter 13.

Proof in VDM: A Practitioner's Guide
Bicarregui, J.C., Fitzgerald, J.S. and Lindsay, P.A. et. al.
Formal Approaches to Computing and Information Technology (FACIT),
Springer-Verlag, 1994, ISBN 3-540-19813-X

Unification: Specification and Development
Fitzgerald, J.S.
In Case Studies in Systematic Software Development,
Jones, C.B. and Shaw, R.C.F. (eds.), pp 127-162
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed.)
Prentice Hall, 1990, ISBN 0-13-116088-5
Notes : Chapter 5.

MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems
Di Marzo Serugendo, G., Fitzgerald, J. and Romanovsky, A.
In Applied Computing 2010. The 25th annual ACM Symposium on Applied Computing, Sierre, Switzerland, March 22-26, 2010
Shin, D. (ed.)
pp 457-461
ACM, 2010

[Abstract]

Patterns for Modelling Time and Consistency in Business Information Systems
Bryans, J. W., Fitzgerald, J. S., Romanovsky, A. and Roth, A.
In 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, 22-26 March 2010, Oxford, UK
Calinescu, R., Paige, R. and Kwiatkowska, M. (eds.)
pp 105-114
IEEE, 2010

Industrial Practice in Formal Methods: A Review
Bicarregui, J.C., Fitzgerald, J.S., Larsen, P.G. and Woodcock, J.C.P.
In FM 2009: Formal Methods. Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009
Cavalcanti, A. and Dams, D. (eds.)
Lecture Notes in Computer Science, 5850, pp 810-813
Springer-Verlag, 2009

[Abstract]

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Bryans, J., Fitzgerald J., Romanovsky, A. and Roth A.
In Proceedings. 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, 2-4 June 2009, Potsdam, Germany
pp 68-77
IEEE Computer Society, 2009

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
Macedo, H.D., Larsen, P.G. and Fitzgerald, J.
In FM 2008: Formal Methods. 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Cuellar, J., Maibaum, T. and Sere, K. (eds.)
Lecture Notes in Computer Science , 5014, pp 181-197
Springer-Verlag, 2008

Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation
Andrews, Z., Fitzgerald, J, and Verhoef, M.
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 350-351
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume.

Balancing Insight and Effort: The Industrial Uptake of Formal Methods
Fitzgerald, J. and Larsen, P. G.
In Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Jones, C.B., Liu, Z., Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4700, pp 237-254
Springer, 2007

A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
Bryans, J.W., Fitzgerald, J.S. and Periorellis, P.
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 352-353
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume.

The ReSIST Resilience Knowledge Base
Anderson, T., Andrews, Z.H., Fitzgerald, J.S., Randell, B. et al.
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 362-363
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume

[Abstract]

Validation Support for Distributed Real-Time Embedded Systems in VDM++
Fitzgerald, J.S., Larsen, P.G., Tjell, S. and Verhoef, M.
In Proceedings of HASE 2007. 10th IEEE High Assurance Systems Engineering Symposium, 14-16 November, 2007, Dallas, Texas, USA
Cukic, B. and Dong, J. (eds.)
pp 331-340
IEEE Computer Society, 2007

Formal Engineering of XACML Access Control Policies in VDM++
Bryans, J.W. and Fitzgerald, J.S.
In Formal Methods and Software Engineering. 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Butler, M., Hinchey, M. G. and Larrondo-Petrie, M. M. (eds.)
Lecture Notes in Computer Science, 4789, pp 37-56
Springer, 2007

A Metadata-Based Architectural Model for Dynamically Resilient Systems
Di Marzo Serugendo, G., Fitzgerald, J., Romanovsky, A. and Guelfi, N.
In 22nd ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007
pp 566-573
ACM, 2007

[Abstract]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
Bryans, J. W., Fitzgerald, J.S., Jones, C.B. and Mozolevsky, I
In IEEE-ISoLA 2006. Second International Symposium on Leveraging Applications of Formal Methods , Verification and Validation, 15-19 November 2006, Coral Beach Resort ( Paphos, Cyprus )
Margaria, T., Philippou, A. and Steffen, B. (eds.)
pp 90-97
IEEE, 2006

[Abstract]

Two Industrial Trials of Formal Specification
Fitzgerald, J.S.
In 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Munich, Germany, 1-5 July 1996
Wirsing, M. and Nivat, M. (eds.)
Lecture Notes in Computer Science, 1101, pp 1-8
Springer-Verlag, 1996ISBN 3-540-61463-X

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study
Brookes, T.M., Fitzgerald, J.S. and Larsen, P.G.
In FME'96: Industrial Benefit and Advances in Formal Methods. Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996. Proceedings
Gaudel, M-C. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 1051, pp 214-227
Springer, 1996

Formal and Informal Specifications of a Secure System Component: first results in a comparative study
Fitzgerald, J.S., Brookes, T.M., Green, M.A. and Larsen, P.G.
In FME'94: Industrial Benefit of Formal Methods. Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994. Proceedings
Naftalin, M., Denvir, T. and Bertran, M. (eds.)
Lecture Notes in Computer Science, 873, pp 35-44
Springer-Verlag, 1994

Experiences in Developing a Proof Theory for VDM Specifications
Fitzgerald, J.S. and Moore, R.
In Proceedings of the International Workshop on Semantics of Specification Languages (SoSL), October 25-27, 1993, Utrecht
Andrews, D.J., Groote, J.F. and Middelburg, C.A. (eds.)
Workshops in Computing, pp 101-117
Springer-Verlag, 1993

Reasoning about a Modular Model-oriented Formal Specification
Fitzgerald, J.S.
In Specifications of Database Systems: 1st International Workshop on Specifications of Database Systems, Glasgow, 3-5 July,1991
Harper, D.J. and Norrie, M.C. (eds.)
Workshops in Computing, pp 106-134
Springer-Verlag, 1992

Modularizing the Formal Description of a Database System
Fitzgerald, J.S. and Jones, C.B.
In 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90), Kiel, FRG, 17-21 April 1990
Bjorner, D., Hoare, C.A.R., and Langmaack, H. (eds.)
Lecture Notes in Computer Science, 428, pp 189-210
Springer-Verlag, 1990ISBN 3-540-52513-0

Proceedings. Second Workshop on Formal Aspects of Virtual Organisations, Eindhoven , The Netherlands, 3rd November, 2009
Bryans J. and Fitzgerald J. (eds.)
Electronic Proceedings in Theoretical Computer Science, 16
EPTCS, 2009
Notes : FAVO 2009 workshop - satellite event to 16th International Symposium on Formal Methods (FM2009).

Theoretical Aspects of Computing - ICTAC 2008. 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008
Fitzgerald, J.S., Haxthausen, A.E. and Yenigun, H. (eds.)
Lecture Notes in Computer Science, 5160
Springer-Verlag, 2008

FM 2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005
Fitzgerald, J., Hayes, I.J. and Tarlecki, A. (eds.)
Lecture Notes in Computer Science, 3582
Springer-Verlag, 2005

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997
Fitzgerald, J.S., Jones, C.B. and Lucas, P. (eds.)
Lecture Notes in Computer Science, 1313
Springer-Verlag, 1997, ISBN 3-540-63533-5

CS-TR N^o 1213 Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
Fitzgerald, J., Gorm Larsen, P., Pierce K., Verhoef, M., Wolff, S.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1178 Patterns for Modelling Time and Consistency in Business Information Systems
Bryans, J. W., Fitzgerald, J. S., Romanovsky, A., Roth, A.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1176 Proceedings of Formal Aspects of Virtual Organisations 2009
Bryans, J.W., Fitzgerald, J.S.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1164 Methods for the Development of Distributed Real-Time Embedded Systems using VDM
Wolf, S., Fitzgerald, J., Gorm Larsen, P.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1132 A Knowledge Base for Dependability and Security Research
Glaser, H., Millard, I., Anderson, T., Andrews, Z., Fitzgerald, J., Randell, B.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1131 Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Bryans, J., Fitzgerald, J., Romanovsky, A., Roth, A.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1121 Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary
Bhattacharyya, A., Fitzgerald, J. S.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1099 Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop
Fitzgerald J.S., Larsen P.G., Sahara S.
School of Computing Science, Newcastle University, May 2008

[Abstract]

CS-TR N^o 1098 Proceedings of Formal Aspects of Virtual Organisations 2008
Bryans, J., Fitzgerald, J
School of Computing Science, Newcastle University, May 2008

[Abstract]

CS-TR N^o 1091 A Dynamic Coalitions Workbench: Final Report
Bryans, J. W., Fitzgerald, J. S., Greathead, D., Jones, C. B., Payne, R. J.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1059 Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM
Macedo, H.D., Larsen, P.G., Fitzgerald, J.
School of Computing Science, Newcastle University, Nov 2007

[Abstract]

CS-TR N^o 1057 VDMTools: advances in support for formal modeling in VDM
Fitzgerald, J. S., Larsen, P. G., Sahara, S.
School of Computing Science, Newcastle University, Nov 2007

[Abstract]

CS-TR N^o 1054 Validating Access Control Policies for Virtual Organisations
Bryans, J., Fitzgerald, J.
School of Computing Science, Newcastle University, Oct 2007

[Abstract]

CS-TR N^o 1044 The Connection between Two Ways of Reasoning about Partial Functions
Fitzgerald, J. S., Jones, C. B.
School of Computing Science, Newcastle University, Aug 2007

[Abstract]

CS-TR N^o 1031 Balancing Insight and Effort: the Industrial Uptake of Formal Methods
Fitzgerald, J. S., Larsen, P. G.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1028 Formal Engineering of XACML Access Control Policies in VDM++
Bryans, J. W., Fitzgerald, J. S.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1027 A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1021 The ReSIST Resilience Knowledge Base
Anderson, T., Andrews, Z. H., Fitzgerald, J. S., Randell, B., Glaser, H., Millard, I. C.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1020 Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation
Andrews, Z., Fitzgerald, J., Verhoef, M.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1018 Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems
Di Marzo Serugendo, G., Fitzgerald, J. S., Romanovsky, A., Guelfi, N.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1017 Validation Support for Distributed Real-Time Embedded Systems in VDM++
Fitzgerald, J. S., Larsen, P. G., Tjell, S., Verhoef, M.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 999 Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods
Fitzgerald, J. S., Larsen, P. G.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 992 Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++
Larsen, P. G., Fitzgerald, J. S., Riddle, S.
School of Computing Science, Newcastle University, Dec 2006

[Abstract]

CS-TR N^o 984 The Typed Logic of Partial Functions and the Vienna Development Method
Fitzgerald, J. S.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 983 Perspectives on Formal Methods in the Last 25 years
Fitzgerald, J. S.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 981 Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
School of Computing Science, Newcastle University, Sep 2006

[Abstract]

CS-TR N^o 976 Model Based Analysis and Validation of Access Control Policies
Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
School of Computing Science, Newcastle University, Jul 2006

[Abstract]

CS-TR N^o 969 Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005
Fitzgerald, J. S., Larsen, P. G., Plat, N.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 963 Dimensions of Dynamic Coalitions
Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 617 Proof in the Analysis of a Model of a Tracking System
J.S. Fitzgerald and C.B. Jones
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 616 A Proof of Satisfiability in Mukherjee and Stavridou's Ammunition Control System
J.S. Fitzgerald
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 489 Proof in VDM: Reader's Notes
J.C. Bicarregui, J.S. Fitzgerald, R. Moore and B. Ritchie
School of Computing Science, Newcastle University, 1994

CS-TR N^o 424 Experiences in Developing a Proof Theory for VDM Specifications
Fitzgerald, J.S. and Moore, R.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 412 On Formal Support for Industrial Scale Requirements Analysis
Anderson, T., de Lemos, R., Fitzgerald, J.S. and Saeed, A.
School of Computing Science, Newcastle University, 1993

[Abstract]

CS-TR N^o 404 On Making Formal Proof More Tractable
Fitzgerald, F.S., Lindsay, P.A. and Moore, R.
School of Computing Science, Newcastle University, 1992

[Abstract]

Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems
Di Marzo Serugendo, G., Fitzgerald, J., Romanovsky, A. and Guelfi, N.
BBKCS-06-05, School of Computer Science and Information Systems, Birkbeck College, London, May, 2006
Keywords : Dependability, self-managing systems, metadata, fault tolerance, resilience

[Abstract]

Safety Critical Distributed Systems: a State of Art Report
Shrivastava, S.K., Ezhilchelvan, P.D., Speirs, N. and Fitzgerald, J.S.
NATS, March, 2000

Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning
Fitzgerald, J.S.
UMCS 91-11-2, Department of Computer Science, University of Manchester, 1991
Notes : Ph.D. Thesis.