Publications

Where papers build upon previously issued Newcastle Computing Science Technical Reports, the report number is listed in the “Ncl” note at the end of each entry. These may be accessed at http://www.cs.ncl.ac.uk/research/pubs/trs/search.php

 

Books

 

[FLM+05] J.S. Fitzgerald, P.G. Larsen, P. Mukherjee, N. Plat and M. Verhoef, Validated Designs for Object-oriented Systems, Springer-Verlag, 2005, 402pp. ISBN 1-85233-881-4. (Publisher web page HERE, Book web site and supporting material at www.vdmbook.com).

 

[FL98] John Fitzgerald and Peter Gorm Larsen, Modelling Systems: Practical Tools and Techniques in Software Engineering, Cambridge University Press, 1998. 276pp. ISBN 0-521-623480 (Japanese edition 2003, 2nd English edition 2009).

 

[BFL+94] J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore and B. Ritchie, Proof in VDM: A Practitioner's Guide, 362 pp., Springer-Verlag, FACIT Series 1994, ISBN 3-540-19813-X.

 

Papers

 

[BFM11] J. W. Bryans, J. S. Fitzgerald, and T.G. McCutcheon, A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems Accepted for Mathematical Structures in Computer Science, Cambridge University Press.

 

[BFM11] J. W. Bryans, J. S. Fitzgerald, and T.G. McCutcheon, Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations To appear in D. Mery and S. Merz (Eds.), Proc. 12th Annual IFIP Working Conference on Virtual Enterprises, IFIP, October 2011.

 

[BFM11] K. G. Pierce, J. S. Fitzgerald, and C. Gamble, Co-modelling and Co-simulation for Dependable Embedded Systems To appear in Proc. ERCIM/EWICS/Cyberphysical Systems Workshop at SAFECOMP 2011, ERCIM, September 2011.

 

[FLP+10] J. S. Fitzgerald, P. G. Larsen, K. Pierce, M. Verhoef and S. Wolff, Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems In D. Mery and S. Merz (Eds.), Proc. IFM 2010: Integrated Formal Methods, Lecture Notes in Computer Science 6396, pp. 12-26, Springer, October 2010.

 

[SFR1010] MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems, 25th ACM Symposium on Applied Computing, Sierrem Switzerland, March 2010.

 

[LBF+10] P. G. Larsen, N. Battle, M. Ferreira, J. S. Fitzgerald, K. Lausdahl, M. Verhoef, The Overture Initiative: Integrating Tools for VDM ACM SIGSOFT Software Engineering Notes Vol. 35, Issue 1, January 2010.

 

[BFLW09] J. C. Bicarregui, J. S. Fitzgerald, P. G. Larsen and J. C. P. Woodcock, Industrial Practice in Formal Methods: a Review, In Proc. 16th Intl. Symp. on Formal Methods (FM 2009), Lecture Notes in Computer Science, LNCS 5850, pp. 810-814, Springer, November 2009.

 

[WLBF09] J. C. P. Woodcock, P. G. Larsen, J. Bicarregui and J. Fitzgerald, Formal methods: Practice and experience, ACM Computing Surveys 41(4), 2009, pp. 1-36. DOI 10.1145/1592434.1592436.

 

[LFW09] Peter Gorm Larsen, John Fitzgerald and Sune Wolff, Methods for the Development of Distributed Real-Time Embedded Systems using VDM, International Journal of Software and Informatics, 3(2-3),pp. 305-343, 2009. See also CS-TR 1164

 

[BF+09] J. Bryans, J. S. Fitzgerald, A. Romanovsky and A. Roth. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Proc. 14th IEEE Intl. Conf. on Engineering of Complex Computer Systems, June 2009, pp.68-77, IEEE, 10.1109/ICECCS.2009.29

 

[LFR09] P. G. Larsen, J. S. Fitzgerald and S. Riddle. Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing 21(3), Springer-Verlag, 2009 DOI 10.1007/s00165-008-0068-5

 

[BF08] Anirban Bhattacharyya and John Fitzgerald, Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary, in N. Guelfi, H. Muccini, P. Pelliccione and A. Romanovsky (Eds.), SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, Newcastle upon Tyne, November 2008, pp. 67-72, ACM. ISBN 978-1-60558-275-7 CS-TR 1121

 

[FLV08] John S. Fitzgerald, Peter Gorm Larsen and Marcel Verhoef, Vienna Development Method, in B. Wah (ed.), Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons. ISBN 0471383937, September 2008.

 

[FBG+08] J. S. Fitzgerald, J. W. Bryans, D. Greathead, C. B. Jones and R. Payne, Animation-based Validation of a Formal Model of Dynamic Virtual Organisations, in P. Boca, J. P. Bowen and P. G. Larsen (eds.) Proc. BCS-FACS Workshop on Formal Methods in Industry, Electronic Workshops in Computing, The British Computer Society, 2008.

 

