Publications

Sort by: Date | Author | Title

Tola, D., Gomes, C., Schultz, C., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a domain model for industrial robot system configurators. CEUR Workshop Proceedings, 2956.

Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. In A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (Eds.), Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org. http://ceur-ws.org/Vol-2956/paper12.pdf

Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021). Seismic Hybrid Testing using FMI-based Co-Simulation. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 287-295) https://doi.org/10.3384/ecp21181287

Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H.-M. & Larsen, P. G. (2021). Specifying Abstract User Interface in VDM-SL. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 5-20) https://arxiv.org/pdf/2101.07261.pdf

Sandberg, M., Yuksel, O., Baran, I., Spangenberg, J. & Hattel, J. H. (2021). Steady-state modelling and analysis of process-induced stress and deformation in thermoset pultrusion processes. Composites Part B: Engineering, 216, Article 108812. https://doi.org/10.1016/j.compositesb.2021.108812

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073

Inci, E. O., Croes, J., Desmet, W., Gomes, C., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). The Effect and Selection of Solution Sequence in Co-Simulation. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 1-12). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552130

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. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 27-36) https://doi.org/10.3384/ecp2118127

Junghanns, A., Blochwitz, T., Bertsch, C., Sommer, T., Wernersson, K., Pillekeit, A., Zacharias, I., Blesken, M., Mai, P. R., Schuch, K., Schulze, C., Gonçalves Gomes, C. Â. & Najafi, M. (2021). The Functional Mock-up Interface 3.0 - New Features Enabling New Applications. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 17-26) https://doi.org/10.3384/ecp2118117

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M. & Larsen, P. G. (2021). The Incubator Case Study for Digital Twin Engineering. ArXiv. https://arxiv.org/pdf/2102.10390.pdf

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. In J. Proença & A. Paskevich (Eds.), Proceedings of the 6th Workshop on Formal Integrated Development Environment (Vol. 338, pp. 3-18). Open Publishing Association. https://doi.org/10.4204/EPTCS.338.3

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. In W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (Eds.), 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 1254-1259). IEEE. https://doi.org/10.1109/COMPSAC51774.2021.00174

Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021). Towards a Digital Twin - Modelling an Agricultural Vehicle. In T. Margaria & B. Steffen (Eds.), 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 (pp. 109-123). Springer. https://doi.org/10.1007/978-3-030-83723-5_8

Paredis, R., Gonçalves Gomes, C. Â. & Vangheluwe, H. (2021). Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures: In H. Panetto, M. Macchi & K. Madani (Eds.), Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (pp. 174-182). SCITEPRESS Digital Library. https://doi.org/10.5220/0010717600003062

Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021). Towards a Holistic, Self-Organised Safety Framework for Construction. In Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (pp. 238-243). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00060

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. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 153-174). Springer. https://doi.org/10.1007/978-3-030-83723-5_11

Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C., Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021). Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 50-65) https://arxiv.org/pdf/2101.07261.pdf

Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021). Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 72-87). Springer. https://doi.org/10.1007/978-3-030-83723-5_6

Kamari, A., Kirkegaard, P. H. & Schultz, C. P. L. (2021). Value Diversity as a Driver for Renovation Design Support: A Clustering-Based Approach to Accelerate the Exploration of Design Space. In E. Toledo Santos & S. Scheer (Eds.), Proceedings of the 18th International Conference on Computing in Civil and Building Engineering: ICCCBE 2020 (pp. 207-227). Springer. https://doi.org/10.1007/978-3-030-51295-8_17

Battle, N., Macedo, H. D. & Larsen, P. G. (2021). VDM Combinatorial Testing Guidelines.

Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems (pp. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.), Proceedings of the 18th International Overture Workshop (pp. 35-50) https://arxiv.org/pdf/2101.07261.pdf

Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli, S. & Jr, G. S. (2020). A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. In F. De Rango, T. Ören & M. Obaidat (Eds.), Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 263-270). SCITEPRESS Digital Library. https://doi.org/10.5220/0009892802630270

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. In Proceedings of the American Modelica Conference 2020 (pp. 149-158). Linköping University Electronic Press. https://doi.org/10.3384/ecp20169149

Palmieri, M. & Macedo, H. D. (2020). Automatic Generation of Functional Mock-Up Units from Formal Specifications. In J. Camara & M. Steffen (Eds.), Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Revised Selected Papers (pp. 27-33). Springer. https://doi.org/10.1007/978-3-030-57506-9_3

Gonçalves Gomes, C. Â., Denil, J. & Vangheluwe, H. (2020). Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems. In Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems (pp. 97-125). Springer. https://doi.org/10.1007/978-3-030-43946-0_4

Larsen, P. G., Macedo, H. D., Gonçalves Gomes, C. Â., Esterle, L., Thule, C., Fitzgerald, J. & Pierce, K. (2020). Collaborative Modelling and Co-simulation in Engineering and Computing Curricula. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (pp. 196-213). Springer. https://doi.org/10.1007/978-3-030-57663-9_13

Larsen, P. G. (2020). Denmark’s first Centre for Digital Twins. In J. Bruun (Ed.), Profile 2020 (pp. 34-35). Aarhus University, Department of Engineering. http://www.e-pages.dk/aarhusuniversitet/2231/html5/

Fitzgerald, J., Ishikawa, F. & Larsen, P. G. (2020). Editorial to the theme section on model-based engineering of smart systems. Software and Systems Modeling, 19(3), 579-580. https://doi.org/10.1007/s10270-019-00758-5

Larsen, P. G., Soulioti, G., Macedo, H. D., Alifragkis, V., Fitzgerald, J., Livanos, N., Pfeifer, H., Pasquinelli, M., Benedict, M., Thule, C., Tonetta, S., Stritzelberger, B., Marguglio, A., Sutton, L. F., Obstbaum, M., Gusmeroli, S., Beutenmüller, F., Jr., G. S., Wijnands, Q. & Talasila, P. (2020). Enabling Combining Models and Tools in an Online MBSE Collaboration Platform. In Model Based Space Systems and Software Engineering (MBSE2020) https://indico.esa.int/event/329/attachments/3868/5508/Abstracts_combined.pdf

Couto, L. D., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2020). Enabling continuous integration in a formal methods setting. International Journal on Software Tools for Technology Transfer, 22(6), 667-683. https://doi.org/10.1007/s10009-019-00546-y

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. In Proceedings of the 2020 Summer Simulation Conference (pp. 1-12). Article 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schneider, S., Tran-Jørgensen, P. W. V. & Woodcock, J. (2020). Formal Methods in Security Survey. Manuscript submitted for publication.

Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H. & Larsen, P. G. (2020). Generation of Co-simulation Algorithms Subject to Simulator Contracts. In J. Camara & M. Steffen (Eds.), Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (pp. 34-49). Springer. https://doi.org/10.1007/978-3-030-57506-9_4

Chipofya, M., Karamesouti, M., Schultz, C. & Schwering, A. (2020). Local Domain Models for Land Tenure Documentation and their Interpretation into the LADM. Land Use Policy, 99, Article 105005. https://doi.org/10.1016/j.landusepol.2020.105005

Schibsbye, K., Sandberg, M. & Madsen, K. L. (2020). Method and system for manufacturing a shear web for a wind turbine. (Patent No. US 2020/0023557).

Macedo, H. D., Bayard Rasmussen, M., Thule, C. & Larsen, P. G. (2020). Migrating the INTO-CPS Application to the Cloud. In 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 (Eds.), Formal Methods: FM 2019 International Workshops (pp. 254-271). Springer. https://doi.org/10.1007/978-3-030-54997-8_17

