Peter Gorm Larsen

  1. 2017
  2. 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: Research - peer-reviewArticle in proceedings

  3. 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: Research - peer-reviewArticle in proceedings

  4. 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: Research - peer-reviewArticle in proceedings

  5. 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: Research - peer-reviewArticle in proceedings

  6. 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: Research - peer-reviewArticle in proceedings

  7. 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: Research - peer-reviewArticle in proceedings

  8. 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: Research - peer-reviewArticle in proceedings

  9. 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: Research - peer-reviewJournal article

  10. 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: Research - peer-reviewConference abstract for conference

  11. 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, 11.02.2017, p. 1-25.

    Research output: Research - peer-reviewJournal article

  12. 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: Research - peer-reviewReport

  13. 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: Research - peer-reviewJournal article

  14. 2016
  15. 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, 04.12.2016, p. 1076-1096.

    Research output: Research - peer-reviewJournal article

  16. 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: Research - peer-reviewArticle in proceedings

  17. 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: Research - peer-reviewArticle in proceedings

  18. 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: Research - peer-reviewArticle in proceedings

  19. 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: Research - peer-reviewArticle in proceedings

  20. 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: ResearchReport

  21. 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: Research - peer-reviewArticle in proceedings

  22. 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: Research - peer-reviewArticle in proceedings

  23. 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: Research - peer-reviewReport

  24. 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: Research - peer-reviewArticle in proceedings

  25. 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: Research - peer-reviewArticle in proceedings

  26. 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: Research - peer-reviewJournal article

  27. 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: Research - peer-reviewJournal article

  28. 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: Research - peer-reviewArticle in proceedings

  29. 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: Research - peer-reviewArticle in proceedings

  30. 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: Research - peer-reviewArticle in proceedings

  31. 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: Research - peer-reviewJournal article

  32. 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: Research - peer-reviewArticle in proceedings

  33. 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: Research - peer-reviewBook chapter

  34. 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: Research - peer-reviewArticle in proceedings

  35. 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: Research - peer-reviewConference article

  36. 2015
  37. 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: Research - peer-reviewJournal article

  38. 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: Research - peer-reviewArticle in proceedings

  39. 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: Research - peer-reviewConference article

  40. 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: Research - peer-reviewArticle in proceedings

  41. 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: Research - peer-reviewArticle in proceedings

  42. 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: Research - peer-reviewArticle in proceedings

  43. 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: Research - peer-reviewArticle in proceedings

  44. 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: Research - peer-reviewArticle in proceedings

  45. 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: Research - peer-reviewArticle in proceedings

  46. 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: Research - peer-reviewArticle in proceedings

  47. 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: Research - peer-reviewJournal article

  48. 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: Research - peer-reviewJournal article

  49. 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: Research - peer-reviewArticle in proceedings

  50. 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: Research - peer-reviewArticle in proceedings

  51. 2014
  52. 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: ResearchConference abstract for conference

  53. 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: CommunicationJournal article

  54. 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: Research - peer-reviewBook chapter

Previous 1 2 3 4 Next