Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020).
Migrating the INTO-CPS Application to the Cloud. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.),
Formal Methods: FM 2019 International Workshops (s. 254-271). Springer.
https://doi.org/10.1007/978-3-030-54997-8_17
Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021).
Towards a digital twin framework for autonomous robots. I W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (red.),
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (s. 1254-1259). IEEE.
https://doi.org/10.1109/COMPSAC51774.2021.00174
Lúcio, L., Oakes, B. J.
, Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R. & Vangheluwe, H. (2015).
SyVOLT: Full model transformation verification using contracts.
CEUR Workshop Proceedings,
1554, 24-27.
Li, B., Bhatt, M.
& Schultz, C. (2019).
λProlog(QS): Functional spatial reasoning in higher order logic programming. I S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (red.),
14th International Conference on Spatial Information Theory, COSIT 2019 Artikel 26 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.COSIT.2019.26
Li, B., Schultz, C. P. L., Melzner, J.
, Golovina, O. & Teizer, J. (2020).
Safe and Lean Location-based Construction Scheduling. I H. Osumi, H. Furuya & K. Tateyama (red.),
Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (s. 1409-1416). International Association for Automation and Robotics in Construction (IAARC).
https://doi.org/10.22260/ISARC2020/0195
Li, B., Nielsen, R. O.
, Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021).
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (s. 153-174). Springer.
https://doi.org/10.1007/978-3-030-83723-5_11
Li, B., Schultz, C. P. L., Dimyadi, J. & Amor, R. (2021).
Defeasible reasoning for automated building code compliance checking. I V. Semenov & R. J. Scherer (red.),
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction: Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia (s. 229-236). CRC Press.
https://doi.org/10.1201/9781003191476
Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022).
Towards a unifying domain model of construction safety, health and well-being: SafeConDM.
Advanced Engineering Informatics,
51, Artikel 101487.
https://doi.org/10.1016/j.aei.2021.101487
Legat, B.
, Gomes, C., Karalis, P., Jungers, R. M., Navarro-Lopez, E. M. & Vangheluwe, H. (2020).
Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the IEEE Conference on Decision and Control, 5792-5797.
https://doi.org/10.1109/CDC42340.2020.9304152
Legaard, C. M., Tola, D., Schranz, T.
, Macedo, H. D. & Larsen, P. G. (2021).
A Universal Mechanism for Implementing Functional Mock-up Units. I G. Wagner, F. Werner, T. I. Ören & F. D. Rango (red.),
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021 (s. 121-129). SCITEPRESS Digital Library.
https://doi.org/10.5220/0010577601210129
Legaard, C. M., Schranz, T., Schweiger, G., Drgona, J., Falay, B.
, Gomes, C., Iosifidis, A., Abkar, M. & Larsen, P. G. (2023).
Constructing Neural Network Based Models for Simulating Dynamical Systems.
ACM Computing Surveys,
55(11), 1-34. Artikel 236.
https://doi.org/10.1145/3567591
Lawrence, D. P. Y.
, Gomes, C., Denil, J., Vangheluwe, H. & Buchs, D. (2016).
Coupling Petri nets with deterministic formalisms using co-simulation. Afhandling præsenteret på 2016 TMS/DEVS Symposium on Theory of Modeling and Simulation, TMS/DEVS 2016, Part of the 2016 Spring Simulation Multiconference, SpringSim 2016, Pasadena, USA.
Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F.
& Larsen, P. G. (2017).
Transitioning from Crescendo to INTO-CPS. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.),
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 16-30). Newcastle University.
Lausdahl, K. G., Thule, C., Larsen, P. G., Höll, J., Klueber, A., Pfeil, M. & Fässler, V. (2017).
The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions. Abstract fra FMI User meeting, Prag, Tjekkiet.
Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J.
, Lausdahl, K. & Verhoef, M. (2010).
The Overture Initiative Integrating Tools for VDM.
Software Engineering Notes,
35(1), 1-6.
https://doi.org/10.1145/1668862.1668864
Larsen, P. G., Fernandes, J. M., Habel, J., Lehrskov, H., Vos, R. J. C., Wallington, O. & Zidek, J. (2009).
A Multidisciplinary Engineering Summer School in an Industrial Setting.
European Journal of Engineering Education,
34(6), 511-526.