Peter Gorm Larsen

According to our database1, Peter Gorm Larsen authored at least 90 papers between 1989 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Automated translation of VDM to JML-annotated Java.
STTT, 2018

Co-Simulation: A Survey.
ACM Comput. Surv., 2018

Co-simulation of Continuous Systems: A Tutorial.
CoRR, 2018

Robotic design choice overview using co-simulation.
CoRR, 2018

From Software Specifications to Constraint Programming.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017
A holistic approach to energy-aware design of cyber-physical systems.
IJES, 2017

A Formal Modeling Tool for Exploratory Modeling in Software Development.
IEICE Transactions, 2017

Co-simulation: State of the art.
CoRR, 2017

Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS.
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

Features of Integrated Model-Based Co-modelling and Co-simulation Technology.
Proceedings of the Software Engineering and Formal Methods, 2017

Development of a Driverless Lawn Mower Using Co-simulation.
Proceedings of the Software Engineering and Formal Methods, 2017

Injecting Formal Verification in FMI-Based Co-simulations 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

A secure dynamic collaboration environment in a cloud context.
Future Generation Comp. Syst., 2016

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.
Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 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

Formalising and Validating the Interface Description in the FMI Standard.
Proceedings of the FM 2016: Formal Methods, 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
Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration.
Robotics, 2015

Model checking CML: tool development and industrial applications.
Formal Asp. Comput., 2015

Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions.
ACM Comput. Surv., 2015

Towards Enabling Overture as a Platform for Formal Notation IDEs.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 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

2014
System Development: The DESTECS/Crescendo Technology.
ERCIM News, 2014

Distributed Simulation of Formal Models in System of Systems Engineering.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 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

Collaborative formal modeling of System of Systems.
Proceedings of the IEEE International Systems Conference, 2014

Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 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

Energy-Aware Model-Driven Development of a Wearable Healthcare Device.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Deploying Co-modelling in Commercial Practice.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Industrial Application of Co-modelling and Co-simulation Technology.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-model Structuring and Design Patterns.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.
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

Semantics of Co-simulation.
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

Foundations for Model-Based Engineering of Systems of Systems.
Proceedings of the Complex Systems Design & Management, 2013

A Secure Dynamic Collaboration Environment in a Cloud Context.
Proceedings of the CLOSER 2013, 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

Extending VDM-RT to enable the formal modelling of System of Systems.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

COMPASS tool vision for a system of systems Collaborative Development Environment.
Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Combining VDM with Executable Code.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
The overture initiative integrating tools for VDM.
ACM SIGSOFT Software Engineering Notes, 2010

Combinatorial Testing for VDM.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Proving consistency of VDM models using HOL.
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

Proof Obligation Generation and Discharging for Recursive Definitions in VDM.
Proceedings of the Formal Methods and Software Engineering, 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

Connecting UML and VDM++ with Open Tool Support.
Proceedings of the FM 2009: Formal Methods, 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

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.
Proceedings of the FM 2008: Formal Methods, 2008

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
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract).
Proceedings of the Leveraging Applications of Formal Methods, 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
Proceedings of the FM 2006: Formal Methods, 2006

2001
Ten Years of Historical Development "Bootstrapping" VDMTools®.
J. UCS, 2001

2000
Using VDMTools to Model and Validate the Cash Dispenser Example.
Formal Asp. Comput., 2000

1998
The IFAD VDM Tools: Lightweight Formal Methods.
Proceedings of the Applied Formal Methods, 1998

A Lightweight Approach to Formal Methods.
Proceedings of the Applied Formal Methods, 1998

1997
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

A Proof Obligation Generator for VDM-SL.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996
Applying Formal Specification in Industry.
IEEE Software, 1996

Semantics of Under-determined Expressions.
Formal Asp. Comput., 1996

Combining VDM-SL Specifications with C++ Code.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 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

1995
Introduction to Special Section (Guest Editorial).
IEEE Trans. Software Eng., 1995

1994
The IFAD VDM-SL toolbox: a practical approach to formal specifications.
SIGPLAN Notices, 1994

A Formal Semantics of Data Flow Diagrams.
Formal Asp. Comput., 1994

Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication).
Formal Asp. Comput., 1994

Evaluation of Underdetermined Explicit Definitions.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 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
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992
An overview of the ISO/VDM-SL standard.
SIGPLAN Notices, 1992

Making specifications executable - Using IPTES Meta-IV.
Microprocessing and Microprogramming, 1992

Standards for Non- Executable Specification Languages.
Comput. J., 1992

1991
An Executable Subset of Meta-IV with Loose Specification.
Proceedings of the VDM '91, 1991

1989
Towards a Formal Semantics of the BS/VDM Specification Language.
IFIP Congress, 1989


  Loading...