[FJ08] J. S. Fitzgerald, C. B. Jones, The Connection between Two Ways of Reasoning about Partial Functions, Information Processing Letters 107(3-4), pp. 128-132, 2008 (CS-TR-1044)

 

[FLS08] John Fitzgerald, Peter Gorm Larsen and Shin Sahara, VDMTools: advances in support for formal modeling in VDM, ACM SIGPLAN Notices 43(2), February 2008. (Ncl: CS-TR-1057) 

 

[LF08] P. G. Larsen and J. S. Fitzgerald. Recent Industrial Applications of VDM in Japan, in P. Boca, J. P. Bowen and P. G. Larsen (eds.) Proc. BCS-FACS Workshop on Formal Methods in Industry, Electronic Workshops in Computing, The British Computer Society, 2008.

 

[MLF08] Hugo Daniel Macedo, Peter Gorm Larsen and John Fitzgerald, Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM, in Jorge Cuellar and Tom Maibaum (Eds.), FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Lecture Notes in Computer Science Vol. 5014, ISBN: 9783540682356, May 2008 (Ncl: CS-TR-1059).

 

[Fit07] J. S. Fitzgerald, The Typed Logic of Partial Functions and the Vienna Development Method, in D. Bjørner and M. Henson (eds.), Logics of Specification Languages, EATCS Monographs in Theoretical Computer Science, Springer Verlag, 2007, ISBN: 978-3-540-74106-0 pp. 427-461 (Ncl: CS-TR-984)

 

[DFR+07] G. Di Marzo Serugendo, J. S. Fitzgerald, A. Romanovsky, N. Guelfi, A Metadata-Based Architectural Model for Dynamically Resilient Systems. Proc. 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 2007, pp. 566-573, ACM Press 2007.

 

[BFJ+07] J. W. Bryans, J. S. Fitzgerald, C. B.  Jones and I. Mozolevsky, Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering,  Proc. IEEE International Symposium on Leveraging Applications for Formal Methods, Cyprus, 2006, IEEE 2007, pp. 91-98, ISBN: 978-0-7695-3071-0. DOI 10.1109/ISoLA.2006.21 (Ncl: CS-TR-981). 

 

[BF07] J. W. Bryans, J.S. Fitzgerald. Formal Engineering of XACML Access Control Policies in VDM++. In M. Butler, M. G. Hinchey and M. M. Larrondo-Petrie (Eds). Formal Methods and Software Engineering: Proc. 9th Intl. Conf. on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Springer Verlag Lecture Notes in Computer Science Vol. 4789. ISBN: 978-3-540-76648-3, pp. 37-56. (Ncl: CS-TR-1028)

 

[FL07a] J. S. Fitzgerald and P. G. Larsen. Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. In Proc. IEEE International Symposium on Leveraging Applications for Formal Methods, Cyprus, 2006, IEEE 2007, pp. 1-4, ISBN: 978-0-7695-3071-0. DOI 10.1109/ISoLA.2006.33 (Ncl: CS-TR-999)

 

[FL07b] J. S. Fitzgerald and P. G. Larsen. Balancing Insight and Effort: the Industrial Uptake of Formal Methods. in C. B. Jones, Z. Liu and J.C.P. Woodcock (Eds), Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Lecture Notes in Computer Science volume 4700, Springer 2007, ISBN 978-3-540-75220-2 pp.237-254. (Ncl: CS-TR-1031)

 

[FLT+07] J. S. Fitzgerald, P. G. Larsen, S. Tjell and M. Verhoef. Validation Support for Distributed Real-Time Embedded Systems in VDM++. in Bojan Cukic and Jing Dong (Eds.), Proc. 10th IEEE High Assurance Systems Engineering Symposium, November, 2007, Dallas, Texaspp. 331-340 (Ncl: CS-TR-1017).

 

[FPR+04] J. S. Fitzgerald, S. Parastatidis, A. Romanovsky, P. Watson. Dependability-Explicit Computing in Service-Oriented Architectures. Supp. Volume of 2004 Int. Conf. on Dependable Systems and Networks. 2004. pp. 34-35

 

[Fit99] J. S. Fitzgerald. Formality in Specification and Modeling: Developments in Software Engineering Practice. Advances in Computing, 49, pp. 69-94, 1999.

 

[MF98] P. Mukherjee and J.S. Fitzgerald. Formal Validation of Large-scale Model-oriented Specifications: the explosive storage regulations revisited, in J.C. Bicarregui (ed.) "Proof in VDM: case studies", Springer-Verlag Formal Aspects of Computing and Information Technology Series, 1998, pp. 31-64.

 

