Peter Gorm Larsen

  1. 2018
  2. Published

    Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems. / Neghina, Mihai; Zamfirescu, Constantin-Bala; Larsen, Peter Gorm; Lausdahl, Kenneth Guldbrandt; Pierce, Ken.

    In: Studies in Informatics and Control, , Vol. 27, No. 1, 03.2018, p. 33-42.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  3. Published

    Automated translation of VDM to JML-annotated Java. / Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm; T. Leavens, Gary.

    In: International Journal on Software Tools for Technology Transfer, 2018, p. 1-25.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  4. 2017
  5. Published

    A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems. / Neghina, Mihai; Zamfirescu, Constantin-Bala; Larsen, Peter Gorm; Lausdahl, Kenneth Guldbrandt; Pierce, Ken.

    The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. ed. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. p. 116-129.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  6. Published

    Development of a Driverless Lawn Mower using Co-Simulation. / Foldager, Frederik F.; Larsen, Peter Gorm; Green, Ole.

    1st Workshop on Formal Co-Simulation of Cyber-Physical Systems: CoSim-CPS - A satellite event of SEFM2017. Trento, 2017. 5.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  7. Published

    Features of Integrated Model-based Co-modelling and Co-simulation Technology. / Larsen, Peter Gorm; Fitzgerald, John S.; Woodcock, Jim; Gamble, Carl; Payne, Richard; Pierce, Kenneth.

    1st Workshop on Formal Co-Simulation of Cyber-Physical Systems: CoSim-CPS - A satellite event of SEFM2017. Trento, 2017. 1.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  8. Published

    Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. / Couto, Luis Diogo; Basagiannis, Stylianos; Ridouane, El Hassan; Hasanagic, Miran; Larsen, Peter Gorm.

    1st Workshop on Formal Co-Simulation of Cyber-Physical Systems: CoSim-CPS - A satellite event of SEFM2017. Trento, 2017. 11.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  9. Published

    The Mars-Rover Case Study Modelled Using INTO-CPS. / Feo-Arenis, Sergio ; Verhoef, Marcel; Larsen, Peter Gorm.

    The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. ed. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. p. 130-144.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  10. Published

    Transitioning from Crescendo to INTO-CPS. / Lausdahl, Kenneth Guldbrandt; Bjerge, Kim; Bokhove, Tom ; Groen, Frank; Larsen, Peter Gorm.

    The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings. ed. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. p. 16-30.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  11. Published

    Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. / Pedersen, Nicolai; Lausdahl, Kenneth Guldbrandt; Vidal, Enrique Sanchez; Larsen, Peter Gorm; Madsen, Jan .

    Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017. Vol. 1 SCITEPRESS Digital Library, 2017. p. 73-82.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  12. Published

    A Formal Modeling Tool for Exploratory Modeling in Software Development. / Oda, Tomohiro; Araki, Keijiro; Larsen, Peter Gorm.

    In: IEICE Transactions on Information and Systems, Vol. E100.D, No. 6, 01.06.2017, p. 1210-1217.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  13. Published

    The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. / Lausdahl, Kenneth Guldbrandt; Thule, Casper; Larsen, Peter Gorm; Höll, J.; Klueber, A.; Pfeil, M.; Fässler, V.

    2017. Abstract from FMI User meeting, Prag, Czech Republic.

    Research output: Contribution to conferenceConference abstract for conference

  14. Published

    Co-simulation: State of the art : Technical Report. / Goncalves Gomez, Claudio; Thule, Casper; Broman, David; Larsen, Peter Gorm; Vangheluwe, Hans .

    arXiv.org, 2017. 157 p.

    Research output: Book/anthology/dissertation/reportReport

  15. Published

    Energy-aware model-driven development of a wearable healthcare device. / Isasa, José Antonio Esparza; Larsen, Peter Gorm; Hansen, Finn Overgaard.

    Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers. ed. / Michaela Huhn; Laurie Williams. Vol. 9062 Springer, 2017. p. 44-63.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  16. Published

    A holistic approach to energy-aware design of cyber-physical systems. / Esparza Isasa, Jose Antonio; Larsen, Peter Gorm; Hansen, Finn Overgaard.

    In: International Journal of Embedded Systems, Vol. 9, No. 3, 2017, p. 283-295.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  17. Published

    Enhancing non-technical skills by a multidisciplinary engineering summer school. / Larsen, Peter Gorm; Kristiansen, Erik Lasse; Bennedsen, Jens ; Bjerge, Kim.

    In: European Journal of Engineering Education, Vol. 42, No. 6, 2017, p. 1076-1096.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  18. 2016
  19. Published

    Formalising and Validating the Interface Description in the FMI standard. / Hasanagic, Miran; Tran-Jørgensen, Peter Würtz Vinther; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm.

    FM 2016: Formal Methods: Proceedings of the 21st International Symposium on Formal Methods. ed. / John Fitzgerald; Constance Heitmeyer; Stefania Gnesi; Anna Philippou. Vol. 9995 Springer, 2016. p. 344-351.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  20. Published

    Automated Generation of C# and .NET Code Contracts from VDM-SL Models. / Diswal, Steffen P.; Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. p. 32-47.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  21. Published

    Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling. / Oda, Tomohiro; Akari, Keijiro; Larsen, Peter Gorm.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 48-63.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  22. Published

    Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. / Couto, Luis Diogo; Lausdahl, Kenneth Guldbrandt; Plat, Nico; Larsen, Peter Gorm; Pierce, Ken.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 123-136.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  23. Published

    INtegrated TOol chain for model-based design of CPSs : D1.2 - Case Studies 2. / Ouy, Julien; Lecomte, Thierry; Christiansen, Martin Peter; Vill Henriksen, Andres; Hallerstede, Stefan; Larsen, Peter Gorm; Jæger, Claes D. ; Basagiannis, Stylianos; Couto, Luis Diogo; El-din Mady, Alie; Ridouanne, Hassan; Moner Poy, Hector; Valverde Alcala, Juan; König, Christian; Balcu, Natalia.

    2016. 90 p.

    Research output: Book/anthology/dissertation/reportReport

  24. Published

    Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. / Larsen, Peter Gorm; Thule, Casper; Lausdahl, Kenneth Guldbrandt; Bandur, Victor; Gamble, Carl; Brosse, Etienne; Sadovykh, Andrey; Bagnato, Alessandra; Couto, Luis Diogo.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus : Aarhus University, Department of Engineering, 2016. p. 63-79.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  25. Published

    Modelling Collaborative Systems and Automated Negotiations. / Plat, Nico; Larsen, Peter Gorm; Pierce, Ken.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 108-123.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  26. Published

    The 14th Overture Workshop: Towards Analytical Tool Chains : Electrical and Computer Engineering, Technical Report - ECE-TR-28. / Larsen, Peter Gorm; Plat, Nico; Battle, Nick.

    Aarhus University, Department of Engineering, 2016. 136 p.

    Research output: Book/anthology/dissertation/reportReport

  27. Published

    Towards integration of Overture into TASTE. / Fabbri, T.; Verhoef, M. ; Bandur, Victor; Perrotin, M.; Tsiodras, T.; Larsen, Peter Gorm.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 94-108.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  28. Published

    Using JML-based Code Generation to Enhance Test Automation for VDM Models. / Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm; Battle, Nick.

    14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. p. 79-93.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  29. Published

    Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study. / Fitzgerald, John; Gamble, Carl; Payne, Richard; Larsen, Peter Gorm; Basagiannis, Stylianos; Mady, Ali El-Din.

    In: INCOSE International Symposium, Vol. 26, No. 1, 09.2016, p. 817-832.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  30. Published

    The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. / Larsen, Peter Gorm; Fitzgerald, John.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 85, No. 5, Part 2, 08.2016, p. 985-998.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  31. Published

    ViennaTalk and Assertch : Building Lightweight Formal Methods Environments on Pharo 4. / Oda, Tomohiro; Akari, Keijiro; Larsen, Peter Gorm.

    Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies (IWST 2016): In conjunction with the 24th International Smalltalk Joint Conference. Association for Computing Machinery, 2016. 5.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  32. Published

    Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Nilsson, Rene; Gamble, Carl; Foster, Simon.

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Proceedings, Part II. ed. / Margaria Tiziana; Steffen Bernhard. Vol. II Springer, 2016. p. 171-186.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  33. Published

    Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. / Thule, Casper; Larsen, Peter Gorm.

    Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016). ed. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Krasnovidovo, Russia : Institute for System Programming of the Russian Academy of Sciences (ISPRAS), 2016. p. 223-228.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  34. Published

    A secure dynamic collaboration environment in a cloud context. / Piechottaa, Chris ; Olsen, Martin Grooss; Jensen, Adam Enø; Colemann , Joey W.; Larsen, Peter Gorm.

    In: Future Generation Computer Systems, Vol. 55, No. February, 02.2016, p. 165–175.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  35. Published

    Agricultural robotic candidate overview using co-model driven development. / Christiansen, Martin Peter; Larsen, Peter Gorm; Nyholm Jørgensen, Rasmus.

    Proceedings of the 9th International Conference on Integrated Modeling and Analysis in Applied Control and Automation: IMAACA 2016. Genoa : Dime University of Genoa, 2016. p. 41-48 IMAACA_10.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  36. Published

    Collaborative Modeling and Simulation for Cyber-Physical Systems. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Lecomte, Thierry.

    Trustworthy Cyber-Physical Systems Engineering. ed. / Alexander Romanovsky; Fuyuki Ishikawa. Boca Raton, FL : C R C Press LLC, 2016. p. 177-198.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  37. Published

    Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Fritzson, Peter; Brauer, Jörg; Kleijn, Christian; Lecomte, Thierry; Pfeil, Markus; Green, Ole; Basagiannis, Stylianos; Sadovykh, Andrey .

    2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). Vienna, Austria : IEEE, 2016. p. 1-6.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  38. Published

    Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. / Thule, Casper; Larsen, Peter Gorm.

    In: Proceedings of the Institute for System Programming, Vol. 28, No. 2, 2016, p. 139-156.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference article

  39. 2015
  40. Published

    Model checking CML : tool development and industrial applications. / Mota, A.; Farias, A.; Woodcock, J.; Larsen, Peter Gorm.

    In: Formal Aspects of Computing, 07.09.2015, p. 1-27.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  41. Published

    VDMPad : A Lightweight IDE for Exploratory VDM-SL Specification. / Oda, Tomohiro; Araki, Keijiro; Larsen, Peter Gorm.

    Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015. Vol. 2015 IEEE, 2015. p. 33-39 7166695.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  42. Published

    Interpreting Implicit VDM Specifications using ProB. / Lausdahl, Kenneth; Ishikawa, Hiroshi; Larsen, Peter Gorm.

    In: University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1446, 01.2015, p. 1-15.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference article

  43. Published

    Code Generation of VDM++ Concurrency. / Kanakis, George; Larsen, Peter Gorm; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 60-74.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  44. Published

    Cyber-Physical Systems Design : Formal Foundations, Methods and Integrated Tool Chains. / Fitzgerald, John; Gamble, Carl; Larsen, Peter Gorm; Pierce, Kenneth ; Woodcock, Jim.

    Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE, 2015. p. 40-46.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  45. Published

    Generating Java RMI code for the distributed aspects of VDM-RT models. / Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 75-89.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  46. Published

    Improving Time Estimates in VDM-RT Models. / Larsen, Morten; Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Proceedings of the 13th Overture workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 90-103.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  47. Published

    Integrating the PVSio-web modelling and prototyping environment with Overture. / Masci, Paolo; Monteiro Duarte Couto, Luis Diogo; Larsen, Peter Gorm; Curzon, Paul.

    Proceedings of the 13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 33-47.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  48. Published

    JODTool on the Overture Tool to manage formal requirement dictionaries. / Omori , Yoichi ; Araki, Keijiro; Larsen, Peter Gorm.

    Proceedings of the 13th Overture Workshop. Vol. 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 3-17.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  49. Published

    Pacemaker Parameter Tuning using Crescendo. / Gamble, Carl; Mansfield, Martin; Fitzgerald, John ; Larsen, Peter Gorm.

    Proceedings of the13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 116-131.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  50. Published

    Robotic Design Choice Overview using Co-simulation and Design Space Exploration. / Christiansen, Martin Peter; Larsen, Peter Gorm; Nyholm Jørgensen, Rasmus.

    In: Robotics, Vol. 4, 2015, p. 398-421.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  51. Published

    Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. / Nielsen, Claus Ballegård; Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Peleska, Jan.

    In: A C M Computing Surveys, Vol. 48, No. 2, 2015.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  52. Published

    Towards Enabling Overture as a Platform for Formal Notation IDEs. / Monteiro Duarte Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, George; Lausdahl, Kenneth Guldbrandt; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015. Vol. 187 2015. p. 14-27.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  53. Published

    VDM Animation for a Wider Range of Stakeholders. / Oda, Tomohiro; Yamamoto, Yasuhiro; Nakakoji, Kumiyo ; Araki, Keijiro; Larsen, Peter Gorm.

    Proceedings of the 13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 18-32.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  54. 2014
  55. Published

    Robotic design choice overview using co-simulation. / Christiansen, Martin Peter; Larsen, Peter Gorm; Nyholm Jørgensen, Rasmus.

    2014. Abstract from Agromek and NJF joint seminar, Herning, Denmark.

    Research output: Contribution to conferenceConference abstract for conference

  56. Published

    Co-simulation af cyber-physical systemer fra flyvevåbnet. / Wolff, Sune; Larsen, Peter Gorm.

    In: ITOS - Industriel Teknologi og Software, 10.2014, p. 14-15.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  57. Published

    Collaborative Development of Dependable Cyber-Physical Systems by Co-modeling and Co-simulation. / Fitzgerald, John ; Pierce, Ken; Larsen, Peter Gorm.

    Handbook of Research on Embedded Systems Design. ed. / Alessandra Bagnato ; Leandro Soares Indrusia; Imran Rafiq Quadri ; Matteo G Ross. IGI global, 2014. p. 1-28.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  58. Published

    Linking Design Disciplines in Cyber-Physical System Development: : The DESTECS/Crescendo Technology. / Fitzgerald, John ; Larsen, Peter Gorm; Verhoef, Marcel .

    In: ERCIM News, Vol. 97, No. April, 04.2014, p. 23-24.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  59. Published

    Collaborative systems of systems need collaborative design. / Fitzgerald, John; Bryans, Jeremy; Larsen, Peter Gorm; Salim, Hansen.

    Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings. ed. / Luis M. Camarinha-Matos; Hamideh Afsarmanesh. Vol. 434 Springer, 2014. p. 16-23.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  60. Published

    Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. / Esparza Isasa, Jose Antonio; Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development. SciTePress, 2014. p. 209-216.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  61. Published

    A VDM model of the Termination Detection Protocol. / Bendisposto , Jens; Börger , Egon; Hayes , Ian; Larsen, Peter Gorm; Prinz, Andreas.

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  62. Published

    Co-model Structuring and Design Patterns. / Pierce, Kenneth; Larsen, Peter Gorm; Fitzgerald, John.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 115-137.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  63. Published

    Collaborative Formal Modeling of System of Systems. / Nielsen, Claus Ballegård; Larsen, Peter Gorm.

    Proceedings of the 8th Annual IEEE International Systems Conference : SysCon 2014. IEEE Computer Society Press, 2014. p. 154-161.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  64. Published

    Comparison of Methods. / Larsen, Peter Gorm; Prinz, Andreas; Snook, Colin F ; Shahir , Hamed Yaghoubi .

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  65. Published

    Contracts in CML. / Woodcock, J; Cavalcanti, A; Fitzgerald, J; Foster, S; Larsen, Peter Gorm.

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. ed. / T Margaria; B Steffen. Springer, 2014. p. 54-73.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  66. Published

    Deploying Co-modelling in Commercial Practice. / Wolff, Sune; Larsen, Peter Gorm; Verhoef, Marcel.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 263-270.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  67. Published

    Discrete-Event Modelling in VDM. / Larsen, Peter Gorm; Fitzgerald, John; Verhoef, Marcel; Pierce, Kenneth.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 61-95.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  68. Published

    Distributed Simulation of Formal Models in System of Systems Engineering. / Nielsen, Claus Ballegård; Lausdahl, Kenneth; Larsen, Peter Gorm.

    In: I E E E International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Proceedings, 2014, p. 211-216.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference article

  69. Published

    Energy-Aware Design of Embedded Software through Modelling and Simulation. / Esparza Isasa, Jose Antonio; Larsen, Peter Gorm; Hansen, Finn Overgaard.

    Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014. ed. / Alexander Kamkin; Alexander Petrenko ; Andrey Terekhov. Institute for System Programming, Russian Academy of Sciences (ISPRAS), 2014. p. 51-56.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  70. Published

    From Embedded to Cyper-Physical Systems: Challenges and Future Directions. / Fitzgerald, John; Larsen, Peter Gorm; Verhoef, Marcel.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 293-302.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  71. Published

    Industrial Application of Co-modelling and Co-simulation Technology. / Verhoef, Marcel; Larsen, Peter Gorm.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 223-258.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  72. Published

    Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. / Hallerstede, Stefan; Kristensen, Klaus ; Larsen, Peter Gorm.

    Proceedings of the 5th Rodin User and Developer Workshop, 2014. ed. / Michael Butler; Stefan Hallerstede. 2014.

    Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedings

  73. Published

    Semantics of Co-simulation. / Coleman, Joey; Lausdahl, Kenneth; Larsen, Peter Gorm.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 273-291.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  74. Published

    Specification of the Cash Dispenser in Parallel using ASM and VDM. / Jones, Cliff B; Larsen, Peter Gorm; Prinz, Andreas; Raschke, Alexander ; Snook, Colin F .

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  75. Published

    Support for Co-modelling and Co-simulation: The Crescendo Tool. / Larsen, Peter Gorm; Gamble, Carl; Pierce, Kenneth; Ribeiro, Augusto; Lausdahl, Kenneth.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 97-114.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  76. Published

    VDM-RT Language Summary. / Larsen, Peter Gorm.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. ed. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. p. 313-321.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  77. 2013
  78. Published

    Foundations for Model-based Engineering for Systems of Systems. / Fitzgerald, J; Larsen, Peter Gorm; Woodcock, J.

    Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013. ed. / Marc Aiguier; Frédéric Boulanger; Daniel Krob; Clotilde Marchal. Springer-VS, 2013. p. 1-19.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  79. Published

    A formal approach to collaborative modelling and co-simulation for embedded systems. / Fitzgerald, J S; Larsen, Peter Gorm; Pierce, K G; Verhoef, M H G.

    In: Mathematical Structures in Computer Science, Vol. 23, No. 04, 08.2013, p. 726–750.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  80. Published

    Industrial Deployment of Formal Methods: Trends and Challenges. / Fitzgerald, J; Bicarregui, J C; Larsen, Peter Gorm; Woodcock, J C P.

    The DEPLOY book: Industrial deployment of system engineering methods providing high dependability and productivity. ed. / A Romanovsky; M Thomas . Springer, 2013.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  81. Published

    Semantics of the VDM Real-Time Dialect. / Lausdahl, Kenneth; Coleman, Joey; Larsen, Peter Gorm.

    Aarhus : Aarhus University, Department of Engineering, 2013. 66 p.

    Research output: Book/anthology/dissertation/reportReport

  82. Published

    Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. / Bjerge, Kim; Larsen, Peter Gorm.

    The Modelling, Identification and Control - MIC 2013 conference. IASTED/Acta Press, 2013.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  83. Published

    A secure dynamic collaboration environment in a cloud context. / Piechotta, C.; Jensen, Adam Enø; Olsen, Martin Grooss ; Coleman, J.W.; Larsen, P.G.

    CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science. 2013. p. 406-415.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  84. Published

    An Architectural Evolution of the Overture Tool. / Jørgensen, Peter Würtz Vinther; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm.

    Proceedings of the 11th Overture Workshop, 2013. ed. / K Pierce; S Hallerstede. Vol. Technical Report ECE-TR-17 Aarhus Universitet, Institut for Ingeniørvidenskab , 2013. p. 16-21.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  85. Published

    Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. / Esparza Isasa, Jose Antonio; Hansen, Finn Overgaard; Larsen, Peter Gorm.

    In: World Academy of Science, Engineering and Technology. Proceedings, Vol. 78, 2013, p. 424-430.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  86. Published

    Modelling a Smart Grid System-of-Systems using VDM. / Hallerstede, Stefan; Larsen, Peter Gorm.

    Proceedings of The 11th Overture Workshop, 2013. ed. / K Pierce; S Hallerstede. 2013.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  87. Published

    Modelling different CPU power states in VDM-RT. / Esparza Isasa, Jose Antonio; Larsen, Peter Gorm.

    Proceedings of the 11th Overture Workshop, 2013. ed. / K Pierce; S Hallerstede. Aarhus University, Department of Engineering, 2013.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  88. Published

    Towards an Overture Code Generator. / Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Proceedings of the 11th Overture Workshop. ed. / K Pierce; S Hallerstede. Vol. Technical Report ECE-TR-17 Aarhus Universitet, Institut for Ingeniørvidenskab , 2013. p. 22-27.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  89. 2012
  90. Published

    Applying Co-Simulation for an Industrial Conveyor System : Technical Report ECE-TR-5. / Bjerge, Kim; Larsen, Peter Gorm.

    Statsbiblioteket - Aarhus Univeristet. Vol. Vol 1, No 5 Statsbiblioteket.dk, 2012. ECE-TR-5.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  91. Published
  92. Published

    Towards a Methodology for Modelling and Validation of an Agriculture vehicle's Dynamics and Control. / Christiansen, Martin Peter; Bjerge, K; Edwards, Gareth Thomas Charles; Larsen, Peter Gorm.

    2012. Paper presented at International Conference on Integrated Modeling and Analysis in Applied Control and Automation, Wien, Austria.

    Research output: Contribution to conferencePaper

  93. Published

    Evolution of the Overture Tool Platform. / Coleman, Joey; Malmos, Anders Kaels; Nielsen, Claus Ballegård; Larsen, Peter Gorm.

    2012. Paper presented at 10th overture workshop , Paris, France.

    Research output: Contribution to conferencePaper

  94. Published

    Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT. / Esparza Isasa, Jose Antonio; Larsen, Peter Gorm; Bjerge, K.

    2012. Paper presented at 10th overture workshop , Paris, France.

    Research output: Contribution to conferencePaper

  95. Published

    Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. / Lausdahl, Kenneth; Coleman, J W; Larsen, Peter Gorm.

    2012. Paper presented at 10th overture workshop , Paris, France.

    Research output: Contribution to conferencePaper

  96. Published

    Modelling and Analysis Technology for Systems of Systems Engineering: Research Challenges. / Fitzgerald, J; Larsen, Peter Gorm; Woodcock, J.

    2012. Paper presented at INCOSE, Rom, Italy.

    Research output: Contribution to conferencePaper

  97. Published

    Using the Overture Tool as a More General Platform. / Nielsen, Claus Ballegård; Lausdahl, Kenneth; Larsen, Peter Gorm.

    2012. Paper presented at iFM & ABZ 2012, Pisa, Italy.

    Research output: Contribution to conferencePaper

  98. Published

    Getting Software Engineering out of Isolation. / Larsen, Peter Gorm; Fitzgerald, J; Coleman, J W.

    2012. Paper presented at SYRCoSE 2012, Perm, Russian Federation.

    Research output: Contribution to conferencePaper

  99. Published

    A model-based development process for development and reuse of components in on-board space applications. / Hansen, Finn Overgaard; Hougaard, P; Larsen, Peter Gorm; Caspersen, G.

    2012. Paper presented at DASIA2012, Dubrovik , Croatia.

    Research output: Contribution to conferencePaper

  100. Published

    COMPASS Tool Vision for a System of Systems Collaborative Development Environment. / Coleman, J W; Malmos, Anders Kaels; Larsen, Peter Gorm; Peleska, J; Hains, R.

    2012. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.

    Research output: Contribution to conferencePaper

  101. Published

    Combining VDM with Executable Code. / Nielsen, Claus Ballegård; Lausdahl, Kenneth; Larsen, Peter Gorm.

    In: Lecture Notes in Computer Science, Vol. 7316, 2012, p. 266-279.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference article

  102. Published

    Extending VDM-RT to Enable the Formal Modelling of System of Systems. / Nielsen, Claus Ballegård; Larsen, Peter Gorm.

    2012. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.

    Research output: Contribution to conferencePaper

  103. Published

    Features of CML: a formal modelling language for Systems of Systems. / Woodcock, J; Cavalcanti, A; Fitzgerald, J; Larsen, Peter Gorm; Miyazawa, A; Perry, S.

    2012. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.

    Research output: Contribution to conferencePaper

  104. Published

    Secure Dynamic Cloud-Based Collaboration with Hierarchical Access. / Piechotta, Chris ; Jensen, Adam Enø ; Olsen, Martin Grooss ; Coleman, Joey; Larsen, Peter Gorm.

    2012. 140 p.

    Research output: Book/anthology/dissertation/reportReport

  105. 2011
  106. Published

    Run-Time Validation of Timing Constraints for VDM-RT Models. / Ribeiro, Augusto; Lausdahl, Kenneth; Larsen, Peter Gorm.

    Proceedings of the 9th Overture Workshop. ed. / Sune Wolff; John Fitzgerald. Vol. 2 ECE-TT2. ed. Newcastle University, 2011. p. 4-16.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  107. Published

    A Reality Check on Home Automation Technologies. / Rovsing, Poul Ejnar; Larsen, Peter Gorm; Toftegaard, Thomas Skjødeberg.

    In: Journal of Green Engineering, Vol. 1, No. 3, 04.2011, p. 303-327.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  108. Published

    A deterministic interpreter simulating a distributed real time system using VDM. / Lausdahl, Kenneth; Larsen, Peter Gorm; Battle, Nick.

    Formal Methods and Software Engineering: 13th Proceedings on the 13th International Conference on Formal Engineering Methods, ICFEM 2011. ed. / Shengchao Qin; Zongyan Qiu. Vol. 6991 Springer, 2011. p. 179-194.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  109. Published

    Run-Time Validation of Timing Constraints for VDM-RT Models. / Ribeiro, Augusto; Lausdahl, Kenneth; Larsen, Peter Gorm.

    2011. 13 p.

    Research output: Book/anthology/dissertation/reportReport

  110. 2010
  111. Published

    The Overture Initiative – Integrating Tools for VDM. / Larsen, Peter Gorm; Battle, Nick; Ferreira, Miguel; Fitzgerald, John; Lausdahl, Kenneth; Verhoef, Marcel.

    Harnessing Theories for Tool Support in Software. 2010. p. 9.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  112. Published

    Are Formal Methods Ready for Agility? : A Reality Check. / Larsen, Peter Gorm; Fitzgerald, John; Wolff, Sune.

    Proceedings on Formal Methods and Agile Methods - FM+AM'2010: Lecture Notes in Informatics. ed. / Stefan Gruner; Bernhard Rumpe. Vol. 179 Bonner Köllen Verlag, 2010.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  113. Published

    Development Process for Multi Disciplinary Embedded Control Systems. / Wolff, Sune; Larsen, Peter Gorm; Noergaard, Tammy.

    Proceedings of the 7th EUROSIM Congress on Modelling and Simulation - EUROSIM 2010. 2010.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  114. Published

    Overview of VDM-RT Constructs and Semantic Issues. / Lausdahl, Kenneth; Verhoef, Marcel; Larsen, Peter Gorm; Wolff, Sune.

    Proceedings of the 8th Overture Workshop. Vol. 1224 CS-TR. ed. Newcastle University, 2010. p. 57-67.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  115. Published

    The Overture Initiative Integrating Tools for VDM. / Larsen, Peter Gorm; Battle, Nick; Ferreira, Miguel; Fitzgerald, John; Lausdahl, Kenneth; Verhoef, Marcel.

    In: Software Engineering Notes, Vol. 35, No. 1, 01.2010, p. 1-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  116. Published

    A Innovative Engineering Summer School V2.0. / Bennedsen, Jens; Larsen, Peter Gorm.

    Proceedings of the 6th International CDIO Conference. 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  117. Published

    Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. / Larsen, Peter Gorm; Rovsing, Poul Ejnar; Toftegaard, Thomas Skjødeberg.

    Proceedings of the WPMC 2010. ed. / Marcelo S. Alencar; Valdemar C. da Rocha Jr.Internation Symposium on Wireless Personal Multimedia Communications, 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  118. Published

    Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. / Fitzgerald, John; Larsen, Peter Gorm; Pierce, Ken; Wolff, Sune.

    Integrated Formal Methods: Lecture Notes in Computer Science. ed. / Dominique Méry; Stephan Merz. Vol. 6396 Springer, 2010. p. 12-26.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  119. Published

    Combinatorial Testing for VDM. / Larsen, Peter Gorm; Lausdahl, Kenneth; Battle, Nick.

    SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods. Pisa, Italy : IEEE Computer Society Press, 2010. p. 278-285.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  120. Published

    Design Support and Tooling for Dependable Embedded Control Software. / Broenink, J. F.; Larsen, Peter Gorm; Verhoef, M.; Kleijn, C.; Jovanovic, D.; Pierce, Ken.

    SERENE 2010 2nd International Workshop on Software Engineering for Resilient Systems. 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  121. Published

    Optimizing Energy Usage in Private Households. / Wolff, Sune; Rohde, John; Toftegaard, Thomas Skjødeberg; Larsen, Peter Gorm; Lausdahl, Kenneth Guldbrandt; Ribeiro, Augusto; Stender, Martin Hjorth.

    Towards Green ICT. ed. / R. Prasad; S. Ohmori; D. Šimunić. River Pulishers, 2010. p. 185-210.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  122. Published

    Proof Obligation Generation and Discharging for Recursive Definitions in VDM. / Ribeiro , Augusto; Larsen, Peter Gorm.

    Formal Methods and Software Engineering : Lecture Notes in Computer Science. Vol. 6447 40-55. ed. Springer Berlin Heidelberg New York, 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  123. Published

    Proving Consistency of VDM Models using HOL. / Vermolen, Sander; Hooman, Jozef; Larsen, Peter Gorm.

    SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing. ACM Press New York, NY, USA, 2010.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  124. 2009
  125. Published

    Computing Science - Proceedings of the 7th OVERTURE Workshop : Technical Report Series. / Larsen, Peter Gorm (Editor); Bryans, Jeremy W. (Editor).

    University of Newcastle upon Tyne, 2009.

    Research output: Book/anthology/dissertation/reportAnthology

  126. Published

    A Multidisciplinary Engineering Summer School in an Industrial Setting. / Larsen, Peter Gorm; Fernandes, Joao M. ; Habel, Jacek; Lehrskov, Hanne; Vos, Richard J. C.; Wallington, Oliver; Zidek, Jan.

    In: European Journal of Engineering Education, Vol. 34, No. 6, 2009, p. 511-526.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  127. Published

    Connecting UML and VDM++ with Open Tool Support. / Lausdahl, Kenneth ; Listrup, Hans Kristian; Larsen, Peter Gorm.

    FM '09 Proceedings of the 2nd World Congress on Formal Methods. Springer, 2009. p. 563-578.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  128. Published

    Facilitating Home Automation Through Wireless Protocol Interoperability. / Wolff, Sune; Larsen, Peter Gorm; Lausdahl, Kenneth; Ribeiro, Augusto; Toftegaard, Thomas Skjødeberg.

    In: Wireless Personal Multimedia Communications Symposia. Proceedings, 2009.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference article

  129. Published

    Formal Methods: Practice and Experience. / Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan; Fitzgerald, John .

    In: A C M Computing Surveys, Vol. 41, No. 4, 2009, p. 1-36.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  130. Published

    Industrial Practice in Formal Methods : A Review. / Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm; Woodcock, Jim.

    FM 2009: Formal Methods : Lecture Notes in Computer Science. Vol. 5850/2009 2009. p. 810-813.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  131. Published

    Methods for the Development of Distributed Real-Time Embedded Systems using VDM. / Larsen, Peter Gorm; Fitzgerald, John; Wolff, Sune.

    In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  132. Published

    Practice-oriented courses in formal methods using VDM++. / Larsen, Peter Gorm; Fitzgerald, John S.; Fitzgerald, John S.

    In: Formal Aspects of Computing, Vol. 21, No. 3, 2009, p. 245-257.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  133. Published

    Proceedings of the 7th OVERTURE Workshop 2nd November, 2009, Eindhoven. / Larsen, Peter Gorm (Editor); Bryans, Jeremy (Editor).

    University of Newcastle upon Tyne, 2009. 51 p.

    Research output: Book/anthology/dissertation/reportBook

  134. 2008
  135. Published

    Development Guidelines for Real-Time Systems Using VDMTools. / Larsen, Peter Gorm.

    CSK WEB Systems, 2008.

    Research output: Book/anthology/dissertation/reportReport

  136. Published

    Extending VDM++ Enabling Industrial Applications for Distributed Embedded Real-time Systems. / Larsen, Peter Gorm.

    2008. Paper presented at The 4th Malaysian Software Engineering Conference, Kuala Terengganu, Malaysia.

    Research output: Contribution to conferencePaper

  137. Published

    Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. / Larsen, Peter Gorm; Daniel Macedo, Hugo; Fitzgerald, John.

    FM 2008: Formal Methods: 15th International Symposium on Formal Methods. 2008.

    Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedings

  138. Published

    Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. / Larsen, Peter Gorm (Editor); Fitzgerald, John (Editor); Sahara, Shin (Editor).

    University of Newcastle upon Tyne, 2008. 84 p.

    Research output: Book/anthology/dissertation/reportBook

  139. Published

    Recent Industrial Applications of VDM in Japan. / Larsen, Peter Gorm; Fitzgerald, John.

    2008. Paper presented at FACS 2007 Christmas Workshop: Formal Methods in Industry, London, United Kingdom.

    Research output: Contribution to conferencePaper

  140. Published

    VDM Tools advances in support for formal modeling in VDM: Advances in Support for Formal Modeling in VDM. / Larsen, Peter Gorm; Fitzgerald, John; Sahara, Shin.

    In: ACM SIGPLAN Notices, Vol. 43, No. 2, 2008, p. 3-11.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  141. Published

    Vienna Development Method. / Larsen, Peter Gorm; Fitzgerald, John; Verhoef, Marcel.

    Wiley Encyclopedia of Computer Science and Engineering. ed. / B.W. Wah. Wiley, 2008.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  142. 2007
  143. Published

    Balancing Insight and Effort: the Industrial Uptake of Formal Methods: The Industrial Uptake of Formal Methods. / Larsen, Peter Gorm; Fitzgerald, John.

    Formal Methods and Hybrid Real-TIme Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. Springer, 2007. p. 237-254.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  144. Published

    Interpreting Distributed System Architecture using VDM++ : A Case Study. / Larsen, Peter Gorm; Verhoef, Marcel.

    2007. Paper presented at 5th Annual Conference on SYstems Engineering Research, Hoboken, United States.

    Research output: Contribution to conferencePaper

  145. Published

    Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. / Larsen, Peter Gorm; Fitzgerald, John.

    University of Newcastle upon Tyne, 2007. 7 p.

    Research output: Book/anthology/dissertation/reportReport

  146. Published

    Validation Support for Distributed Real-Time Embedded Systems in VDM++. / Larsen, Peter Gorm; Fitzgerald, John; Tjell, Simon; Verhoef, Marcel.

    University of Newcastle upon Tyne, 2007. 18 p.

    Research output: Book/anthology/dissertation/reportReport

  147. 2006
  148. Published

    Coalition C2 Interoperability Challenges. / Larsen, Peter Gorm.

    2006. Paper presented at 11th International Command and Control Research and Technology Symposium, Cambridge, United Kingdom.

    Research output: Contribution to conferencePaper

  149. Published

    Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. / Larsen, Peter Gorm; Fitzgerald, John; Riddle, Steve.

    Technical Report: CS-TR-992. 2006.

    Research output: Contribution to book/anthology/report/proceedingReport chapter

  150. Published

    Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. / Larsen, Peter Gorm; Verhoef, Marcel; Hooman, Jozef.

    FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings. ed. / J Misra; T. Nipkow; E. Sekerinski. Springer, 2006. p. 147-162.

    Research output: Contribution to book/anthology/report/proceedingBook chapter

  151. Published

    Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. / Fitzgerald, John S.; Larsen, Peter Gorm.

    Proceedings of isola 2006. Vol. 1 IEEE, 2006.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  152. 2005
  153. Published

    CSK Corporation Launches VDMTools in Japan. / Larsen, Peter Gorm; Bjørner, Dines; Keijiro, Araki.

    In: FACS FACTS, No. 2005-3, 2005, p. 16.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  154. Published

    Untangling Technology Debates on Information Sharing and Interoperability. / Larsen, Peter Gorm; Jørgensen, F.D.; Stadtmueller, J.M.

    2005. Poster session presented at Military Communications Conference 2005, Atlantic City, United States.

    Research output: Contribution to conferencePoster

  155. Published

    Validated Designs for Object-oriented Systems. / Larsen, Peter Gorm; S. Fitzgerald, John; Mukherjee, Paul; Plat, Nico; Verhoef, Marcel.

    Springer, 2005. 416 p.

    Research output: Book/anthology/dissertation/reportBook

  156. 2001
  157. Published

    Ten Years of Historical Development "Bootstrapping" VDMTools. / Larsen, Peter Gorm.

    In: Journal of Universal Computer Science, Vol. 7, No. 8, 2001, p. 692.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  158. 2000
  159. Published

    Exploring Timing Properties using VDM++ on an Industrial Application. / Larsen, Peter Gorm; Mukherjee, Paul; Bousquet, Fabien; Delabre, Jerome; Paynter, Stephen.

    2000. Paper presented at The Second VDM Workshop - in conjunction with ZB 2000, York, United Kingdom.

    Research output: Contribution to conferencePaper

  160. Published

    Using VDMTools to Model and Validate the Cash Dispenser Example. / Larsen, Peter Gorm; Mukherjee, Paul; Sunesen, Kim.

    In: Formal Aspects of Computing, Vol. 12, No. 4, 2000, p. 216.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  161. 1999
  162. Published

    Applications of VDM in Banknote Processing. / Larsen, Peter Gorm; R. Smith, Paul.

    1999. Paper presented at VDM Workshop 1: VDM in Practice!, Toulouse, France.

    Research output: Contribution to conferencePaper

  163. 1998
  164. Published

    A Lightweight Approach to Formal Methods. / Larsen, Peter Gorm; Agerholm, Sten.

    1998. Paper presented at Workshop on Applicability of Formal Methods, Aarhus, Denmark.

    Research output: Contribution to conferencePaper

  165. Published

    Modelling Systems: Practical Tools and Techniques in Software Development. / Fitzgerald, John; Larsen, Peter Gorm.

    1 ed. Cambridge : Cambridge: Cambridge University Press, 1998. 269 p.

    Research output: Book/anthology/dissertation/reportBook

  166. Published

    On the Industrial Value of Models. / Larsen, Peter Gorm.

    1998. Paper presented at 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, United Kingdom.

    Research output: Contribution to conferencePaper

  167. Published

    The Return of VDM to Austria. / Larsen, Peter Gorm.

    In: Telematik, 1998, p. 1-6.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  168. 1997
  169. Published

    A Proof Obligation Generator for VDM-SL. / Larsen, Peter Gorm; Aichernig, B.K.

    1997. Paper presented at FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria.

    Research output: Contribution to conferencePaper

  170. Published

    Modeling and Validating SAFER in VDM-SL. / Larsen, Peter Gorm; Agerholm, Sten.

    1997. Paper presented at Fourth NASA Langley Formal Methods Workshop, Langley, United States.

    Research output: Contribution to conferencePaper

  171. Published

    PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software. / Larsen, Peter Gorm; Devauchelle, Lionel; Voss, Henrik.

    1997. Paper presented at Data Systems in Aerospace, Sevilla, Spain.

    Research output: Contribution to conferencePaper

  172. Published

    PICGAL: Practical Use of Formal Specification to Develop a High Reliability Software. / Larsen, Peter Gorm; Devauchelle, Lionel; Voss, Henrik.

    1997. Paper presented at FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria.

    Research output: Contribution to conferencePaper

  173. 1996
  174. Published

    Applying Formal Specification in Industry. / Larsen, Peter Gorm; Fitzgerald, J.; Brookes, T.

    In: I E E E Software, Vol. 13, No. 3, 1996, p. 48-56.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  175. Published

    Combining VDM-SL specifications with C++ code. / Larsen, Peter Gorm; Fröhlich, Brigitte.

    1996. Paper presented at FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, United Kingdom.

    Research output: Contribution to conferencePaper

  176. Published

    Formal and Informal Specifications of a Secure System Component: Final results in a comparative study. / Larsen, Peter Gorm; Brookes, T.M.; Fitzgerald, J.S.

    1996. Paper presented at FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, United Kingdom.

    Research output: Contribution to conferencePaper

  177. Published

    Semantics for Underdetermined Expressions. / Larsen, Peter Gorm; Hansen, Bo Stig.

    In: Formal Aspects of Computing, Vol. 8, No. 1, 1996, p. 47-66.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  178. 1995
  179. Published

    Formal Modelling and Simulation in the Development of a Security-critical Message Processing System. / Larsen, Peter Gorm; Fitzgerald, J.S.; Brookes, T.M.; Green, M.A.

    1995. Paper presented at Anglo-French Workshop in Formal Methods, Modelling and Simulation for System Engineering, St-Quentin en Yvelines, France.

    Research output: Contribution to conferencePaper

  180. Published

    Formal Specification Techniques in the Commercial Development Process. / Larsen, Peter Gorm; Fitzgerald, J.S.

    1995. Paper presented at ICSE-17 , Seattle, United States.

    Research output: Contribution to conferencePaper

  181. Published

    Towards Proof Rules for the Full Standard VDM Specification Language: Ph.D. Thesis. / Larsen, Peter Gorm.

    1995-160 ed. Lyngby : Danmarks Tekniske Universitet, 1995. 181 p.

    Research output: Book/anthology/dissertation/reportBook

  182. 1994
  183. Published

    A Comparison of the Conventional and Formal Design of a Secure System Component. / Larsen, Peter Gorm; Brookes, T.M.; Green, M.A.; Fitzgerald, John S.

    1994. Paper presented at Nordic Seminar on Dependable Computing Systems , Lyngby, Denmark.

    Research output: Contribution to conferencePaper

  184. Published

    A Formal Semantics of Data Flow Diagrams. / Larsen, Peter Gorm; Plat, Nico; Toetenel, Hans.

    In: Formal Aspects of Computing, Vol. 6, No. 6, 1994, p. 586-606.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  185. Published

    Evaluation of Underdetermined Explicit Expressions. / Larsen, Peter Gorm.

    1994. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain.

    Research output: Contribution to conferencePaper

  186. Published

    Formal and Informal Specifications of a Secure System Component : First Results in a Comparative Study. / Larsen, Peter Gorm; Fitzgerald, J. S.; Brookes, T. M.

    1994. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain.

    Research output: Contribution to conferencePaper

  187. Published

    Response to “The Formal Specification of Safety Requirements for Storing Explosives”. / Larsen, Peter Gorm.

    In: Formal Aspects of Computing, Vol. 6, No. 5, 1994, p. 565.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  188. Published

    Semantics of Under-determined Expressions. / Larsen, Peter Gorm.

    Springer, 1994. 31 p.

    Research output: Book/anthology/dissertation/reportBook

  189. Published

    The IFAD VDM-SL toolbox: a practical approach to formal specifications. / Elstrøm, René; Larsen, Peter Gorm; Elstrøm, Bente; Bøgh Lassen, Poul.

    In: ACM SIGPLAN Notices, Vol. 29, No. 9, 1994, p. 77.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  190. 1993
  191. Published

    FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. / Larsen, Peter Gorm (Editor); Woodcock, J. C. P. (Editor).

    Berlin : Springer, 1993. 689 p.

    Research output: Book/anthology/dissertation/reportBook

  192. Published

    Første VDM-SL standard på vej. / Larsen, Peter Gorm.

    In: IT standardnyt : et nyhedsbrev om edb-standardisering, Vol. 4, No. 2, 1993, p. 14.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  193. Published

    Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. / Larsen, Peter Gorm.

    1993. Paper presented at Semantics of Specification Languages, Utrecht, Netherlands.

    Research output: Contribution to conferencePaper

  194. 1992
  195. Published

    An overview of the ISO/VDM-SL Standard. / Larsen, Peter Gorm; Plat, Nico.

    In: ACM SIGPLAN Notices, Vol. 27, No. 8, 08.1992, p. 76-82.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  196. Published

    Making specifications executable - using IPTES Meta-IV. / Larsen, Peter Gorm; Andersen, Michael; Elmstrøm, René; Bøgh Lassen, Poul .

    1992. Paper presented at 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, France.

    Research output: Contribution to conferencePaper

  197. Published

    Standards for Nonexecutable Specification Languages. / Larsen, Peter Gorm; Plat, Nico.

    In: Computer Journal, Vol. 35, No. 6, 1992, p. 567-573.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  198. 1990
  199. Published

    A Formal Event Structuring Approach to Real-Time Design. / Larsen, Peter Gorm.

    Proc EUROMICRO 90 Workshop Real Time. 1990.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

  200. Published

    An Event Structuring Approach to Real-Time Design. / Larsen, Peter Gorm.

    1990. Paper presented at 2nd Nordic Workshop on Program Correctness, Aalborg, Denmark.

    Research output: Contribution to conferencePaper

  201. 1989
  202. Published

    Towards a Formal Semantics of the BSI/VDM Specification Language. / Larsen, Peter Gorm; Meincke Arentoft, Michael; Monahan, Brian; Bear, Stephen.

    1989. Paper presented at Information Processing 89, San Francisco, United States.

    Research output: Contribution to conferencePaper