Peter Gorm Larsen
According to our database^{1},
Peter Gorm Larsen
authored at least 111 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at scopus.com

at orcid.org

at id.loc.gov

at dnb.info

at pure.au.dk
On csauthors.net:
Bibliography
2020
Softw. Syst. Model., 2020
A Cloudbased Collaboration Platform for Modelbased Design of CyberPhysical Systems.
Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, 2020
2019
Softw. Pract. Exp., 2019
Simul. Model. Pract. Theory, 2019
Design Autom. for Emb. Sys., 2019
The Harvest Coach Architecture: Embedding DeviationTolerance in a Harvest Logistic Solution.
Comput., 2019
Proceedings of the Software Engineering and Formal Methods, 2019
Proceedings of the Software Engineering and Formal Methods, 2019
Security analysis of cloudconnected industrial control systems using combinatorial testing.
Proceedings of the 17th ACMIEEE International Conference on Formal Methods and Models for System Design, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Frontiers in Software Engineering Education, 2019
Proceedings of the Frontiers in Software Engineering Education, 2019
Multimodelling and Cosimulation in the Engineering of CyberPhysical Systems: Towards the Digital Twin.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
ACM Comput. Surv., 2018
CoRR, 2018
CoRR, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Engineering and Formal Methods  16th International Conference, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
2017
Int. J. Embed. Syst., 2017
IEICE Trans. Inf. Syst., 2017
CoRR, 2017
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2017
Distributed CoSimulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTOCPS.
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Injecting Formal Verification in FMIBased Cosimulations of CyberPhysical Systems.
Proceedings of the Software Engineering and Formal Methods, 2017
2016
J. Log. Algebraic Methods Program., 2016
Future Gener. Comput. 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 CyberPhysical Systems Design.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Integrated tool chain for modelbased design of CyberPhysical Systems: The INTOCPS project.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016
2015
Robotics, 2015
Formal Aspects Comput., 2015
Systems of Systems Engineering: Basic Concepts, ModelBased Techniques, and Research Directions.
ACM Comput. Surv., 2015
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
CyberPhysical 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
ERCIM News, 2014
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
Comodelling and cosimulation in the engineering of systems of cyberphysical systems.
Proceedings of the 9th International Conference on System of Systems Engineering, 2014
Proceedings of the IEEE International Systems Conference, 2014
Proceedings of the MODELSWARD 2014  Proceedings of the 2nd International Conference on ModelDriven Engineering and Software Development, Lisbon, Portugal, 7, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Collaborative Systems for Smart Networked Environments, 2014
Proceedings of the Software Engineering in Health Care  4th International Symposium, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
Proceedings of the Collaborative Design for Embedded Systems, 2014
2013
A formal approach to collaborative modelling and cosimulation for embedded systems.
Math. Struct. Comput. Sci., 2013
Proceedings of the Complex Systems Design & Management, 2013
Proceedings of the Industrial Deployment of System Engineering Methods, 2013
2012
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
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
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Proceedings of the Formal Methods and Software Engineering, 2011
2010
ACM SIGSOFT Softw. Eng. Notes, 2010
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Collaborative Modelling and Cosimulation in the Development of Dependable Embedded Systems.
Proceedings of the Integrated Formal Methods  8th International Conference, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Proceedings of the FM+AM 2010, 2010
2009
Int. J. Softw. Informatics, 2009
Formal Aspects Comput., 2009
ACM Comput. Surv., 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Modelling Systems  Practical Tools and Techniques in Software Development (2. ed.).
Cambridge University Press, ISBN: 9780521899116, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
ACM SIGPLAN Notices, 2008
Incremental Development of a Distributed RealTime Model of a Cardiac Pacing System Using VDM.
Proceedings of the FM 2008: Formal Methods, 2008
2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
Proceedings of the Formal Methods and Hybrid RealTime Systems, 2007
2006
Triumphs and Challenges for ModelOriented Formal Methods: The VDM<sup>++</sup> Experience (Abstract).
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the FM 2006: Formal Methods, 2006
2001
J. UCS, 2001
2000
Formal Aspects Comput., 2000
1998
Proceedings of the Applied Formal Methods, 1998
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
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
1996
IEEE Softw., 1996
Formal Aspects Comput., 1996
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
IEEE Trans. Software Eng., 1995
1994
ACM SIGPLAN Notices, 1994
Formal Aspects Comput., 1994
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication).
Formal Aspects Comput., 1994
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
Proceedings of the Semantics of Specification Languages (SoSL), 1993
1992
ACM SIGPLAN Notices, 1992
Microprocess. Microprogramming, 1992
Comput. J., 1992
1991
Proceedings of the VDM '91, 1991
1989
Towards a Formal Semantics of the BS/VDM Specification Language.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989