[FJ98] J. S. Fitzgerald and C.B. Jones. Proof in the analysis of a model of a tracking system, in J. C. Bicarregui (ed.) "Proof in VDM: Case Studies", Springer-Verlag Formal Aspects of Computing and Information Technology Series, 1998, pp. 1-29.

 

[BFL96] T.M. Brookes, J.S. Fitzgerald and P.G. Larsen. Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study in M-C. Gaudel and J.C.P. Woodcock (eds.), "FME'96: Industrial Benefit and Advances in Formal Methods", pp. 214-227, Springer-Verlag Lecture Notes in Computer Science, Vol. 1051, 1996.

 

[LFB96] P. G. Larsen, J. S. Fitzgerald and T.M. Brookes. "Applying Formal Specification in Industry", IEEE Software, Vol. 13, No. 3, pp 48-56, May 1996.

 

[Fit96] J. S. Fitzgerald. Two Industrial Trials of Formal Specification, in M. Wirsing & M. Nivat (eds.), "Algebraic Methodology and Software Technology" (Proc. 5th Intl. Conf. AMAST'96), pp. 1-8, Springer-Verlag Lecture Notes in Computer Science, Vol. 1101, 1996.

 

[BFS95] L.M. Barroca, J.S. Fitzgerald and L. Spencer. The Architectural Specification of an Avionic Subsystem. In R. France, S. Gerhart and M. Larrondo-Petrie (eds.)  Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95), IEEE Computer Society Press, 1995.

 

[FLB+95] J.S. Fitzgerald, P.G. Larsen, T. Brookes and M. Green. Developing a Security-critical System using Conventional and Formal Methods. In M.G. Hinchey and J.P. Bowen (eds.) "Applications of Formal Methods", pp. 333-356, Prentice-Hall International Series in Computer Science, 1995.

 

[CBF+95] A.C. Coombes, L.M. Barroca, J.S. Fitzgerald, J.A. McDermid, A. Saeed and L. Spencer. Formal Specification of an Aerospace System: the Attitude Monitor. In M.G. Hinchey and J.P. Bowen (eds.) "Applications of Formal Methods", pp. 307-332, Prentice-Hall International Series in Computer Science, 1995.

 

[AdLF+93] T. Anderson, R. de Lemos, J. S. Fitzgerald and A. Saeed. On Formal Support for Industrial-scale Requirements Analysis. In R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel (eds.), "Hybrid Systems", pp. 426-451, Springer-Verlag Lecture Notes in Computer Science Volume 736, 1993.

 

[FM93] J.S. Fitzgerald and R. Moore. "Experiences in Developing a Proof Theory for VDM Specifications." in D. Andrews, J.F. Groote and C. A. Middelburg (eds.), Semantics of Specification Languages, Utrecht 1993, pp. 101-117, Springer-Verlag Workshops in Computing Series 1993.

 

[Fit92] J.S. Fitzgerald. Reasoning about a Modular Model-oriented Formal Specification. In D.J. Harper and M.C. Norrie (eds.), Specifications of Database Systems, Glasgow 1991, pp. 106-134, Springer-Verlag Workshops in Computing Series 1992.

 

[Fit91] J.S. Fitzgerald. Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning. PhD Thesis, Technical Report No. UMCS 91-11-2, Dept. of Computer Science, University of Manchester, 1991.

 

[Fit90] J.S. Fitzgerald. Unification: Specification and Development. In C.B. Jones and R.C.Shaw (eds.), "Case Studies in Systematic Software Development", pp. 127-162, Prentice-Hall International Series in Computer Science, 1990.

 

[FJ90] J.S. Fitzgerald and C.B. Jones. Modularizing the Formal Description of a Database System. In D. Bjørner, C.A.R.Hoare and H. Langmaack (eds.), "VDM '90: VDM and Z -- Formal Methods in Software Development", Lecture Notes in Computer Science, Vol. 428, pp. 189-210, Springer-Verlag, 1990.

 

Edited Conference Proceedings

 

[FHY08] John S. Fitzgerald, Anne Haxthausen and Husnu Yenigun (Eds.), Theoretical Aspects of Computing – ICTAC 2008, Lecture Notes in Computer Science Vol. 5160, September 2008. ISBN: 978-3-540-85761-7

 

[FLS08] J.S. Fitzgerald, P.G. Larsen and S. Sahara (Eds). Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop School of Computing Science, Newcastle University, Technical Report CS-TR-1099. (Ncl: CS-TR-1099)

 

[FJL97] J. S. Fitzgerald, C. B Jones and P. Lucas (Eds). FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), Springer-Verlag Lecture Notes in Computer Science, Vol. 1313, 1997. ISBN 3-540-63533-5

 

[FHT05] J. S. Fitzgerald, I. J. Hayes and A. Tarlecki (Eds). FM2005: Formal Methods, Springer Verlag Lecture Notes in Computer Science, Vol. 3582, 2005. ISBN 3-54027882-6