/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

J

John Fitzgerald

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

309

Papers

3.6K

Citations

26

h-index

68

i10-index

John Fitzgerald is an academic researcher. The author has contributed to research in topics: Model-Driven Software Engineering Techniques & Advanced Software Engineering Methodologies & Formal Methods in Verification. The author has an h-index of 26, co-authored 263 publications.

ORCID: 0000-0001-7041-1807

Research Topics

Model-Driven Software Engineering Techniques Advanced Software Engineering Methodologies Formal Methods in Verification Systems Engineering Methodologies and Applications Simulation Techniques and Applications

Papers by this author

works

2009 · ACM Computing Surveys · 648 citations

https://doi.org/10.1145/1592434.1592436

Jim Woodcock Peter Gorm Larsen Juan Bicarregui John Fitzgerald

Formal Engineering of XACML Access Control Policies in VDM

2007 · 0 citations

Jeremy Bryans John Fitzgerald

HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems

2021 · Lecture notes in networks and systems · 0 citations

https://doi.org/10.1007/978-3-030-84811-8_5

Peter Gorm Larsen Hugo Daniel Macedo John Fitzgerald Holger Pfeifer

Research topics

topics

Model-Driven Software Engineering Techniques

Advanced Software Engineering Methodologies

Formal Methods in Verification

Systems Engineering Methodologies and Applications

Simulation Techniques and Applications

Chat about Author

Papers

Chat

Click to start Chat