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

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. (pp. 177-185). ArXiv. https://doi.org/10.1007/978-3-030-62822-2_11

Zayed, Y. N. H. (2023). Towards a Human-Centered Framework for the Assessment of Subjective Social Values in Buildings. In J. Vanthienen, T. Kliegr, P. Fodor, D. Lanti, D. Arndt, E. V. Kostylev, T. Mitsikas & A. Soylu (Eds.), RuleML+RR-Companion 2023: RuleML+RR Challenge and Doctoral Consortium 2023 (Vol. 3485). CEUR-WS.org. https://ceur-ws.org/Vol-3485/paper6908.pdf

Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2024). The Anatomy of an Architect´s Argument: Formally Capturing Socially-Oriented Design Intentions in the Built Environment. In M. Srećković, M. Kassem, R. Soman & A. Chassiakos (Eds.), Proceedings of the 2024 European Conference on Computing in Construction (pp. 268-275) https://doi.org/10.35490/EC3.2024.186

Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2025). A Formalization Framework for Integrating Social Design Intentions into Digital Building Models. Sustainability, 17(17), Article 7739. https://doi.org/10.3390/su17177739

Zayed, Y. N. H., Kamari, A. & Schultz, C. P. L. (2025). Co-creation of Prospect: a BIM-based Plugin Enabling Architects to Embed Social Design Intentions in Building Models. Abstract from Joint EC3 (European Conference on Computing in Construction) and CIB W78 (Information Technology for Construction) 2025, Porto, Portugal. https://ec-3.org/publications/conferences/EC32025/papers/EC32025_173.pdf

Zayed, Y. N. H., Kristoffersen, A. E., Kamari, A. & Schultz, C. P. L. (2025). Leveraging Large Language Models in Capturing Architects Social Design Intentions in Buildings A Case Study. In Proceedings of SBE2025 Zurich: Sustainable Built Environment Conference (SBE25) https://doi.org/10.3929/ethz-c-000785697

Zayed, Y. N. H. (2026). Embedding Human-Centered Social Design Intentions in Digital Building Models. [PhD dissertation, Aarhus University].

Zambrano, V., Mueller-Roemer, J., Sandberg, M., Talasila, P., Zanin, D., Larsen, P. G., Loeschner, E., Thronicke, W., Pietraroia, D., Landofi, G., Fontana, A., Laspalas, M., Antony, J., Poser, V., Kiss, T., Bergweiler, S., Pena Serna, S., Izquierdo, S., Viejo, I. ... Stork, A. (2022). Industrial Digitalization in the Industry 4.0 era: Classification, Reuse and Authoring of Digital Models on Digital Twin Platforms. Array, 14, Article 100176. https://doi.org/10.1016/j.array.2022.100176

Yuksel, O., Sandberg, M., Baran, I., Ersoy, N., Hattel, J. H. & Akkerman, R. (2021). Material characterization of a pultrusion specific and highly reactive polyurethane resin system: Elastic modulus, rheology, and reaction kinetics. Composites Part B: Engineering, 207, Article 108543. https://doi.org/10.1016/j.compositesb.2020.108543

Yuksel, O., Sandberg, M., Hattel, J. H., Akkerman, R. & Baran, I. (2021). Mesoscale Process Modeling of a Thick Pultruded Composite with Variability in Fiber Volume Fraction. Materials, 14(13), Article 3763. https://doi.org/10.3390/ma14133763

Yelkotwar, P., Raj, R., Pingle, A., Talasila, P. & Goveas, N. (2025). On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms. In Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (pp. 236-242). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00041

Ye, K., Foster, S. D. & Woodcock, J. (2020). Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP. In A. Adamatzky & V. Kendon (Eds.), From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday (pp. 215-254). Springer. https://doi.org/10.1007/978-3-030-15792-0_10

Ye, K. & Woodcock, J. (2015). Model checking of state-rich formalism by linking to CSP∥B. International Journal on Software Tools for Technology Transfer, 19(1), 73–96. https://doi.org/10.1007/s10009-015-0402-1

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

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

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

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

Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S. & Larsen, P. G. (2014). Contracts in CML. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (pp. 54-73). Springer. https://doi.org/10.1007/978-3-662-45231-8_5

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

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

Woodcock, J., Wellings, A. & Cavalcanti, A. L. C. (2016). Mobile CSP. In M. Cornélio & B. Roscoe (Eds.), Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Proceedings (pp. 39-55). Springer. https://doi.org/10.1007/978-3-319-29473-5_3

Woodcock, J. (2014). Engineering UToPiA: Formal Semantics for CML. In C. Jones, P. Pihlajasaari & J. Sun (Eds.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 22-41). Springer. https://doi.org/10.1007/978-3-319-06410-9_3

Woodcock, J. & Bandur, V. (2012). Unifying Theories of Undefinedness in UTP. In B. Wolff, M.-C. Gaudel & A. Feliachi (Eds.), Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Vol. 1, pp. 1-22). Springer. https://doi.org/10.1007/978-3-642-35705-3

Woodcock, J., Oliveira, M., Burns, A. & Wei, K. (2010). Modelling and Implementing Complex Systems with Timebands. In Secure System Integration and Reliability Improvement (pp. 1-13) https://doi.org/10.1109/SSIRI.2010.7

