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

Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F. (2011). Safety-critical Java in Circus. In 9th Workshop on Java Technologies for Real-Time and Embedded System (pp. 20–29) https://doi.org/10.1145/2043910.2043915

Li, B., Schultz, C. P. L., Melzner, J., Golovina, O. & Teizer, J. (2020). Safe and Lean Location-based Construction Scheduling. In H. Osumi, H. Furuya & K. Tateyama (Eds.), Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (pp. 1409-1416). International Association for Automation and Robotics in Construction (IAARC). https://doi.org/10.22260/ISARC2020/0195

Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D. (2024). Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. In 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 121-127). IEEE. https://doi.org/10.1109/ACSOS-C63493.2024.00042

Ribeiro, A., Lausdahl, K. & Larsen, P. G. (2011). Run-Time Validation of Timing Constraints for VDM-RT Models. http://wiki.overturetool.org/index.php/9th_Overture_Workshop

Abrial, J.-R., Butler, M. J., Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010). Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447-466. https://doi.org/10.1007/s10009-010-0145-y

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

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

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2015). Robotic Design Choice Overview using Co-simulation and Design Space Exploration. Robotics, 4, 398-421. https://doi.org/10.3390/robotics4040398

Christiansen, M. P., Larsen, P. G. & Nyholm Jørgensen, R. (2014). Robotic design choice overview using co-simulation. Abstract from Agromek and NJF joint seminar, Herning, Denmark.

Tola, D., Gonçalves Gomes, C. Â., Schultz, C. P. L., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a Domain Model for Industrial Robot System Configurators. In A. Soylu, A. T. Nezhad, N. Nikolov, I. Toma, A. Fensel & J. Vennekens (Eds.), Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021 CEUR-WS.org. http://ceur-ws.org/Vol-2956/paper12.pdf

Tola, D., Gomes, C., Schultz, C., Schlette, C., Hansen, C. & Esterle, L. (2021). RoboCIM: Towards a domain model for industrial robot system configurators. CEUR Workshop Proceedings, 2956.

Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. (2019). RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling, 18(5), 3097–3149. https://doi.org/10.1007/s10270-018-00710-z

Frasheri, M., Ejersbo, H., Thule, C. & Esterle, L. (2021). RMQFMU: Bridging the Real World with Co-simulation For Practitioners. In H. D. Macedo, C. Thule & K. Pierce (Eds.), Proceedings of the 19th International Overture Workshop (pp. 66-80) https://arxiv.org/pdf/2110.09371.pdf

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Revising and Extending the Uppaal Communication Mechanism. In Software Composition (pp. 114-131). Springer. https://doi.org/10.1007/978-3-642-30564-1_8

Larsen, P. G. (1994). Response to “The Formal Specification of Safety Requirements for Storing Explosives”. Formal Aspects of Computing, 6(5), 565.

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

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. (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

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

Afshari-Igder, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Reliability and Safety Improvement of Emission-Free Ships: Systemic Reliability Centered Maintenance. IEEE Transactions on Transportation Electrification, 7(1), 256-266. Article 9220168. https://doi.org/10.1109/TTE.2020.3030082

Hallerstede, S. & Snook, C. (2011). Refining Nodes and Edges of State Machines. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

Woodcock, J. & Morgan, C. (2005). Refinement of state-based concurrent systems. In D. Bjørner, C. A. R. Hoare & H. Langmaack (Eds.), VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings (pp. 340-351). Springer. https://doi.org/10.1007/3-540-52513-0_18

Hallerstede, S. & Hoang, T. S. (2014). Refinement of decomposed models by interface instantiation. Science of Computer Programming, 94(P2), 144-163. https://doi.org/10.1016/j.scico.2014.05.005

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2002). Refinement of Actions in Circus. Electronic Notes in Theoretical Computer Science, 70(3), 132-162. https://doi.org/10.1016/S1571-0661(05)80489-X

Sampaio, A., Woodcock, J. & Cavalcanti, A. L. C. (2002). Refinement in Circus. In L.-H. Eriksson & P. A. Lindsay (Eds.), FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings (pp. 451-470). Springer. https://doi.org/10.1007/3-540-45614-7_26

Hallerstede, S. & Hoang, T. S. (2012). Refinement by interface instantiation. In J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (Eds.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Divakaran, S., D’Souza, D., Kushwah, A., Sampath, P., Sridhar, N. & Woodcock, J. (2015). Refinement-Based Verification of the FreeRTOS Scheduler in VCC. In M. Butler, S. Conchon & F. Zaïdi (Eds.), Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (pp. 170-186). Springer. https://doi.org/10.1007/978-3-319-25423-4_11

Abrial, J.-R. (Ed.), Butler, M. J. (Ed.), Joshi, R. (Ed.), Troubitsyna, E. & Woodcock, J. (Ed.) (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. In Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

Oda, T., Araki, K., Sahara, S., Chang, H.-M. & Larsen, P. G. (2021). Refactoring for Exploratory Specification in VDM-SL. In H. D. Macedo, C. Thule & K. Pierce (Eds.), Proceedings of the 19th International Overture Workshop (pp. 21-35) https://arxiv.org/abs/2110.09371

Larsen, P. G. & Fitzgerald, J. (2008). Recent Industrial Applications of VDM in Japan. Paper presented at FACS 2007 Christmas Workshop: Formal Methods in Industry, London, United Kingdom. http://www.bcs.org/server.php?show=conWebDoc.18557

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

Hasanagic, M., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2019). Realization of distributed system models using code generation extensions. Software: Practice & Experience, 49(3), 478-497. https://doi.org/10.1002/spe.2671

Talasila, P., Mikkelsen, P. H., Gil Arboleda, S. & Larsen, P. G. (2024). Realising Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 225-256). Springer. https://doi.org/10.1007/978-3-031-66719-0_11

Bogomolov, S., Gomes, C., Isasa, C., Soudjani, S., Stankaitis, P. & Wright, T. (2025). Reachability analysis of FMI models using data-driven dynamic sensitivity. Simulation, 101(5), 575-596. https://doi.org/10.1177/00375497241261409

Jan, S., Schwering, A., Schultz, C. P. L. & Chipofya, M. (2015). RCC11: A Finer Topological Representation for the Alignment of Regions in Sketch Maps. In 28th International Workshop on Qualitative Reasoning https://www.researchgate.net/publication/278685943_RCC11_A_Finer_Topological_Representation_for_the_Alignment_of_Regions_in_Sketch_Maps

Legaard, C. M., Gomes, C., Larsen, P. G. & Foldager, F. F. (2020). Rapid prototyping of self-adaptive-systems using python functional mockup units. Simulation Series, 52(3), 242-253.

Mota, A., Farias, A., Didier, A. & Woodcock, J. (2014). Rapid Prototyping of a Semantically Well Founded Circus Model Checker. In D. Giannakopoulou & G. Salaün (Eds.), Software Engineering and Formal Methods (pp. 235-249). Springer. https://doi.org/10.1007/978-3-319-10431-7_17

Hallerstede, S. (2014). Quasi-lexicographic convergence. Lecture Notes in Computer Science, 8477, 86-100. https://doi.org/10.1007/978-3-662-43652-3_7

Hyun Kim, J., Boudjadar, J., Nyman, U. M., Mikucionis, M., G. Larsen, K., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. In Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (pp. 91-100). IEEE. https://doi.org/10.1145/2737166.2737170 .

Deantoni, J., Muñoz, P., Gomes, C., Verbrugge, C., Mittal, R., Heinrich, R., Bellis, S. & Vallecillo, A. (2025). Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. Automatisierungstechnik: AT, 73(2), 81-99. https://doi.org/10.1515/auto-2024-0036

Gondorf, C., Schultz, C. P. L. & Bhatt, M. (2014). Qualitative Eye-Tracking Analyses of Problem Solving Strategies in Children with Dyslexia. In CILC2

Amor, R., Schultz, C. P. L., Lobb, B. & Guesgen, H. W. (2008). Qualitative design support for engineering and architecture. Advanced Engineering Informatics, 23(1), 68-80. https://doi.org/10.1016/j.aei.2008.07.003

Li, B., Dimyadi, J., Amor, R. & Schultz, C. P. L. (2020). Qualitative and Traceable Calculations for Building Codes. In Proceedings of the 37th CIB W78 Information Technology for Construction Conference (CIB W78) (pp. 69-84) https://doi.org/10.46421/2706-6568.37.2020.paper006

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, Article 102674. https://doi.org/10.1016/j.jnca.2020.102674

Kontio, J., Heikkenen, K., Georgsson, F., Bennedsen, J., Clark, R., Matthiasdottir, A., Hernon, P., Rouvrais, S. & Karhu, M. (2015). QA and Enhancement Marketplace for HEIs – An Erasmus+ project. In Proceedings CDIO 2015: 11th international CDIO conference Conceive Design Implement Operate: Collaboration and Extension http://rick.sellens.ca/CDIO2015/final/103/103_Paper.pdf

G. Aydal, E., Freeman Paige, R., Utting, M. & Woodcock, J. (2009). Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. In 2009 International Conference on Software Testing Verification and Validation (Vol. 1, pp. 131-140). IEEE. https://doi.org/10.1109/ICST.2009.20

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

Hallerstede, S. (2009). Proving Quicksort correct in Event-B. Electronic Notes in Theoretical Computer Science, 259, 47-65. https://doi.org/10.1016/j.entcs.2009.12.017

Vermolen, S., Hooman, J. & Larsen, P. G. (2010). Proving Consistency of VDM Models using HOL. In SAC '10 Proceedings of the 2010 ACM Symposium on Applied Computing ACM Press New York, NY, USA. https://doi.org/10.1145/1774088.1774608

Displaying results 251 to 300 out of 937

Back to the main page

Revised 10.08.2023

AU Engineering