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

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

Wallace, J. (2017). Prototypeudvikling af et læringsredskab. In C. Hasse & H. Skov (Eds.), Forskningens maskinrum: typiske tværfaglige udfordringer (pp. 103-118). U Press.

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

Hallerstede, S., Robby, Hatcliff, J., Belt, J. & Hardin, D. (2026). Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. In A. Remke & B. Steffen (Eds.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (pp. 39-58). Springer. https://doi.org/10.1007/978-3-032-00942-5_3

Bennedsen, J. (2004). Programming in context - A model-first approach to CS1. ACM SIGCSE Bulletin, 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

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

Andersen, M. S., Gomes, C., Thompson, S. & Larsen, P. G. (2025). Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. In Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (pp. 250-256). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00043

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://doi.org/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

Displaying results 301 to 350 out of 1053

Back to the main page

Revised 13.11.2025

AU Engineering