Peter Gorm Larsen

  1. 2019
  2. Published

    Maestro: The INTO-CPS co-simulation framework. / Thule, Casper; Lausdahl, Kenneth Guldbrandt; Gomes, Claudio ; Meisl, Gerd; Larsen, Peter Gorm.

    In: Simulation Modelling Practice and Theory, Vol. 92, 04.01.2019, p. 45-61.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  3. 2018
  4. Published

    Realization of distributed system models using code generation extensions. / Hasanagic, Miran; Tran-Jørgensen, Peter Würtz Vinther; Nilsson, Rene Søndergaard; Larsen, Peter Gorm.

    In: Software: Practice & Experience, 11.12.2018, p. 1-20.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  5. Published

    Distributed Co-simulation of Embedded Control Software Using INTO-CPS. / Pedersen, Nicolai; Lausdahl, Kenneth Guldbrandt; Vidal, Enrique Sanchez; Thule, Casper; Larsen, Peter Gorm; Madsen, Jan .

    Simulation and Modeling Methodologies, Technologies and Applications. ed. / Mohammad S. Obaidat; Tuncer Ören; Floriano De Rango. Springer Cham, 2018. p. 33-54.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. Published

    A Non-unified View of Modelling, Specification and Programming. / Hallerstede, Stefan; Larsen, Peter Gorm; Fitzgerald, John.

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Vol. I Springer, 2018. p. 52-68.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Co-simulation: The Past, Future, and Open Challenges. / Gomes, Claudio ; Thule, Casper; Deantoni, Julien; Larsen, Peter Gorm; Vangheluwe, Hans .

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th Intenational Symposium, ISoLA 2018, Proceedings, Part III. ed. / Tiziana Margaria; Bernhard Steffen. Vol. III Springer, 2018. p. 504-520.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  8. Published

    Cyber-Physical Systems Engineering: An Introduction. / Gibson, Paul; Larsen, Peter Gorm; Pantel, Marc; Fitzgerald, John; Woodcock, Jim.

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Proceedings, Part III. ed. / Tiziana Margaria; Bernhard Steffen. Vol. III Springer, 2018. p. 407-411.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  9. Published

    ViennaVM: a Virtual Machine for VDM-SL development. / Oda, Tomohiro; Keijiro, Araki; Larsen, Peter Gorm.

    The 16th Overture Workshop. ed. / Ken Pierce; Marcel Verheof. Vol. CS-TR-1524 Newcastle : Newcastle University, 2018. p. 39-57.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. Submitted

    Co-simulation of Continuous Systems: A Tutorial. / Gomes, Claudio ; Thule, Casper; Larsen, Peter Gorm; Denil, Joachim; Vangheluwe, Hans .

    2018. 32 p.

    Research output: Book/anthology/dissertation/reportReportResearchpeer-review

  11. Published

    Demo: Stabilization Technique in INTO-CPS. / Gomes, Claudio ; Thule, Casper; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm; Vangheluwe, Hans .

    Software Technologies: Applications and Foundations. ed. / Manuel Mazzara; Iulian Ober; Gwen Salaün. Springer, 2018. p. 45-51.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Towards the Verification of Hybrid Co-simulation Algorithm. / Thule, Casper; Gomes, Claudio ; Deantoni, Julien; Larsen, Peter Gorm; Brauer, Jörg; Vangheluwe, Hans .

    Software Technologies: Applications and Foundations. ed. / Manuel Mazzara; Iulian Ober; Gwen Salaün. Springer, 2018. p. 5-21.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...20 Next