Find

For students
For PhDs
For employees

Department of Electrical and Computer Engineering

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

Kamari, A. & Schultz, C. P. L. (2023). How can LCA inform early-stage design to meet Danish regulations? The sustainability opportunity metric. In E. Hjelseth, S. F. Sujan & R. J Scherer (Eds.), ECPPM 2022 - eWork and eBusiness in Architecture, Engineering and Construction 2022: Proceedings of the 14th European Conference on Product and Process Modelling (ECPPM 2022), September 14-16, 2022, Trondheim, Norway (pp. 27-34). CRC Press. https://doi.org/10.1201/9781003354222-4

Gomes, C., Oakes, B. J., Moradi, M., Torres Gamiz, A., Mendo, J. C., Dutre, S., Denil, J. & Vangheluwe, H. (2019). HintCO - Hint-Based Configuration of Co-Simulations. In SIMULTECH 2019 - Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (pp. 57-68) https://doi.org/10.5220/0007830000570068

Oakes, B. J., Gomes, C., Holzinger, F. R., Benedikt, M., Denil, J. & Vangheluwe, H. (2021). Hint-based configuration of co-simulations with algebraic loops. In M. S. Obaidat, M. S. Obaidat, M. S. Obaidat, T. Ören & H. Szczerbicka (Eds.), Simulation and Modeling Methodologies, Technologies and Applications - 9th International Conference, SIMULTECH 2019, Revised Selected Papers (pp. 1-28). Springer. https://doi.org/10.1007/978-3-030-55867-3_1

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2013). Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. In Formal Aspects of Component Software (pp. 61-78). Springer. https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6

Wenger, M., Vathoopan, M., Zoitl, A. & Prähofer, H. (2017). Hierarchically structured control application for pick and place station. In Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 (pp. 423-441). CRC Press Inc..

Woodcock, J., Foster, S. D. & Butterfield, A. (2016). Heterogeneous Semantics and Unifying Theories. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (Vol. 1, pp. 374-394). Springer. https://doi.org/10.1007/978-3-319-47166-2_26

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). H-Complexity Metric for Qualitative Spatial and Temporal Reasoning Applications. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: IJCAI-09 Contents (pp. 52-60). IJCAI Organization. https://pdfs.semanticscholar.org/12b5/5adfaf495e84f2e57988237691a8a2885b6b.pdf?_ga=2.69571411.251081761.1503904316-1579627791.1498545755

Johansen, K. W., Schultz, C. & Teizer, J. (2023). Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis. Computer-Aided Civil and Infrastructure Engineering, 38(15), 2128-2144. https://doi.org/10.1111/mice.12988

Esparza Isasa, J. A., Jørgensen, P. W. V. & Larsen, P. G. (2014). Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. In Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (pp. 209-216). SCITEPRESS Digital Library.

Keddis, N., Kainz, G., Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2016). Handling errors in dynamic production environments. IEEE International Conference on Industrial Informatics (INDIN), 148-153. https://doi.org/10.1109/INDIN.2016.7819149

G. Aydal, E., Woodcock, J. & Cavalcanti, A. L. C. (2007). Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. In J. Filipe, M. Helfert & B. Shishkov (Eds.), Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT (Vol. 1: ICSOFT, pp. 290-295.). SCITEPRESS Digital Library. https://doi.org/10.5220/0001324002900295

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

Frasheri, M., Miloradovic, B., Esterle, L. & Papadopoulos, A. V. (2023). GLocal: A Hybrid Approach to the Multi-Agent Mission Re-Planning Problem. Proceedings (IEEE Symposium Series on Computational Intelligence), 1696-1703. https://doi.org/10.1109/SSCI52147.2023.10371893

Larsen, P. G., Fitzgerald, J. & Coleman, J. W. (2012). Getting Software Engineering out of Isolation. Paper presented at SYRCoSE 2012, Perm, Russian Federation.

Boudjadar, J., Hyun Kim, J., Thi Xuan Phan, L., Lee, I., G. Larsen, K. & Nyman, U. M. (2018). Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (pp. 51-58). Article 8421146 IEEE. https://doi.org/10.1109/ISORC.2018.00015

Vindbjerg, L. K. & Esterle, L. (2024). Generative Models for Temporal-based Task Definition. 109-114. Paper presented at 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems. https://doi.org/10.1109/ACSOS-C63493.2024.00040

Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H. & Larsen, P. G. (2020). Generation of Co-simulation Algorithms Subject to Simulator Contracts. In J. Camara & M. Steffen (Eds.), Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (pp. 34-49). Springer. https://doi.org/10.1007/978-3-030-57506-9_4

Brandenbourger, B., Vathoopan, M. & Zoitl, A. (2017). Generating metamodel-based descriptions of automation components in AutomationML. In 2017 IEEE International Conference on Industrial Technology, ICIT 2017 (pp. 1159-1164). Article 7915526 IEEE. https://doi.org/10.1109/ICIT.2017.7915526

Hasanagic, M., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Generating Java RMI code for the distributed aspects of VDM-RT models. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 75-89). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Clark, J., Bendisposto, J., Hallerstede, S., Hansen, D. & Leuschel, M. (2016). Generating Event-B Specifications from Algorithm Descriptions. In M. Butler, K.-D. Schewe, A. Mashkoor & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings: ABZ 2016 (Vol. 9675, pp. 183-197). Springer. https://doi.org/10.1007/978-3-319-33600-8_11

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

Larsen, P. G., Fitzgerald, J., Gomes, C., Woodcock, J., Basagiannis, S., Ulisse, A., Esterle, L., Lucani Rötter, D. E., Hansen, S. T. & Oakes, B. J. (2024). Future Directions and Challenges. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 363-386). Springer. https://doi.org/10.1007/978-3-031-66719-0_15

Saleem, B., Badar, R., Manzoor, A., Judge, M. A., Boudjadar, J. & Islam, S. U. (2022). Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access, 10, 36464-36476. https://doi.org/10.1109/ACCESS.2022.3164455

Hallerstede, S., Hasanagic, M., Krings, S., Larsen, P. G. & Leuschel, M. (2018). From Software Specifications to Constraint Programming. In E. Broch Johnsen & I. Schafer (Eds.), Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (pp. 21-36). Springer. https://doi.org/10.1007/978-3-319-92970-5_2

Kirkelund, G. E. & Bennedsen, J. (2016). From PBL Supervisor to Product Owner: SCRUM based supervision of student projects. In Proceedings of SEFI Annual Conference: SEFI 2016 - the44th annnual conference European Society for Engineering Education (SEFI). http://www.sefi.be/conference-2016/papers/Engineering_Skills/kirkelund-from-pbl-supervisor-to-product-owner-104.pdf

Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A. L. C., Woodcock, J. & Timmis, J. (2018). From Formalised State Machines to Implementations of Robotic Controllers. In Springer Proceedings in Advanced Robotics (pp. 517-529). Springer. https://doi.org/10.1007/978-3-319-73008-0_36

Fitzgerald, J., Larsen, P. G. & Verhoef, M. (2014). From Embedded to Cyper-Physical Systems: Challenges and Future Directions. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 293-302). Springer. https://doi.org/10.1007/978-3-642-54118-6_14

Schilhab, T., Hasse, C. & Wallace, J. (2014). Fremtidsteknologi (ud)danner mennesker. Aktuel Naturvidenskab, (6), 44-46. http://aktuelnaturvidenskab.dk/fileadmin/Aktuel_Naturvidenskab/nr-6/AN6-2014fremtidstek.pdf

Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2013). Foundations for Model-based Engineering for Systems of Systems. In M. Aiguier, F. Boulanger, D. Krob & C. Marchal (Eds.), Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 (pp. 1-19). Springer VS. https://doi.org/10.1007/978-3-319-02812-5_1

Gomes, C., Oakes, B. J., Fitzgerald, J. & Larsen, P. G. (2024). Foundational Concepts for Digital Twins of Cyber-Physical Systems. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 45-63). Springer. https://doi.org/10.1007/978-3-031-66719-0_3

