Peter Gorm Larsen

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

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

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

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

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

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

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

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

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

  12. 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 proceedingsResearchpeer-review

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