Woodcock, J., Stepney, S., Cooper, D., Clark, J. & Jacob, J. (2007). The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects of Computing, 20(1), 5–19. https://doi.org/10.1007/s00165-007-0060-5

Woodcock, J. & Boca, P. (2008). ABZ2008 VSR-Net Workshop. In E. Börger, M. Butler, J. P. Bowen & P. Boca (Eds.), Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (pp. 378-379). Springer. https://doi.org/10.1007/978-3-540-87603-8_48

Woodcock, J. & Freitas, L. (2008). Linking VDM and Z. In K. Breitman, J. Woodcock, R. Sterritt & M. G. Hinchey (Eds.), 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) (pp. 143-152). IEEE. https://doi.org/10.1109/ICECCS.2008.36

Woodcock, J. (2008). The Miracle of Reactive Programming. In A. Butterfield (Ed.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (pp. 202-217). Springer. https://doi.org/10.1007/978-3-642-14521-6_12

Woodcock, J. & Banach, R. (2007). The Verification Grand Challenge. Journal of Universal Computer Science, 13(5), 661-668. http://www.jucs.org/jucs_13_5/the_verification_grand_challenge/jucs_13_5_0661_0668_woodcock.pdf

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

Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G. (2021). Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 72-87). Springer. https://doi.org/10.1007/978-3-030-83723-5_6

Woodcock, J. (2006). Verified Software Grand Challenge. In J. Misra, T. Nipkow & E. Sekerinski (Eds.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings (pp. 617-617). Springer. https://doi.org/10.1007/11813040_45

Woodcock, J. & Freitas, L. (2006). Z/Eves and the Mondex Electronic Purse. In K. Barkaoui, A. Cavalcanti & A. Cerone (Eds.), Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings (pp. 15-34). Springer. https://doi.org/10.1007/11921240_2

Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005). Operational Semantics for Model Checking Circus. In J. Fitzgerald, I. J. Hayes & A. Tarlecki (Eds.), FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (pp. 237-252). Springer. https://doi.org/10.1007/11526841_17

Woodcock, J. (2005). Unifying Program Refinement Calculi. In Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France https://www.researchgate.net/publication/221612404_Unifying_Program_Refinement_Calculi

Woodcock, J. & Cavalcanti, A. (2004). A Tutorial Introduction to Designs in Unifying Theories of Programming. In E. A. Boiten, J. Derrick & G. Smith (Eds.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings (pp. 40-66). Springer. https://doi.org/10.1007/978-3-540-24756-2_4

Woodcock, J. (2004). Using Circus for Safety-critical Applications. Electronic Notes in Theoretical Computer Science, 95, 3-22. https://doi.org/10.1016/j.entcs.2004.04.003

Woodcock, J. & Cavalcanti, A. L. C. (2002). The Semantics of Circus. In D. Bert, J. P. Bowen, M. C. Henson & K. Robinson (Eds.), ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings (pp. 184-203). Springer. https://doi.org/10.1007/3-540-45648-1_10

Woodcock, J. & Hughes, A. (2002). Unifying Theories of Parallel Programming. In C. George & H. Miao (Eds.), Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings (pp. 24-37). Springer. https://doi.org/10.1007/3-540-36103-0_5

Woodcock, J. & Cavalcanti, A. L. C. (2001). A Concurrent Language for Refinement. In A. Butterfield, G. Strong & C. Pahl (Eds.), IW-FM'01: Proceedings of the 5th Irish conference on Formal Methods (pp. 93–115). BCS Learning & Development Ltd. https://dl.acm.org/doi/10.5555/2227391.2227398

Woodcock, J., Gardiner , P. H. B. & Hulance, J. R. (1994). The Formal Specification in Z of Defence Standard 00-56. In J. P. Bowen & J. A. Hall (Eds.), Z User Workshop (pp. 9-28). Springer/BCS. https://doi.org/10.1007/978-1-4471-3452-7

Woodcock, J. (2005). A tutorial on the refinement calculus. In S. Prehn & H. Toetenel (Eds.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (pp. 79-140). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). An Introduction to Refinement in Z: A tutorial on the refinement calculus. In S. Prehn & W. J. Toetenel (Eds.), VDM´91 Formal Software Development Methods (Vol. 2, pp. 96-117). Springer Verlag. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). The Refinement Calculus. In S. Prehn & H. Toetenel (Eds.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (pp. 80-95). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1991). Two Refinement Case Studies. In S. Prehn & H. Toetenel (Eds.), VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings (pp. 118-140). Springer. https://doi.org/10.1007/BFb0019996

Woodcock, J. (1989). Structuring specifications in Z. Software Engineering Journal, 4(1), 51-66. https://doi.org/10.1049/sej.1989.0007

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

Woodcock, J. (2005). Using VDM with rely and guarantee-conditions: Experiences from a real project. In R. E. . Bloomfield, L. S. Marshall & R. B. Jones (Eds.), VDM '88 VDM — The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings (pp. 434-458). Springer. https://doi.org/10.1007/3-540-50214-9_27

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

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

Displaying results 1 to 50 out of 1028

Back to the main page

Revised 13.11.2025

AU Engineering