Publications

Sortér efter: Dato | Forfatter | Titel

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 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. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 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. 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

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. 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. 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. I J. Proença & A. Paskevich (red.), Proceedings of the 6th Workshop on Formal Integrated Development Environment (Bind 338, s. 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. 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

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

Paredis, R., Gonçalves Gomes, C. Â. & Vangheluwe, H. (2021). Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures: I H. Panetto, M. Macchi & K. Madani (red.), Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (s. 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. I Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 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. 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

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. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 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. 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. 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. I E. Toledo Santos & S. Scheer (red.), Proceedings of the 18th International Conference on Computing in Civil and Building Engineering: ICCCBE 2020 (s. 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. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 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. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 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. I F. De Rango, T. Ören & M. Obaidat (red.), Proceedings of the 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (s. 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. I Proceedings of the American Modelica Conference 2020 (s. 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. I J. Camara & M. Steffen (red.), Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Revised Selected Papers (s. 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. I Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems (s. 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. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.), Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (s. 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. I J. Bruun (red.), Profile 2020 (s. 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. I 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. I Proceedings of the 2020 Summer Simulation Conference (s. 1-12). Artikel 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. Manuskript afsendt til publicering.

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

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, Artikel 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. (Patentnummer US 2020/0023557).

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

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. I L. C. Ungureanu & T. Hartmann (red.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (s. 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. I B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulao, P. Carreira & V. Amaral (red.), Multi-Paradigm Modelling Approaches for Cyber-Physical Systems (s. 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. I J. Bruun (red.), Profile 2020 (s. 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. I N. Dawood , F. Pour Rahimian, S. Seyedzadeh & M. Sheikhkhoshkar (red.), Enabling the Development and Implementation of Digital Twins: Proceedings of the 20th International Conference on Construction Applications of Virtual Reality (s. 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. I 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 (s. 1-12). Artikel 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), Artikel 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. I Mechanics of Materials in Modern Manufacturing Methods and Processing Techniques: Elsevier Series in Mechanics of Advanced Materials (s. 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. https://orbit.dtu.dk/en/publications/numerical-modelling-of-material-flow-in-the-resin-injection-pultr

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

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. I Proceedings of the 37th CIB W78 Information Technology for Construction Conference (CIB W78) (s. 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. 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

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

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 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. 272-288). Springer. https://doi.org/10.1007/978-3-030-54997-8_18

Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Schultz, C. P. L., Li, B. & Teizer, J. (2020). Towards a Unifying Domain Model of Construction Safety: SafeConDM. I L. C. Ungureanu & T. Hartmann (red.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (s. 363-372). Universitätsverlag der TU Berlin. https://doi.org/10.14279/depositonce-9977

Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G. (2020). Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. I J. Camara & M. Steffen (red.), Software Engineering and Formal Methods (s. 50-66). Springer. https://doi.org/10.1007/978-3-030-57506-9_5

Viser resultater 151 til 200 ud af 505

Forrige

Næste

Revideret 06.03.2025

Peter Gorm Larsen