Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sortér efter: Dato | Forfatter | Titel

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.

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

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

Esterle, L. & Brown, J. N. A. (2020). I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Artikel 39. https://doi.org/10.1145/3375403

Bellman, K., Landauer, C., Dutt, N., Esterle, L., Herkersdorf, A., Jantsch, A., Taherinejad, N., Lewis, P. R., Platzner, M. & Tammemäe, K. (2020). Self-aware Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Artikel 38. https://doi.org/10.1145/3375716

Gomes, C., Karalis, P., Navarro-López, E. M. & Vangheluwe, H. (2018). Approximated stability analysis of bi-modal hybrid co-simulation scenarios. Lecture Notes in Computer Science, 345-360. https://doi.org/10.1007/978-3-319-74781-1_24

Cambeiro, J., Gomes, C., Amaral, V., Rodrigues, A. & Cunha, J. (2018). A building automation case study setup and challenges. Proceedings - International Conference on Software Engineering, 41-44. https://doi.org/10.1145/3196478.3196482

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

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

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

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

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

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

Boudjadar, J. & Khooban, M. H. (2020). A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. I D. Maga & J. Hajek (red.), Proceedings of the 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020 Artikel 9213541 IEEE. https://doi.org/10.1109/DS-RT50469.2020.9213541

Merhi, Y., Mikkelsen, P. H., Suetta, C., Nygaard, J. V. & Agarwala, S. (2020). Mechanical performance of electronically functional smart textiles. I T. M. Buzug & H. Seitz (red.), Transactions on additive manufacturing meets medicine Infinite Science. https://doi.org/10.18416/AMMM.2020.2009012

Brown, J. N. A. & Esterle, L. (2020). I'm already optimal: The Dunning-Kruger Effect, Sociogenesis, and Self-Integration. I E. El-Araby, S. Tomforde, T. Wood, P. Kumar, C. Raibulet, I. Petri, G. Valentini, P. Nelson & B. Porter (red.), 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 82-84). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00035

Esterle, L. & Brown, J. N. A. (2020). The Competence Awareness Window: Knowing what i can and cannot do. I E. El-Araby, S. Tomforde, T. Wood, P. Kumar, C. Raibulet, I. Petri, G. Valentini, P. Nelson & B. Porter (red.), 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 62-63). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00031

Papadopoulos, A. V. & Esterle, L. (2020). Situational Trust in Self-aware Collaborating Systems. I 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 91-94). IEEE. https://doi.org/10.1109/ACSOS-C51401.2020.00037

Wallace, J., Frederiksen, P. L. & Stenger, M. (2020). Cobots I dansk produktion: gevinster og barrierer ved brug af kollaborative robotter. Teknologisk Institut. White Paper https://via.ritzau.dk/data/attachments/00621/2d17735f-621c-487d-be9f-260a149c05bc.pdf

Wallace, J. & Knudsen, L. E. D. (2023). Walking towards a method for multi-sited drawing. I J. Roldan, R. M. Viadel, M. Mosavarzadeh, K. Morimoto & R. L. Irwin (red.), Visual Methods, A/r/tography and Walking (s. 144-159). Tirant Lo Blanch.

Afshari-Igder, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Reliability and Safety Improvement of Emission-Free Ships: Systemic Reliability Centered Maintenance. IEEE Transactions on Transportation Electrification, 7(1), 256-266. Artikel 9220168. https://doi.org/10.1109/TTE.2020.3030082

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

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Transactions on Industrial Informatics, 17(8), 5430-5440. https://doi.org/10.1109/TII.2020.3027808

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

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

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

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

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

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

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

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

Miloradovic, B., Frasheri, M., Çürüklü, B., Ekström, M. & Papadopoulos, A. V. (2019). TAMER: Task Allocation in Multi-robot Systems Through an Entity-Relationship Model. I M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (red.), PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (s. 478-486). Springer. https://doi.org/10.1007/978-3-030-33792-6

Frasheri, M., Cano-Garcia, J., Gonzalez-Parada, E., Çürüklü, B., Ekström, M., Papadopoulos, A. & Urdiales, C. (2020). Adaptive Autonomy in Wireless Sensor Networks. I Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 (s. 375-383) http://www.es.mdh.se/publications/5742-Adaptive_Autonomy_in_Wireless_Sensor_Networks

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

Banaei, M., Ghanami, F., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2020). Energy Management of Hybrid Diesel/Battery Ships in Multidisciplinary Emission Policy Areas. Energies, 13(16), Artikel 4179. https://doi.org/10.3390/en13164179

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

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

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

Frasheri, M., Esterle, L. & Papadopoulos, A. V. (2020). Modeling the willingness to interact in cooperative multi-robot systems. I A. Rocha, L. Steels & J. van den Herik (red.), ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence (s. 62-72). SCITEPRESS Digital Library. https://doi.org/10.5220/0008951900620072

Murtaza, F., Akhunzada, A., Islam, S. U., Boudjadar, J. & Buyya, R. (2020). QoS-Aware Service Provisioning in Fog Computing. Journal of Network and Computer Applications, 165, Artikel 102674. https://doi.org/10.1016/j.jnca.2020.102674

Letafat, A., Rafiei, M., Ardeshiri, M., Sheikh, M., Banaei, M., Boudjadar, J. & Khooban, M. H. (2020). An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships. Complexity, 2020, Artikel 6487873. https://doi.org/10.1155/2020/6487873

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

Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Energy Management of a Zero-Emission Ferry Boat with a Fuel Cell-Based Hybrid Energy System: Feasibility Assessment. IEEE Transactions on Industrial Electronics, 68(2), 1739-1748. https://doi.org/10.1109/TIE.2020.2992005

Bennedsen, J., Keiding, T. B. & Godsk, M. (2020). Learning design and the tension between strategy and didactics. I J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (red.), The 16th International CDIO Conference: Proceedings – Full Papers (Bind 2, s. 285-295). Chalmers tekniska högskola. https://research.chalmers.se/publication/519263/file/519263_Fulltext.pdf

Kulik, T., Boudjadar, J. & Tran-Jørgensen, P. W. V. (2020). Security Verification of Industrial Control Systems using Partial Model Checking. I Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020 (s. 98-108). Artikel 3391558 Association for Computing Machinery. https://doi.org/10.1145/3372020.3391558

Vafamand, N., Boudjadar, J. & Khooban, M. H. (2020). Model predictive energy management in hybrid ferry grids. Energy Reports, 6(Supplement 2), 550-557. https://doi.org/10.1016/j.egyr.2019.11.118

Askarpour, M., Aghaei, J., Boudjadar, J. & Niknam, T. (2020). Techno-economic potential gains of electric springs in distribution networks operations. IET Generation, Transmission & Distribution, 14(1 ), 98 - 107. https://doi.org/10.1049/iet-gtd.2019.0440

Kulik, T., Boudjadar, J. & Aranha, D. F. (2020). Towards Formally Verified Key Management for Industrial Control Systems. 119-129. Afhandling præsenteret på 8th International Conference on Formal Methods in Software Engineering, Seoul, Sydkorea. https://doi.org/10.1145/3372020.3391555

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/

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/

Viser resultater 501 til 550 ud af 1030

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering