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

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

Esterle, L., Lewis, P. R., Caine, H., Yao, X. & Rinner, B. (2013). CamSim: A distributed smart camera network simulator. -, 19-20. https://doi.org/10.1109/SASOW.2013.11

Esterle, L., Lewis, P. R., Yao, X. & Rinner, B. (2014). Socio-economic vision graph generation and handover in distributed smart camera networks. ACM Transactions on Sensor Networks, 10(2), 1-24. Article 2530001. https://doi.org/10.1145/2530001

Simonjan, J., Esterle, L., Rinner, B., Nebehay, G. & Domínguez, G. F. (2014). Demo: Demonstrating autonomous handover in heterogeneous multi-camera systems. -. https://doi.org/10.1145/2659021.2669474

Esterle, L., Rinner, B. & Lewis, P. R. (2015). Self-Organising Zooms for Decentralised Redundancy Management in Visual Sensor Networks. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 41-50. https://doi.org/10.1109/SASO.2015.12

Lewis, P. R., Esterle, L., Chandra, A., Rinner, B., Torresen, J. & Yao, X. (2015). Static, dynamic, and adaptive heterogeneity in distributed smart camera networks. ACM Transactions on Autonomous and Adaptive Systems, 10(2), Article 8. https://doi.org/10.1145/2764460

Piciarelli, C., Esterle, L., Khan, A., Rinner, B. & Foresti, G. L. (2016). Dynamic Reconfiguration in Camera Networks: A Short Survey. IEEE Transactions on Circuits and Systems for Video Technology, 26(5), 965-977. Article 7095560. https://doi.org/10.1109/TCSVT.2015.2426575

Esterle, L. & Grosu, R. (2016). Cyber-physikalische Systeme: Herausforderung des 21. Jahrhunderts. Elektrotechnik und Informationstechnik, 133(7), 299-303. https://doi.org/10.1007/s00502-016-0426-6

Wang, S., Nebehay, G., Esterle, L., Nymoen, K. & Minku, L. L. (2016). Common techniques for self-awareness and self-expression. In Natural Computing Series (pp. 113-142). Springer. https://doi.org/10.1007/978-3-319-39675-0_7

Minku, L. L., Esterle, L., Nebehay, G. & Chen, R. (2016). Knowledge representation and modelling: Structures and trade-offs. In Natural Computing Series (pp. 79-111). Springer. https://doi.org/10.1007/978-3-319-39675-0_6

Esterle, L., Simonjan, J., Nebehay, G., Pflugfelder, R., Domínguez, G. F. & Rinner, B. (2016). Self-aware object tracking in multi-camera networks. In Self-aware Computing Systems: An Engineering Approach (pp. 261-277). Springer. https://doi.org/10.1007/978-3-319-39675-0_13

Tiwari, A., Smolka, S. A., Esterle, L., Lukina, A., Yang, J. & Grosu, R. (2017). Attacking the V: On the resiliency of adaptive-horizon MPC. In D. D’Souza & K. Narayan Kumar (Eds.), Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Proceedings (pp. 446-462). Springer. https://doi.org/10.1007/978-3-319-68167-2_29

Bellman, K. L., Landauer, C., Nelson, P., Bencomo, N., Götz, S., Lewis, P. & Esterle, L. (2017). Self-modeling and self-awareness. In Self-Aware Computing Systems (pp. 279-304). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_9

