John Fitzgerald
#70,637
Most Influential Person Now
British computer scientist and Chair of Formal Methods Europe
John Fitzgerald 's AcademicInfluence.com Rankings
John Fitzgerald computer-science Degrees
Computer Science
#3236
World Rank
#3390
Historical Rank
Database
#8746
World Rank
#9183
Historical Rank
Download Badge
Computer Science
John Fitzgerald 's Degrees
- Masters Computer Science University of Oxford
- Bachelors Computer Science University of Oxford
Similar Degrees You Can Earn
Why Is John Fitzgerald Influential?
(Suggest an Edit or Addition)According to Wikipedia, John S. Fitzgerald FBCS is a British computer scientist. He is a professor at Newcastle University. He was the head of the School of Computing before taking on the role of Dean of Strategic Projects in the university’s Faculty of Science, Agriculture and Engineering. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He is a former Chair of Formal Methods Europe and committee member of BCS-FACS.
John Fitzgerald 's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Formal methods: Practice and experience (2009) (671)
- Validated Designs for Object-oriented Systems (2004) (257)
- Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.) (1998) (233)
- Systems of Systems Engineering (2015) (222)
- The overture initiative integrating tools for VDM (2010) (156)
- FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (2005) (144)
- Applying Formal Specification in Industry (1996) (110)
- VDMTools: advances in support for formal modeling in VDM (2008) (101)
- Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project (2016) (90)
- Features of CML: A formal modelling language for Systems of Systems (2012) (82)
- Vienna Development Method (2008) (74)
- Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z (2012) (71)
- Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions (2015) (62)
- Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains (2015) (58)
- Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (2008) (56)
- Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM (2008) (56)
- Now That's Smart! (2007) (53)
- Collaborative Design for Embedded Systems: Co-modelling and Co-simulation (2014) (49)
- Modularizing the Formal Description of a Database System (1990) (48)
- A metadata-based architectural model for dynamically resilient systems (2007) (47)
- Collaborative Design for Embedded Systems (2014) (45)
- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (2010) (44)
- MetaSelf: an architecture and a development method for dependable self-* systems (2010) (40)
- A formal approach to collaborative modelling and co-simulation for embedded systems† (2013) (38)
- Industrial Practice in Formal Methods: A Review (2009) (37)
- Formal Engineering of XACML Access Control Policies in VDM++ (2007) (34)
- The Typed Logic of Partial Functions and the Vienna Development Method (2006) (34)
- A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems (2008) (34)
- Triumphs and Challenges for the Industrial Application of Model- Oriented Formal Methods (2007) (31)
- Foundations for Model-Based Engineering of Systems of Systems (2013) (31)
- Formal and Informal Specifications of a Secure System Component: first results in a comparative study (1994) (28)
- Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering (2006) (28)
- Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design (2016) (27)
- A tracking system (1998) (26)
- 2.2.2 Maintaining Emergence in Systems of Systems Integration: a Contractual Approach using SysML (2014) (26)
- SysML contracts for systems of systems (2014) (25)
- A Formal Model-Based Approach to Engineering Systems-of-Systems (2012) (25)
- Fault modelling for systems of systems (2013) (25)
- FME '97: Industrial Applications and Strengthened Foundations of Formal Methods (1997) (24)
- Balancing Insight and Effort: The Industrial Uptake of Formal Methods (2007) (24)
- Features of Integrated Model-Based Co-modelling and Co-simulation Technology (2017) (22)
- Evaluation of Architectural Frameworks Supporting Contract-based Specification (2010) (22)
- Developing a Security-critical System using Formal and Conventional Methods (1995) (21)
- Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study (2016) (21)
- Recent industrial applications of VDM in Japan (2007) (20)
- Methods for the Development of Distributed Real-Time Embedded Systems Using VDM (2009) (19)
- Are Formal Methods Ready for Agility? A Reality Check (2010) (18)
- Co-modelling and co-simulation in the engineering of systems of cyber-physical systems (2014) (18)
- Validation Support for Distributed Real-Time Embedded Systems in VDM++ (2007) (17)
- Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin (2019) (17)
- MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems (2008) (17)
- Modularity in model-oriented formal specifications and its interaction with formal reasoning (1991) (16)
- From Embedded to Cyber-Physical Systems: Challenges and Future Directions (2014) (16)
- Patterns for Modelling Time and Consistency in Business Information Systems (2010) (15)
- The connection between two ways of reasoning about partial functions (2008) (14)
- Industrial Deployment of Formal Methods: Trends and Challenges (2013) (14)
- Formal specification techniques in the commercial development process (1995) (13)
- Architectural Modelling Patterns for Systems of Systems (2015) (13)
- Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware (2009) (13)
- Building High Assurance Multidisciplinary Design Optimization Framework (2007) (13)
- Co-modelling and Co-simulation in Embedded Systems Design (2014) (13)
- Dimensions of Dynamic Coalitions (2006) (13)
- Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (1996) (12)
- Road2CPS priorities and recommendations for research and innovation in cyber-physical systems (2017) (11)
- Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems (2006) (11)
- Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware) (2015) (11)
- A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems (2020) (11)
- Practice-oriented courses in formal methods using VDM++ (2009) (10)
- Interface specification for system-of-systems architectures (2012) (10)
- On Foraml Support for Industrial-Scale Requirements Analysis (1992) (10)
- Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations (2011) (10)
- HVDC - enabling the transition to an energy system based on renewables (2010) (10)
- Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract) (2006) (10)
- Dependability-explicit Computing in Service-oriented Architectures (2004) (10)
- An approach for managing semantic heterogeneity in Systems of Systems Engineering (2014) (9)
- Exploring the Cyber‐Physical Design Space (2017) (9)
- Constructing a Model (2009) (9)
- A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation (2011) (9)
- Formal Specification of an Aerospace System: the Attitude Monitor (1995) (8)
- A rigorous approach to the design of resilient cyber-physical systems through co-simulation (2012) (8)
- Modelling System of Systems Interface Contract Behaviour (2017) (7)
- Animation-based validation of a formal model of dynamic virtual organisations (2007) (7)
- Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation (2014) (7)
- Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (2015) (7)
- Analysing Systems Interdependencies Using a Digital Twin (2019) (7)
- Six Software Engineering Principles for Smarter Cyber-Physical Systems (2021) (6)
- Resilience Modelling Through Discrete Event and Continuous Time Co-simulation (2007) (6)
- Modelling Systems: Practical Tools and Techniques in Software Engineering (2009) (6)
- Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++ (2006) (6)
- The architectural specification of an avionic subsystem (1995) (6)
- Concepts of Dependable Cyber-Physical Systems Engineering: Model-Based Approaches (2016) (6)
- Projects as Interventions in Infrastructure Systems‐of‐Systems (2019) (6)
- Model Based Analysis and Validation of Access Control Policies (2006) (5)
- Contracts in CML (2014) (5)
- Model‐based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism (2015) (5)
- Proof in the Analysis of a Model of a Tracking System (1998) (5)
- A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations (2007) (5)
- Contract-Based Interface Specification Language for Functional and Non-Functional Properties (2011) (5)
- Comprehensive Modelling for Advanced Systems of Systems Model-based Engineering for Systems of Systems : the COMPASS Manifesto (2013) (5)
- A Dynamic Coalitions Workbench: Final Report (2008) (5)
- Resilience Profiling in the Model-Based Design of Cyber-Physical Systems (2016) (5)
- Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary (2008) (5)
- Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report (2019) (5)
- A multi-modelling based approach to assessing the security of smart buildings (2018) (5)
- Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model (2011) (5)
- Now That's Smart!: Information Infrastructure of Intelligent Machines Based on the IEC 61499 Architecture (2007) (4)
- Collaborative Systems of Systems Need Collaborative Design (2014) (4)
- Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop (2008) (4)
- Detecting insider threats using Ben-ware : beneficial intelligent software for identifying anomalous human behaviour. (2015) (4)
- Unification: Specification and Development (1990) (4)
- Cigarette smoke comparative toxicology. (2001) (4)
- Interface Contracts for Architectural Specification and Assessment: a SysML Extension (2011) (3)
- Integrating an Upgraded Constituent System in a System of Systems: A SysML Case Study (2015) (3)
- FM 2016: Formal Methods (2016) (3)
- A Comparison of the Conventional and Formal Design of a Secure System Component (1994) (3)
- Experiences in Developing a Proof Theory for VDM Specifications (1993) (3)
- Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems (2010) (3)
- Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects (2019) (3)
- Modelling Systems: Large-Scale Modelling (2009) (2)
- SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study (2014) (2)
- Co-modelling of Faults and Fault Tolerance Mechanisms (2014) (2)
- Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods (1997) (2)
- The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA (2016) (2)
- Formality in specification and modeling: developments in software engineering practice (1999) (2)
- Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects (2019) (2)
- Engineering Cyber‐Physical Swarms with Collaborative Modelling (2018) (2)
- Collaborative Modelling and Co-simulation in Engineering and Computing Curricula (2019) (2)
- Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems (2018) (2)
- Reasoning about a Modular Model-Oriented Formal Specification (1992) (2)
- Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report (2021) (1)
- The stress of seeking (1995) (1)
- Dependable System of Systems Engineering: the COMPASS Project (2014) (1)
- Proceedings Third Workshop on Formal Aspects of Virtual Organisations (2012) (1)
- Two Industrial Trials of Formal Specification (1996) (1)
- Discrete-Event Modelling in VDM (2014) (1)
- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems (2017) (1)
- Specification-based testing for real-time avionic systems (1999) (1)
- Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005 (2006) (1)
- HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems (2020) (1)
- System Development: The DESTECS/Crescendo Technology (2014) (1)
- A Non-unified View of Modelling, Specification and Programming (2018) (1)
- Co-model Structuring and Design Patterns (2014) (1)
- Modelling and Refinement of the MONDEX Electronic Purse in VDM (2011) (1)
- Formal Modelling and Simulation in the Development of a Security-critical Message Processing System (1995) (1)
- A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. (2011) (1)
- Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations (2004) (1)
- Common Representation of Information Flows for Dynamic Coalitions (2010) (1)
- Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008) (1)
- Dynamic Coalitions : A position paper (1)
- The industrialization of formal methods (2006) (1)
- Cyber-Physical Systems Engineering: An Introduction (2018) (1)
- Economics and Christian Values (2001) (1)
- New advances in crystal arthritis. (2021) (0)
- Commentary by Tani Barlow (2021) (0)
- Editorial (2019) (0)
- Design Space Exploration for Secure Building Control (2018) (0)
- Smart LV network planning to accommodate E-mobility and low carbon technologies (2022) (0)
- Proceedings of the 18th International Overture Workshop (2021) (0)
- Editorial to the theme section on model-based engineering of smart systems (2019) (0)
- Chapter 2 Co-modelling and Co-simulation in Embedded Systems Design (2019) (0)
- Title : Resilience Profiling in the Model-Based Design of Cyber-Physical Systems (2016) (0)
- Formal Methods Europe Update (2004) (0)
- Proceedings of the 9th Overture Workshop (2012) (0)
- Describing System Properties Using Logical Expressions (2009) (0)
- FM2005: Formal Methods (2005) (0)
- Modelling Systems: Sequences (2009) (0)
- The Elements of a Formal Model (2009) (0)
- SEsCPS 2017 Workshop Summary (2017) (0)
- Modelling and Simulation for Cyber-Physical Systems (2015) (0)
- Adding conflict and confusion to CSP (2005) (0)
- Applying Model‐based SE Techniques for Dependable Land Systems (2016) (0)
- Modelling Systems: State-Based Modelling (2009) (0)
- Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18) (2017) (0)
- Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014 (2015) (0)
- The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering (2017) (0)
- Workshop Proceedings: Trustworthy Cyber-Physical Systems (2012) (0)
- Modelling Systems: Validating Models (2009) (0)
- Editorial to the theme section on model-based engineering of smart systems (2019) (0)
- Safety Critical Distributed Systems: a State of Art Report (2000) (0)
- Proceedings of the 2005 international conference on Formal Methods (2005) (0)
- Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations. Eindhoven, The Netherlands. 3 November 2009 (2009) (0)
- Proceedings Second Workshop on Formal Aspects of Virtual Organisations, FAVO 2009, Eindhoven, The Netherlands, 3rd November 2009 (2010) (0)
- Modelling Systems: Solutions to Exercises (2009) (0)
- Proceedings of Formal Aspects of Virtual Organisations 2008 (2008) (0)
- Modelling Systems: VDMTools Lite (2009) (0)
- Appendix E : Alternative Approaches (2011) (0)
- Formal methods light: experience applying formal specification in the aerospace and nuclear sectors (1997) (0)
- Perspectives on Formal Methods in the Last 25 years (2006) (0)
- Cyber-Physical Systems Design : Formal Foundations , Methods and Integrated Tool Chains ( Invited Paper ) (2016) (0)
- Validating Access Control Policies for Virtual Organisations (2007) (0)
- Proceedings Second Workshop on Formal Aspects of Virtual Organisations: Preface (2010) (0)
- Using VDM in Practice (2009) (0)
- Engineering of Digital Twins for Cyber-Physical Systems (2020) (0)
- FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (2016) (0)
- Version of file: Published (Newcastle University Computing Science Technical Report) (2010) (0)
- Getting Software Engineering out of Isolation (2012) (0)
- Metamorphic (2020) (0)
- Ocean Grove Christian Songs (2011) (0)
- Flyswats and tiger traps (2014) (0)
- Scoring the refrain (2021) (0)
- Awakening China (1996) (0)
This paper list is powered by the following services:
Other Resources About John Fitzgerald
What Schools Are Affiliated With John Fitzgerald ?
John Fitzgerald is affiliated with the following schools:
