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

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

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

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

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/

Letafat, A., Rafiei Foroushani, M., Sheikh, M., Afshari-Igder, M., Banaei, M., Boudjadar, J. & Khooban, M. H. (2020). Simultaneous energy management and optimal components sizing of a zero-emission ferry boat. Journal of Energy Storage, 28, Artikel 101215. https://doi.org/10.1016/j.est.2020.101215

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

Banaei, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2020). A Comparative Analysis of Optimal Operation Scenarios in Hybrid Emission-Free Ferry Ships. IEEE Transactions on Transportation Electrification, 6(1), 318-333. Artikel 8976275. https://doi.org/10.1109/TTE.2020.2970674

Esterle, L. & Lewis, P. R. (2020). Distributed autonomy and trade-offs in online multiobject k-coverage. Computational Intelligence, 36(2), 720-742. https://doi.org/10.1111/coin.12264

Mühling, A., Schulte, C., Bennedsen, J., Budde, L. & Große-Bölting, G. (2019). Assessing students' understanding of object structures. I 19th Koli Calling International Conference on Computing Education Re-search (Koli Calling ’19), November 21–24, 2019, Koli, Finland Artikel 1 Association for Computing Machinery. https://doi.org/10.1145/3364510.3364511

Gomes, C., Denil, J. & Vangheluwe, H. (2016). Causal-Block Diagrams. University of Antwerp. http://msdl.cs.mcgill.ca/people/claudio/pub/Gomes2016a.pdf

Gomes, C., Van Tendeloo, Y., Denil, J., De Meulenaere, P. & Vangheluwe, H. (2017). Hybrid System Modelling and Simulation with Dirac Deltas. University of Antwerp. https://scs.org/wp-content/uploads/2017/06/19_Final_Manuscript-1.pdf

Schweiger, G., Gomes, C., Hafner, I. & Engel, G. (2018). Co-simulation: Leveraging the Potential of Urban Energy System Simulation. Euroheat and Power (English Edition) . https://www.researchgate.net/publication/325084182_Co-Simulation_Leveraging_the_potential_of_urban_energy_system_simulation

Gomes, C., Jungers, R. M., Legat, B. & Vangheluwe, H. (2018). Minimally Constrained Stable Switched Systems and Application to Co-simulation. ArXiv. https://arxiv.org/pdf/1809.02648.pdf

Gomes, C., Barroca, B. & Amaral, V. (2014). Classification of Model Transformation Tools: Pattern Matching Techniques. I J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (red.), Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Bind 8767, s. 619-635). Springer. https://doi.org/10.1007/978-3-319-11653-2_38

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

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

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) http://msdl.cs.mcgill.ca/people/bentley/research/HintCO.pdf

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

Viser resultater 451 til 500 ud af 931

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering