Publications

Sort by: Date | Author | Title

Abbiati, G., Baş, E. E., Gomes, C. & Larsen, P. G. (2023). Hybrid fire testing using FMI-based co-simulation. Fire Safety Journal, 139, Article 103832. https://doi.org/10.1016/j.firesaf.2023.103832

Oda, T., Dur, G., Ducasse, S. & Macedo, H. D. (2023). Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.

Kakavandi, F., Han, P., de Reus, R., Larsen, P. G. & Zhang, H. (2023). Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. In 2023 International Conference on Control, Automation and Diagnosis (ICCAD 2023) IEEE. https://doi.org/10.1109/ICCAD57653.2023.10152435

Šeta, B., Sandberg, M., Brander, M., Tusher Mollah, M., Pokkalla, D., Kumar, V. & Spangenberg, J. (Accepted/In press). Modeling fiber orientation and strand shape morphology in three-dimensional material extrusion additive manufacturing. Composites Part B: Engineering, 266, Article 110957. https://doi.org/10.1016/j.compositesb.2023.110957

Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E. & Larsen, P. G. (2023). Movable factory—A systematic literature review of concepts, requirements, applications, and gaps. Journal of Manufacturing Systems, 69, 189-207. https://doi.org/10.1016/j.jmsy.2023.06.008

Macedo, H. D. & Pierce, K. (2023). Proceedings of the 21st International Overture Workshop. http://arxiv.org/pdf/2311.07120v2

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D. (2023). Supporting Design for Circular Economy Using Lifecycle Co-Simulation. In ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Article DETC2023-116537, V005T05A006; American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2023-116537

Hansen, S. T., Gomes, C. & Kazemi, Z. (2023). Synthesizing Orchestration Algorithms for FMI 3.0. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 184-195). IEEE. https://ieeexplore.ieee.org/document/10155361

Schultz, C. P. L., Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G. & Kamari, A. (2023). Towards a human-centred framework for representing and reasoning about social values in buildings. 1-10. Paper presented at 30th EG-ICE: International Conference on Intelligent Computing in Engineering. https://www.ucl.ac.uk/bartlett/construction/sites/bartlett_construction/files/towards_a_human-centred_framework_for_representing_and_reasoning_about_social_values_in_buildings.pdf

Kakavandi, F., Gomes, C., de Reus, R., Badstue, J., Jensen, J. L., Larsen, P. G. & Iosifidis, A. (2023). Towards Developing a Digital Twin for a Manufacturing Pilot Line: An Industrial Case Study. In E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (Eds.), Digital Twin Driven Intelligent Systems and Emerging Metaverse (pp. 39-64). Springer. https://doi.org/10.1007/978-981-99-0252-1_2

Tøttrup, M. F., Hu, E. C., Kramer, B. A., Macedo, H. D. & Esterle, L. (2023). Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. In P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (Eds.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (pp. 200-209). Springer. https://doi.org/10.1007/978-3-031-26236-4_18

Kamari, A., Kotula, B. M. & Schultz, C. P. L. (2022). A BIM-based LCA tool for sustainable building design during the early design stage. Smart and Sustainable Built Environment, 11(2), 217-244. https://doi.org/10.1108/SASBE-09-2021-0157

Kamari, A. & Schultz, C. P. L. (2022). A combined principal component analysis and clustering approach for exploring enormous renovation design spaces. Journal of Building Engineering , 48, Article 103971. https://doi.org/10.1016/j.jobe.2021.103971

Rask, J. K., Madsen, F. P., Battle, N., Freitas, L., Macedo, H. D. & Larsen, P. G. (2022). Advanced VDM Support in Visual Studio Code. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 34-49) https://doi.org/10.48550/arXiv.2208.10233

Sandberg, M., Hattel, J. H. & Spangenberg, J. (Accepted/In press). A streamline-integration technique for simulating build-up of process-induced stresses and shape distortions in thermoset pultrusion processes. Composites Meet Sustainability – Proceedings of the 20th European Conference on Composite Materials, ECCM20. 26-30 June, 2022, Lausanne, Switzerland.

Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schnieder, S., Tran-Jørgensen, P. W. V. & Woodcock, J. (2022). A Survey of Practical Formal Methods for Security. Formal Aspects of Computing, 34(1), Article 3522582. https://doi.org/10.1145/3522582

Madsen, E., Tola, D., Hansen, C., Gomes, C. & Larsen, P. G. (2022). AURT: A Tool for Dynamics Calibration of Robot Manipulators. In 2022 IEEE/SICE International Symposium on System Integration, SII 2022 (pp. 190-195). IEEE. https://doi.org/10.1109/SII52469.2022.9708769

Johansen, K. W., Schultz, C. P. L. & Teizer, J. (2022). BIM-based fall hazard ontology and benchmark model for comparison of automated prevention through design approaches in construction safety. In J. Teizer & C. P. Leslie Schultz (Eds.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (pp. 408-417) https://ebooks.au.dk/aul/catalog/view/455/311/1837-3

Villadsen, K., Dalgaard Jensen, M., Larsen, P. G. & Macedo, H. D. (2022). Bridging the Requirements-Specification Gap using Behaviour-Driven Development. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 19-33) https://doi.org/10.48550/arXiv.2208.10233

Talasila, P., Crăciunean, C., Bogdan-Constantin, P., Larsen, P. G., Zamfirescu, C.-B. & Scovill, A. (2022). Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri & G. Venture (Eds.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 238–244). Springer, Cham. https://doi.org/10.1007/978-3-031-12429-7_17

Volk, M., Yuksel, O., Baran, I., Hattel, J. H., Spangenberg, J. & Sandberg, M. (2022). Cost-efficient, automated, and sustainable composite profile manufacture: A review of the state of the art, innovations, and future of pultrusion technologies. Composites Part B: Engineering, 246, Article 110135. https://doi.org/10.1016/j.compositesb.2022.110135

Macedo, H. D., Højberg, J., Jensen, J. & Thomsen, U. (2022). Data-Driven Extraneous Water Quantification. Abstract from 12th Urban Drainage Modeling Conference. https://udm2022.org/2021/11/09/data-driven-extraneous-water-quantification/

Kamari, A., Schultz, C. P. L. & Petersen, S. (Eds.) (2022). Digital Sustainability in Building Design: Special issue. Sustainability https://www.mdpi.com/journal/sustainability/special_issues/digital_building

Esterle, L., Ejersbo, H., Frasheri, M., Gomes, C., Macedo, H. D. & Larsen, P. G. (2022). Digital Twins for Autonomous Intelligent Systems: From Development to Deployment. In Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (pp. 53-54). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00028

Wright, T., Gomes, C. & Woodcock, J. (2022). Formally Verified Self-adaptation of an Incubator Digital Twin. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 89-109). Springer. https://doi.org/10.1007/978-3-031-19762-8_7

Ubys, L., Vancea, V. N., Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022). Formal Model In-The-Loop for Secure Industrial Control Networks. In Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer. https://doi.org/10.1007/978-3-031-20872-0_5

Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H., Benedikt, M., Tonetta, S., Marguglio, A., Veneziano, G., Sutton, L., Gusmeroli, S. & Suciu, G. (2022). HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. In M. S. Obaidat, T. Oren & F. D. Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (pp. 90-110). Springer. https://doi.org/10.1007/978-3-030-84811-8_5

Zambrano, V., Mueller-Roemer, J., Sandberg, M., Talasila, P., Zanin, D., Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022). Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms. Array, 14, Article 100176. https://doi.org/10.1016/j.array.2022.100176

Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M. (2022). Integration Of The Mape-K Loop In Digital Twins. In C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (Eds.), Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (pp. 102-113). IEEE. https://doi.org/10.23919/ANNSIM55834.2022.9859489

Li, B., Fitzgerald, J. & Schultz, C. (2022). Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement. Advanced Engineering Informatics, 51, Article 101452. https://doi.org/10.1016/j.aei.2021.101452

Macedo, H. D. & Pierce, K. (Eds.) (2022). Proceedings of the 20th International Overture Workshop. https://doi.org/10.48550/arXiv.2208.10233

Kakavandi, F., de Reus, R., Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022). Product Quality Control in Assembly Machine under Data Restricted Settings. In 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (pp. 735-741). IEEE. https://doi.org/10.1109/INDIN51773.2022.9976173

Nielsen, M. & Larsen, P. G. (2022). Techtopia 250: Hvad er en digital tvilling?. Pictures, Video and sound recordings (digital) https://ida.dk/viden-og-netvaerk/idas-podcast/techtopia/techtopia-episoder-2022/techtopia-250-hvad-er-en-digital-tvilling

Teizer, J., Johansen, K. W. & Schultz, C. P. L. (2022). The Concept of Digital Twin for Construction Safety. In F. Jazizadeh, T. Shealy & M. J. Garvin (Eds.), Construction Research Congress 2022: Computer Applications, Automation, and Data Analytics (pp. 1156-1165). American Society of Civil Engineers. https://doi.org/10.1061/9780784483961.121

Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. Electronics, 11(21), Article 3635. https://doi.org/10.3390/electronics11213635

Rausch, C., Talebi, S., Poshdar, M., Li, B. & Schultz, C. (2022). Tolerance management domain model for semantic enrichment of BIMs. Automation in Construction, 141, Article 104394. https://doi.org/10.1016/j.autcon.2022.104394

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, Article 101487. https://doi.org/10.1016/j.aei.2021.101487

Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C. & Larsen, P. G. (2022). Towards Easy Robot System Integration: Challenges and Future Directions. In 2022 IEEE/SICE International Symposium on System Integration (SII) (pp. 77-82). IEEE. https://doi.org/10.1109/SII52469.2022.9708846

Tola, D., Böttjer, T., Larsen, P. G. & Esterle, L. (2022). Towards Modular Digital Twins of Robot Systems. In Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (pp. 95-100). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00040

Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022). Towards Secure Digital Twins. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 159-176). Springer. https://doi.org/10.1007/978-3-031-19762-8_11

Lund, J., Jensen, L. B., Macedo, H. D. & Larsen, P. G. (2022). Towards UML and VDM Support in the VS Code Environment. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 50-65) https://doi.org/10.48550/arXiv.2208.10233

Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G. (2022). Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? In A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (Eds.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (pp. 143-155). Springer. https://doi.org/10.1007/978-3-031-12429-7_11

Oda, T., Kusakabe, S., Chang, H.-M. & Larsen, P. G. (2022). VDM-SL in action: A FRAM-based approach to contextualise formal specifications. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 5-18) https://doi.org/10.48550/arXiv.2208.10233

Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8

Tola, D. & Larsen, P. G. (2021). A Co-Simulation Based Approach for Developing Safety-Critical Systems. In Proceedings of the 18th International Overture Workshop https://arxiv.org/pdf/2101.07261.pdf#page=65

Johansen, K. W., Nielsen, R. O., Teizer, J. & Schultz, C. P. L. (2021). An AI-based approach for automated work progress estimation from construction activities using abductive reasoning. In V. Semenov & R. J. Scherer (Eds.), 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 (pp. 237-244). CRC Press. https://doi.org/10.1201/9781003191476-33

Hansen, S. T., Thule, C. & Gomes, C. (2021). An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In L. Cleophas & M. Massink (Eds.), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops (pp. 295-310). Springer. https://doi.org/10.1007/978-3-030-67220-1_22

Legaard, C. M., Tola, D., Schranz, T., Macedo, H. D. & Larsen, P. G. (2021). A Universal Mechanism for Implementing Functional Mock-up Units. In G. Wagner, F. Werner, T. I. Ören & F. D. Rango (Eds.), Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021, Online Streaming, July 7-9, 2021 (pp. 121-129). SCITEPRESS Digital Library. https://doi.org/10.5220/0010577601210129

Johansen, K. W., Nielsen, R., Schultz, C. & Teizer, J. (2021). Automated activity and progress analysis based on non-monotonic reasoning of construction operations. Smart and Sustainable Built Environment, 10(3), 457-486. https://doi.org/10.1108/SASBE-03-2021-0044

Displaying results 51 to 100 out of 490

Revised 10.08.2023

Peter Gorm Larsen