Lukina, A., Esterle, L., Hirsch, C., Bartocci, E., Yang, J., Tiwari, A., Smolka, S. A. & Grosu, R. (2017). ARES: Adaptive receding-horizon synthesis of optimal plans. In T. Margaria & A. Legay (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (pp. 286-302). Springer. https://doi.org/10.1007/978-3-662-54580-5_17

Kounev, S., Lewis, P., Bellman, K. L., Bencomo, N., Camara, J., Diaconescu, A., Esterle, L., Geihs, K., Giese, H., Götz, S., Inverardi, P., Kephart, J. O. & Zisman, A. (2017). The notion of self-aware computing. In Self-Aware Computing Systems (pp. 3-16). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_1

Esterle, L. (2017). Centralised, Decentralised, and Self-Organised Coverage Maximisation in Smart Camera Networks. 1-10. Paper presented at 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, United States. https://doi.org/10.1109/SASO.2017.9

Esterle, L. & Lewis, P. R. (2017). Online multi-object κ-coverage with mobile smart cameras. -, 107-112. https://doi.org/10.1145/3131885.3131909

Kephart, J. O., Diaconescu, A., Giese, H., Robertsson, A., Abdelzaher, T., Lewis, P., Filieri, A., Esterle, L. & Frey, S. (2017). Self-adaptation in Collective Self-aware Computing Systems. In Self-Aware Computing Systems (pp. 401-435). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_13

Autili, M., Bellman, K. L., Diaconescu, A., Esterle, L., Tivoli, M. & Zisman, A. (2017). Transition strategies for increasing self-awareness in existing types of computing systems. In Self-Aware Computing Systems (pp. 305-336). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_10

Diaconescu, A., Bellman, K. L., Esterle, L., Giese, H., Götz, S., Lewis, P. & Zisman, A. (2017). Architectures for collective self-aware computing systems. In Self-Aware Computing Systems (pp. 191-235). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_7

Maggio, M., Abdelzaher, T., Esterle, L., Giese, H., Kephart, J. O., Mengshoel, O. J., Papadopoulos, A. V., Robertsson, A. & Wolter, K. (2017). Self-adaptation for individual self-aware computing systems. In Self-Aware Computing Systems (pp. 375-399). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_12

Lewis, P., Bellman, K. L., Landauer, C., Esterle, L., Glette, K., Diaconescu, A. & Giese, H. (2017). Towards a framework for the levels and aspects of self-aware computing systems. In Self-Aware Computing Systems (pp. 51-85). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_3

Birke, R., Cámara, J., Chen, L. Y., Esterle, L., Geihs, K., Gelenbe, E., Giese, H., Robertsson, A. & Zhu, X. (2017). Self-aware computing systems: Open challenges and future research directions. In Self-Aware Computing Systems (pp. 709-722). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_26

Vejdanparast, A., Lewis, P. R. & Esterle, L. (2018). Online zoom selection approaches for coverage redundancy in visual sensor networks. -. https://doi.org/10.1145/3243394.3243697

Esterle, L., Bellman, K. L., Becker, S., Koziolek, A., Landauer, C. & Lewis, P. (2017). Assessing self-awareness. In Self-Aware Computing Systems (pp. 465-481). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_15

Lukina, A., Tiwari, A., Smolka, S. A., Esterle, L., Yang, J. & Grosu, R. (2018). Resilient control and safety for cyber-physical systems. -, 16-17. https://doi.org/10.1109/MT-CPS.2018.00015

Esterle, L. & Rinner, B. (2018). An Architecture for Self -Aware IOT Applications. ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, 6588-6592. https://doi.org/10.1109/ICASSP.2018.8462005

Esterle, L. (2018). CHAINMAIL: Distributed coordination for multi-task κ-Assignment using autonomous mobile IoT devices. -, 85-92. https://doi.org/10.1109/DCOSS.2018.00019

Andras, P., Esterle, L., Guckert, M., Han, T. A., Lewis, P. R., Milanovic, K., Payne, T., Perret, C., Pitt, J., Powers, S. T., Urquhart, N. & Wells, S. (2018). Trusting Intelligent Machines: Deepening Trust Within Socio-Technical Systems. IEEE Technology and Society Magazine, 37(4), 76-83. Article 8558724. https://doi.org/10.1109/MTS.2018.2876107

Esterle, L. & Brown, J. N. A. (2019). Levels of networked self-awareness. -, 237-238. https://doi.org/10.1109/FAS-W.2018.00054

Esterle, L. (2018). "Resistance is futile": Using the borg to teach collective computing systems. In Set Phasers to Teach!: Star Trek in Research and Teaching (pp. 107-115). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-73776-8_10

Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Stein, A., Tomforde, S. & Wurtz, R. P. (2019). Self-improving system integration - Status and challenges after five years of SISSY. -, 160-167. https://doi.org/10.1109/FAS-W.2018.00042

Esterle, L. (2019). Goal-aware team affiliation in collectives of autonomous robots. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 90-99. https://doi.org/10.1109/SASO.2018.00020

Taherinejad, N., Lewis, P., Jantsch, A., Rahmani, A. & Esterle, L. (2019). Resource constrained self-aware cyber-physical systems (Tutorial). -, 259-260. https://doi.org/10.1109/FAS-W.2019.00071

Couto, L. D., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2020). Enabling continuous integration in a formal methods setting. International Journal on Software Tools for Technology Transfer, 22(6), 667-683. https://doi.org/10.1007/s10009-019-00546-y

Li, B., Bhatt, M. & Schultz, C. (2019). λProlog(QS): Functional spatial reasoning in higher order logic programming. In S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (Eds.), 14th International Conference on Spatial Information Theory, COSIT 2019 Article 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.COSIT.2019.26

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U. M. (2019). Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. In Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019: Proceedings Article 8958666 IEEE. https://doi.org/10.1109/DS-RT47707.2019.8958666

Gheisarnejad, M., Khooban, M. H., Dragicevic, T. & Boudjadar, J. (2019). Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. In Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society (pp. 4063-4067). Article 8927457 IEEE. https://doi.org/10.1109/IECON.2019.8927457

Displaying results 501 to 550 out of 931

Back to the main page

Revised 10.08.2023

AU Engineering