Concepedia

John Fitzgerald

JF

Statistics

Publications

40

Citations

1.1K

H-Index

19

Active since

1987

Affiliations

Newcastle University(Current)

Aarhus University

Aarhus School of Architecture

University of York

Birkbeck, University of London

John Fitzgerald is an author at Newcastle University specializing in systems engineering, systems modeling, and engineering.

Publications per year

1987–2021

40

Publications

40

The overture initiative integrating tools for VDM

Peter Gorm Larsen, Nick Battle, Miguel A. Ferreira et al. · ACM SIGSOFT Software Engineering Notes · 2010 · 126 citations

Computing, Computer Science, Systems Engineering +14

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock et al. · 2016 · 108 citations · Full text

Engineering, Systems Engineering, Cyber-physical Systems +16

Applying formal specification in industry

Peter Gorm Larsen, John Fitzgerald, T. M. Brookes · IEEE Software · 1996 · 88 citations

Computing, Computer Science, Formal Methods +16

Features of CML: A formal modelling language for Systems of Systems

Jim Woodcock, Ana Cavalcanti, John Fitzgerald et al. · 2012 · 74 citations

Engineering, Computer Science, Systems Engineering +13

Now That's Smart!

Valeriy Vyatkin, Zoran Salčić, Partha S. Roop et al. · IEEE Industrial Electronics Magazine · 2007 · 51 citations

Engineering, Manufacturing Engineering, Systems Engineering +17

1–5 of 40