Publications by Dr Peter Larsen - ePrints

Browsing publications by Dr Peter Larsen.

Newcastle Authors	Title	Year
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