Aarhus University Seal / Aarhus Universitets segl

Peter Gorm Larsen

  1. 2021
  2. Published
  3. Published

    Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security. / Kulik, Tomas; Macedo, Hugo Daniel; Talasila, Prasad; Larsen, Peter Gorm.

    Proceedings of the 18th International Overture Workshop. ed. / John Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo. 2021. p. 20-35.

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

  4. Published

    Specifying Abstract User Interface in VDM-SL. / Oda, Tomohiro; Akari, Keijiro; Yamamoto, Yasuhiro; Nakakoji, Kumiyo ; Chang, Han-Myung; Larsen, Peter Gorm.

    Proceedings of the 18th International Overture Workshop. ed. / John Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo. 2021. p. 5-20.

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

  5. Published

    Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. / Bogomolov, Sergiy ; Fitzgerald, John; Foldager, Frederik F.; Gamble, Carl; Larsen, Peter Gorm; Pierce, Kenneth; Stankaitis, Paulius ; Wooding, Ben.

    Proceedings of the 18th International Overture Workshop. ed. / John Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo. 2021. p. 50-65.

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

  6. Published

    Visual Studio Code VDM Support. / Kjær Rask, Jonas ; Palludan Madsen, Frederik ; Battle, Nick; Macedo, Hugo Daniel; Larsen, Peter Gorm.

    Proceedings of the 18th International Overture Workshop. ed. / John Fitzgerald; Tomohiro Oda; Hugo Daniel Macedo. 2021. p. 35-50.

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

  7. Published

    Bridging the stakeholder communities that produce cyber-physical systems. / Robinson, C.; Bagnato, Alessandra; Pastrone, C.; Weyer, T.; Popov, P.; Macedo, H. D.; Sassanelli, C.; Larsen, P. G.; Luz, C. H.; Henshaw, M.; Buron, C.; Akerkar, R.; Györffi, M.

    HiPEAC Vision 2021: High performance embedded architecture and compilation. ed. / M. Duranton et al. S.l. : HiPEAC, 2021. p. 20-29.

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

  8. Published

    Estimating the maximum allowable delay bound for networked control systems using co-simulation and design space exploration. / Feng, Hao.; Macedo, Hugo Daniel.; Larsen, Peter Gorm.

    Control Strategy for Time-Delay Systems: Part II: Engineering Applications. ed. / Mohammad-Hassan. Khooban; Tomislav. Dragičević. Vol. 2 London : Academic Press, 2021. p. 257-280.

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

  9. Published

    Introducing Regression Tests and Upgrades to the INTO-CPS Application. / Talasila, Prasad; Sanjari, Armine; Villadsen, Kristoffer; Thule, Casper; Larsen, Peter Gorm; Macedo, Hugo Daniel.

    Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. ed. / Loek Cleophas; Mieke Massink. Cham : Springer, 2021. p. 311-317 (Lecture Notes in Computer Science, Vol. 12524).

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

  10. 2020
  11. Published

    Enabling continuous integration in a formal methods setting. / Couto, Luis Diogo; Tran-Jørgensen, Peter Würtz Vinther; Nilsson, Rene Søndergaard; Larsen, Peter Gorm.

    In: International Journal on Software Tools for Technology Transfer, Vol. 22, No. 6, 12.2020, p. 667-683.

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

  12. Published

    Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. / Neghina, Mihai; Zamfirescu, Constantin-Bala; Larsen, Peter Gorm; Pierce, Ken.

    Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. ed. / Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulao; Paulo Carreira; Vasco Amaral. London : Academic Press, 2020. p. 169-193.

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

  13. Published

    Generation of Co-simulation Algorithms Subject to Simulator Contracts. / Gomes, Cláudio; Thule, Casper; Lúcio, Levi; Vangheluwe, Hans; Larsen, Peter Gorm.

    Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. ed. / Javier Camara; Martin Steffen. Springer, 2020. p. 34-49 (Lecture Notes in Computer Science (LNCS), Vol. 12226). (Programming and Software Engineering, Vol. 12226).

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

  14. Submitted

    Formal Methods in Security Survey. / Kulik, Tomas; Dongol, Brijesh; Larsen, Peter Gorm; Macedo, Hugo Daniel; Schneider, Steve; Tran-Jørgensen, Peter Würtz Vinther; Woodcock, Jim.

    In: Formal Aspects of Computing, 04.07.2020.

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

  15. Published

    Denmark’s first Centre for Digital Twins. / Larsen, Peter Gorm.

    Profile 2020. ed. / Jesper Bruun. Aarhus : Aarhus University, Department of Engineering, 2020. p. 34-35.

    Research output: Contribution to book/anthology/report/proceedingBook chapterCommunication

  16. Published

    New platform to help SMEs get started with cyber-physical systems. / Larsen, Peter Gorm.

    Profile 2020. ed. / Jesper Bruun. Aarhus : Aarhus University, Department of Engineering, 2020. p. 30-33.

    Research output: Contribution to book/anthology/report/proceedingBook chapterCommunication

  17. Published

    A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. / Larsen, Peter Gorm; Macedo, Hugo Daniel; Fitzgerald, John; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr, George Suciu.

    Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. ed. / Floriano De Rango; Tuncer Ören; Mohammad Obaidat. Vol. Volume 1: SIMULTECH SCITEPRESS Digital Library, 2020. p. 263-270 (Conference Proceedings).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  18. Published

    Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. / Gomes, Cláudio; Franceschini, Romain; Battle, Nick; Thule, Casper; Lausdahl, Kenneth; Vangheluwe, Hans; Larsen, Peter Gorm.

    Proceedings of the American Modelica Conference 2020. Linköping : Linköping University Electronic Press, 2020. p. 149-158 (Linköping Electronic Conference Proceedings; No. 16, Vol. 169).

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

  19. Published

    Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. / Larsen, Peter Gorm; Macedo, Hugo Daniel; Gonçalves Gomes, Cláudio Ângelo; Esterle, Lukas; Thule, Casper; Fitzgerald, John; Pierce, Kenneth.

    Frontiers in Software Engineering Education: FISEE 2019. ed. / Jean-Michel Bruel; Alfredo Capozucca; Manuel Mazzara; Bertrand Meyer; Alexandr Naumchev; Andrey Sadovykh. Cham : Springer, 2020. p. 196-213 (Lecture Notes in Computer Science, Vol. 12271). (Programming and Software Engineering, Vol. 12271).

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

  20. Published

    Editorial to the theme section on model-based engineering of smart systems. / Fitzgerald, John ; Ishikawa, Fuyuki; Larsen, Peter Gorm.

    In: Software and Systems Modeling, Vol. 19, No. 3, 2020, p. 579-580.

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

  21. Published

    Migrating the INTO-CPS Application to the Cloud. / Macedo, Hugo Daniel; Bayard Rasmussen, Mikkel; Thule, Casper; Larsen, Peter Gorm.

    Formal Methods: FM 2019 International Workshops. ed. / Emil Sekerinski; Nelma Moreira; Jose N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; Jose Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas. Cham : Springer, 2020. p. 254-271 (Lecture Notes in Computer Science, Vol. 12233).

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

  22. Published

    On the Design of a New Software Engineering Curriculum in Computer Engineering. / Hallerstede, Stefan; Larsen, Peter Gorm; Boudjadar, Jalil; Schultz, Carl Peter Leslie; Esterle, Lukas.

    Frontiers in Software Engineering Education: FISEE 2019. ed. / Jean-Michel Bruel; Alfredo Capozucca; Manuel Mazzara; Bertrand Meyer; Alexandr Naumchev; Andrey Sadovykh. Cham : Springer, 2020. p. 178-195 (Lecture Notes in Computer Science, Vol. 12271).

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

  23. Published

    Rapid prototyping of self-adaptive-systems using python functional mockup units. / Legaard, Christian Møldrup; Gomes, Cláudio; Larsen, Peter Gorm; Foldager, Frederik Forchhammer.

    In: Simulation Series, Vol. 52, No. 3, 2020, p. 242-253.

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

  24. Published

    Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. / Thule, Casper; Palmieri, Maurizio; Gomes, Cláudio; Lausdahl, Kenneth; Macedo, Hugo Daniel; Battle, Nick; Larsen, Peter Gorm.

    Software Engineering and Formal Methods. ed. / Javier Camara; Martin Steffen. Cham : Springer, 2020. p. 50-66 (Lecture Notes in Computer Science, Vol. 12226).

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

  25. Published

    Towards a Static Check of FMUs in VDM-SL. / Battle, Nick; Thule, Casper; Gomes, Claudio ; Macedo, Hugo Daniel; Larsen, Peter Gorm.

    Formal Methods: FM 2019 International Workshops. ed. / Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas. Cham : Springer, 2020. p. 272-288 (Lecture Notes in Computer Science, Vol. 12233).

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

  26. Published

    ViennaDoc : An Animatable and Testable Specification Documentation Tool. / Oda, Tomohiro; Akari, Keijiro; Yamamoto, Yasuhiro; Nakakoji, Kumiyo ; Sako, Hiroshi; Chang, Han-Myung; Larsen, Peter Gorm.

    Formal Methods: FM 2019 International Workshops. ed. / Emil Sekerinski; Nelma Moreira; Jose N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; Jose Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas. Vol. Revised Selected Papers, Part II Cham : Springer, 2020. p. 289-302 (Lecture Notes in Computer Science, Vol. 12233).

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

  27. Published

    ViennaDoc : An animatable and testable specification documentation tool. / Oda, Tomohiro; Araki, Keijiro; Yamamoto, Yasuhiro; Nakakoji, Kumiyo; Sako, Hiroshi; Chang, Han Myung; Larsen, Peter Gorm.

    Formal Methods. FM 2019 International Workshops. ed. / Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas. Cham : Springer, 2020. p. 289-302 (Lecture Notes in Computer Science, Vol. 12233).

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

  28. 2019
  29. Published

    Code generation for distributed embedded systems with VDM-RT. / Hasanagic, Miran; Fabri, Tommaso; Larsen, Peter Gorm; Bandur, Victor; Tran-Jørgensen, Peter Würtz Vinther; Ouy, Julien.

    In: Design Automation for Embedded Systems, Vol. 23, No. 3-4, 12.2019, p. 153-177.

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

  30. Published

    Security analysis of cloud-connected industrial control systems using combinatorial testing. / Tran-Jørgensen, Peter Würtz Vinther; Kulik, Tomas; Boudjadar, Jalil; Larsen, Peter Gorm.

    MEMOCODE '19: : Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. New York : Association for Computing Machinery, 2019. p. 1-11 13.

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

  31. Published

    Embedding deviation-tolerance in a harvest logistic solution. / Macedo, Hugo Daniel; Nilsson, Rene Søndergaard; Larsen, Peter Gorm.

    In: Computers, Vol. 8, No. 2, 23.04.2019.

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

  32. 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.2019, p. 45-61.

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

  33. 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, Vol. 49, No. 3, 03.2019, p. 478-497.

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

  34. 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: SIMULTECH 2017, Revised Selected Papers. ed. / Mohammad S. Obaidat; Tuncer Ören; Floriano De Rango. Springer, 2019. p. 33-54 (Advances in Intelligent Systems and Computing, Vol. 873).

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

  35. Published

    Migrating the INTO-CPS Application to the Cloud. / Bayard Rasmussen, Mikkel; Thule, Casper; Macedo, Hugo Daniel; Larsen, Peter Gorm.

    Proceedings of the 17th Overture Workshop. ed. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. p. 47-62 (Technical Report Series; No. CS-TR- 1530 - 2019).

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

  36. Submitted
  37. Published

    Towards Graphical Conguration in the INTO-CPS Application. / Møldrup Legaard, Christian; Thule, Casper; Larsen, Peter Gorm.

    Proceedings of the 17th Overture Workshop. ed. / Carl Gamble; Luis Diogo Couto. Newcastle : Newcastle University, 2019. p. 3-16 (Technical Report Series; No. CS-TR- 1530).

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

  38. Published

    Towards a Static Check of FMUs in VDM-SL. / Battle, Nick; Thule, Casper; Gomes, Claudio ; Macedo, Hugo Daniel; Larsen, Peter Gorm.

    Proceedings of the 17th Overture Workshop. ed. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. p. 17-32 (Technical Report Series; No. CS-TR- 1530 - 2019).

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

  39. Published

    ViennaDoc : An Animatable and Testable Specication Documentation Tool. / Oda, Tomohiro; Keijiro, Araki; Yamamoto, Yasuhiro; Nakakoji, Kumiyo ; Hiroshi, Sako; Chang, Han-Myung; Larsen, Peter Gorm.

    Proceedings of the 17th Overture Workshop. ed. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. p. 76-90 (Technical Report Series; No. CS-TR- 1530 - 2019).

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

  40. 2018
  41. 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 (Lecture Notes in Computer Science, Vol. 11244). (Theoretical Computer Science and General Issues, Vol. 11244).

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

  42. 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 (Lecture Notes in Computer Science, Vol. 11246). (Theoretical Computer Science and General Issues, Vol. 11246).

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

  43. 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 (Lecture Notes in Computer Science, Vol. 11246). (Theoretical Computer Science and General Issues, Vol. 11246).

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

  44. Published

    The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; König, Christian; Basagiannis, Stylianos; Brosse, Etienne ; Gomes, Claudio ; Cabral, Jose ; Macedo, Hugo Daniel; Thule, Casper; Sadovykh, Andrey ; Zamfirescu, Constantin-Bala; Neghina, Mihai; Pierce, Ken; Gamble, Carl; Payne, Richard.

    2018. 93 p.

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

  45. 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 (Technical Report Series; No. No. CS- TR - 1524). (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. 1524).

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

  46. Published

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

    ArXiv, 2018. 32 p.

    Research output: Book/anthology/dissertation/reportReportResearch

  47. Published

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

    Software Technologies: Applications and Foundations: STAF 2018. ed. / Manuel Mazzara; Iulian Ober; Gwen Salaün. Springer, 2018. p. 45-51 (Lecture Notes in Computer Science, Vol. 11176).

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

  48. Published

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

    Software Technologies: Applications and Foundations: STAF 2018. ed. / Manuel Mazzara; Iulian Ober; Gwen Salaün. Springer, 2018. p. 5-20 (Lecture Notes in Computer Science, Vol. 11176).

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

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

  50. 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 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. 1524).

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

  51. 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 (Technical Report Series; No. No. CS- TR - 1524). (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. 1524).

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

  52. Published

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

    Proceedings of the EurAgEng 2018. Wageningen, 2018.

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

  53. Published

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

    Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018. Wageningen : Wageningen University, 2018. p. 60-61.

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

  54. 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. (NII Shonan Meeting Report).

    Research output: Book/anthology/dissertation/reportReportResearch

  55. 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 (Lecture Notes in Computer Science, Vol. 10886). (Theoretical Computer Science and General Issues, Vol. 10886).

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

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

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

  58. Published

    Features of Integrated Model-Based Co-modelling and Co-simulation Technology. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, James; Gamble, Carl; Payne, Richard; Pierce, Kenneth.

    Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. ed. / Antonio Cerone; Marco Roveri. Springer Cham, 2018. p. 377-390 (Lecture Notes in Computer Science, Vol. 10729). (Programming and Software Engineering, Vol. 10729).

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

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

  60. 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 (Lecture Notes in Computer Science, Vol. 10729).

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

  61. 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 (Lecture Notes in Computer Science, Vol. 10729).

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

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

    Software Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods: SEFM2017, Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. ed. / A. Cerone; M. Roveri. Vol. 10729 Springer, 2018. p. 284-299 (Lecture Notes in Computer Science, Vol. 10729).

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

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

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

  65. 2017
  66. Published

    INTO-CPS tool chain user manual. / Bandur, Victor; Larsen, Peter Gorm; Lausdahl, Kenneth; Thule, Casper; Gamble, Carl; Payne, Richard; Pop, Adrian; Brosse, Etienne ; Brauer, Jörg; Lapschies, Florian; Groothuis, Marcel; Bokhove, Tom ; Kleijn, Christian; Couto, Luis Diogo.

    Aarhus : Aarhus Universiet, 2017. 169 p.

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

  67. 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 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1513).

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

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

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

  70. 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 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1513).

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

  71. 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 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1513).

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

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

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

  74. Published

    The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. / Lausdahl, Kenneth Guldbrandt; Thule, Casper; Larsen, Peter Gorm; Höll, J.; Klueber, A.; Pfeil, M.; Fässler, V.

    2017. Abstract from FMI User meeting, Prag, Czech Republic.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

  75. Published

    Co-simulation: State of the art : Technical Report. / Gomes, Claudio; Thule, Casper; Broman, David; Larsen, Peter Gorm; Vangheluwe, Hans .

    ArXiv, 2017. 157 p.

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

  76. Published

    Energy-aware model-driven development of a wearable healthcare device. / Isasa, José Antonio Esparza; Larsen, Peter Gorm; Hansen, Finn Overgaard.

    Software Engineering in Health Care: FHIES 2014 and SEHC 2014, Revised Selected Papers. ed. / Michaela Huhn; Laurie Williams. Vol. 9062 Springer, 2017. p. 44-63 (Lecture Notes in Computer Science, Vol. 9062).

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

  77. Published

    A holistic approach to energy-aware design of cyber-physical systems. / Esparza Isasa, Jose Antonio; Larsen, Peter Gorm; Hansen, Finn Overgaard.

    In: International Journal of Embedded Systems, Vol. 9, No. 3, 2017, p. 283-295.

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

  78. Published

    Enhancing non-technical skills by a multidisciplinary engineering summer school. / Larsen, Peter Gorm; Kristiansen, Erik Lasse; Bennedsen, Jens ; Bjerge, Kim.

    In: European Journal of Engineering Education, Vol. 42, No. 6, 2017, p. 1076-1096.

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

  79. 2016
  80. Published

    Formalising and Validating the Interface Description in the FMI standard. / Hasanagic, Miran; Tran-Jørgensen, Peter Würtz Vinther; Lausdahl, Kenneth Guldbrandt; Larsen, Peter Gorm.

    FM 2016: Formal Methods: Proceedings of the 21st International Symposium on Formal Methods. ed. / John Fitzgerald; Constance Heitmeyer; Stefania Gnesi; Anna Philippou. Vol. 9995 Springer, 2016. p. 344-351 (Lecture Notes in Computer Science, Vol. 9995).

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

  81. Published

    Automated Generation of C# and .NET Code Contracts from VDM-SL Models. / Diswal, Steffen P.; Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. p. 32-47 (Technical report ECE - TR - 28).

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

  82. Published

    Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling. / Oda, Tomohiro; Akari, Keijiro; Larsen, Peter Gorm.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 48-63 (Technical report ECE - TR - 28).

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

  83. Published

    Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture. / Couto, Luis Diogo; Lausdahl, Kenneth Guldbrandt; Plat, Nico; Larsen, Peter Gorm; Pierce, Ken.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 123-136 (Technical report ECE - TR - 28).

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

  84. Published

    INtegrated TOol chain for model-based design of CPSs : D1.2 - Case Studies 2. / Ouy, Julien; Lecomte, Thierry; Christiansen, Martin Peter; Vill Henriksen, Andres; Hallerstede, Stefan; Larsen, Peter Gorm; Jæger, Claes D. ; Basagiannis, Stylianos; Couto, Luis Diogo; El-din Mady, Alie; Ridouanne, Hassan; Moner Poy, Hector; Valverde Alcala, Juan; König, Christian; Balcu, Natalia.

    2016. 90 p.

    Research output: Book/anthology/dissertation/reportReportResearch

  85. Published

    Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. / Larsen, Peter Gorm; Thule, Casper; Lausdahl, Kenneth Guldbrandt; Bandur, Victor; Gamble, Carl; Brosse, Etienne; Sadovykh, Andrey; Bagnato, Alessandra; Couto, Luis Diogo.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus : Aarhus University, Department of Engineering, 2016. p. 63-79 (Technical report ECE - TR - 28).

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

  86. Published

    Modelling Collaborative Systems and Automated Negotiations. / Plat, Nico; Larsen, Peter Gorm; Pierce, Ken.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 108-123 (Technical report ECE - TR - 28).

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

  87. Published

    The 14th Overture Workshop: Towards Analytical Tool Chains : Electrical and Computer Engineering, Technical Report - ECE-TR-28. / Larsen, Peter Gorm; Plat, Nico; Battle, Nick.

    Aarhus University, Department of Engineering, 2016. 136 p. (Technical report; No. 28, Vol. 4).

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

  88. Published

    Towards integration of Overture into TASTE. / Fabbri, T.; Verhoef, M. ; Bandur, Victor; Perrotin, M.; Tsiodras, T.; Larsen, Peter Gorm.

    The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Vol. 4/28 Aarhus University, Department of Engineering, 2016. p. 94-108 (Technical report ECE - TR - 28).

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

  89. Published

    Using JML-based Code Generation to Enhance Test Automation for VDM Models. / Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm; Battle, Nick.

    14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28. ed. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. p. 79-93 (Technical report ECE - TR - 28).

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

  90. Published

    Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study. / Fitzgerald, John; Gamble, Carl; Payne, Richard; Larsen, Peter Gorm; Basagiannis, Stylianos; Mady, Ali El-Din.

    In: INCOSE International Symposium, Vol. 26, No. 1, 09.2016, p. 817-832.

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

  91. Published

    The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. / Larsen, Peter Gorm; Fitzgerald, John.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 85, No. 5, Part 2, 08.2016, p. 985-998.

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

  92. Published

    ViennaTalk and Assertch : Building Lightweight Formal Methods Environments on Pharo 4. / Oda, Tomohiro; Akari, Keijiro; Larsen, Peter Gorm.

    Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies (IWST 2016): In conjunction with the 24th International Smalltalk Joint Conference. Association for Computing Machinery, 2016. 5.

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

  93. Published

    Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, James; Nilsson, Rene; Gamble, Carl; Foster, Simon.

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Proceedings, Part II. ed. / Margaria Tiziana; Steffen Bernhard. Vol. II Springer, 2016. p. 171-186 (Lecture Notes in Computer Science, Vol. 9953).

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

  94. Published

    Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. / Thule, Casper; Larsen, Peter Gorm.

    Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016). ed. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Krasnovidovo, Russia : Institute for System Programming of the Russian Academy of Sciences (ISPRAS), 2016. p. 223-228.

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

  95. Published

    A secure dynamic collaboration environment in a cloud context. / Piechottaa, Chris ; Olsen, Martin Grooss; Jensen, Adam Enø; Colemann , Joey W.; Larsen, Peter Gorm.

    In: Future Generation Computer Systems - The International Journal of eScience, Vol. 55, No. February, 02.2016, p. 165–175.

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

  96. Published

    Agricultural robotic candidate overview using co-model driven development. / Christiansen, Martin Peter; Larsen, Peter Gorm; Nyholm Jørgensen, Rasmus.

    Proceedings of the 9th International Conference on Integrated Modeling and Analysis in Applied Control and Automation: IMAACA 2016. Genoa : Dime University of Genoa, 2016. p. 41-48 IMAACA_10.

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

  97. Published

    Collaborative Modeling and Simulation for Cyber-Physical Systems. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Lecomte, Thierry.

    Trustworthy Cyber-Physical Systems Engineering. ed. / Alexander Romanovsky; Fuyuki Ishikawa. Boca Raton, FL : CRC Press, 2016. p. 177-198.

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

  98. Published

    Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, James; Fritzson, Peter; Brauer, Jörg; Kleijn, Christian; Lecomte, Thierry; Pfeil, Markus; Green, Ole; Basagiannis, Stylianos; Sadovykh, Andrey .

    2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). Vienna, Austria : IEEE, 2016. p. 1-6.

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

  99. Published

    Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. / Thule, Casper; Larsen, Peter Gorm.

    In: Proceedings of the Institute for System Programming, Vol. 28, No. 2, 2016, p. 139-156.

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

  100. 2015
  101. Published

    Model checking CML : tool development and industrial applications. / Mota, A.; Farias, A.; Woodcock, James; Larsen, Peter Gorm.

    In: Formal Aspects of Computing, Vol. 5, No. 27, 07.09.2015, p. 975–1001.

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

  102. Published

    VDMPad : A Lightweight IDE for Exploratory VDM-SL Specification. / Oda, Tomohiro; Araki, Keijiro; Larsen, Peter Gorm.

    Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015. Vol. 2015 IEEE, 2015. p. 33-39 7166695.

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

  103. Published

    Interpreting Implicit VDM Specifications using ProB. / Lausdahl, Kenneth; Ishikawa, Hiroshi; Larsen, Peter Gorm.

    In: University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Vol. CS-TR-1446, 01.2015, p. 1-15.

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

  104. Published

    Code Generation of VDM++ Concurrency. / Kanakis, George; Larsen, Peter Gorm; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 60-74 (Grace Technical Reports; No. 06, Vol. 2015).

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

  105. Published

    Cyber-Physical Systems Design : Formal Foundations, Methods and Integrated Tool Chains. / Fitzgerald, John; Gamble, Carl; Larsen, Peter Gorm; Pierce, Kenneth ; Woodcock, James.

    Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE, 2015. p. 40-46.

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

  106. Published

    Generating Java RMI code for the distributed aspects of VDM-RT models. / Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 13th Overture Workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 75-89 (Grace Technical Reports; No. 06, Vol. 2015).

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

  107. Published

    Improving Time Estimates in VDM-RT Models. / Larsen, Morten; Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Proceedings of the 13th Overture workshop. Vol. Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. p. 90-103 (Grace Technical Reports; No. 06, Vol. 2015).

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

Previous 1 2 3 Next