Hallerstede, S., Hasanagic, M., Krings, S.
, Larsen, P. G. & Leuschel, M. (2018).
From Software Specifications to Constraint Programming. I E. Broch Johnsen & I. Schafer (red.),
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (s. 21-36). Springer.
https://doi.org/10.1007/978-3-319-92970-5_2
Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018).
A Non-unified View of Modelling, Specification and Programming. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Bind I, s. 52-68). Springer.
https://doi.org/10.1007/978-3-030-03418-4_4
Hallerstede, S., Larsen, P. G., Boudjadar, J., Schultz, C. P. L. & Esterle, L. (2020).
On the Design of a New Software Engineering Curriculum in Computer Engineering. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.),
Frontiers in Software Engineering Education: FISEE 2019 (s. 178-195). Springer.
https://doi.org/10.1007/978-3-030-57663-9_12,
https://doi.org/10.1007%2F978-3-030-57663-9
Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021).
Seismic Hybrid Testing using FMI-based Co-Simulation. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 287-295)
https://doi.org/10.3384/ecp21181287
Gonçalves Gomes, C. Â., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2021).
The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.),
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 27-36)
https://doi.org/10.3384/ecp2118127
Gomes, C., Thule, C., Broman, D.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-Simulation: A Survey.
ACM Computing Surveys,
51(3), Artikel 49.
https://doi.org/10.1145/3179993
Gomes, C., Meyers, B., Denil, J.
, Thule, C., Lausdahl, K. G., Vangheluwe, H. & De Meulenaere, P. (2019).
Semantic adaptation for FMI co-simulation with hierarchical simulators.
Simulation,
95(3), 241-269.
https://doi.org/10.1177/0037549718759775
Gomes, C.
, Thule, C., Deantoni, J.
, Larsen, P. G. & Vangheluwe, H. (2018).
Co-simulation: The Past, Future, and Open Challenges. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Bind III, s. 504-520). Springer.
https://doi.org/10.1007/978-3-030-03424-5_34
Gomes, C.
, Thule, C., Lausdahl, K. G., Larsen, P. G. & Vangheluwe, H. (2018).
Demo: Stabilization Technique in INTO-CPS. I M. Mazzara, I. Ober & G. Salaün (red.),
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (s. 45-51). Springer.
https://doi.org/10.1007/978-3-030-04771-9_4
Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H. (2019).
HintCO - Hint-Based Configuration of Co-Simulations. I
SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (s. 57-68)
http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf
Gomes, C., Legat, B., Jungers, R. M. & Vangheluwe, H. (2019).
Stable Adaptive Co-simulation: A Switched Systems Approach. I B. Schweizer (red.),
IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017 (s. 81-97). Springer.
https://doi.org/10.1007/978-3-030-14883-6_5
Gomes, C., Barroca, B. & Amaral, V. (2018).
Classification of Model Transformation Tools: Pattern Matching Techniques. I J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (red.),
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Bind 8767, s. 619-635). Springer.
https://doi.org/10.1007/978-3-319-11653-2_38
Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H.
& Larsen, P. G. (2020).
Generation of Co-simulation Algorithms Subject to Simulator Contracts. I J. Camara & M. Steffen (red.),
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (s. 34-49). Springer.
https://doi.org/10.1007/978-3-030-57506-9_4
Gomes, C., Franceschini, R., Battle, N.
, Thule, C., Lausdahl, K., Vangheluwe, H.
& Larsen, P. G. (2020).
Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. I
Proceedings of the American Modelica Conference 2020 (s. 149-158). Linköping University Electronic Press.
https://doi.org/10.3384/ecp20169149
Gibson, P.
, Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J. (2018).
Cyber-Physical Systems Engineering: An Introduction. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018 (Bind III, s. 407-411). Springer.
https://doi.org/10.1007/978-3-030-03424-5_27
Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021).
Fault Injecting Co-simulations for Safety. 6-13. Afhandling præsenteret på 5th International Conference on System Reliability and Safety, Palermo, Italien.
https://doi.org/10.1109/ICSRS53853.2021.9660728
Frasheri, M., Ejersbo, H., Thule, C., Gomes, C., Kvistgaard, J. L., Larsen, P. G. & Esterle, L. (2023).
Addressing time discrepancy between digital and physical twins.
Robotics and Autonomous Systems,
161, Artikel 104347.
https://doi.org/10.1016/j.robot.2022.104347
Frasheri, M., Lumer-Klabbers, G., Kvistgaard, J. L., Hausted, J. O., Thule, C., Esterle, L. & Larsen, P. G. (2023).
Building Safer Robots: From Simulation to Hardware Deployment.
2023 27th International Conference on Methods and Models in Automation and Robotics, MMAR 2023 - Proceedings, 63-68.
https://doi.org/10.1109/MMAR58394.2023.10242467
Foster, S. D., Miyazawa, A.
, Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J.
& Larsen, P. G. (2014).
An approach for managing semantic heterogeneity in Systems of Systems Engineering. I S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (red.),
John Fitzgerald (s. 113-118). IEEE.
https://doi.org/10.1109/SYSOSE.2014.6892473
Foldager, F. F., Larsen, P. G. & Green, O. (2018).
Development of a driverless lawn mower using co-simulation. I A. Cerone & M. Roveri (red.),
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 330-344). Springer.
https://doi.org/10.1007/978-3-319-74781-1_23
Foldager, F., Balling, O., Boel, M., Gamble, C.
, Larsen, P. G. & Green, O. (2018).
Design Space Exploration in the Development of Agricultural Robots. I
Proceedings of the EurAgEng 2018
Foldager, F., Balling, O., Boel, M., Gamble, C.
, Larsen, P. G. & Green, O. (2018).
Design Space Exploration in the Development of Agricultural Robots. I
Book of Abstracts of the European Conference on Agricultural Engineering: AgEng2018 (s. 60-61). Wageningen University.
https://doi.org/10.18174/471678
Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021).
Towards a Digital Twin - Modelling an Agricultural Vehicle. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (s. 109-123). Springer.
https://doi.org/10.1007/978-3-030-83723-5_8