Publications

Sortér efter: Dato | Forfatter | Titel

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 (Bind 52, s. 254-265). Artikel 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

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

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-194). Academic Press. https://doi.org/10.1016/B978-0-12-819105-7.00012-X

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.

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

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

Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M. & Larsen, P. G. (2020). ViennaDoc: An Animatable and Testable Speciﬁcation Documentation Tool. 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 (Bind Revised Selected Papers, Part II, s. 289-302). Springer. https://doi.org/10.1007/978-3-030-54997-8

Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M. & Larsen, P. G. (2020). ViennaDoc: An animatable and testable specification documentation tool. 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. 289-302). Springer. https://doi.org/10.1007/978-3-030-54997-8_19

Schweiger, G., Gomes, C., Engel, G., Hafner, I., Schoeggl, J., Posch, A. & Nouidui, T. S. (2019). An empirical survey on co-simulation: Promising standards, challenges and research needs. Simulation Modelling Practice and Theory, 95, 148-163. https://doi.org/10.1016/j.simpat.2019.05.001

Hasanagic, M., Fabri, T., Larsen, P. G., Bandur, V., Tran-Jørgensen, P. W. V. & Ouy, J. (2019). Code generation for distributed embedded systems with VDM-RT. Design Automation for Embedded Systems, 23(3-4), 153-177. https://doi.org/10.1007/s10617-019-09227-0

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Constraint-based renovation design support through the renovation domain model. Automation in Construction, 104, 265-280. https://doi.org/10.1016/j.autcon.2019.04.023

Gomes, C. & Vangheluwe, H. (2019). Co-Simulation of Continuous Systems: A Hands-on Approach. Proceedings - Winter Simulation Conference, 1469-1481. https://doi.org/10.1109/WSC40007.2019.9004704

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Thule, C., Larsen, P. G. & Madsen, J. (2019). Distributed Co-simulation of Embedded Control Software Using INTO-CPS. I M. S. Obaidat, T. Ören & F. De Rango (red.), Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (s. 33-54). Springer. https://doi.org/10.1007/978-3-030-01470-4_3

Macedo, H. D., Nilsson, R. S. & Larsen, P. G. (2019). Embedding deviation-tolerance in a harvest logistic solution. Computers, 8(2). https://doi.org/10.3390/computers8020031

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) https://doi.org/10.5220/0007830000570068

Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G. & Larsen, P. G. (2019). Maestro: The INTO-CPS co-simulation framework. Simulation Modelling Practice and Theory, 92, 45-61. https://doi.org/10.1016/j.simpat.2018.12.005

Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 47-62). Newcastle University.

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2019). Minimally Constrained Stable Switched Systems and Application to Co-simulation. I 2018 IEEE Conference on Decision and Control (CDC) (s. 5676-5681). Artikel 8619223 IEEE. https://doi.org/10.1109/CDC.2018.8619223

Moradi, M., Gomes, C., Oakes, B. J. & Denil, J. (2019). Optimizing fault injection in fmi co-simulation through sensitivity partitioning. Simulation Series, 2019-July. https://bentleyjoakes.github.io/assets/publications/Moradi2019%20-%20Optimizing%20Fault%20Injection%20in%20FMI%20Co-Simulation%20Through%20Sensitivity%20Partitioning.pdf

Hasanagic, M., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2019). Realization of distributed system models using code generation extensions. Software: Practice & Experience, 49(3), 478-497. https://doi.org/10.1002/spe.2671

Tran-Jørgensen, P. W. V., Kulik, T., Boudjadar, J. & Larsen, P. G. (2019). Security analysis of cloud-connected industrial control systems using combinatorial testing. I MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (s. 1-11). Artikel 13 Association for Computing Machinery. https://doi.org/10.1145/3359986.3361211

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., Lucio, L. & Vangheluwe, H. (2019). Semantics of co-simulation algorithms with simulator contracts. Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, 784-789. https://doi.org/10.1109/MODELS-C.2019.00124

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2019). Simulation of liquid composite moulding using a finite volume scheme and the level-set method. International Journal of Multiphase Flow, 118, 183-192. https://doi.org/10.1016/j.ijmultiphaseflow.2019.06.014

Sandberg, M., Rasmussen, F. S., Hattel, J. H. & Spangenberg, J. (2019). Simulation of resin-impregnation, heat-transfer and cure in a resin-injection pultrusion process. AIP Conference Proceedings, 2113(1). https://doi.org/10.1063/1.5112527

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

Korshoej, A. R., Larsen, P. G., Johansen, P. & Nilsson, R. S. (2019). System and method for estimation and control of compliance and pressure/volume variations within a body cavity. Manuskript afsendt til publicering. (Patentnummer PCT/EP2019/075935).

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Towards a BIM-based Decision Support System for rapid generation and evaluation of holistic renovation scenarios. CIB Proceedings, 244-254. Artikel 24. http://itc.scix.net/pdfs/w78-2019-paper-024.pdf

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2019). Towards a Static Check of FMUs in VDM-SL. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 17-32). Newcastle University. https://www.researchgate.net/publication/336409277_Towards_a_Static_Check_of_FMUs_in_VDM-SL

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. I 17TH OVERTURE WORKSHOP

Møldrup Legaard, C., Thule, C. & Larsen, P. G. (2019). Towards Graphical Conguration in the INTO-CPS Application. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 3-16). Newcastle University.

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Unleashing the diversity of conceptual building renovation design: Integrating high-fidelity simulation with rapid constraint-based scenario generation. I S. Rockcastle, T. Rakha, C. Cerezo Davila, D. Papanikolaou & T. Zakula (red.), SimAUD 2019. 2019 Proceedings of the Symposium on Simulation for Architecture & Urban Design: 10th anniversary edition (Bind 51, s. 29-36). The Society for Modeling and Simulation International (SCS). http://simaud.org/proceedings/download.php?f=SimAUD2019_Proceedings_HiRes.pdf

Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M. & Larsen, P. G. (2019). ViennaDoc: An Animatable and Testable Specication Documentation Tool. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 76-90). Newcastle University.

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 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.COSIT.2019.26

Viser resultater 201 til 250 ud af 508

Forrige

Næste

Revideret 13.11.2025

Peter Gorm Larsen