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 by: Date | Author | Title

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. In 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 (Eds.), Formal Methods: FM 2019 International Workshops (pp. 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. In 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 (Eds.), Formal Methods: FM 2019 International Workshops (pp. 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. In 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 (Eds.), Formal Methods. FM 2019 International Workshops (pp. 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, Article 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. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (Eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Proceedings (pp. 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. In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020 (pp. 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. In 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 (Eds.), Formal Methods: FM 2019 International Workshops (Vol. Revised Selected Papers, Part II, pp. 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), Article 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. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers: FISEE 2019 (pp. 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. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education: FISEE 2019 (pp. 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. In E. Toledo Santos & S. Scheer (Eds.), Proceedings of the 18th International Conference on Computing in Civil and Building Engineering: ICCCBE 2020 (pp. 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. In A. Rocha, L. Steels & J. van den Herik (Eds.), ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence (Vol. 1, pp. 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, Article 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, Article 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. In Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems (pp. 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. In J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (Eds.), The 16th International CDIO Conference: Proceedings – Full Papers (Vol. 2, pp. 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. In Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020 (pp. 98-108). Article 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. Paper presented at 8th International Conference on Formal Methods in Software Engineering, Seoul, Korea, Republic of. https://doi.org/10.1145/3372020.3391555

Larsen, P. G. (2020). Denmark’s first Centre for Digital Twins. In J. Bruun (Ed.), Profile 2020 (pp. 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. In J. Bruun (Ed.), Profile 2020 (pp. 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, Article 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. In 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 (pp. 1-11). Article 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. Article 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. In 19th Koli Calling International Conference on Computing Education Re-search (Koli Calling ’19), November 21–24, 2019, Koli, Finland Article 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. (2018). Classification of Model Transformation Tools: Pattern Matching Techniques. In J. Dingel, W. Schulte, I. Ramos, S. Abrahao & E. Insfran (Eds.), Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings (Vol. 8767, pp. 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. In B. Schweizer (Ed.), 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 (pp. 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. In 2018 IEEE Conference on Decision and Control (CDC) (pp. 5676-5681). Article 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. In SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 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

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

Khooban, M. H., Vafamand, N. & Boudjadar, J. (2019). Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships. Complexity (Print), 2019, Article 5358316. https://doi.org/10.1155/2019/5358316

Khooban, M. H., Gheisarnejad, M., Farsizadeh, H., Masoudian, A. & Boudjadar, J. (2020). A New Intelligent Hybrid Control Approach for DC/DC Converters in Zero-Emission Ferry Ships. IEEE Transactions on Power Electronics, 35(6), 5832-5841. Article 8890831. https://doi.org/10.1109/TPEL.2019.2951183

King, D. W., Esterle, L. & Peterson, G. L. (2019). Entropy-Based Team Self-Organization with Signal Suppression. In H. Fellermann, J. Bacardit, Á. Goñi Moreno & R. Füchslin (Eds.), ALIFE 2019: The 2019 Conference on Artificial Life (Vol. 31, pp. 145-152). MIT Press. https://doi.org/10.1162/isal_a_00154

Esterle, L. & Lux, M. (2011). Indexing digital images based on overlap. -, 134-137. https://doi.org/10.1109/MUE.2011.35

Esterle, L., Lewis, P. R., Bogdanski, M., Rinner, B. & Yao, X. (2011). A socio-economic approach to online vision graph generation and handover in distributed smart camera networks. -. https://doi.org/10.1109/ICDSC.2011.6042902

Becker, T., Agne, A., Lewis, P. R., Bahsoon, R., Faniyi, F., Esterle, L., Keller, A., Chandra, A., Jensenius, A. R. & Stilkerich, S. C. (2012). EPiCS: Engineering proprioception in computing systems. -, 353-360. https://doi.org/10.1109/ICCSE.2012.56

Rinner, B., Dieber, B., Esterle, L., Lewis, P. R. & Yao, X. (2012). Resource-aware configuration in smart camera networks. IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 58-65. https://doi.org/10.1109/CVPRW.2012.6239207

Esterle, L., Rinner, B., Lewis, P. R. & Yao, X. (2012). Improved adaptivity and robustness in decentralised multi-camera networks. -. https://ieeexplore.ieee.org/document/6470132

Dieber, B., Esterle, L. & Rinner, B. (2012). Distributed resource-aware task assignment for complex monitoring scenarios in visual sensor networks. -. https://ieeexplore.ieee.org/document/6470131

Van Moffaert, K., Brys, T., Chandra, A., Esterle, L., Lewis, P. R. & Nowe, A. (2014). A novel adaptive weight selection algorithm for multi-objective multi-agent reinforcement learning. -, 2306-2314. https://doi.org/10.1109/IJCNN.2014.6889637

Lewis, P. R., Esterle, L., Chandra, A., Rinner, B. & Yao, X. (2013). Learning to be different: Heterogeneity and efficiency in distributed smart camera networks. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 209-218. https://doi.org/10.1109/SASO.2013.20

Dieber, B., Simonjan, J., Esterle, L., Rinner, B., Nebehay, G., Pflugfelder, R. & Fernandez, G. J. (2013). Ella: Middleware for multi-camera surveillance in heterogeneous visual sensor networks. Paper presented at 2013 7th International Conference on Distributed Smart Cameras, ICDSC 2013, Palm Springs, CA, United States. https://doi.org/10.1109/ICDSC.2013.6778223

Displaying results 401 to 450 out of 866

Back to the main page

Revised 10.08.2023

AU Engineering