Publications within Software Engineering & Computing Systems

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

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

Pianini, D., Pettinari, F., Casadei , R. & Esterle, L. (2022). A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems. ACM Transactions on Autonomous and Adaptive Systems, 17(1-2), 1-39. Artikel 4. https://doi.org/10.1145/3547145

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, Artikel 103971. https://doi.org/10.1016/j.jobe.2021.103971

Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. 161-168. Afhandling præsenteret på International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal. https://doi.org/10.5220/0011272100003271

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

Boudjadar, J. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Afhandling præsenteret på International Conference on Intelligent Systems Design and Applications.

Bakhtiarnia, A., Leporowski, B., Esterle, L. & Iosifidis, A. (2022). Analysis of the Effect of Low-Overhead Lossy Image Compression on the Performance of Visual Crowd Counting for Smart City Applications. I 2022 IEEE International Smart Cities Conference (ISC2) IEEE. https://doi.org/10.1109/ISC255366.2022.9921939

Sohrabzadi, E., Gheisarnejad Chirani, M., Esfahani, Z. & Khooban, M. H. (2022). A novel intelligent ultra-local model control-based type-II fuzzy for frequency regulation of multi-microgrids. Transactions of the Institute of Measurement and Control, 44(5), 1134-1148. https://doi.org/10.1177/01423312211043060

Li, B. (2022). Answer Set Programming for Building Information Modelling. [Ph.d.-afhandling, Aarhus Universitet].

Rouhi Ardeshiri, R., Gheisarnejad Chirani, M., Tavana, M. R., Vafamand, N. & Khooban, M. H. (2022). A robust intelligent controller-based motion control of a wheeled mobile robot. Transactions of the Institute of Measurement and Control, 44(15), 2911-2918. https://doi.org/10.1177/01423312221088389

Yildirim, B., Gheisarnejad Chirani, M. & Khooban, M. H. (2022). A Robust Non-Integer Controller Design for Load Frequency Control in Modern Marine Power Grids. IEEE Transactions on Emerging Topics in Computational Intelligence, 6(4), 852-866. https://doi.org/10.1109/TETCI.2021.3114735

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), Artikel 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. I 2022 IEEE/SICE International Symposium on System Integration, SII 2022 (s. 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. I J. Teizer & C. P. Leslie Schultz (red.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (s. 408-417) https://doi.org/10.7146/aul.455.c231

Hallerstede, S. (2022, jun. 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 udg.) Springer Berlin, Heidelberg. Texts in Theoretical Computer Science. An EATCS Series https://www.fmeurope.org/2022/06/14/book-review-decision-procedures-an-algorithmic-point-of-view/

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

Esterle, L. (2022). Collaborative Systems: Learning and Working Together. CEUR Workshop Proceedings, 3461.

Gil Arboleda, S., Zapata-Madrigal, G. D., García-Sierra, R. & Cruz Salazar, L. A. (2022). Converging IoT protocols for the data integration of automation systems in the electrical industry. Journal of Electrical Systems and Information Technology, 9(1), 1-21. Artikel 1. https://doi.org/10.1186/s43067-022-00043-4

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

Böttjer, T., Ørnskov Rønsch, G., Gomes, C., Ramanujan, D., Iosifidis, A. & Larsen, P. G. (2022). 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

Hudert, M. M., Elvebakken, M. F., Meagher, M., Mangliar, L., Zhang, X. & Esterle, L. (2022). Deep learning enhanced robotic fabrication of timber-to-timber connections with densified hardwood nails. I Proceedings of the IASS 2022 Symposium affiliated with APCS 2022 conference: Innovation - Sustainability - Legacy (s. 1740-1748)

Esterle, L. (2022). Deep learning in multiagent systems. I A. Iosifidis & A. Tefas (red.), Deep Learning for Robot Perception and Cognition (s. 435-460). Elsevier. https://doi.org/10.1016/B978-0-32-385787-1.00022-1

del Palacio Gonzalez, A., Thylstrup, B., Pedersen, M. U., Danielsen, B., Kirk, H. B. & Jensen, K. L. (2022). Design and Testing of an Aftercare Mobile App for Substance Use Among Young Adults: An Interdisicplinary Approach in Denmark. Abstract fra Lisbon addictions 2022, Lisabon, Portugal.

Mosayebi, M., Gheisarnejad Chirani, M., Farsizadeh, H. & Khooban, M. H. (2022). Design a Robust Powering 5G Telecommunication System Based-Sliding Mode Control. IEEE Journal of Emerging and Selected Topics in Industrial Electronics, 3(4), 946-953. https://doi.org/10.1109/JESTIE.2021.3111531

Leporowski, B. T., Tola, D., Hansen, C. & Iosifidis, A. (2022). Detecting Faults during Automatic Screwdriving: A Dataset and Use Case of Anomaly Detection for Automatic Screwdriving. 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. 224-232). Springer. https://doi.org/10.1007/978-3-030-90700-6_25

Kamari, A., Schultz, C. P. L. & Petersen, S. (red.) (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. I Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (s. 53-54). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00028

Gudjonsdottir, M. S., Audunsson, H., Donoso, A. M., Kristjansson, G., Saemundsdóttir, I., Foley, J. T., Kyas, M., Sripakagorn, A., Roslöf, J., Bennedsen, J., Edström, K., Kuptasthien, N. & Lyng, R. (2022). Editorial. Proceedings of the International CDIO Conference, iii-iv.

Schranz, T., Exenberger, J., Legaard, C. M., Drgona, J. & Schweiger, G. (2022). Energy prediction under changed demand conditions: robust machine learning models and input feature combinations. I D. Saelens, J. Laverge, W. Boydens & L. Helsen (red.), BS 2021 - Proceedings of Building Simulation 2021: 17th Conference of IBPSA (s. 3268 - 3275). International Building Performance Association (IBPSA). https://doi.org/10.26868/25222708.2021.30806

Frasheri, M., Struhar, V., Papadopoulos, A. V. & Causevic, A. (2022). Ethics of Autonomous Collective Decision-Making: The Caesar Framework. Science and Engineering Ethics, 28(6), Artikel 61. https://doi.org/10.1007/s11948-022-00414-0

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

Saleem, B., Badar, R., Manzoor, A., Judge, M. A., Boudjadar, J. & Islam, S. U. (2022). Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access, 10, 36464-36476. https://doi.org/10.1109/ACCESS.2022.3164455

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. I M. S. Obaidat, T. Oren & F. D. Rango (red.), Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2020 (s. 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, Artikel 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. I C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (red.), Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (s. 102-113). IEEE. https://doi.org/10.23919/ANNSIM55834.2022.9859489

Boudjadar, J. & Beck, M. M. (2022). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. I K. Arai (red.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (s. 609-623). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-82196-8_45

Hansen, S. T. & Ölveczky, P. C. (2022). Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. I K. Bae (red.), Rewriting Logic and Its Applications. WRLA 2022 (s. 130-150). Springer. https://doi.org/10.1007/978-3-031-12441-9_7

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, Artikel 101452. https://doi.org/10.1016/j.aei.2021.101452

Gheisarnejad Chirani, M., Mohammadzadeh, A. & Khooban, M. H. (2022). Model Predictive Control-Based Type-3 Fuzzy Estimator for Voltage Stabilization of DC Power Converters. IEEE Transactions on Industrial Electronics, 69(12), 13849-13858. https://doi.org/10.1109/TIE.2021.3134052

Nikkhah Kashani, H., Rouhi Ardeshiri, R., Gheisarnejad Chirani, M. & Khooban, M. H. (2022). Optimal Cascade Non-Integer Controller for Shunt Active Power Filter: Real-Time Implementation. Designs, 6(2), Artikel 32. https://doi.org/10.3390/designs6020032

Macedo, H. D. & Pierce, K. (red.) (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. I 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (s. 735-741). IEEE. https://doi.org/10.1109/INDIN51773.2022.9976173

Mosayebi, M., Fathollahidehkordi, A., Gheisarnejad Chirani, M., Farsizadeh, H. & Khooban, M. H. (2022). Smart Emergency EV-to-EV Portable Battery Charger. Inventions, 7(2), Artikel 45. https://doi.org/10.3390/inventions7020045

Pierce, K., Lausdahl, K. & Frasheri, M. (2022). Speeding Up Design Space Exploration through Compiled Master Algorithms. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 66-81) https://doi.org/10.48550/arXiv.2208.10233

Gheisarnejad Chirani, M., Mohammadzadeh, A., Farsizadeh, H. & Khooban, M. H. (2022). Stabilization of 5G telecom Converter-Based Deep Type-3 Fuzzy Machine Learning Control for Telecom Applications. IEEE Transactions on Circuits and Systems II: Express Briefs, 69(2), 544-548. https://doi.org/10.1109/TCSII.2021.3102282

Heidary, J., Gheisarnejad Chirani, M., Rastegar, H. & Khooban, M. H. (2022). Survey on microgrids frequency regulation: Modeling and control systems. Electric Power Systems Research, 213, Artikel 108719. https://doi.org/10.1016/j.epsr.2022.108719

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

Malmqvist, J., Lundqvist, U., Rosén, A., Edström, K., Gupta, R., Leong, H., Cheah, S. M., Bennedsen, J., Hugo, R., Kamp, A., Leifler, O., Gunnarsson, S., Roslöf, J. & Spooner, D. (2022). The CDIO Syllabus 3.0 - An Updated Statement of Goals. I 18th CDIO International Conference Proceedings - Full papers (s. 18-36) https://en.ru.is/media/cdio2022/CDIO_2022_Proceedings.pdf

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

Viser resultater 101 til 150 ud af 343

Forrige

Næste

Revideret 10.08.2023

Heidi Søndergaard