Â鶹´«Ã½

Skip to main content
School of Computing
Search for something
Search...

Staff Profile

Emeritus Professor John Fitzgerald

Emeritus Professor

Background

John is an Emeritus Professor in the School of Computing, where he works on the rigorous model-based engineering of software and cyber-physical systems. He studied formal proof in Computing (PhD, Manchester University.), before joining Â鶹´«Ã½, where he worked on design techniques for avionic systems with British Aerospace in the 1990s. He went on to study the potential for industrial application of such techniques as a SERC Fellow and later as a Lecturer at Â鶹´«Ã½. He established the design and validation team at Transitive, a successful SME in the embedded processor market, before returning to the University in 2003 as Reader and later Professor.  

John was the academic lead for Computing on the design of the Urban Sciences Building - the first major university building at and the home for research and teaching in Computing since 2017. Prior to that, he had served as the School's Director of Research (to 2015) and Deputy Head (to 2017) and then Head of the School until 2022, when became the Dean responsible for strategic projects across the Faculty of Science, Agriculture and Engineering, a role encompassing large-scale and cross-faculty projects in Science, Engineering, Mathematics, and Computing. John has served in several other roles, including as an elected member of the University Senate, a member of the Faculty Promotions Committee and as the founding chair of the university's Technology Portfolio Board, responsible for the governance of IT projects.

John retired from the University in April 2025, when he became an Emeritus Professor. He remains active in research and engagement in a voluntary capacity. As the University's Senior Public Orator, he presents distinguished individuals to the University for recognition with honorary degrees and fellowships.


Research

In John's research, he has developed model-based methods and tools to help in the design of particularly challenging types of product, especially systems that require collaboration between engineering teams of differing backgrounds and disciplines. Most recently, this has led to aone of the first overviews of the field of , the result of a longstanding collaboration with longstanding collaboration with .

Over the last thirty years, John has conducted and led research into co-modelling and co-simulation in the design of trustworthy embedded and cyber-physical systems (in the  project and in the EPSRC platform grants on ). Their work in the  project concentrated on achieving and demonstrating dependability through the deployment of formal methods in four industry sectors. He later led the international COMPASS project, developing technology for engineering complex "Systems-of-Systems" that are built from pre-existing systems that might never have been designed with collaboration in mind. These strands of work come together in the work that he led on multi-modelling methods in the project, continuing through the of which he was Chair.  

The impact of John's research has been felt in the development of model-based engineering methods that have been successfully applied in areas as diverse as . The team he founded at Â鶹´«Ã½ played a leading role in one of the first EU Horizon 2020 Innovation Actions, , and more recently , providing support to small and medium-sized businesses wanting to innovate with model-based design technology for cyber-physical systems. 

The team played a key role in two EU Horizon 2020 Support Actions in Cyber-Physical Systems. In they developed a research agenda for Transatlantic cooperation on modelling and simulation for CPSs, and in developed roadmaps, constituencies of interest and mechanisms to multiply the impact of CPS research. 


Teaching

Over many years, John has taught formal methods, model-based engineering, information security and verification at graduate and undergraduate levels. He continues to assist in the supervision of individual student projects at all levels. He continues to develop and deliver training in model-based systems engineering, cyber-physical systems and Digital Twins. Within the School of Computing at Â鶹´«Ã½, he founded and directed the MSc programme in Computer Security & Resilience, which is now our MSc in Cybersecurity.



