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

Li, B., Bhatt, M. & Schultz, C. (2019). λProlog(QS): Functional spatial reasoning in higher order logic programming. In S. Timpf, C. Schlieder, M. Kattenbeck, B. Ludwig & K. Stewart (Eds.), 14th International Conference on Spatial Information Theory, COSIT 2019 Article 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. 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

Hultman, T., Boudjadar, J. & Asplund, M. (2016). Workshop on Crowd Assisted Sensing, Pervacsive systems and Communications. In 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. 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

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. In Formal Aspects of Component Software (pp. 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. Paper presented at SELF-IMPROVING SYSTEM INTEGRATION, Umeå, Sweden. https://doi.org/10.1109/FAS-W.2019.00020

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

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

H. Bohlbro, C., Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G. (2024). Visualisation in a Digital Twin Context. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 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. In 32nd AAAI Conference on Artificial Intelligence, AAAI 2018: AAAI-18 (pp. 1965-1972). AAAI Press. https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17303/15902

Oda, T., Keijiro, A. & Larsen, P. G. (2018). ViennaVM: a Virtual Machine for VDM-SL development. In K. Pierce & M. Verheof (Eds.), The 16th Overture Workshop (Vol. CS-TR-1524, pp. 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. In 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 Article 5 Association for Computing Machinery. http://www.esug.org/data/ESUG2016/IWST/Papers/IWST_2016_paper_18.pdf

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. In C. Gamble & L. Diogo Couto (Eds.), Proceedings of the 17th Overture Workshop (pp. 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. In 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 (Eds.), Formal Methods: FM 2019 International Workshops (Vol. Revised Selected Papers, Part II, pp. 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. In 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 (Eds.), Formal Methods. FM 2019 International Workshops (pp. 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. In B. W. Wah (Ed.), Wiley Encyclopedia of Computer Science and Engineering Wiley.

Freitas, L., Mokos, K. & Woodcock, J. (2007). Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. In 2007 IEEE International Conference on Engineering of Complex Computer Systems (Vol. 1, pp. 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. (Eds.) (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. In B. Meyer & J. Woodcock (Eds.), 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 (Vol. 1). Springer. https://doi.org/10.1007/978-3-540-69149-5

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

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. In A. L. Lafuente & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems (pp. 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. In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) (pp. 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. In H. D. Macedo & K. Pierce (Eds.), Proceedings of the 20th International Overture Workshop (pp. 5-18) https://doi.org/10.48550/arXiv.2208.10233

Larsen, P. G. (2014). VDM-RT Language Summary. In J. Fitzgerald, P. G. Larsen & M. Verhoef (Eds.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (pp. 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. In Proceedings of the Third FME Workshop on Formal Methods in Software Engineering: Formalise 2015 (Vol. 2015, pp. 33-39). Article 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. In Proceedings of the 13th Overture Workshop (Vol. Grace-TR 2015-06, pp. 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. In E. Toledo Santos & S. Scheer (Eds.), Proceedings of the 18th International Conference on Computing in Civil and Building Engineering: ICCCBE 2020 (pp. 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), Article 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. Technical Report Series No. CS-TR-1017

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. In A. Butterfield (Ed.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (pp. 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. In A. Riedl, W. Kainz & G. A. Elmes (Eds.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 ed., pp. 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. 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

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. In The Modelling, Identification and Control - MIC 2013 conference ACTA Press. https://doi.org/10.2316/P.2013.794-005

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2012). Using the Overture Tool as a More General Platform. Paper presented at iFM & ABZ 2012, Pisa, Italy.

Bennedsen, J. & Schrey-Niemenmaa, K. (2016). Using Self-Evaluations for Collaborative Quality Enhancement - A Case Study. Paper presented at 12th International CDIO Conference, Turku, Finland.

M. dos Santos, O., Woodcock, J. & Freeman Paige, R. (2011). Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (pp. 117-126). IEEE. https://doi.org/10.1109/ICECCS.2011.19

Tran-Jørgensen, P. W. V., Larsen, P. G. & Battle, N. (2016). Using JML-based Code Generation to Enhance Test Automation for VDM Models. In P. G. Larsen, N. Plat & N. Battle (Eds.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (pp. 79-93). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Tøttrup, M. F., Hu, E. C., Kramer, B. A., Macedo, H. D. & Esterle, L. (2023). Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. In P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (Eds.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (pp. 200-209). Springer. https://doi.org/10.1007/978-3-031-26236-4_18

Bennedsen, J., Böttjer, T. & Tola, D. (2022). Using GitHub classroom in teaching programming. In 18th CDIO International Conference Proceedings - Full papers (pp. 690-702) https://www.diva-portal.org/smash/get/diva2:1705223/FULLTEXT01.pdf#page=704

Wewer, C. R., Mahapatra, H., Esterle, L. & Larsen, P. G. (2024). Using FactoryML for Deployment of Machine Learning Models in Industrial Production. In T. Facchinetti, A. Cenedese, L. L. Bello, S. Vitturi, T. Sauter & F. Tramarin (Eds.), 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ETFA61755.2024.10710938

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

Displaying results 1 to 50 out of 894

Back to the main page

Revised 10.08.2023

AU Engineering