Peter Gorm Larsen

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

  3. 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, 2018, p. 1-25.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

  4. 2017
  5. 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 proceedings

  6. 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: Contribution to book/anthology/report/proceedingArticle in proceedings

  7. 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: Contribution to book/anthology/report/proceedingArticle in proceedings

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

  9. 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: Contribution to book/anthology/report/proceedingArticle in proceedings

  10. 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: Contribution to book/anthology/report/proceedingArticle in proceedings

  11. 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: Contribution to book/anthology/report/proceedingArticle in proceedings

  12. 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: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article

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