Li, B., Fitzgerald, J. & Schultz, C. P. L. (2020). Modelling Co-presence in the Built Environment - a Spatio-temporal Approach to Human Perception and Movement. In L. C. Ungureanu & T. Hartmann (Eds.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (pp. 215-225). Universitätsverlag der TU Berlin. https://doi.org/10.14279/depositonce-9977

Neghina, M., Zamfirescu, C.-B., Larsen, P. G. & Pierce, K. (2020). Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system. In B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (Eds.), Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (pp. 169-193). Academic Press. https://www.elsevier.com/books/multi-paradigm-modelling-approaches-for-cyber-physical-systems/tekinerdogan/978-0-12-819105-7

Larsen, P. G. (2020). New platform to help SMEs get started with cyber-physical systems. In J. Bruun (Ed.), Profile 2020 (pp. 30-33). Aarhus University, Department of Engineering. http://www.e-pages.dk/aarhusuniversitet/2231/html5/

Johansen, K. W., Nielsen, R. O., Schultz, C. P. L. & Teizer, J. (2020). Non-monotonic Reasoning For Automated Progress Analysis Of Construction Operations. In N. Dawood , F. Pour Rahimian, S. Seyedzadeh & M. Sheikhkhoshkar (Eds.), Enabling the Development and Implementation of Digital Twins: Proceedings of the 20th International Conference on Construction Applications of Virtual Reality (pp. 292-303) https://www.researchgate.net/profile/Farzad-Pour-Rahimian/publication/344444905_Enabling_the_Development_and_Implementation_of_Digital_Twins_Proceedings_of_the_20th_International_Conference_on_Construction_Applications_of_Virtual_Reality/links/5fb3ec4445851518fdad5eab/Enabling-the-Development-and-Implementation-of-Digital-Twins-Proceedings-of-the-20th-International-Conference-on-Construction-Applications-of-Virtual-Reality.pdf

Li, B., Teizer, J. & Schultz, C. P. L. (2020). Non-Monotonic Spatial Reasoning for Safety Analysis in Construction. In Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020: 22nd International Symposium on Principles and Practice of Declarative Programming (pp. 1-12). Article 16 Association for Computing Machinery. https://doi.org/10.1145/3414080.3414096

Salling, F. B., Sandberg, M., Spangenberg, J. & Hattel, J. H. (2020). Numerical and experimental analyses in composites processing: impregnation, heat transfer, resin cure and residual stresses. IOP Conference Series-Materials Science and Engineering, 942(1), Article 012003. https://doi.org/10.1088/1757-899X/942/1/012003

Sandberg, M., Yuksel, O., Comminal, R. B., Sonne, M. R., Jabbari, M., Bo Salling, F., Baran, I., Spangenberg, J. & Hattel, J. H. (2020). Numerical modeling of the mechanics of pultrusion. In Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (pp. 173-195). Elsevier. https://doi.org/10.1016/B978-0-12-818232-1.00006-0

Sandberg, M. (2020). Numerical Modelling of Material Flow in the Resin-injection Pultrusion Process. Technical University of Denmark.

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. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education: FISEE 2019 (pp. 178-195). Springer. https://doi.org/10.1007/978-3-030-57663-9_12, https://doi.org/10.1007%2F978-3-030-57663-9

Sandberg, M., Kabachi, A., Volk, M., Bo Salling, F., Ermanni, P., Hattel, J. H. & Spangenberg, J. (2020). Permeability and compaction behaviour of air-texturised glass fibre rovings: A characterisation study. Journal of Composite Materials, 54(27), 4241-4252. https://doi.org/10.1177/0021998320926703

Li, B., Dimyadi, J., Amor, R. & Schultz, C. P. L. (2020). Qualitative and Traceable Calculations for Building Codes. In Proceedings of the 37th CIB W78 Information Technology for Construction Conference (CIB W78) (pp. 69-84) https://doi.org/10.46421/2706-6568.37.2020.paper006

Legaard, C. M., Gomes, C., Larsen, P. G. & Foldager, F. F. (2020). Rapid prototyping of self-adaptive-systems using python functional mockup units. Simulation Series, 52(3), 242-253.

Li, B., Schultz, C. P. L., Melzner, J., Golovina, O. & Teizer, J. (2020). Safe and Lean Location-based Construction Scheduling. In H. Osumi, H. Furuya & K. Tateyama (Eds.), 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 - (pp. 1409-1416). International Association for Automation and Robotics in Construction (IAARC). https://doi.org/10.22260/ISARC2020/0195

Displaying results 151 to 200 out of 510

Revised 10.08.2023

Peter Gorm Larsen