Publications

Sortér efter: Dato | Forfatter | Titel

Robinson, C., Bagnato, A., Pastrone, C., Weyer, T., Popov, P., Macedo, H. D., Sassanelli, C., Larsen, P. G., Luz, C. H., Henshaw, M., Buron, C., Akerkar, R. & Györffi, M. (2021). Bridging the stakeholder communities that produce cyber-physical systems. I M. D. E. al (red.), HiPEAC Vision 2021: High performance embedded architecture and compilation (s. 20-29). HiPEAC. https://www.hipeac.net/vision/2021/

Böttjer, T., Ørnskov Rønsch, G., Gonçalves Gomes, C. Â., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021). Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. I A.-L. Andersen, R. Andersen, D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (red.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems: Proceedings of the Changeable, Agile, Reconﬁgurable and Virtual Production Conference and the World Mass Customization & Personalization Conference (s. 431-439). Springer. https://www.springerprofessional.de/en/data-driven-identification-of-remaining-useful-life-for-plastic-/19816878

Böttjer, T., Ørnskov Rønsch, G., Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2021). Data-Driven Identification of Remaining Useful Life for Plastic Injection Moulds. I A.-L. Andersen, R. Andersen, T. D. Brunoe, M. Stoettrup Schioenning Larsen, K. Nielsen, A. Napoleone & S. Kjeldgaard (red.), Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems - Proceedings of the 8th Changeable, Agile, Reconfigurable and Virtual Production Conference CARV 2021 and 10th World Mass Customization and Personalization Conference MCPC 2021 (s. 431-439). Springer. https://doi.org/10.1007/978-3-030-90700-6_49

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

Badicu, A., Iordache, G., Suciu, G., Macedo, H. D., Sassanelli, C., Terzi, S. & Larsen, P. G. (2021). Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox. I A. G. Bruzzone, J. S. Janosy, L. Nicoletti & G. Zacharewicz (red.), 9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021 (s. 18-26) https://doi.org/10.46354/i3m.2021.sesde.003

Feng, H., Gomes, C., Sandberg, M., Thule, C., Lausdahl, K. & Larsen, P. G. (2021). Developing a Physical and Digital Twin: An Example Process Model. I Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 (s. 286-295). IEEE. https://doi.org/10.1109/MODELS-C53483.2021.00050

Macedo, H. D. (2021). Digital Twins. 12-15. Afhandling præsenteret på Digitale tvillinger i afløbs- og spildevandsbranchen . http://www.evanet.dk/wp-content/uploads/2021/09/2021_03_EVA_blad.pdf

Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S. & Larsen, P. G. (2021). Digital twins for collaboration and self-integration. I E. El-Araby, V. Kalogeraki, D. Pianini, F. Lassabe, B. Porter, S. Ghahremani, I. Nunes, M. Bakhouya & S. Tomforde (red.), Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 172-177). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00040

Schultz, C. P. L. & Kamari, A. (2021). Diversity in Renovation Design: Theoretical Foundations of the Renovation Domain Model. Journal of Computing in Civil Engineering, 35(4), Artikel 04021006. https://doi.org/10.1061/(ASCE)CP.1943-5487.0000969

Krukar, J., Manivannan, C., Bhatt, M. & Schultz, C. P. L. (2021). Embodied 3D isovists: A method to model the visual perception of space. Environment and Planning B: Urban Analytics and City Science, 48(8), 2307-2325. https://doi.org/10.1177/2399808320974533

Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J. (2021). Engineering of Digital Twins for Cyber-Physical Systems. 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. 49-53). Springer. https://doi.org/10.1007/978-3-030-83723-5_4

Feng, H., Macedo, H. D. & Larsen, P. G. (2021). Estimating the maximum allowable delay bound for networked control systems using co-simulation and design space exploration. I M.-H. Khooban & T. Dragičević (red.), Control Strategy for Time-Delay Systems: Part II: Engineering Applications (Bind 2, s. 257-280). Academic Press.

Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F., Larsen, P. G. & Macedo, H. D. (2021). Extending the Formal Security Analysis of the HUBCAP sandbox. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 36-50) https://arxiv.org/abs/2110.09371

Macedo, H. D., Sassanelli, C., Larsen, P. G. & Terzi, S. (2021). Facilitating model-based design of cyber-manufacturing systems. Procedia CIRP, 104, 1936-1941. https://doi.org/10.1016/j.procir.2021.11.327

Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021). Fault Injecting Co-simulations for Safety. 6-13. Afhandling præsenteret på 5th International Conference on System Reliability and Safety, Palermo, Italien. https://doi.org/10.1109/ICSRS53853.2021.9660728

Oakes, B. J., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021). Hint-based configuration of co-simulations with algebraic loops. I M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (red.), Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (s. 1-28). Springer. https://doi.org/10.1007/978-3-030-55867-3_1

Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021). Introducing Regression Tests and Upgrades to the INTO-CPS Application. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (s. 311-317). Springer. https://doi.org/10.1007/978-3-030-67220-1_23

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G. (2021). Introduction to Digital Twin Engineering. 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.9552135

Weiß., G., Pietraroia., D., Sassanelli., C. & Macedo., H. (2021). Manufacturing Process Simulation in a Hybrid Cloud Setup. I Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (s. 49-58). SCITEPRESS Digital Library. https://doi.org/10.5220/0010641700003062

Yuksel, O., Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021). Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics. Composites Part B: Engineering, 207, Artikel 108543. https://doi.org/10.1016/j.compositesb.2020.108543

Yuksel, O., Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021). Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction. Materials, 14(13), Artikel 3763. https://doi.org/10.3390/ma14133763

Feng, H., Gomes, C., Iosifidis, A. & Larsen, P. G. (2021). Model-based monitoring and state estimation for digital twins: The Kalman filter. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), Annual Modeling and Simulation Conference (ANNSIM 2021) (s. 1-2)

Böttjer, T., Sandberg, M., Larsen, P. G. & Macedo, H. D. (2021). Modelling an Injection Moulding Machine using the Vienna Development Method. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 51-65) https://arxiv.org/abs/2110.09371

Kulik, T., Macedo, H. D., Talasila, P. & Larsen, P. G. (2021). Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 20-35) https://arxiv.org/pdf/2101.07261.pdf

Kamari, A., Li, B. & Schultz, C. P. L. (2021). Navigating the vast landscape of spatially valid renovation scenarios. 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. 163-170). CRC Press/Balkema. https://doi.org/10.1201/9781003191476-22

Sandberg, M., Yuksel, O., Baran, I., Hattel, J. H. & Spangenberg, J. (2021). Numerical and experimental analysis of resin-flow, heat-transfer, and cure in a resin-injection pultrusion process. Composites Part A: Applied Science and Manufacturing, 143, Artikel 106231. https://doi.org/10.1016/j.compositesa.2020.106231

Kamari, A., Kirkegaard, P. H. & Schultz, C. P. L. (2021). PARADIS - A process integrating tool for rapid generation and evaluation of holistic renovation scenarios. Journal of Building Engineering , 34, Artikel 101944. https://doi.org/10.1016/j.jobe.2020.101944

Kamari, A., Petersen, J. H. & Schultz, C. P. L. (2021). Popularizing DGNB in the Danish construction industry: A field study of the industry via a qualitative comparative analysis. I Proceedings of the 38th International Conference of CIB W78, Luxembourg, 13-15 October: Joint Conference CIB W78 - LDAC 2021 (s. 638-649). Artikel 64. http://itc.scix.net/paper/w78-2021-paper-064

Asplund, F., Macedo, H. D. & Sassanelli, C. (2021). Problematizing the Service Portfolio of Digital Innovation Hubs. I L. M. Camarinha-Matos, X. Boucher & H. Afsarmanesh (red.), Smart and Sustainable Collaborative Networks 4.0 - 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Proceedings: 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings (s. 433-440). Springer. https://doi.org/10.1007/978-3-030-85969-5_40

Macedo, H. D., Thule, C. & Pierce, K. (2021). Proceedings of the 19th International Overture Workshop. https://arxiv.org/abs/2110.09371

Oda, T., Araki, K., Sahara, S., Chang, H.-M. & Larsen, P. G. (2021). Refactoring for Exploratory Specification in VDM-SL. I H. D. Macedo, C. Thule & K. Pierce (red.), Proceedings of the 19th International Overture Workshop (s. 21-35) https://arxiv.org/abs/2110.09371

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. I A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (red.), 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. 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. 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. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 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, Artikel 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. 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.

Viser resultater 101 til 150 ud af 490

Forrige

Næste

Revideret 10.08.2023

Peter Gorm Larsen