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

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.

Khooban, M. H. & Boudjadar, J. (2019). Virtual Inertia Control Based-Superconducting Magnetic Energy Storage in Modern AC Stand-Alone Grids. In Control and Optimization of Renewable Energy Systems / 860: Mechatronics and Control - 2019 https://doi.org/10.2316/P.2019.859-007

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

Gheisarnejad, M., Boudjadar, J. & Khooban, M. H. (2019). A New Adaptive Type-II Fuzzy-Based Deep Reinforcement Learning Control: Fuel Cell Air-Feed Sensors Control. IEEE Sensors Journal, 19(20), 9081-9089. Article 8744606. https://doi.org/10.1109/JSEN.2019.2924726

Gheisarnejad, M., Moghadam, M., Boudjadar, J. & Khooban, M. H. (2020). Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid with Nonlinear load and Non-Dispatchable DG. IEEE Systems Journal, 14(1), 1058-1068. Article 8771151. https://doi.org/10.1109/JSYST.2019.2927112

Barnes, C., Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Nelson, P. R., Stein, A., Stewart, C. & Tomforde, S. (2019). CHARIOT – Towards a Continuous High-level Adaptive Runtime Integration Testbed. 52-55. Paper presented at SELF-IMPROVING SYSTEM INTEGRATION, Umeå, Sweden. https://doi.org/10.1109/FAS-W.2019.00026

Barnes, C., Esterle, L. & Brown, J. NA. (2019). ”When you believe in things that you don’t understand”: the effect of cross-generational habits on self-improving system integration. 28-31. Paper presented at SELF-IMPROVING SYSTEM INTEGRATION, Umeå, Sweden. https://doi.org/10.1109/FAS-W.2019.00020

Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2019). Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. Paper presented at IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italy. https://doi.org/10.1109/RTSI.2019.8895596

Larsen, P. G., Fitzgerald, J., Woodcock, J., König, C., Basagiannis, S., Brosse, E., Gomes, C., Cabral, J., Macedo, H. D., Thule, C., Sadovykh, A., Zamfirescu, C.-B., Neghina, M., Pierce, K., Gamble, C. & Payne, R. (2018). The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide. http://into-cps.org/fileadmin/into-cps.org/Filer/INTO-CPS-Manifesto.pdf

Bandur, V., Larsen, P. G., Lausdahl, K., Thule, C., Gamble, C., Payne, R., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Bokhove, T., Kleijn, C. & Couto, L. D. (2017). INTO-CPS tool chain user manual. Aarhus University. https://into-cps.github.io/download/

Khooban, M. H., Gheisarnejad, M., Vafamand, N., Jafari, M., Mobayen, S., Dragicevic, T. & Boudjadar, J. (2019). Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. IEEE Systems Journal, 13(4), 4281-4291. https://doi.org/10.1109/JSYST.2019.2911210

Bennedsen, J. & Caspersen, M. E. (2019). Failure rates in introductory programming: 12 years later. A C M Inroads, 10(2), 30-36. https://doi.org/10.1145/3324888

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Constraint-based renovation design support through the renovation domain model. Automation in Construction, 104, 265-280. https://doi.org/10.1016/j.autcon.2019.04.023

Macedo, H. D., Nilsson, R. S. & Larsen, P. G. (2019). Embedding deviation-tolerance in a harvest logistic solution. Computers, 8(2). https://doi.org/10.3390/computers8020031

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Unleashing the diversity of conceptual building renovation design: Integrating high-fidelity simulation with rapid constraint-based scenario generation. In S. Rockcastle, T. Rakha, C. Cerezo Davila, D. Papanikolaou & T. Zakula (Eds.), SimAUD 2019. 2019 Proceedings of the Symposium on Simulation for Architecture & Urban Design: 10th anniversary edition (Vol. 51, pp. 29-36). The Society for Modeling and Simulation International (SCS). http://simaud.org/proceedings/download.php?f=SimAUD2019_Proceedings_HiRes.pdf

Khooban, M. H., Gheisarnezhad , M., Vafamand, N. & Boudjadar, J. (2019). Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. IEEE Transactions on Intelligent Vehicles, 4(2), 255-264. Article 8671754. https://doi.org/10.1109/TIV.2019.2904415

Rafiei Foroushani, M., Khooban, M. H., Afshari-Igder, M. & Boudjadar, J. (2020). A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System. IEEE Transactions on Circuits and Systems II: Express Briefs, 67(2), 320-324. Article 8668570. https://doi.org/10.1109/TCSII.2019.2905639

Vafamand, N., Khooban, M. H., Dragicevic, T., Boudjadar, J. & Asemani, M. H. (2019). Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Systems Journal, 13(3), 3233-3241. https://doi.org/10.1109/JSYST.2019.2892528

Kulik, T., Tran-Jørgensen, P. W. V. & Boudjadar, J. (2019). Formal Security Analysis of Cloud-Connected Industrial Control Systems. In J. L. Lanet & C. Toma (Eds.), Innovative Security Solutions for Information Technology and Communications - 11th International Conference, SecITC 2018, Revised Selected Papers: SECITC 2018 - International Conference on Security for Information Technology and Communications (Vol. 11359, pp. 71-84). Springer. https://doi.org/10.1007/978-3-030-12942-2_7

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Thule, C., Larsen, P. G. & Madsen, J. (2019). Distributed Co-simulation of Embedded Control Software Using INTO-CPS. In M. S. Obaidat, T. Ören & F. De Rango (Eds.), Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers: SIMULTECH 2017, Revised Selected Papers (pp. 33-54). Springer. https://doi.org/10.1007/978-3-030-01470-4_3

Thule, C., Lausdahl, K. G., Gomes, C., Meisl, G. & Larsen, P. G. (2019). Maestro: The INTO-CPS co-simulation framework. Simulation Modelling Practice and Theory, 92, 45-61. https://doi.org/10.1016/j.simpat.2018.12.005

Karamesouti, M., Schultz, C. P. L., Chipofya, M., Jan, S., Murcia Galeano, C. E., Schwering, A. & Timm, C. (2018). THE MAASAI OF SOUTHERN KENYA DOMAIN MODEL OF LAND USE. In ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences: ISPRS TC IV Mid-term Symposium “3D Spatial Information Science – The Engine of Change” (Vol. IV-4, pp. 105-112). International Society for Photogrammetry and Remote Sensing. https://doi.org/10.5194/isprs-annals-IV-4-105-2018

Displaying results 551 to 600 out of 970

Back to the main page

Revised 10.08.2023

AU Engineering