# John S. Fitzgerald

According to our database

Collaborative distances:

^{1}, John S. Fitzgerald authored at least 69 papers between 1990 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2018

A Non-unified View of Modelling, Specification and Programming.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Cyber-Physical Systems Engineering: An Introduction.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Modelling System of Systems Interface Contract Behaviour.

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.

Proceedings of the Software Engineering and Formal Methods, 2017

Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems.

Proceedings of the Software Engineering and Formal Methods, 2017

2016

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA.

J. Log. Algebr. Meth. Program., 2016

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

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

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software.

JoWUA, 2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.

ACM Comput. Surv., 2015

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware).

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014

Dependable System of Systems Engineering: the COMPASS Project.

ERCIM News, 2014

System Development: The DESTECS/Crescendo Technology.

ERCIM News, 2014

An approach for managing semantic heterogeneity in Systems of Systems Engineering.

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems.

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

SysML contracts for systems of systems.

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Contracts in CML.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Collaborative Systems of Systems Need Collaborative Design.

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

Co-model Structuring and Design Patterns.

Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling of Faults and Fault Tolerance Mechanisms.

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling and Co-simulation in Embedded Systems Design.

Proceedings of the Collaborative Design for Embedded Systems, 2014

From Embedded to Cyber-Physical Systems: Challenges and Future Directions.

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

A formal approach to collaborative modelling and co-simulation for embedded systems.

Mathematical Structures in Computer Science, 2013

Fault modelling for systems of systems.

Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Foundations for Model-Based Engineering of Systems of Systems.

Proceedings of the Complex Systems Design & Management, 2013

Industrial Deployment of Formal Methods: Trends and Challenges.

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

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

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Interface specification for system-of-systems architectures.

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A Formal Model-Based Approach to Engineering Systems-of-Systems.

Proceedings of the Collaborative Networks in the Internet of Services, 2012

A rigorous approach to the design of resilient cyber-physical systems through co-simulation.

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations.

Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

2010

The overture initiative integrating tools for VDM.

ACM SIGSOFT Software Engineering Notes, 2010

MetaSelf: an architecture and a development method for dependable self-* systems.

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Patterns for Modelling Time and Consistency in Business Information Systems.

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Are Formal Methods Ready for Agility? A Reality Check.

Proceedings of the FM+AM 2010, 2010

2009

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM.

Int. J. Software and Informatics, 2009

Practice-oriented courses in formal methods using VDM

^{++}.
Formal Asp. Comput., 2009

Formal methods: Practice and experience.

ACM Comput. Surv., 2009

Common Representation of Information Flows for Dynamic Coalitions

Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Industrial Practice in Formal Methods: A Review.

Proceedings of the FM 2009: Formal Methods, 2009

Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.).

Cambridge University Press, ISBN: 978-0-521-89911-6, 2009

2008

Vienna Development Method.

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

VDMTools: advances in support for formal modeling in VDM.

SIGPLAN Notices, 2008

The connection between two ways of reasoning about partial functions.

Inf. Process. Lett., 2008

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary.

Proceedings of the SERENE 2008, 2008

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.

Proceedings of the FM 2008: Formal Methods, 2008

A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.

Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

2007

A metadata-based architectural model for dynamically resilient systems.

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Formal Engineering of XACML Access Control Policies in VDM++.

Proceedings of the Formal Methods and Software Engineering, 2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++.

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Balancing Insight and Effort: The Industrial Uptake of Formal Methods.

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

The industrialization of formal methods.

STTT, 2006

Triumphs and Challenges for Model-Oriented Formal Methods: The VDM

^{++}Experience (Abstract).
Proceedings of the Leveraging Applications of Formal Methods, 2006

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.

Proceedings of the Leveraging Applications of Formal Methods, 2006

2004

Formal Methods Europe Update.

Formal Asp. Comput., 2004

Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations.

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

1999

Formality in specification and modeling: developments in software engineering practice.

Advances in Computers, 1999

1996

Applying Formal Specification in Industry.

IEEE Software, 1996

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Two Industrial Trials of Formal Specification.

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

The architectural specification of an avionic subsystem.

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1994

Formal and Informal Specifications of a Secure System Component: first results in a comparative study.

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Experiences in Developing a Proof Theory for VDM Specifications.

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

On Foraml Support for Industrial-Scale Requirements Analysis.

Proceedings of the Hybrid Systems, 1992

1990

Modularizing the Formal Description of a Database System.

Proceedings of the VDM '90, 1990