Aarhus Universitets segl

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

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
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. Artikel 2530001. https://doi.org/10.1145/2530001
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), Artikel 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. Artikel 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. I Natural Computing Series (s. 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. I Natural Computing Series (s. 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. I Self-aware Computing Systems: An Engineering Approach (s. 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. I D. D’Souza & K. Narayan Kumar (red.), Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Proceedings (s. 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. I Self-Aware Computing Systems (s. 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. I T. Margaria & A. Legay (red.), 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 (s. 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. I Self-Aware Computing Systems (s. 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. Afhandling præsenteret på 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, USA. https://doi.org/10.1109/SASO.2017.9
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. I Self-Aware Computing Systems (s. 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. I Self-Aware Computing Systems (s. 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. I Self-Aware Computing Systems (s. 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. I Self-Aware Computing Systems (s. 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. I Self-Aware Computing Systems (s. 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. I Self-Aware Computing Systems (s. 709-722). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_26
Esterle, L., Bellman, K. L., Becker, S., Koziolek, A., Landauer, C. & Lewis, P. (2017). Assessing self-awareness. I Self-Aware Computing Systems (s. 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
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. Artikel 8558724. https://doi.org/10.1109/MTS.2018.2876107
Esterle, L. (2018). "Resistance is futile": Using the borg to teach collective computing systems. I Set Phasers to Teach!: Star Trek in Research and Teaching (s. 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
Li, B., Bhatt, M. & Schultz, C. (2019). λProlog(QS): Functional spatial reasoning in higher order logic programming. I S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (red.), 14th International Conference on Spatial Information Theory, COSIT 2019 Artikel 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. I Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019: Proceedings Artikel 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. I Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society (s. 4063-4067). Artikel 8927457 IEEE. https://doi.org/10.1109/IECON.2019.8927457
Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M. & Larsen, P. G. (2019). ViennaDoc: An Animatable and Testable Specication Documentation Tool. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 76-90). Newcastle University.
Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 47-62). Newcastle University.
Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2019). Towards a Static Check of FMUs in VDM-SL. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 17-32). Newcastle University. https://www.researchgate.net/publication/336409277_Towards_a_Static_Check_of_FMUs_in_VDM-SL
Møldrup Legaard, C., Thule, C. & Larsen, P. G. (2019). Towards Graphical Conguration in the INTO-CPS Application. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 3-16). Newcastle University.
Piechotta, C., Jensen, A. E., Olsen, M. G., Coleman, J. W. & Larsen, P. G. (2013). A secure dynamic collaboration environment in a cloud context. I CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science (s. 406-415)
Vafamand, N., Khooban, M. H., Dragicevic, T., Blaabjerg, F. & Boudjadar, J. (2019). Robust Non-Fragile Fuzzy Control of Uncertain DC Microgrids Feeding Constant Power Loads. IEEE Transactions on Power Electronics, 34(11), 11300-11308. https://doi.org/10.1109/TPEL.2019.2896019