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

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

Ribeiro , A. & Larsen, P. G. (2010). Proof Obligation Generation and Discharging for Recursive Definitions in VDM. In Formal Methods and Software Engineering : Lecture Notes in Computer Science (40-55 ed., Vol. 6447). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_5

Bennedsen, J. (2004). Programming in context - A model-first approach to CS1. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 36(1), 477-481. https://doi.org/10.1145/1028174.971461

Caspersen, M. E., Bennedsen, J. B. & Ørhøj, K. (1993). Programkonstruktion - en introduktion til programmering med Pascal. Datamatikforlaget.

Caspersen, M. E., Bennedsen, J. B. & Ørhøj, K. (1993). Programkonstruktion - Algoritmekonstruktion og abstrakte datatyper. Datamatikforlaget.

Ørhøj, K., Bennedsen, J. & Caspersen, M. E. (1992). Programkonstruktion: en introduktion til programmering. (1. udgave, 1. oplag. ed.) Datamatikforlaget.

Hallerstede, S. (2014). Program Development in Event-B with Proof Outlines. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Kakavandi, F., de Reus, R., Gomes, C., Heidari, N., Iosifidis, A. & Larsen, P. G. (2022). Product Quality Control in Assembly Machine under Data Restricted Settings. In 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022 (pp. 735-741). IEEE. https://doi.org/10.1109/INDIN51773.2022.9976173

Hallerstede, S. & Kamburjan, E. (Eds.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Vol. 3507 https://ceur-ws.org/Vol-3507/

Larsen, P. G. & Bryans, J. (Eds.) (2009). Proceedings of the 7th OVERTURE Workshop 2nd November, 2009, Eindhoven. University of Newcastle upon Tyne. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series No. CS-TR-1177 http://www.cs.ncl.ac.uk/publications/trs/papers/1177.pdf

Macedo, H. D. & Pierce, K. (2023). Proceedings of the 21st International Overture Workshop. http://arxiv.org/pdf/2311.07120v2

Macedo, H. D. & Pierce, K. (Eds.) (2022). Proceedings of the 20th International Overture Workshop. https://doi.org/10.48550/arXiv.2208.10233

Macedo, H. D., Thule, C. & Pierce, K. (2021). Proceedings of the 19th International Overture Workshop. https://arxiv.org/abs/2110.09371

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (1998). Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society , 5(1). https://doi.org/10.1590/S0104-65001998000200002

Asplund, F., Macedo, H. D. & Sassanelli, C. (2021). Problematizing the Service Portfolio of Digital Innovation Hubs. In L. M. Camarinha-Matos, X. Boucher & H. Afsarmanesh (Eds.), Smart and Sustainable Collaborative Networks 4.0 - 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Proceedings: 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings (pp. 433-440). Springer. https://doi.org/10.1007/978-3-030-85969-5_40

Schultz, C. P. L., Bhatt, M. & Suchan, J. (2016). Probabilistic Spatial Reasoning in Constraint Logic Programming. In S. Schockaert & P. Senellart (Eds.), Scalable Uncertainty Management - 10th International Conference, SUM 2016, Proceedings (pp. 289-302). Springer. https://link.springer.com/chapter/10.1007/978-3-319-45856-4_20

Woodcock, J., Cavalcanti, A. L. C., Foster, S. D., Mota, A. & Ye, K. (2019). Probabilistic Semantics for RoboChart: A Weakest Completion Approach. In P. Ribeiro & A. Sampaio (Eds.), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (pp. 80-105). Springer. https://doi.org/10.1007/978-3-030-31038-7_5

Merhi, Y., Betancur, P. F., Ripolles, T. S., Suetta, C., Brage-Andersen, M. R., Hansen, S. K., Frydenlund, A., Nygaard, J. V., Mikkelsen, P. H., Boix, P. P. & Agarwala, S. (2023). Printed dry electrode for neuromuscular electrical stimulation (NMES) for e-textile. Nanoscale, 15(11), 5337-5344. https://doi.org/10.1039/d2nr06008f

Butterfield, A. & Woodcock, J. (2005). prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7, 248–267. https://doi.org/10.1007/s10009-004-0181-6

Derrick, J., A. Boiten, E., Woodcock, J. & von Wright, J. (2002). Preface: Volume 70, Issue 3. Electronic Notes in Theoretical Computer Science, 70(3), 1-2. https://doi.org/10.1016/S1571-0661(05)80478-5

Butler, M., Hallerstede, S. & Lecomte, T. (2013). Preface. In M. Butler, S. Hallerstede & M. Waldén (Eds.), Proceedings of the 4th Rodin User and Developer Workshop (Vol. TUCS Lecture Notes 18, pp. 3-3). Turku Centre for Computer Science. http://tucs.fi/publications/view/?pub_id=pBuHaWa13a

Bowen, J. P., Gomes, C. & Liu, Z. (2025). Preface. In J. P. Bowen, C. Gomes & Z. Liu (Eds.), Engineering Trustworthy Software Systems (pp. vii-xiv). Springer.

Cavalcanti, A. L. C. & Woodcock, J. (2003). Predicate transformers in the semantics of Circus. IEE Proceedings - Software, 2(150). https://doi.org/10.1049/ip-sen:20030131

Evans, V. T., Gomes, C. & Lucani Rötter, D. E. (2025). Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation. IEEE Internet of Things Journal, 12(3), 2674-2689. https://doi.org/10.1109/JIOT.2024.3476922

Larsen, P. G., Fitzgerald, J. S. & Fitzgerald, J. S. (2009). Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing, 21(3), 245-257. https://doi.org/10.1007/s00165-008-0068-5

Freitas, L., Woodcock, J. & Fu, Z. (2008). POSIX file store in Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 238-257. https://doi.org/10.1016/j.scico.2008.08.001

Freitas, L., Fu, Z. & Woodcock, J. (2007). POSIX file store in Z/Eves: an experiment in the verified software repository. In 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) (pp. 3-14). IEEE. https://doi.org/10.1109/ICECCS.2007.36

