John Fitzgerald
27 published titles
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540635335
- Springer
- 1997
- Details
Modelling systems : practical tools and techniques in software development
2 editions
- ISBN: 0521623480
- Cambridge University Press
- 1998
- Details
- ISBN: 9780521899116
- Cambridge University Press
- 2009
- Details
Validated designs for object-oriented systems
(Contributor)
1 edition
- ISBN: 1852338814
- Springer
- 2005
- Details
FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540278825
- Springer
- 2005
- Details
Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
Learning by doing : practical courses in lightweight formal methods using VDM++
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
Formal engineering of XACML access control policies in VDM++
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
A formal approach to dependable evolution of access control policies in dynamic collaborations
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Resilience modelling through discrete event and continuous time
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Balancing insight and effort : the industrial uptake of formal methods
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
The connection between two ways of reasoning about partial functions
1 edition
- University of Newcastle upon Tyne, Computing science
- 2007
- Details
Validating access control policies for virtual organisations
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
VDMTools : advances in support for formal modeling in VDM
1 edition
- University of Newcastle upon Tyne, Computing science
- 2007
- Details
Incremental development of a distributed real-time model of a cardiac pacing system using VDM
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing science
- 2007
- Details
Proceedings of Formal aspects of virtual organisations 2008
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems : a technical diary
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2008
- Details
Proceedings of Formal Aspects of Virtual Organisations 2009
(Contributor)
1 edition
- Computing Science, Newcastle University
- 2009
- Details
Are formal methods ready for agility? : a reality check
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Evaluation of architectural frameworks supporting contract-based specification
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Collaborative modelling and co-stimulation in the development of dependable embedded systems
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2010
- Details
Contract-based interface specification language for functional and non-functional properties
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2011
- Details
A formal approach to collaborative modelling and co-simulation for embedded systems
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
A formal model-based approach to engineering systems-of-systems
1 edition
- Newcastle University, Computing Science
- 2012
- Details
Maintaining emergence in systems of systems integration : a contractual approach using SysML
(Contributor)
1 edition
- University of Newcastle Upon Tyne, Computing Science
- 2014
- Details
A rigorous approach to the design of resilient cyber-physical systems through co-simulation
1 edition
- Newcastle University, Computing Science
- Details
Fault modelling for systems of systems
(Contributor)
1 edition
- Computing Science, Newcastle University
- Details
Model-based engineering of emergence in a collaborative SoS : exploiting SysML & formalism
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details