Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Dr Peter Larsen.
Newcastle Authors
Title
Year
Full text
Dr Peter Larsen
Professor John Fitzgerald
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems
2023
Dr Peter Larsen
Professor John Fitzgerald
Dr Ken Pierce
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula
2020
Dr Peter Larsen
Dr Ken Pierce
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems
2018
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 systems
2018
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 Technology
2018
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 Study
2016
Dr Peter Larsen
Professor John Fitzgerald
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems: The INTO-CPS Project
2016
Dr Peter Larsen
Professor John Fitzgerald
Dr Carl Gamble
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
2016
Professor John Fitzgerald
Dr Carl Gamble
Dr Peter Larsen
Dr Ken Pierce
Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains
2015
Professor John Fitzgerald
Dr Peter Larsen
An Approach for Managing Semantic Heterogeneity in Systems of Systems Engineering
2014
Professor John Fitzgerald
Dr Peter Larsen
Collaborative design for embedded systems: co-modelling and co-simulation
2014
Professor John Fitzgerald
Dr Ken Pierce
Dr Peter Larsen
Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation
2014
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Peter Larsen
Collaborative Systems of Systems Need Collaborative Design
2014
Professor John Fitzgerald
Dr Peter Larsen
Contracts in CML
2014
Professor John Fitzgerald
Dr Peter Larsen
Foundations for Model-Based Engineering of Systems of Systems
2014
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A formal approach to collaborative modelling and co-simulation for embedded systems
2013
Professor John Fitzgerald
Dr Peter Larsen
Features of CML: A formal modelling language for Systems of Systems
2012
Professor John Fitzgerald
Dr Peter Larsen
Industrial Deployment of Formal Methods: Trends and Challenges
2012
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems
2011
Dr Peter Larsen
Professor John Fitzgerald
Are Formal Methods Ready for Agility? A Reality Check
2011
Dr Peter Larsen
Professor John Fitzgerald
Are Formal Methods Ready for Agility? A Reality Check
2010
Professor John Fitzgerald
Dr Peter Larsen
Dr Ken Pierce
Collaborative modelling and co-simulation in the development of dependable embedded systems
2010
Dr Peter Larsen
Professor John Fitzgerald
The Overture Initiative Integrating Tools for VDM
2010
Dr Peter Larsen
Professor John Fitzgerald
Formal Methods: Practice and Experience
2009
Professor John Fitzgerald
Dr Peter Larsen
Industrial Practice in Formal Methods: A Review
2009
Professor John Fitzgerald
Dr Peter Larsen
Methods for the Development of Distributed Real-Time Embedded Systems using VDM
2009
Dr Peter Larsen
Professor John Fitzgerald
Methods for the Development of Distributed Real-Time Embedded Systems using VDM
2009
Professor John Fitzgerald
Dr Peter Larsen
Modelling Systems: Practical Tools and Techniques in Software Engineering
2009
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 workshop
2009
Dr Peter Larsen
Proceedings of the 7th OVERTURE workshop, 2nd November, 2009, Eindhoven
2009
Dr Peter Larsen
Professor John Fitzgerald
Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM
2008
Professor John Fitzgerald
Dr Peter Larsen
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop
2008
Professor John Fitzgerald
Dr Peter Larsen
VDMTools: advances in support for formal modeling in VDM
2008
Professor John Fitzgerald
Dr Peter Larsen
Balancing Insight and Effort: the Industrial Uptake of Formal Methods
2007
Professor John Fitzgerald
Dr Peter Larsen
Balancing Insight and Effort: the Industrial Uptake of Formal Methods
2007
Dr Peter Larsen
Professor John Fitzgerald
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM
2007
Professor John Fitzgerald
Dr Peter Larsen
Recent industrial Applications of VDM in Japan
2007
Professor John Fitzgerald
Dr Peter Larsen
Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods
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
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 VDM
2007
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 2005
2006
Professor John Fitzgerald
Dr Peter Larsen
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience
2006
Professor John Fitzgerald
Dr Peter Larsen
Validated Designs for Object-oriented Systems
2005
Professor John Fitzgerald
Dr Peter Larsen
Modelling Systems: Practical Tools and Techniques in Software Engineering
1998
Dr Peter Larsen
Professor John Fitzgerald
Applying formal specification in industry
1996
Professor John Fitzgerald
Dr Peter Larsen
Developing a Security-critical System using Formal and Conventional Methods
1995
Professor John Fitzgerald
Dr Peter Larsen
A Comparison of the Conventional and Formal Design of a Secure System Component
1994
Professor John Fitzgerald
Dr Peter Larsen
Formal and Informal Specifications of a Secure System Component: first results in a comparative study
1994