Publications

  • Articles

    • Li B, Fitzgerald J, Schultz C. . Advanced Engineering Informatics 2022, 51, 101452.
    • Nielsen CB, Larsen PG, Fitzgerald JS, Woodcock JCP, Peleska J. . ACM Computing Surveys 2015, 48(2), 18:1-18:41.
    • McGough AS, Arief B, Gamble C, Wall D, Brennan J, Fitzgerald J, van Moorsel A, Alwis S, Theodoropoulos G, Ruck-Keene E. . Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 2015, 6(4), 3-46.
    • Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG. . Mathematical Structures in Computer Science 2013, 23(4), 726-750.
    • Larsen PG, Battle N, Ferreira M, Fitzgerald J, Lausdahl K, Verhoef M. . Software Engineering Notes 2010, 35(1), 1-6.
    • Larsen PG, Fitzgerald JS, Riddle S. . Formal Aspects of Computing 2009, 21(3), 245-257.
    • Larsen PG, Fitzgerald J, Wolff S. . International Journal of Software and Informatics 2009, 3(2), 305-341.
    • Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J. . ACM Computing Surveys 2009, 41(4), 1-36.
    • Fitzgerald JS, Larsen PG, Sahara S. . ACM SIGPLAN Notices 2008, 43(2), 3-11.
    • Fitzgerald JS, Jones CB. . Information Processing Letters 2008, 107(3-4), 128-132.
    • Fitzgerald JS. . Formal Aspects of Computing 2004, 16(1), 2-3.
    • Fitzgerald JS. . Advances in Computers 1999, 49, 69-94.
    • Larsen PG, Fitzgerald J, Brookes T. . IEEE Software 1996, 13(3), 48-56.
    • Brookes TM, Green M, Fitzgerald JS, Larsen PG. . FACS Europe Newsletter 1994, 1(2).

  • Authored Books

    • Reimann M, Rückriegel C, Mortimer S, Bageritz S, Henshaw M, Siemieniuch C, Sinclair M, Palmer P, Fitzgerald J, Ingram C, Servat D, Stock D, Rauschecker U, Götz B, Ordóñez D, Butler T, Lama N, Rico J, Alonso J. . Karlsruhe, Germany: Steinbeis-Editions, 2017.
    • Fitzgerald J, Larsen PG. . Cambridge, UK: Cambridge University Press, 2009.
    • Fitzgerald JS, Larsen PG, Mukherjee P, Plat N, Verhoef M. . Berlin: Springer-Verlag, 2005.
    • Fitzgerald JS, Larsen PG. . Cambridge, UK: Cambridge University Press, 1998.
    • Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R, Ritchie B. . London: Springer, 1994.

  • Book Chapters

    • Fitzgerald J, Larsen PG, Pierce K, Freitas L, Battle N. . In: Cavalcanti, A; Baxter, J, ed. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part 1. Cham: Springer, 2024, pp.109-130.
    • Larsen PG, Talasila P, Fitzgerald J. . In: Foster, S; Sampaio, A, ed. The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.103-122.
    • Larsen PG, Esterle L, Fitzgerald J, Frasheri M. . In: Haxthausen, AE; Huang, W; Roggenbach M, ed. Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Cham: Springer, 2023, pp.222-236.
    • Fitzgerald J, Gamble C, Mansfield M, Ouy J, Palacin R, Pierce K, Larsen PG. . In: Transportation Cyber-Physical Systems. Amsterdam: Elsevier, 2018, pp.51-79.
    • Fitzgerald JS, Ingram C, Romanovksy A. . In: Romanovksy A; Ishikawa F, ed. Trustworthy Cyber-Physical Systems Engineering. London: CRC Press, 2016, pp.1-22.
    • Fitzgerald J, Pierce K, Larsen PG. . In: Bagnato, A; Indrusiak, LS; Quadri, IR; Rossi, M, ed. Handbook of Research on Embedded Systems Design. Hershey, PA, USA: IGI Global, 2014, pp.1-28.
    • Fitzgerald J, Bicarregui J, Larsen PG, Woodcock J. . In: Romanovsky, A.; Thomas, M, ed. Industrial Deployment of System Engineering Methods. Berlin: Springer, 2012, pp.123-143.
    • Fitzgerald JS. . In: Bjorner, D; Henson, MC, ed. Logics of Specification Languages. Berlin: Springer, 2007, pp.453-487.
    • Mukherjee P, Fitzgerald JS. . In: Bicarregui, JC, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.31-64.
    • Fitzgerald JS, Jones CB. . In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. Berlin; New York: Springer Verlag, 1998, pp.10594.
    • Fitzgerald JS, Jones CB. . In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.1-30.
    • Coombes A, Barroca L, Fitzgerald JS, McDermid JA, Spencer L, Saeed A. . In: Hinchey MG and Bowen, JP, ed. Applications of Formal Methods. London: Prentice Hall, 1995, pp.307-332.
    • Fitzgerald JS, Larsen PG, Brookes T, Green M. . In: Hinchey, MG and Bowen, JP, ed. Applications of Formal Methods. London: Prentice Hall, 1995, pp.333-356.
    • Anderson T, de Lemos R, Fitzgerald JS, Saeed A. . In: Grossman, RL., Nerode, A., Ravn, A.P., Rischel, H, ed. Hybrid Systems. Berlin; New York: Springer-Verlag, 1993, pp.426-451.
    • Fitzgerald JS. . In: Jones, C.B., Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London, UK: Prentice Hall, 1990, pp.127-162.

  • Conference Proceedings (inc. Abstracts)

    • Bogomolov S, Fitzgerald J, Soudjani S, Stankaitis P. . In: 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. 2022, Rhodes, Greece: Springer Nature.
    • Li B, Fitzgerald JS, Schultz C. . In: 27th International Workshop on Intelligent Computing in Engineering. 2020, Online (Technical University of Berlin): Universitätsverlag der TU Berlin.
    • Larsen PG, Macedo HD, Gomes CG, Esterle L, Thule C, Fitzgerald J, Pierce K. . In: Frontiers in Software Engineering Education. FISEE 2019. 2020, Château de Villebrumier, France: Springer.
    • Jackson M, Fitzgerald JS. . In: Software Engineering and Formal Methods (SEFM 2017). 2018, Trento, Italy: Springer Verlag.
    • Larsen PG, Fitzgerald J, Woodcock J, Gamble C, Payne R, Pierce K. . In: Software Engineering and Formal Methods. SEFM 2017. 2018, Trento, Italy: Springer, Cham.
    • Mansfield M, Morisset C, Gamble C, Mace JC, Pierce K, Fitzgerald J. . In: 16th Overture Workshop. 2018, Oxford University, UK.
    • Mace JC, Morisset C, Pierce K, Gamble C, Maple C, Fitzgerald J. . In: Living in the Internet of Things: Cybersecurity of the IoT. 2018, London, UK: Institution of Engineering and Technology.
    • Faldik O, Payne R, Fitzgerald J, Buhnova B. . In: International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 17). 2017, Uppsala, Sweden: Open Publishing Association.
    • Larsen PG, Fitzgerald J, Woodcock J, Nilsson R, Gamble C, Foster S. . In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination and Applications. 2016, Corfu, Greece: Springer.
    • Jackson M, Fitzgerald J. . In: 14th Overture Workshop: Towards Analytical Tool Chains. 2016, Limassol, Cyprus: Aarhus University Department of Engineering.
    • Larsen PG, Fitzgerald J, Woodcock J, Fritzson P, Brauer J, Kleijn C, Lecomte T, Pfeil M, Green O, Basagiannis S, Sadovykh A. . In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). 2016, Vienna, Austria: IEEE.
    • Fitzgerald J, Gamble C, Payne R, Larsen PG, Basagiannis S, Mady AE-D. . In: INCOSE International Symposium (IS2016). 2016, Edinburgh, UK: Wiley Online Library.
    • Payne R, Fitzgerald J, Bryans J, Winthorpe E. . In: INCOSE International Symposium. 2016, Edinburgh, UK: Wiley Online Library.
    • Ingram C, Payne R, Fitzgerald J, Couto LD. . In: INCOSE International Symposium. 2015, Seattle, WA USA: INCOSE (International Council on Systems Engineering).
    • Ingram C, Payne R, Fitzgerald JS, Couto LD. . In: 25th Annual INCOSE International Symposium on Systems Engineering (IS2015). 2015, Seattle, WA, USA: International Council on Systems Engineering (INCOSE).
    • Ingram C, Fitzgerald J, Holt J, Plat N. . In: INCOSE International Symposium. 2015, Seattle, WA, USA: INCOSE (International Council on Systems Engineering).
    • Ingram C, Fitzgerald JS, Holt J, Plat N. . In: 25th Annual INCOSE International Symposium on Systems Engineering (IS2015). 2015, Seattle, WA, USA: International Council on Systems Engineering (INCOSE).
    • Fitzgerald JS, Gamble C, Larsen PG, Pierce K, Woodcock JCP. . In: 2015 IEEE/ACM 37TH IEEE International Conference on Software Engineering. 2015, Florence, Italy: IEEE.
    • Ingram C, Payne R, Fitzgerald JS. . In: 25th Annual INCOSE International Symposium on Systems Engineering (IS2015). 2015, Seattle, WA, USA: International Council on Systems Engineering (INCOSE).
    • Bryans J, Fitzgerald J, Payne R, Miyazawa A, Kristensen K. . In: IEEE 9th International Systems of Systems Engineering Conference (SoSE 2014). 2014, Stamford Grand, Glenelg, Australia: IEEE.
    • Ingram C, Riddle S, Fitzgerald J, Al-Lawati AHJ, Alrbaiyan A. . In: Workshop on Engineering Dependable Systems of Systems (EDSoS). 2014, Â鶹´«Ã½, UK.
    • Bryans J, Fitzgerald J, Payne R, Kristensen K. . In: INCOSE International Symposium (IS2014). 2014, Las Vegas, Nevada: Wiley.
    • Fitzgerald J, Larsen PG, Woodcock J. . In: Fourth International Conference on Complex Systems Design & Management (CSD&M) 2013. 2014, Paris, France: Springer.
    • Woodcock J, Cavalcanti A, Fitzgerald J, Foster S, Larsen PG. . In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. 2014, Corfu, Greece: Springer-Verlag.
    • Fitzgerald JS, Bryans JW, Larsen PG, Salim H. . In: 15th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2014. 2014, Amsterdam, The Netherlands: Springer-Verlag.
    • Foster S, Miyazawa A, Woodcock J, Cavalcanti A, Fitzgerald J, Larsen PG. . In: 9th International Conference on System of Systems Engineering (SOSE). 2014, Adelaide, SA, Australia: IEEE.
    • Andrews Z, Fitzgerald J, Payne R, Romanovsky A. . In: 11th International Symposium on Autonomous Decentralized Systems (ISADS 2013). 2013, Mexico City, Mexico: IEEE.
    • Payne RJ, Bryans JW, Fitzgerald JS, Riddle S. . In: 7th International Conference on Systems of Systems Engineering (SoSE). 2012, Genoa, Italy: IEEE.
    • Woodcock J, Cavalcanti A, Fitzgerald J, Larsen P, Miyazawa A, Perry S. . In: 7th International Conference on System of Systems Engineering (SoSE), 2012. 2012, Genoa, Italy: IEEE.
    • Fitzgerald JS, Bryans JW, Payne RJ. . In: Collaborative Networks in the Internet of Services. 2012, Bournemouth, UK: Springer.
    • Bryans JW, Fitzgerald JS, McCutcheon T. . In: 12th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE): Adaptation and value creating collaborative networks. 2011, Sao Paulo, Brazil: Springer.
    • Bryans J, Fitzgerald JS, McCutcheon T. . In: 12th IFIP Working Conference on Virtual Enterprises. 2011, Sao Paulo, Brazil: Springer.
    • Pierce KG, Fitzgerald JS, Gamble C. . In: ERCIM/EWICS/Cyber-physical Systems Workshop at SafeComp. 2011, Naples, Italy.
    • Payne RJ, Fitzgerald JS. . In: Workshop on Dependable Systems of Systems. 2011, York, UK.
    • Larsen PG, Fitzgerald JS, Wolff S. . In: FM + AM 2010: Second International Workshop on Formal Methods and Agile Methods. 2011, Pisa (Italy): Bonner Köllen Verlag.
    • Bryans JW, Fitzgerald JS, Romanovsky A, Roth A. . In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2010, Oxford, UK: IEEE.
    • Di Marzo Serugendo G, Fitzgerald J, Romanovsky A. . In: 25th annual ACM Symposium on Applied Computing. 2010, Sierre, Switzerland: ACM.
    • Fitzgerald J, Larsen P, Pierce K, Verhoef M, Wolff S. . In: Integrated Formal Methods: 8th International Conference (IFM 2010). 2010, Nancy, France: Springer.
    • Bicarregui JC, Fitzgerald JS, Larsen PG, Woodcock JCP. . In: FM 2009: Formal Methods: Second World Congress. 2009, Eindhoven, The Netherlands: Springer-Verlag.
    • Bryans J, Fitzgerald JS, Romanovsky A, Roth A. . In: 14th IEEE International Conference on Engineering of Complex Computer Systems. 2009, Potsdam, Germany: IEEE.
    • Macedo HD, Larsen PG, Fitzgerald J. . In: FM 2008: Formal Methods - 15th International Symposium on Formal Methods. 2008, Turku, Finland: Springer.
    • Bhattacharyya A, Fitzgerald JS. . In: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 2008, Â鶹´«Ã½ upon Tyne, UK: ACM.
    • Fitzgerald JS, Larsen PG, Tjell S, Verhoef M. . In: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE). 2007, Dallas, Texas, USA: IEEE Computer Society.
    • Fitzgerald JS, Tjell S, Larsen PG, Verhoef M. . In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2007, Dallas, Texas: IEEE.
    • Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. . In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2007, Edinburgh, UK: IEEE Computer Society.
    • Andrews Z, Fitzgerald J, Verhoef M. . In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK.
    • Fitzgerald J, Larsen PG, Sahara S. . In: BCS-FACS Christmas Workshop: Formal Methods in Industry. 2007, London, UK.
    • Bryans J, Fitzgerald JS. . In: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM. 2007, Boca Raton, FL, USA: Springer.
    • Fitzgerald JS, Larsen PG. . 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. 2007, Macau SAR, China: Springer.
    • Fitzgerald JS, Bryans JW, Greathead D, Jones CB, Payne R. . In: FACS 2007 Christmas Workshop: Formal Methods in Industry. 2007, London: British Computer Society.
    • Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. . In: 22nd ACM Symposium on Applied Computing. 2007, Seoul, Korea: ACM.
    • Bryans JW, Fitzgerald JS, Periorellis P. . In: 37th IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinbugh, UK.
    • Fitzgerald JS, Larsen PG. . In: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). 2006, Paphos, Cyprus: IEEE.
    • Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. . In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
    • Fitzgerald J. . In: Scientific Engineering of Distributed Java Applications: 4th International Workshop (FIDJI 2004). 2005, Luxembourg-Kirchberg, Luxembourg: Springer-Verlag.
    • Fitzgerald JS, Parastatidis S, Romanovsky A, Watson P. . In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004). 2004, Florence, Italy.
    • Fitzgerald JS. . In: 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96). 1996, Munich, Germany: Springer-Verlag.
    • Barroca LM, Fitzgerald JS, Spencer L. . In: Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95). 1995, Boca Raton, Florida: IEEE Computer Society Press.
    • Fitzgerald JS, Brookes TM, Green MA, Larsen PG. . In: FME'94: Industrial Benefits of Formal Methods - 2nd International Symposium of Formal Methods Europe. 1994, Barcelona, Spain: Springer-Verlag.
    • Fitzgerald JS, Moore R. . In: Proceedings of the International Workshop on Semantics of Specification Languages (SoSL). 1993, Utrecht, The Netherlands: Springer-Verlag.
    • Fitzgerald JS. . In: Specifications of Database Systems: 1st International Workshop on Specifications of Database Systems. 1992, Glasgow, UK: Springer-Verlag.
    • Fitzgerald JS, Jones CB. . In: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90). 1990, Kiel, FRG: Springer-Verlag.

  • Edited Books

    • Fitzgerald J, Gomes C, Larsen PG, ed. . Cham, Switzerland: Springer Nature Switzerland, 2024.
    • Fitzgerald JS, Larsen PG, Verhoef MHG, ed. . Berlin: Springer, 2014.
    • Bryans J, Fitzgerald J, ed. . Australia: Open Publishing Association, 2009.
    • Fitzgerald JS, Haxthausen AE, Yenigun H, ed. . Berlin: Springer-Verlag, 2008.
    • Fitzgerald J, Hayes IJ, Tarlecki A, ed. . Berlin; New York: Springer-Verlag, 2005.
    • Fitzgerald JS, Jones CB, Lucas P, ed. . Berlin: Springer-Verlag, 1997.

  • Editorial

    • Fitzgerald JS, Gnesi S, Mandrioli D. . International Journal on Software Tools for Technology Transfer 2006, 8(4-5), 301-302.

  • Online Publication

    • Di Marzo Serugendo G, Fitzgerald JS. . Edinburgh, UK: PerAda (Pervasive Adaptation), FET Proactive Project, 2009. Available at: .

  • Reports

    • Fitzgerald JS, Tran-Jørgensen PWV, Oda T, Editors. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2017. School of Computing Science Technical Report Series 1513.
    • Jackson M, Fitzgerald J. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2016. School of Computing Science Technical Report Series 1500.
    • Battle N, Fitzgerald J. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2015. School of Computing Science Technical Report Series 1446.
    • Ingram C, Payne R, Fitzgerald J, Diogo Couto L. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2015. School of Computing Science Technical Report Series 1449.
    • Bhattacharyya A, Mokhov A, Pierce K. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2015. School of Computing Science Technical Report Series 1462.
    • Bryans J, Fitzgerald J, Payne R, Kristensen K. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2014. School of Computing Science Technical Report Series 1406.
    • Bryans J, Payne R, Holt J, Perry S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2013. School of Computing Science Technical Report Series 1371.
    • Fitzgerald J, Mak T, Romanovsky A, Yakovlev A. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2012. School of Computing Science Technical Report Series 1347.
    • Payne R, Bryans J, Fitzgerald J, Riddle S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2012. School of Computing Science Technical Report Series 1335.
    • Andrews Z, Fitzgerald J, Payne R, Romanovsky A. . Â鶹´«Ã½ upon Tyne: Â鶹´«Ã½, 2012. School of Computing Science Technical Report Series 1346.
    • Fitzgerald J, Pierce K, Gamble C. . Â鶹´«Ã½ upon Tyne: Â鶹´«Ã½, 2012. School of Computing Science Technical Report Series 1331.
    • Fitzgerald J, Bryans J, Payne R. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2012. School of Computing Science Technical Report Series 1338.
    • Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
    • Payne RJ, Fitzgerald JS. . Â鶹´«Ã½: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2011. School of Computing Science Technical Report Series 1250.
    • Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2011. School of Computing Science Technical Report Series 1264.
    • Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2011. School of Computing Science Technical Report Series 1265.
    • Payne RJ, Fitzgerald JS. . Â鶹´«Ã½: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2010. School of Computing Science Technical Report Series 1233.
    • Fitzgerald J, Gorm Larsen P, Pierce KG, Verhoef M, Wolff S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2010. School of Computing Science Technical Report Series 1213.
    • Larsen PG, Fitzgerald JS, Wolff S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2010. School of Computing Science Technical Report Series 1218.
    • Bryans JW, Fitzgerald JS. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2009. School of Computing Science Technical Report Series 1176.
    • Bryans J W, Fitzgerald J S, Romanovsky A, Roth A. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2009. School of Computing Science Technical Report Series 1178.
    • Wolf S, Fitzgerald J, Gorm Larsen P. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2009. School of Computing Science Technical Report Series 1164.
    • Bryans J, Fitzgerald J. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2008. School of Computing Science Technical Report Series 1098.
    • Fitzgerald JS, Larsen PG, Sahara S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2008. School of Computing Science Technical Report Series 1099.
    • Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. . Birkbeck College, London, UK: School of Computer Science and Information Systems, 2008. BBKCS-08-08.
    • Bryans J, Fitzgerald J, Romanovsky A, Roth A. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2008. School of Computing Science Technical Report Series 1131.
    • Bhattacharyya A, Fitzgerald JS. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2008. School of Computing Science Technical Report Series 1121.
    • Glaser H, Millard I, Anderson T, Andrews Z, Fitzgerald J, Randell B. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2008. School of Computing Science Technical Report Series 1132.
    • Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
    • Fitzgerald JS, Larsen PG, Sahara S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1057.
    • Fitzgerald JS, Larsen PG, Tjell S, Verhoef M. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1017.
    • Bryans J, Fitzgerald J. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1054.
    • Fitzgerald JS, Larsen PG. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 999.
    • Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1021.
    • Fitzgerald JS, Jones CB. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1044.
    • Andrews Z, Fitzgerald J, Verhoef M. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1020.
    • Macedo HD, Larsen PG, Fitzgerald J. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1059.
    • Di Marzo Serugendo G, Fitzgerald JS, Romanovsky A, Guelfi N. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1018.
    • Bryans JW, Fitzgerald JS. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1028.
    • Fitzgerald JS, Larsen PG. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1031.
    • Bryans JW, Fitzgerald JS, Periorellis P. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2007. School of Computing Science Technical Report Series 1027.
    • Fitzgerald JS, Larsen PG, Plat N. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 969.
    • Fitzgerald JS. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 984.
    • Fitzgerald JS. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 983.
    • Bryans JW, Fitzgerald JS, Periorellis P. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 976.
    • Larsen PG, Fitzgerald JS, Riddle S. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 992.
    • Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 981.
    • Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. . Â鶹´«Ã½ upon Tyne: School of Computing Science, University of Â鶹´«Ã½ upon Tyne, 2006. School of Computing Science Technical Report Series 963.
    • Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. . London: School of Computer Science and Information Systems, Birkbeck College, 2006. BBKCS-06-05.
    • Shrivastava SK, Ezhilchelvan PD, Speirs N, Fitzgerald JS. . London: National Air Traffic Services, 2000.
    • Fitzgerald JS, Jones CB. . Â鶹´«Ã½ upon Tyne: Department of Computing Science, University of Â鶹´«Ã½ upon Tyne, 1997. Department of Computing Science Technical Report Series 617.
    • Fitzgerald JS. . Â鶹´«Ã½ upon Tyne: Department of Computing Science, University of Â鶹´«Ã½ upon Tyne, 1997. Department of Computing Science Technical Report Series 616.
    • Bicarregui JC, Fitzgerald JS, Moore R, Ritchie B. . Â鶹´«Ã½ upon Tyne: Department of Computing Science, University of Â鶹´«Ã½ upon Tyne, 1994. Department of Computing Science Technical Report Series 489.
    • Anderson T, de Lemos R, Fitzgerald JS, Saeed A. . Â鶹´«Ã½ upon Tyne: Department of Computing Science, University of Â鶹´«Ã½ upon Tyne, 1993. Department of Computing Science Technical Report Series 412.
    • Fitzgerald JS, Moore R. . Â鶹´«Ã½ upon Tyne: Department of Computing Science, University of Â鶹´«Ã½ upon Tyne, 1993. Department of Computing Science Technical Report Series 424.
    • Fitzgerald JS, Lindsay PA, Moore R. . Â鶹´«Ã½ upon Tyne: Department of Computing Science, University of Â鶹´«Ã½ upon Tyne, 1992. Department of Computing Science Technical Report Series 404.
    • Fitzgerald JS. . Manchester, UK: Department of Computer Science, University of Manchester, 1991. UMCS 91-11-2.
    • Fitzgerald JS. . Manchester, UK: Department of Computer Science, University of Manchester, 1991.
    • Fitzgerald JS, Jones CB. . Manchester: University of Manchester, 1990. UMCS 90-1-1.

  • Review

    • Khedr MT, Fitzgerald JS. . 2025. Submitted.