Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Peter Larsen.

Newcastle AuthorsTitleYearFull text
Dr Peter Larsen
Professor John Fitzgerald
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems2023
Dr Peter Larsen
Professor John Fitzgerald
Dr Ken Pierce
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula2020
Dr Peter Larsen
Dr Ken Pierce
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems2018
Professor John Fitzgerald
Dr Carl Gamble
Martin Mansfield
Professor Roberto Palacin
Dr Ken Pierce
et al.
Collaborative modelling and co-simulation for transportation cyber-physical systems2018
Dr Peter Larsen
Professor John Fitzgerald
Dr Carl Gamble
Dr Richard Payne
Dr Ken Pierce
et al.
Features of Integrated Model-Based Co-modelling and Co-simulation Technology2018
Professor John Fitzgerald
Dr Carl Gamble
Dr Richard Payne
Dr Peter Larsen
Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study2016
Dr Peter Larsen
Professor John Fitzgerald
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems: The INTO-CPS Project2016
Dr Peter Larsen
Professor John Fitzgerald
Dr Carl Gamble
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design2016
Professor John Fitzgerald
Dr Carl Gamble
Dr Peter Larsen
Dr Ken Pierce
Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains2015
Professor John Fitzgerald
Dr Peter Larsen
An Approach for Managing Semantic Heterogeneity in Systems of Systems Engineering2014
Professor John Fitzgerald
Dr Peter Larsen
Collaborative design for embedded systems: co-modelling and co-simulation2014
Professor John Fitzgerald
Dr Ken Pierce
Dr Peter Larsen
Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation2014
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Peter Larsen
Collaborative Systems of Systems Need Collaborative Design2014
Professor John Fitzgerald
Dr Peter Larsen
Contracts in CML2014
Professor John Fitzgerald
Dr Peter Larsen
Foundations for Model-Based Engineering of Systems of Systems2014
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A formal approach to collaborative modelling and co-simulation for embedded systems2013
Professor John Fitzgerald
Dr Peter Larsen
Features of CML: A formal modelling language for Systems of Systems2012
Professor John Fitzgerald
Dr Peter Larsen
Industrial Deployment of Formal Methods: Trends and Challenges2012
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems2011
Dr Peter Larsen
Professor John Fitzgerald
Are Formal Methods Ready for Agility? A Reality Check2011
Dr Peter Larsen
Professor John Fitzgerald
Are Formal Methods Ready for Agility? A Reality Check2010
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
Collaborative modelling and co-simulation in the development of dependable embedded systems2010
Dr Peter Larsen
Professor John Fitzgerald
The Overture Initiative Integrating Tools for VDM2010
Dr Peter Larsen
Professor John Fitzgerald
Formal Methods: Practice and Experience2009
Professor John Fitzgerald
Dr Peter Larsen
Industrial Practice in Formal Methods: A Review2009
Professor John Fitzgerald
Dr Peter Larsen
Methods for the Development of Distributed Real-Time Embedded Systems using VDM2009
Dr Peter Larsen
Professor John Fitzgerald
Methods for the Development of Distributed Real-Time Embedded Systems using VDM2009
Professor John Fitzgerald
Dr Peter Larsen
Modelling Systems: Practical Tools and Techniques in Software Engineering2009
Dr Peter Larsen
Professor John Fitzgerald
Dr Stephen Riddle
Practice-oriented courses in formal methods using VDM++2009
Dr Peter Larsen
Dr Jeremy Bryans
Proceedings of the 7th OVERTURE workshop2009
Dr Peter Larsen
Proceedings of the 7th OVERTURE workshop, 2nd November, 2009, Eindhoven2009
Dr Peter Larsen
Professor John Fitzgerald
Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM2008
Professor John Fitzgerald
Dr Peter Larsen
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop2008
Professor John Fitzgerald
Dr Peter Larsen
VDMTools: advances in support for formal modeling in VDM2008
Professor John Fitzgerald
Dr Peter Larsen
Balancing Insight and Effort: the Industrial Uptake of Formal Methods2007
Professor John Fitzgerald
Dr Peter Larsen
Balancing Insight and Effort: the Industrial Uptake of Formal Methods2007
Dr Peter Larsen
Professor John Fitzgerald
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM2007
Professor John Fitzgerald
Dr Peter Larsen
Recent industrial Applications of VDM in Japan2007
Professor John Fitzgerald
Dr Peter Larsen
Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods2007
Professor John Fitzgerald
Dr Peter Larsen
Validation Support for Distributed Real-Time Embedded Systems in VDM++2007
Professor John Fitzgerald
Dr Peter Larsen
Validation support for distributed real-time embedded systems in VDM++2007
Professor John Fitzgerald
Dr Peter Larsen
Validation Support for Distributed Real-Time Embedded Systems in VDM++2007
Professor John Fitzgerald
Dr Peter Larsen
VDMTools: advances in support for formal modeling in VDM2007
Dr Peter Larsen
Professor John Fitzgerald
Dr Stephen Riddle
Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++2006
Professor John Fitzgerald
Dr Peter Larsen
Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 20052006
Professor John Fitzgerald
Dr Peter Larsen
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience2006
Professor John Fitzgerald
Dr Peter Larsen
Validated Designs for Object-oriented Systems2005
Professor John Fitzgerald
Dr Peter Larsen
Modelling Systems: Practical Tools and Techniques in Software Engineering1998
Dr Peter Larsen
Professor John Fitzgerald
Applying formal specification in industry1996
Professor John Fitzgerald
Dr Peter Larsen
Developing a Security-critical System using Formal and Conventional Methods1995
Professor John Fitzgerald
Dr Peter Larsen
A Comparison of the Conventional and Formal Design of a Secure System Component1994
Professor John Fitzgerald
Dr Peter Larsen
Formal and Informal Specifications of a Secure System Component: first results in a comparative study1994