Aarhus University Seal / Aarhus Universitets segl

Peter Gorm Larsen

  1. 2019
  2. Udgivet

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

    I: International Journal on Software Tools for Technology Transfer, 26.10.2019, s. 1-17.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  3. Udgivet

    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. red. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. s. 47-62 (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  4. Udgivet

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

    17th Overture Workshop. red. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. s. 3-17 (Technical Report Series; Nr. CS-TR- 1530).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  5. Udgivet

    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. red. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. s. 17-32 (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  6. Udgivet

    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. red. / Carl Gamble; Luis Diogo Couto. Newcastle University, 2019. s. 76-90 (Technical Report Series; Nr. CS-TR- 1530 - 2019).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  7. Udgivet

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

    I: Computers, Bind 8, Nr. 2, 23.04.2019.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  8. Udgivet

    Maestro : The INTO-CPS co-simulation framework. / Thule, Casper; Lausdahl, Kenneth Guldbrandt; Gomes, Claudio ; Meisl, Gerd; Larsen, Peter Gorm.

    I: Simulation Modelling Practice and Theory, Bind 92, 04.2019, s. 45-61.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  9. Udgivet

    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. red. / Mohammad S. Obaidat; Tuncer Ören; Floriano De Rango. Springer, 2019. s. 33-54 (Advances in Intelligent Systems and Computing, Bind 873).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  10. E-pub ahead of print

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

    I: Software and Systems Modeling, Bind 18, 2019, s. 1-2.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  11. E-pub ahead of print

    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.

    I: Software: Practice & Experience, 2019, s. 1-20.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  12. Afsendt
  13. 2018
  14. Udgivet

    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. red. / Tiziana Margaria; Bernhard Steffen. Bind I Springer, 2018. s. 52-68 (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  15. Udgivet

    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. red. / Tiziana Margaria; Bernhard Steffen. Bind III Springer, 2018. s. 504-520 (Lecture Notes in Computer Science, Bind 11246). (Theoretical Computer Science and General Issues, Bind 11246).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  16. Udgivet

    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. red. / Tiziana Margaria; Bernhard Steffen. Bind III Springer, 2018. s. 407-411 (Lecture Notes in Computer Science, Bind 11246). (Theoretical Computer Science and General Issues, Bind 11246).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  17. Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

  18. Udgivet

    ViennaVM: a Virtual Machine for VDM-SL development. / Oda, Tomohiro; Keijiro, Araki; Larsen, Peter Gorm.

    The 16th Overture Workshop. red. / Ken Pierce; Marcel Verheof. Bind CS-TR-1524 Newcastle : Newcastle University, 2018. s. 39-57 (Technical Report Series; Nr. No. CS- TR - 1524). (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  19. Udgivet

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

    ArXiv, 2018. 32 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  20. Udgivet

    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. red. / Manuel Mazzara; Iulian Ober; Gwen Salaün. Springer, 2018. s. 45-51 (Lecture Notes in Computer Science, Bind 11176).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  21. Udgivet

    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. red. / Manuel Mazzara; Iulian Ober; Gwen Salaün. Springer, 2018. s. 5-20 (Lecture Notes in Computer Science, Bind 11176).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  22. Udgivet

    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. red. / Lipika Deka; Mashrur Chowdhury. Elsevier, 2018. s. 51-79.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  23. Udgivet

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

    The 16th Overture Workshop. red. / Ken Pierce; Marcel Verheof. Bind CS-TR-1524 Newcastle : Newcastle University, 2018. s. 23-39 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  24. Udgivet

    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. red. / Ken Pierce; Marcel Verheof. Bind CS-TR-1524 Newcastle : Newcastle University, 2018. s. 107-123 (Technical Report Series; Nr. No. CS- TR - 1524). (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  25. Accepteret/In press

    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.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  26. Udgivet

    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. s. 60-61.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferenceabstrakt i proceedingsForskningpeer review

  27. Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  28. Udgivet

    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. red. / Einar Broch Johnsen; Ina Schafer. Springer, 2018. s. 21-36 (Lecture Notes in Computer Science, Bind 10886). (Theoretical Computer Science and General Issues, Bind 10886).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  29. Udgivet

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

    I: ACM Computing Surveys, Bind 51, Nr. 3, 49, 05.2018.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  30. Udgivet

    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.

    I: Studies in Informatics and Control, Bind 27, Nr. 1, 03.2018, s. 33-42.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  31. Udgivet

    Automated translation of VDM to JML-annotated Java. / Tran-Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm; T. Leavens, Gary.

    I: International Journal on Software Tools for Technology Transfer, Bind 20, Nr. 2, 2018, s. 211-235.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  32. Udgivet

    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. red. / Antonio Cerone; Marco Roveri. Bind 10729 Springer, 2018. s. 330-344 (Lecture Notes in Computer Science, Bind 10729).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  33. Udgivet

    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. red. / Antonio Cerone; Marco Roveri. Bind 10729 Springer, 2018. s. 377-390 (Lecture Notes in Computer Science, Bind 10729).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  34. Udgivet

    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. red. / A. Cerone; M. Roveri. Bind 10729 Springer, 2018. s. 284-299 (Lecture Notes in Computer Science, Bind 10729).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  35. Udgivet

    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. red. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Rossijskaja akademija nauk / Russian Academy of Sciences, 2018. s. 20-25.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  36. Udgivet

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

    I: Proceedings of the Institute for System Programming, Bind 30, Nr. 4, 2018, s. 79-94.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  37. 2017
  38. Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

  39. Udgivet

    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. red. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. s. 116-129 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind CS-TR-1513).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  40. Udgivet

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

    2017. Paper præsenteret ved 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien.

    Publikation: KonferencebidragPaperForskningpeer review

  41. Udgivet

    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 præsenteret ved 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italien.

    Publikation: KonferencebidragPaperForskningpeer review

  42. Udgivet

    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. red. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. s. 130-144 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind CS-TR-1513).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  43. Udgivet

    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. red. / J.S. Fitzgerald; P.W.V. Tran-Jørgensen; T. Oda. Newcastle University, 2017. s. 16-30 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind CS-TR-1513).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  44. Udgivet

    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. Bind 1 SCITEPRESS Digital Library, 2017. s. 73-82.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  45. Udgivet

    A Formal Modeling Tool for Exploratory Modeling in Software Development. / Oda, Tomohiro; Araki, Keijiro; Larsen, Peter Gorm.

    I: IEICE Transactions on Information and Systems, Bind E100.D, Nr. 6, 01.06.2017, s. 1210-1217.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  46. Udgivet

    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 fra FMI User meeting, Prag, Tjekkiet.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

  47. Udgivet

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

    ArXiv, 2017. 157 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

  48. Udgivet

    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. red. / Michaela Huhn; Laurie Williams. Bind 9062 Springer, 2017. s. 44-63 (Lecture Notes in Computer Science, Bind 9062).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  49. Udgivet

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

    I: International Journal of Embedded Systems, Bind 9, Nr. 3, 2017, s. 283-295.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  50. Udgivet

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

    I: European Journal of Engineering Education, Bind 42, Nr. 6, 2017, s. 1076-1096.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  51. 2016
  52. Udgivet

    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. red. / John Fitzgerald; Constance Heitmeyer; Stefania Gnesi; Anna Philippou. Bind 9995 Springer, 2016. s. 344-351 (Lecture Notes in Computer Science, Bind 9995).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  53. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. s. 32-47 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  54. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Bind 4/28 Aarhus University, Department of Engineering, 2016. s. 48-63 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  55. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Bind 4/28 Aarhus University, Department of Engineering, 2016. s. 123-136 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  56. Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  57. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Bind 4/28 Aarhus : Aarhus University, Department of Engineering, 2016. s. 63-79 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  58. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Bind 4/28 Aarhus University, Department of Engineering, 2016. s. 108-123 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  59. Udgivet

    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 s. (Technical report; Nr. 28, Bind 4).

    Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

  60. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Bind 4/28 Aarhus University, Department of Engineering, 2016. s. 94-108 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  61. Udgivet

    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. red. / Peter Gorm Larsen; Nico Plat; Nick Battle. Aarhus : Aarhus University, Department of Engineering, 2016. s. 79-93 (Technical report ECE - TR - 28).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  62. Udgivet

    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.

    I: INCOSE International Symposium, Bind 26, Nr. 1, 09.2016, s. 817-832.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  63. Udgivet

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

    I: Journal of Logical and Algebraic Methods in Programming, Bind 85, Nr. 5, Part 2, 08.2016, s. 985-998.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  64. Udgivet

    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.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  65. Udgivet

    Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; 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. red. / Margaria Tiziana; Steffen Bernhard. Bind II Springer, 2016. s. 171-186 (Lecture Notes in Computer Science, Bind 9953).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  66. Udgivet

    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). red. / Alexander S. Kamkin; Alexander K. Petrenko; Andrey N. Terekhov. Krasnovidovo, Russia : Institute for System Programming of the Russian Academy of Sciences (ISPRAS), 2016. s. 223-228.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  67. Udgivet

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

    I: Future Generation Computer Systems - The International Journal of eScience, Bind 55, Nr. February, 02.2016, s. 165–175.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  68. Udgivet

    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. s. 41-48 IMAACA_10.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  69. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  70. Udgivet

    Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. / Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; 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. s. 1-6.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  71. Udgivet

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

    I: Proceedings of the Institute for System Programming, Bind 28, Nr. 2, 2016, s. 139-156.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  72. 2015
  73. Udgivet

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

    I: Formal Aspects of Computing, 07.09.2015, s. 1-27.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  74. Udgivet

    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. Bind 2015 IEEE, 2015. s. 33-39 7166695.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  75. Udgivet

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

    I: University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind CS-TR-1446, 01.2015, s. 1-15.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  76. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  77. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  78. Udgivet

    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. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 75-89 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  79. Udgivet

    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. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 90-103 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  80. Udgivet

    Integrating the PVSio-web modelling and prototyping environment with Overture. / Masci, Paolo; Monteiro Duarte Couto, Luis Diogo; Larsen, Peter Gorm; Curzon, Paul.

    Proceedings of the 13th Overture Workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 33-47 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  81. Udgivet

    JODTool on the Overture Tool to manage formal requirement dictionaries. / Omori , Yoichi ; Araki, Keijiro; Larsen, Peter Gorm.

    Proceedings of the 13th Overture Workshop. Bind 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 3-17 (Grace Technical Reports; Nr. 6, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  82. Udgivet

    Pacemaker Parameter Tuning using Crescendo. / Gamble, Carl; Mansfield, Martin; Fitzgerald, John ; Larsen, Peter Gorm.

    Proceedings of the13th Overture Workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 116-131 (Grace Technical Reports; Nr. 6, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  83. Udgivet

    Robotic Design Choice Overview using Co-simulation and Design Space Exploration. / Christiansen, Martin Peter; Larsen, Peter Gorm; Nyholm Jørgensen, Rasmus.

    I: Robotics, Bind 4, 2015, s. 398-421.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  84. Udgivet

    Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions. / Nielsen, Claus Ballegård; Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Peleska, Jan.

    I: A C M Computing Surveys, Bind 48, Nr. 2, 2015.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  85. Udgivet

    Towards Enabling Overture as a Platform for Formal Notation IDEs. / Monteiro Duarte Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, George; Lausdahl, Kenneth Guldbrandt; Tran-Jørgensen, Peter Würtz Vinther.

    Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015. Bind 187 2015. s. 14-27 (Electronic Proceedings in Theoretical Computer Science, Bind 187.2).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  86. Udgivet

    VDM Animation for a Wider Range of Stakeholders. / Oda, Tomohiro; Yamamoto, Yasuhiro; Nakakoji, Kumiyo ; Araki, Keijiro; Larsen, Peter Gorm.

    Proceedings of the 13th Overture Workshop. Bind Grace-TR 2015-06 Tokyo : National Institute of Informatics, Tokyo, 2015. s. 18-32 (Grace Technical Reports; Nr. 06, Bind 2015).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  87. 2014
  88. Udgivet

    Robotic design choice overview using co-simulation. / Christiansen, Martin Peter; Larsen, Peter Gorm; Nyholm Jørgensen, Rasmus.

    2014. Abstract fra Agromek and NJF joint seminar, Herning, Danmark.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  89. Udgivet

    Co-simulation af cyber-physical systemer fra flyvevåbnet. / Wolff, Sune; Larsen, Peter Gorm.

    I: ITOS - Industriel Teknologi og Software, 10.2014, s. 14-15.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelFormidling

  90. Udgivet

    Collaborative Development of Dependable Cyber-Physical Systems by Co-modeling and Co-simulation. / Fitzgerald, John ; Pierce, Ken; Larsen, Peter Gorm.

    Handbook of Research on Embedded Systems Design. red. / Alessandra Bagnato ; Leandro Soares Indrusia; Imran Rafiq Quadri ; Matteo G Ross. IGI global, 2014. s. 1-28.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  91. Udgivet

    Linking Design Disciplines in Cyber-Physical System Development: The DESTECS/Crescendo Technology. / Fitzgerald, John ; Larsen, Peter Gorm; Verhoef, Marcel .

    I: ERCIM News, Bind 97, Nr. April, 04.2014, s. 23-24.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  92. Udgivet

    Collaborative systems of systems need collaborative design. / Fitzgerald, John; Bryans, Jeremy; Larsen, Peter Gorm; Salim, Hansen.

    Collaborative systems for smart networked environements: 15th IFIP WG 5.5 working conference on virtual enterprises, PRO-VE 2014, Proceedings. red. / Luis M. Camarinha-Matos; Hamideh Afsarmanesh. Bind 434 Springer, 2014. s. 16-23 (I F I P Advances in Information and Communication Technology).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  93. Udgivet

    Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. / Esparza Isasa, Jose Antonio; Jørgensen, Peter Würtz Vinther; Larsen, Peter Gorm.

    Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development. SCITEPRESS Digital Library, 2014. s. 209-216.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  94. Udgivet

    A VDM model of the Termination Detection Protocol. / Bendisposto , Jens; Börger , Egon; Hayes , Ian; Larsen, Peter Gorm; Prinz, Andreas.

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). red. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Bind Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  95. Udgivet

    Co-model Structuring and Design Patterns. / Pierce, Kenneth; Larsen, Peter Gorm; Fitzgerald, John.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. red. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. s. 115-137.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  96. Udgivet

    Collaborative Formal Modeling of System of Systems. / Nielsen, Claus Ballegård; Larsen, Peter Gorm.

    Proceedings of the 8th Annual IEEE International Systems Conference : SysCon 2014. IEEE Computer Society Press, 2014. s. 154-161.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  97. Udgivet

    Comparison of Methods. / Larsen, Peter Gorm; Prinz, Andreas; Snook, Colin F ; Shahir , Hamed Yaghoubi .

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). red. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Bind Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  98. Udgivet

    Contracts in CML. / Woodcock, J; Cavalcanti, A; Fitzgerald, J; Foster, S; Larsen, Peter Gorm.

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. red. / T Margaria; B Steffen. Springer, 2014. s. 54-73 (Lecture Notes in Computer Science, Bind 8803).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  99. Udgivet

    Deploying Co-modelling in Commercial Practice. / Wolff, Sune; Larsen, Peter Gorm; Verhoef, Marcel.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. red. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. s. 263-270.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  100. Udgivet

    Discrete-Event Modelling in VDM. / Larsen, Peter Gorm; Fitzgerald, John; Verhoef, Marcel; Pierce, Kenneth.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. red. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. s. 61-95.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  101. Udgivet

    Distributed Simulation of Formal Models in System of Systems Engineering. / Nielsen, Claus Ballegård; Lausdahl, Kenneth; Larsen, Peter Gorm.

    I: I E E E International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Proceedings, 2014, s. 211-216.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  102. Udgivet

    Energy-Aware Design of Embedded Software through Modelling and Simulation. / Esparza Isasa, Jose Antonio; Larsen, Peter Gorm; Hansen, Finn Overgaard.

    Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering: SYRCoSE 2014. red. / Alexander Kamkin; Alexander Petrenko ; Andrey Terekhov. Institute for System Programming, Russian Academy of Sciences (ISPRAS), 2014. s. 51-56.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  103. Udgivet

    From Embedded to Cyper-Physical Systems: Challenges and Future Directions. / Fitzgerald, John; Larsen, Peter Gorm; Verhoef, Marcel.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. red. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. s. 293-302.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  104. Udgivet

    Industrial Application of Co-modelling and Co-simulation Technology. / Verhoef, Marcel; Larsen, Peter Gorm.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. red. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. s. 223-258.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

  105. Udgivet

    Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. / Hallerstede, Stefan; Kristensen, Klaus ; Larsen, Peter Gorm.

    Proceedings of the 5th Rodin User and Developer Workshop, 2014. red. / Michael Butler; Stefan Hallerstede. 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferenceabstrakt i proceedingsForskning

  106. Udgivet

    Semantics of Co-simulation. / Coleman, Joey; Lausdahl, Kenneth; Larsen, Peter Gorm.

    Collaborative Design for Embedded Systems : Co-modelling and Co-simulation. red. / John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef. Springer, 2014. s. 273-291.

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskningpeer review

Forrige 1 2 3 Næste