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ér efter: Dato | Forfatter | Titel

Li, B., Bhatt, M. & Schultz, C. (2019). λProlog(QS): Functional spatial reasoning in higher order logic programming. I S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (red.), 14th International Conference on Spatial Information Theory, COSIT 2019 Artikel 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.COSIT.2019.26

Cavalcanti, A. L. C. & Woodcock, J. (2005). ZRC – A Refinement Calculus for Z. Formal Aspects of Computing, 10, 267–289. https://doi.org/10.1007/s001650050016

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

Hultman, T., Boudjadar, J. & Asplund, M. (2016). Workshop on Crowd Assisted Sensing, Pervacsive systems and Communications. I CASPeR 2016

Fleischmann, A., Glässer, U., Hayes , I., Hallerstede, S., Hansen , D., Voisin , L. & Winter, K. (2014). Working Groups: Comparison of Methods and Tools: Summary of Meeting of Workgroup on Methodology. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015). Widening the Schedulability of Hierarchical Scheduling Systems. I Formal Aspects of Component Software (s. 209-227). Springer. https://link.springer.com/chapter/10.1007/978-3-319-15317-9_14

Barnes, C., Esterle, L. & Brown, J. NA. (2019). ”When you believe in things that you don’t understand”: the effect of cross-generational habits on self-improving system integration. 28-31. Afhandling præsenteret på SELF-IMPROVING SYSTEM INTEGRATION, Umeå, Sverige. https://doi.org/10.1109/FAS-W.2019.00020

Evans, V. T., Gomes, C. & Lucani Rötter, D. E. (2026). When Every Transmission Counts: Event-Trigger Threshold Regulation for STL Properties. IEEE Internet of Things Journal, 13(4), 7040-7051. https://doi.org/10.1109/JIOT.2025.3637893

Schulte, C. & Bennedsen, J. (2006). What do Teachers Teach in Introductory Programming? I Proceedings of ICER´06: The Second International Computing Education Research Workshop (s. 17-28). ACM Press New York, NY, USA.

Bennedsen, J. & Schulte, C. (2006). What does "objects-first" mean? an international study of teachers' perception of objects-first. I Proceedings of the Sevnth Baltic Sea Conference on Computing Education Research (s. 21-30)

Chapman, R., White, N. & Woodcock, J. (2017). What can agile methods bring to high-integrity software development? Communications of the A C M, 60(10), 38-41. https://doi.org/10.1145/3133233

Mendes, E., Counsell, S. & Mosley, N. (2002). Web hypermedia cost estimation: further assessment and comparison off cost estimation modelling techniques. New Review of Hypermedia and Multimedia, 8(1), 199-229. https://doi.org/10.1080/13614560208914741

Wallace, J. (2009). Wandering Between Practices. Afhandling præsenteret på The 4^th Art of Management Conference, Banff, Canada.

Wallace, J. & Knudsen, L. E. D. (2023). Walking towards a method for multi-sited drawing. I J. Roldan, R. M. Viadel, M. Mosavarzadeh, K. Morimoto & R. L. Irwin (red.), Visual Methods, A/r/tography and Walking (s. 144-159). Tirant Lo Blanch.

Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D. & Larsen, P. G. (2021). Visual Studio Code VDM Support. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 35-50) https://arxiv.org/pdf/2101.07261.pdf

Staugaard, J., Bennedsen, J., Seidl, C., Nicolajsen, S., Fink, M. & Brabrand, C. (2024). Visualizing the Conceptual Framework of Object Orientation for Novice Programmers. I 2024 IEEE Frontiers in Education Conference, FIE 2024 - Proceedings IEEE. https://doi.org/10.1109/FIE61694.2024.10893141

H. Bohlbro, C., Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G. (2024). Visualisation in a Digital Twin Context. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 175-188). Springer. https://doi.org/10.1007/978-3-031-66719-0_8

Suchan, J., Bhatt, M., Walega, P. & Schultz, C. P. L. (2018). Visual Explanation by High-Level Abduction On Answer-Set Programming Driven Reasoning about Moving Objects. I 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (s. 1965-1972). AAAI Press. https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17303/15902

Khooban, M. H. & Boudjadar, J. (2019). Virtual Inertia Control Based-Superconducting Magnetic Energy Storage in Modern AC Stand-Alone Grids. I Control and Optimization of Renewable Energy Systems / 860: Mechatronics and Control - 2019 https://doi.org/10.2316/P.2019.859-007

Oda, T., Keijiro, A. & Larsen, P. G. (2018). ViennaVM: a Virtual Machine for VDM-SL development. I K. Pierce & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 39-57). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.10

Oda, T., Akari, K. & Larsen, P. G. (2016). ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. I IWST 2016 - Proceedings of the 11th International Workshop on Smalltalk Technologies, in conjunction with the 24th International Smalltalk Joint Conference: In conjunction with the 24th International Smalltalk Joint Conference Artikel 5 Association for Computing Machinery. https://doi.org/10.1145/2991041.2991045

Oda, T., Keijiro, A., Yamamoto, Y., Nakakoji, K., Hiroshi, S., Chang, H.-M. & Larsen, P. G. (2019). ViennaDoc: An Animatable and Testable Specication Documentation Tool. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 76-90). Newcastle University.

Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H.-M. & Larsen, P. G. (2020). ViennaDoc: An Animatable and Testable Speciﬁcation Documentation Tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.), Formal Methods: FM 2019 International Workshops (Bind Revised Selected Papers, Part II, s. 289-302). Springer. https://doi.org/10.1007/978-3-030-54997-8

