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

Sandberg, M., Hattel, J. H. & Spangenberg, J. (2023). Flow‑Induced Fibre Compaction in Resin‑Injection Pultrusion. Transport in Porous Media, 147(3), 541-571. https://doi.org/10.1007/s11242-023-01911-x

Boudjadar, J., David, A., Hyun Kim, J., G. Larsen, K., Mikucionis, M., Nyman, U. M., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (pp. 74-83). IEEE Computer Society Press. https://doi.org/10.1109/ISORC.2015.21

Bennedsen, J. & Fennefoss, T. (2003). Fleksibel webundervisning vokser med opgaverne: programmeringskursus - et eksperiment i netstøttede undervisningsforløb. Tidsskrift for Universiteternes efter- og videreuddannelse, (1). http://ojs.statsbiblioteket.dk/index.php/unev/article/view/5007

Georgsen, M. & Bennedsen, J. (2004). Fleksibel læring og undervisning: erfaringer, konsekvenser og muligheder med ikt. Aalborg Universitetsforlag.

Woodcock, J. (2006). First Steps in the Verified Software Grand Challenge. Computer, 39(10), 57-64. https://doi.org/10.1109/MC.2006.340

Bennedsen, J. & Rouvrais, S. (2016). Finding Good Friends to Learn from and to Inspire. In FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business (Vol. 2016, pp. 1-8). Article 7757426 IEEE. https://doi.org/10.1109/FIE.2016.7757426

Hallerstede, S. & Leuschel, M. (2011). Finding Deadlocks of Event-B Models by Constraint Solving. Paper presented at B2011 Workshop, Limerick, Ireland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. In Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (pp. 37-46). IEEE. https://doi.org/10.1109/ACSOS58161.2023.00021

Domini, D., Aguzzi, G., Esterle, L. & Viroli, M. (2024). Field-Based Coordination for Federated Learning. In I. Castellani & F. Tiezzi (Eds.), Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings (pp. 56-74). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-62697-5_4

Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018). Features of Integrated Model-Based Co-modelling and Co-simulation Technology. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

Larsen, P. G., Fitzgerald, J. S., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2017). Features of Integrated Model-based Co-modelling and Co-simulation Technology. Paper presented at 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy. https://drive.google.com/open?id=0B2ej7mC7hWVrMEM0bjNqbWc1a0k

Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018). Features of integrated model-based co-modelling and co-simulation technology. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Vol. 10729, pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P. G., Miyazawa, A. & Perry, S. (2012). Features of CML: a formal modelling language for Systems of Systems. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384144

Freitas, L. & Woodcock, J. (2008). FDR Explorer. Formal Aspects of Computing, 21, 133–154. https://doi.org/10.1007/s00165-008-0074-7

Freitas, L. & Woodcock, J. (2007). FDR Explorer. Electronic Notes in Theoretical Computer Science, 187, 19-34. https://doi.org/10.1016/j.entcs.2006.08.042

Larsen, P. G., Esterle, L., Fitzgerald, J. & Frasheri, M. (2023). Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 222-236). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-40132-9_14

Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021). Fault Injecting Co-simulations for Safety. 6-13. Paper presented at 5th International Conference on System Reliability and Safety, Palermo, Italy. https://doi.org/10.1109/ICSRS53853.2021.9660728

Woodcock, J. (2025). Farewell Editorial. Formal Aspects of Computing, 37(4), Article 26. https://doi.org/10.1145/3773042

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

Macedo, H. D., Sassanelli, C., Larsen, P. G. & Terzi, S. (2021). Facilitating model-based design of cyber-manufacturing systems. Procedia CIRP, 104, 1936-1941. https://doi.org/10.1016/j.procir.2021.11.327

Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Merhi, Y. & Agarwala, S. (2022). Fabrication of flexible, and bioresorbable poly-l-lactide acid piezoelectric material with tunable properties. Materials Today: Proceedings, 70, 531-534. https://doi.org/10.1016/j.matpr.2022.09.553

Nielsen, C. B. & Larsen, P. G. (2012). Extending VDM-RT to Enable the Formal Modelling of System of Systems. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384144

Larsen, P. G. (2008). Extending VDM++ Enabling Industrial Applications for Distributed Embedded Real-time Systems. Paper presented at The 4th Malaysian Software Engineering Conference, Kuala Terengganu, Malaysia.

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2013). Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In F. Arbab & M. Sirjani (Eds.), 5th IPM International Conference on Fundamentals of Software Engineering (pp. 111-132). Springer. https://doi.org/10.1007/978-3-642-40213-5_8

Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F., Larsen, P. G. & Macedo, H. D. (2021). Extending the Formal Security Analysis of the HUBCAP sandbox. In H. D. Macedo, C. Thule & K. Pierce (Eds.), Proceedings of the 19th International Overture Workshop (pp. 36-50) https://arxiv.org/abs/2110.09371

Bennedsen, J. & Caspersen, M. E. (2008). Exposing the Programming Process. Lecture Notes in Computer Science, 4821, 6-16. https://doi.org/10.1007/978-3-540-77934-6

Larsen, P. G., Mukherjee, P., Bousquet, F., Delabre, J. & Paynter, S. (2000). Exploring Timing Properties using VDM++ on an Industrial Application. Paper presented at The Second VDM Workshop - in conjunction with ZB 2000, York, United Kingdom. http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf

Schultz, C. P. L. & Kamari, A. (2025). Exploring the renovation design space: A new iterative approach based on scenario distance metrics and resampling strategies. Building Simulation, 18(6), 1515-1542. https://doi.org/10.1007/s12273-025-1267-1