Larsen, P. G. (1993). Første VDM-SL standard på vej. IT standardnyt : et nyhedsbrev om edb-standardisering, 4(2), 14. http://pglconsult.dk/private/oversigt.pdf

Wright, T., Dennis, L. A., Woodcock, J. & Foster, S. (2025). Formal Verification of BDI Agents. In M. Hinchey & B. Steffen (Eds.), The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (pp. 302-326). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-73887-6_20

Larsen, P. G. & Fitzgerald, J. S. (1995). Formal Specification Techniques in the Commercial Development Process. Paper presented at ICSE-17 , Seattle, United States. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.51.8716&rep=rep1&type=pdf

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

Larsen, P. G., Fitzgerald, J. S., Brookes, T. M. & Green, M. A. (1995). Formal Modelling and Simulation in the Development of a Security-critical Message Processing System. Paper presented at Anglo-French Workshop in Formal Methods, Modelling and Simulation for System Engineering, St-Quentin en Yvelines, France. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.73.5053&rep=rep1&type=pdf

Ubys, L., Vancea, V. N., Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022). Formal Model In-The-Loop for Secure Industrial Control Networks. In Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer. https://doi.org/10.1007/978-3-031-20872-0_5

Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J. (2009). Formal Methods: Practice and Experience. A C M Computing Surveys, 41(4), 1-36. Article 19. https://doi.org/10.1145/1592434.1592436

De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (Eds.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Vol. 6286 https://doi.org/10.1007/978-3-642-17071-3

Wright, T., Gomes, C. & Woodcock, J. (2022). Formally Verified Self-adaptation of an Incubator Digital Twin. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 89-109). Springer. https://doi.org/10.1007/978-3-031-19762-8_7

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. In Proceedings of the 2020 Summer Simulation Conference (Vol. 52, pp. 254-265). Article 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

Butterfield, A. & Woodcock, J. (2007). Formalising Flash Memory: First Steps. In 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) IEEE. https://doi.org/10.1109/ICECCS.2007.23

Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016). Formalising and Validating the Interface Description in the FMI standard. In J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (Eds.), FM 2016: Formal Methods - 21st International Symposium, Proceedings (Vol. 9995, pp. 344-351). Springer. https://doi.org/10.1007/978-3-319-48989-6_21

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2005). Formal development of industrial-scale systems in Circus. Innovations in Systems and Software Engineering, 1, 125–146 . https://doi.org/10.1007/s11334-005-0014-0

Baxter, J., van Acker, B., Kristensen, M., Wright, T., Cavalcanti, A. & Gomes, C. (2025). Formal Architectural Patterns for Adaptive Robotic Software. In A. Boronat & G. Fraser (Eds.), Fundamental Approaches to Software Engineering. FASE 2025 (pp. 145-165). Springer. https://doi.org/10.1007/978-3-031-90900-9_8

Larsen, P. G., Fitzgerald, J. S. & Brookes, T. M. (1994). Formal and Informal Specifications of a Secure System Component : First Results in a Comparative Study. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.62.3901&rep=rep1&type=pdf

Larsen, P. G., Brookes, T. M. & Fitzgerald, J. S. (1996). Formal and Informal Specifications of a Secure System Component: Final results in a comparative study. Paper presented at FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, United Kingdom.

Madzar, B., Boudjadar, J., Dingel, J., Fuhrman, T. & S, R. (2017). Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. In O. Kouchnarenko & R. Khosravi (Eds.), Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Vol. 10231, pp. 153-171). Springer. https://doi.org/10.1007/978-3-319-57666-4_10

Gil, S., Baş, E. E., Jensen, C. D., Engelsgaard, S., Abbiati, G. & Gomes, C. (2025). FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards. (1 ed.) (pp. 198-203).

Larsen, P. G. & Woodcock, J. (Eds.) (1993). FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. Springer. Lecture Notes in Computer Science Vol. 670

Displaying results 551 to 600 out of 1057

12

Back to the main page

Revised 13.11.2025

-

AU Engineering