Oda, T., Araki, K., Yamamoto, Y., Nakakoji, K., Sako, H., Chang, H. M. & Larsen, P. G. (2020). ViennaDoc: An animatable and testable specification documentation tool. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.), Formal Methods. FM 2019 International Workshops (s. 289-302). Springer. https://doi.org/10.1007/978-3-030-54997-8_19

Larsen, P. G., Fitzgerald, J. & Verhoef, M. (2008). Vienna Development Method. I B. W. Wah (red.), Wiley Encyclopedia of Computer Science and Engineering Wiley.

Bennedsen, J. (2004). Video mediering i programmeringsundervisningen - brug af videoer til at udfolde programmeringsprocessen. Tidsskrift for Universiteternes efter- og videreuddannelse, (3).

Freitas, L., Mokos, K. & Woodcock, J. (2007). Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. I 2007 IEEE International Conference on Engineering of Complex Computer Systems (Bind 1, s. 290-298). IEEE. https://doi.org/10.1109/ICECCS.2007.45

Freitas, L., Woodcock, J. & Zhang, Y. (2008). Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository. Science of Computer Programming, 74(4), 197-218. https://doi.org/10.1016/j.scico.2008.09.012

Meyer, B. & Woodcock, J. (red.) (2005). Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. I B. Meyer & J. Woodcock (red.), Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Bind 1). Springer. https://doi.org/10.1007/978-3-540-69149-5

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

Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Esterle, L., Porter, B. & Woodcock, J. (2021). Verification and Uncertainties in Self-integrating System. I 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (s. 220-225) https://doi.org/10.1109/ACSOS-C52956.2021.00050

Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8

Larsen, P. G., Fitzgerald, J. & Sahara, S. (2008). VDM Tools advances in support for formal modeling in VDM: Advances in Support for Formal Modeling in VDM. ACM SIGPLAN Notices, 43(2), 3-11. http://portal.acm.org/citation.cfm?id=1361214

Oda, T., Kusakabe, S., Chang, H.-M. & Larsen, P. G. (2022). VDM-SL in action: A FRAM-based approach to contextualise formal specifications. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 5-18) https://doi.org/10.48550/arXiv.2208.10233

Larsen, P. G. (2014). VDM-RT Language Summary. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 313-321). Springer. https://doi.org/10.1007/978-3-642-54118-6

Oda, T., Araki, K. & Larsen, P. G. (2015). VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification. I Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015 (Bind 2015, s. 33-39). Artikel 7166695 IEEE. https://doi.org/10.1109/FormaliSE.2015.13

Battle, N., Macedo, H. D. & Larsen, P. G. (2021). VDM Combinatorial Testing Guidelines.

Oda, T., Yamamoto, Y., Nakakoji, K., Araki, K. & Larsen, P. G. (2015). VDM Animation for a Wider Range of Stakeholders. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 18-32). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Kamari, A., Kirkegaard, P. H. & Schultz, C. P. L. (2021). Value Diversity as a Driver for Renovation Design Support: A Clustering-Based Approach to Accelerate the Exploration of Design Space. I E. Toledo Santos & S. Scheer (red.), Proceedings of the 18th International Conference on Computing in Civil and Building Engineering: ICCCBE 2020 (s. 207-227). Springer. https://doi.org/10.1007/978-3-030-51295-8_17

Salleh, N., Mendes, E., Mendes, F., Lekamlage, D. & Petersen, K. (2023). Value-based Software Engineering: A Systematic Mapping Study. E-Informatica Software Engineering Journal , 17(1), Artikel 230106. https://doi.org/10.37190/e-Inf230106

Larsen, P. G., Fitzgerald, J., Tjell, S. & Verhoef, M. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. University of Newcastle upon Tyne.

Hallerstede, S., Leuschel, M. & Plagge, D. (2013). Validation of Formal Models by Refinement Animation. Science of Computer Programming, 78(3), 272-292. https://doi.org/10.1016/j.scico.2011.03.005

Larsen, P. G., S. Fitzgerald, J., Mukherjee, P., Plat, N. & Verhoef, M. (2005). Validated Designs for Object-oriented Systems. Springer.

Perna, J. I. & Woodcock, J. (2008). UTP Semantics for Handel-C. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 142-160). Springer. https://doi.org/10.1007/978-3-642-14521-6_9

Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006). UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. I A. Riedl, W. Kainz & G. A. Elmes (red.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 udg., s. 27-42). Springer Berlin, Heidelberg. https://doi.org/10.1007/3-540-35589-8

Gil Arboleda, S., Zapata-Madrigal, G. D. & García-Sierra, R. (2021). Using X-Road to Implement Open Data in Electrical Systems and Promote the Integration with Smart City and Open Governance Strategies. TecnoLógicas, 24(52). https://doi.org/10.22430/22565337.1950

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

Larsen, P. G., Mukherjee, P. & Sunesen, K. (2000). Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Aspects of Computing, 12(4), 216. http://www.springerlink.com/content/pad3gyqh1kpdfr1r/

Bjerge, K. & Larsen, P. G. (2013). Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. I The Modelling, Identification and Control - MIC 2013 conference ACTA Press. https://doi.org/10.2316/P.2013.794-005

Viser resultater 1 til 50 ud af 1053

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering