Aarhus University Seal / Aarhus Universitets segl

Casper Thule

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

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

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

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

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

  7. 2019
  8. Published

    Tools for Co-simulation. / Thule, Casper.

    Aarhus Universitet, 2019.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

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

  10. Published

    Semantic adaptation for FMI co-simulation with hierarchical simulators. / Gomes, Claudio; Meyers, Bart; Denil, Joachim; Thule, Casper; Lausdahl, Kenneth Guldbrandt; Vangheluwe, Hans ; De Meulenaere, Paul.

    In: Simulation, Vol. 95, No. 3, 01.03.2019, p. 241-269.

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

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

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

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

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

  15. 2018
  16. 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

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

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

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

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

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

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

  23. 2017
  24. 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

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

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

  27. 2016
  28. Published

    Considering Abstraction Levels on a Case Study. / Thule, Casper; Nilsson, Rene.

    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 University, Department of Engineering, 2016. p. 16-31 (Technical report ECE - TR - 28; No. 28, Vol. 4).

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

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

  30. Published

    Verifying the Co-Simulation Orchestration Engine for INTO-CPS. / Thule, Casper.

    In: CEUR Workshop Proceedings, Vol. 1744, 125016, 11.2016.

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

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

  32. Published

    Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS : Electrical and Computer Engineering. / Thule, Casper.

    Aarhus University, Department of Engineering, 2016. 111 p. (Technical Report Electronics and Computer Engineering; No. 26, Vol. 4).

    Research output: Book/anthology/dissertation/reportReportResearch

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