Freitas, L., Woodcock, J. & Butterfield, A. (2008). POSIX and the Verification Grand Challenge: A Roadmap. In K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (Eds.), ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS (pp. 153-162). IEEE COMPUTER SOC. https://doi.org/10.1109/ICECCS.2008.35

Schranz, T., Legaard, C. M., Tola, D. & Schweiger, G. (2021). Portable runtime environments for Python-based FMUs: Adding Docker support to UniFMU. In Proceedings of 14th Modelica Conference 2021 (pp. 419-424) https://doi.org/10.3384/ecp21181419

Kamari, A., Petersen, J. H. & Schultz, C. P. L. (2021). Popularizing DGNB in the Danish construction industry: A field study of the industry via a qualitative comparative analysis. In Proceedings of the 38th International Conference of CIB W78, Luxembourg, 13-15 October: Joint Conference CIB W78 - LDAC 2021 (pp. 638-649). Article 64. http://itc.scix.net/paper/w78-2021-paper-064

Cavalcanti, A. L. C., Harwood, W. & Woodcock, J. (2006). Pointers and Records in the Unifying Theories of Programming. In S. Dunne & B. Stoddart (Eds.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (pp. 200-216). Springer. https://doi.org/10.1007/11768173_12

Merhi, Y. (2025). Piezoelectric and Crystallinity Enhancements in Poly-L-Lactide Acid (PLLA) for Bioresorbable Biomedical Sensor.

Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL: Practical Use of Formal Specification to Develop a High Reliability Software. Paper presented at FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria. http://www.springerlink.com/content/177585277426658t/?p=4e271544acc0424b95f53516dc4e75f8&pi=0

Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software. Paper presented at Data Systems in Aerospace, Sevilla, Spain. http://adsabs.harvard.edu/full/1997ESASP.409..159D

Bennedsen, J. B. & Caspersen, M. E. (2012). Persistence of elementary programming skills. Computer Science Education, 22(2), 81-107. https://doi.org/10.1080/08993408.2012.692911

Sandberg, M., Kabachi, A., Volk, M., Bo Salling, F., Ermanni, P., Hattel, J. H. & Spangenberg, J. (2020). Permeability and compaction behaviour of air-texturised glass fibre rovings: A characterisation study. Journal of Composite Materials, 54(27), 4241-4252. https://doi.org/10.1177/0021998320926703

Talasila, P. & Lucani Rötter, D. E. (2021). Performance of Generalized Deduplication Under Different Input Conditions. In European Wireless Conference: 26th European Wireless Conference (pp. 84-90). IEEE. https://ieeexplore.ieee.org/document/9657095

Boudjadar, J., Kim, H. J. & Nadjm-Tehrani, S. (2016). Performance-aware Scheduling of Multicore Time-critical Systems. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 (pp. 105-114). Article 7797753 IEEE. https://doi.org/10.1109/MEMCOD.2016.7797753

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. In INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

Kamari, A., Kirkegaard, P. H. & Schultz, C. P. L. (2021). PARADIS - A process integrating tool for rapid generation and evaluation of holistic renovation scenarios. Journal of Building Engineering , 34, Article 101944. https://doi.org/10.1016/j.jobe.2020.101944

Gamble, C., Mansfield, M., Fitzgerald, J. & Larsen, P. G. (2015). Pacemaker Parameter Tuning using Crescendo. In Proceedings of the13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 116-131). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Thule, C., Lausdahl, K. G. & Larsen, P. G. (2018). Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 23-39). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.9

Boudjadar, J., Hyun Kim, J., Legay, A. & Choi, J.-Y. (2015). Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems https://www.researchgate.net/publication/284182983_Optimizing_the_Resource_Requirements_of_Hierarchical_Scheduling_Systems

Moradi, M., Gomes, C., Oakes, B. J. & Denil, J. (2019). Optimizing fault injection in fmi co-simulation through sensitivity partitioning. Simulation Series, 2019-July. https://bentleyjoakes.github.io/assets/publications/Moradi2019%20-%20Optimizing%20Fault%20Injection%20in%20FMI%20Co-Simulation%20Through%20Sensitivity%20Partitioning.pdf

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.

Displaying results 301 to 350 out of 965

Back to the main page

Revised 10.08.2023

AU Engineering