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

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

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

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

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. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 76-90). Newcastle University.

Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 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. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 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. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 3-16). Newcastle University.

Fitzgerald, J., Ishikawa, F. & Larsen, P. G. (2020). Editorial to the theme section on model-based engineering of smart systems. Software and Systems Modeling, 19(3), 579-580. https://doi.org/10.1007/s10270-019-00758-5

Vafamand, N., Mardani, M. M., Khooban, M. H., Blaabjerg, F. & Boudjadar, J. (2019). Pulsed power load effect mitigation in DC shipboard microgrids: A constrained model predictive approach. IET Power Electronics, 12(9), 2155-2160. https://doi.org/10.1049/iet-pel.2018.6159

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Towards a BIM-based Decision Support System for rapid generation and evaluation of holistic renovation scenarios. CIB Proceedings, 244-254. Article 24. http://itc.scix.net/pdfs/w78-2019-paper-024.pdf

Piechotta, C., Jensen, A. E., Olsen, M. G., Coleman, J. W. & Larsen, P. G. (2013). A secure dynamic collaboration environment in a cloud context. In CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science (pp. 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

Talasila, S. R. K. P. & Lucani Rötter, D. E. (2019). Generalized Deduplication: Lossless Compression by Clustering Similar Data. In Proceeding of the 2019 IEEE 8th International Conference on Cloud Networking, CloudNet 2019 Article 9064140 IEEE. https://doi.org/10.1109/CloudNet47604.2019.9064140

Nielsen, L., Vestergaard, R., Yazdani, N., Talasila, S. R. K. P., Lucani Rötter, D. E. & Sipos, M. (2019). Alexandria: A Proof-of-concept Implementation and Evaluation of Generalised Data Deduplication. In 2019 IEEE Globecom Workshops, GC Wkshps 2019 - Proceedings Article 9024368 IEEE. https://doi.org/10.1109/GCWkshps45667.2019.9024368

Gheisarnejad, M., Karimaghaee, P., Boudjadar, J. & Khooban, M. H. (2019). Real-Time Cellular Wireless Sensor Testbed for Frequency Regulation in Smart Grids. IEEE Sensors Journal, 19(23), 11656-11665. Article 8794525. https://doi.org/10.1109/JSEN.2019.2934599

Toor, A., Islam, S. U., Sohail, N., Akhunzada, A., Boudjadar, J., Khattak, H. A., Din, I. U. & Rodrigues, J. J. P. C. (2019). Energy and performance aware fog computing: A case of DVFS and green renewable energy. Future Generation Computer Systems, 101, 1112-1121. https://doi.org/10.1016/j.future.2019.07.010

Kulik, T., Tran-Jørgensen, P. W. V. & Boudjadar, J. (2019). Compliance verification of a cyber security standard for Cloud-connected SCADA. In Global IoT Summit, GIoTS 2019 - Proceedings Article 8766363 IEEE. https://doi.org/10.1109/GIOTS.2019.8766363

Bjerge, K., Frigaard, C. E., Mikkelsen, P. H., Nielsen, T. H., Misbih, M. & Kryger, P. (2019). A computer vision system to monitor the infestation level of Varroa destructor in a honeybee colony. Computers and Electronics in Agriculture, 164(September), Article 104898. https://doi.org/10.1016/j.compag.2019.104898

Displaying results 451 to 500 out of 866

Back to the main page

Revised 10.08.2023

AU Engineering