Peter Gorm Larsen

  1. 2018
  2. Submitted

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

    In: arXiv:1809.08463, 22.09.2018.

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

  3. Published

    Towards formal verification of cyber security standards. / Kulik, Tomas; Larsen, Peter Gorm.

    Proceedings of the Institute for System Programming. Vol. 30 4. ed. 2018. p. 79-94.

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

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

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

  6. Published

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

    Software Engineering and Formal Methods. ed. / Einar Broch Johnsen; Ina Schafer. Springer Cham, 2018. p. 21-36.

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

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

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

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

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

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

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