Peter Gorm Larsen

  1. 2018
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. Published

    Collaborative modelling and co-simulation for Transportation Cyber-Physical Systems. / Fitzgerald, John; Gamble, Carl; Mansfield, Martin; Ouy, Julien; Palacin, Roberto; Pierce, Ken; Larsen, Peter Gorm.

    Transportation Cyber-Physical Systems. ed. / Lipika Deka; Mashrur Chowdhury. Elsevier, 2018. p. 51-79.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

  11. Published

    Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs. / Thule, Casper; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm.

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

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

  12. Published

    Transforming an industrial case study from VDM++ to VDM-SL. / Nilsson, Rene Søndergaard; Lausdahl, Kenneth Guldbrandt; Macedo, Hugo Daniel; Larsen, Peter Gorm.

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

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

  13. Published

    Design Space Exploration in the Development of Agricultural Robots. / Foldager, Frederik; Balling, Ole; Gamble, Carl; Larsen, Peter Gorm; Green, Ole.

    EurAgEng 2018. 2018.

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

  14. Published

    Design Space Exploration in the Development of Agricultural Robots. / Foldager, Frederik; Balling, Ole; Boel, Martin; Gamble, Carl; Larsen, Peter Gorm; Green, Ole.

    2018. Abstract from EurAgEng 2018, Wageningen, Netherlands.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  15. Published

    Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications : NII Shonan Meeting Report No. 2017-18. / Ishikawa, Fuyuki; Larsen, Peter Gorm; S. Fitzgerald, John.

    Tokyo : National Institute of Informatics, Tokyo, 2018. 21 p.

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

  16. Published

    From Software Specifications to Constraint Programming. / Hallerstede, Stefan; Hasanagic, Miran; Krings, Sebastian; Larsen, Peter Gorm; Leuschel, Michael.

    Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Proceedings. ed. / Einar Broch Johnsen; Ina Schafer. Springer, 2018. p. 21-36.

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

  17. Published

    Co-Simulation: A Survey. / Gomes, Claudio ; Thule, Casper; Broman, David; Larsen, Peter Gorm; Vangheluwe, Hans .

    In: ACM Computing Surveys, Vol. 51, No. 3, 49, 05.2018.

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

  18. 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 articleResearchpeer-review

  19. 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, Vol. 20, No. 2, 2018, p. 211-235.

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

  20. Published

    Development of a driverless lawn mower using co-simulation. / Foldager, Frederik F.; Larsen, Peter Gorm; Green, Ole.

    Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. ed. / Antonio Cerone; Marco Roveri. Vol. 10729 Springer, 2018. p. 330-344.

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

  21. Published

    Features of integrated model-based co-modelling and co-simulation technology. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Gamble, Carl; Payne, Richard; Pierce, Kenneth.

    Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. ed. / Antonio Cerone; Marco Roveri. Vol. 10729 Springer, 2018. p. 377-390.

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

  22. Published

    Towards Formal Verification of Cyber Security Standards. / Kulik, Tomas; Larsen, Peter Gorm.

    SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering. ed. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Rossijskaja akademija nauk / Russian Academy of Sciences, 2018. p. 20-25.

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

  23. Published

    Towards Formal Verification of Cyber Security Standards. / Kulik, Tomas; Larsen, Peter Gorm.

    In: Proceedings of the Institute for System Programming, Vol. 30, No. 4, 2018, p. 79-94.

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

  24. 2017
  25. 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 proceedingsResearchpeer-review

  26. Published

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

    2017. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy.

    Research output: Contribution to conferencePaperResearchpeer-review

  27. 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.

    2017. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy.

    Research output: Contribution to conferencePaperResearchpeer-review

Previous 1 2 3 4 5 6 7 8 Next