Vishnubhotla, S. D. & Mendes, E. (2024). Exploring the relation between personality traits and agile team climate: Aggregating results from a twice replicated study in a telecom company. Journal of Systems and Software, 210, Article 111937. https://doi.org/10.1016/j.jss.2023.111937

Kakavandi, F. & Larsen, P. G. (2023). Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line. In 2022 10th International Conference on Control, Mechatronics and Automation (ICCMA) (pp. 271-275). IEEE. https://doi.org/10.1109/ICCMA56665.2022.10011621

Hallerstede, S. & Leuschel, M. (2012). Experiments in Program Verification using Event-B. Formal Aspects of Computing, 24(1), 97-125. https://doi.org/10.1007/s00165-011-0205-4

Munk, F. B., Hesselvig, J., Nygaard, R. T. & Sandberg, M. (2026). Experimental and Numerical Investigation of Crystallization Kinetics in Selective Laser Sintering. engrXiv. https://doi.org/10.31224/6520

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Executive Summary; Integration of Tools for Rigorous Software Construction and Analysis seminar. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Bennedsen, J., Berge, O. & Fjuk, A. (2005). Examining Social Interaction Patterns for Online Apprenticeship Learning Object-Oriented Programming as the Knowledge Domain. European Journal of Open, Distance and E-Learning.

Oakes, B. J., Gomes, C., Larsen, P. G., Denil, J., Deantoni, J., Cambeiro, J. & Fitzgerald, J. (2023). Examining Model Qualities and Their Impact on Digital Twins. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 220-232). IEEE. https://ieeexplore.ieee.org/document/10155350

Coleman, J., Malmos, A. K., Nielsen, C. B. & Larsen, P. G. (2012). Evolution of the Overture Tool Platform. Paper presented at 10th overture workshop , Paris, France. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=13

Kondyli, V., Schultz, C. P. L. & Bhatt, M. (2017). Evidence-Based Parametric Design: Computationally Generated Spatial Morphologies Satisfying Behavioural-Based Design Constraints. In E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni & A. Ballatore (Eds.), 13th International Conference on Spatial Information Theory, COSIT 2017 (pp. 1-14). Article 11 https://doi.org/10.4230/LIPIcs.COSIT.2017.11

Sinclair, J. & Woodcock, J. (2015). Event refinement in state-based concurrent systems. Formal Aspects of Computing, 7, 266–288. https://doi.org/10.1007/BF01211074

Larsen, P. G. (1994). Evaluation of Underdetermined Explicit Expressions. Paper presented at Second International Symposium of Formal Methods Europe, Barcelona, Spain. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.6765&rep=rep1&type=pdf

G. Aydal, E., Freeman Paige, R. & Woodcock, J. (2007). Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. In H. Giese (Ed.), Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (pp. 194-205). Springer. https://doi.org/10.1007/978-3-540-69073-3_21

Bennedsen, J., Georgsson, F. & Kontio, J. (2014). Evaluating the CDIO Self-Evaluation. In Proceedings of the 10th International CDIO Conference Worldwide CDIO Initiative. http://www.cdio.org/files/document/cdio2014/69/69_Paper.pdf

Bennedsen, J. & Lauritsen, A. B. (2015). Evaluating rubrics for facilitating students’ learning. In E. de Graaff, M. Ferreras & N. A. Arexolaleiba (Eds.), Active Teachers - Active Students: Proceedings of the 13th International Workshop Active Learning in Engineering (ALE 2015) (pp. 117-129). Aalborg Universitetsforlag. http://vbn.aau.dk/files/219310287/ALE_2015_proceedings_final_2_.pdf

Merhi, Y., Lozano Montero, K., Johansen, P., Mantysalo, M. & Agarwala, S. (2025). Evaluating Piezoelectric Performance of Biodegradable PLLA Film and Its Application for Aortic Annuloplasty. https://chemrxiv.org/engage/chemrxiv/article-details/677788f9fa469535b99d3829

Frasheri, M., Struhar, V., Papadopoulos, A. V. & Causevic, A. (2022). Ethics of Autonomous Collective Decision-Making: The Caesar Framework. Science and Engineering Ethics, 28(6), Article 61. https://doi.org/10.1007/s11948-022-00414-0

Wallace, J. (2019). Ethics and inscription in social robot design. A visual ethnography. Paladyn, 10(1), 66-76. https://doi.org/10.1515/pjbr-2019-0003

Strandberg, P. E., Frasheri, M. & Enoiu, E. P. (2021). Ethical AI-Powered Regression Test Selection. In 2021 IEEE International Conference on Artificial Intelligence Testing (AITest) (pp. 83-84). IEEE. https://doi.org/10.1109/AITEST52744.2021.00025

Feng, H., Macedo, H. D. & Larsen, P. G. (2021). Estimating the maximum allowable delay bound for networked control systems using co-simulation and design space exploration. In M.-H. Khooban & T. Dragičević (Eds.), Control Strategy for Time-Delay Systems: Part II: Engineering Applications (Vol. 2, pp. 257-280). Academic Press.

Inci, E. O., Desmet, W., Gomes, C. & Croes, J. (2023). Error Estimators for Adaptive Scheduling Algorithm for Serial Co-Simulation. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 73-83). IEEE. https://ieeexplore.ieee.org/document/10155365

Becker, T., Agne, A., Lewis, P. R., Bahsoon, R., Faniyi, F., Esterle, L., Keller, A., Chandra, A., Jensenius, A. R. & Stilkerich, S. C. (2012). EPiCS: Engineering proprioception in computing systems. -, 353-360. https://doi.org/10.1109/ICCSE.2012.56

Displaying results 601 to 650 out of 1057

Back to the main page

Revised 13.11.2025

AU Engineering