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

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 (Bind 1, 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. (2018). 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

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, Artikel 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. Artikel 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. I H. Fellermann, J. Bacardit, Á. Goñi Moreno & R. Füchslin (red.), ALIFE 2019: The 2019 Conference on Artificial Life (Bind 31, s. 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. Afhandling præsenteret på 2013 7th International Conference on Distributed Smart Cameras, ICDSC 2013, Palm Springs, CA, USA. https://doi.org/10.1109/ICDSC.2013.6778223

Viser resultater 401 til 450 ud af 866

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering