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

Nielsen, C. B., Lausdahl, K. & Larsen, P. G. (2012). Using the Overture Tool as a More General Platform. Afhandling præsenteret på iFM & ABZ 2012, Pisa, Italien.

Bennedsen, J. & Schrey-Niemenmaa, K. (2016). Using Self-Evaluations for Collaborative Quality Enhancement - A Case Study. Afhandling præsenteret på 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. I 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (s. 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. I P. G. Larsen, N. Plat & N. Battle (red.), 14th Overture Workshop: Towards Analytic Tool Chains: Technical report ECE - TR - 28 (s. 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. I P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock & M. Palmieri (red.), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: International Conference on Software Engineering and Formal Methods (s. 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. I 18th CDIO International Conference Proceedings - Full papers (s. 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. I T. Facchinetti, A. Cenedese, L. L. Bello, S. Vitturi, T. Sauter & F. Tramarin (red.), 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation, ETFA 2024 IEEE. 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

Bennedsen, J., Rouvrais, S., Clark, R. & Schrey-Niemenmaa, K. (2015). Using Accreditation Criteria for Collaborative Quality Enhancement. Afhandling præsenteret på International Conference on Interactive Collaborative Learning, Firenze, Italien. http://www.weef2015.eu/Proceedings_WEEF2015/proceedings/papers/Contribution1092.pdf

Bennedsen, J., Georgsson, F. & Kontio, J. (2016). Updated Rubric for Self-Evaluation (v. 2.1). Afhandling præsenteret på 12th International CDIO Conference, Turku, Finland.

Larsen, P. G., Jørgensen, F. D. & Stadtmueller, J. M. (2005). Untangling Technology Debates on Information Sharing and Interoperability. Poster-session præsenteret på Military Communications Conference 2005, Atlantic City, USA.

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Unleashing the diversity of conceptual building renovation design: Integrating high-fidelity simulation with rapid constraint-based scenario generation. I S. Rockcastle, T. Rakha, C. Cerezo Davila, D. Papanikolaou & T. Zakula (red.), SimAUD 2019. 2019 Proceedings of the Symposium on Simulation for Architecture & Urban Design: 10th anniversary edition (Bind 51, s. 29-36). The Society for Modeling and Simulation International (SCS). http://simaud.org/proceedings/download.php?f=SimAUD2019_Proceedings_HiRes.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Unit Testing for Qualitative Spatial and Temporal Reasoning. I Proceedings of the Twenty-Second International FLAIRS Conference (2009) (s. 402-407). AAAI Press. https://aaai.org/ocs/index.php/FLAIRS/2009/paper/viewFile/131/351

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

Foster, S. D., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F. (2018). Unifying theories of time with generalised reactive processes. Information Processing Letters, 135, 47-52. https://doi.org/10.1016/j.ipl.2018.02.017

Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, J. & Zeyda, F. (2020). Unifying theories of reactive design contracts. Theoretical Computer Science, 802, 105-140. https://doi.org/10.1016/j.tcs.2019.09.017

Foster, S. D. & Woodcock, J. (2013). Unifying Theories of Programming in Isabelle. I Z. Liu, J. Woodcock & H. Zhu (red.), Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures (Bind 1, s. 109-155). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39721-9

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

Bandur, V. & Woodcock, J. (2013). Unifying Theories of Logic and Specification. I J. Iyoda & L. de Moura (red.), Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Bind 1, s. 18-33). Springer. https://doi.org/10.1007/978-3-642-41071-0

McEwan, A. A. & Woodcock, J. (2008). Unifying Theories of Interrupts. I A. Butterfield (red.), Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (s. 122-141). Springer. https://doi.org/10.1007/978-3-642-14521-6_8

Oliveira, M., Cavalcanti, A. L. C. & Woodcock, J. (2006). Unifying Theories in ProofPower-Z. I S. Dunne & B. Stoddart (red.), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (s. 123-140). Springer. https://doi.org/10.1007/11768173_8

Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F. (2020). Unifying semantic foundations for automated verification tools in Isabelle/UTP. Science of Computer Programming, 197, Artikel 102510. https://doi.org/10.1016/j.scico.2020.102510

Woodcock, J. (2005). Unifying Program Refinement Calculi. I 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

Foster, S. D., Zeyda, F. & Woodcock, J. (2016). Unifying Heterogeneous State-Spaces with Lenses. I A. Sampaio & F. Wang (red.), Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (s. 295-314). Springer. https://doi.org/10.1007/978-3-319-46750-4_17

Cavalcanti, A. L. C., Sampaio, A. & Woodcock, J. (2005). Unifying classes and processes. Software and Systems Modeling, 4, 277–296. https://doi.org/10.1007/s10270-005-0085-2

Jahangir, M. F., Kamari, A. & Schultz, C. P. L. (2025). Unified and interoperable digital twin models for emergency evacuation using building simulation identity cards. Automation in Construction, 175, Artikel 106225. https://doi.org/10.1016/j.autcon.2025.106225

Feng, H., Gomes, C., Sandberg, M., Macedo, H. D. & Larsen, P. G. (2022). Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? I A. Cerone, M. Autili, A. Bucaioni, C. Gomes, P. Graziani, M. Palmieri, M. Temperini & G. Venture (red.), Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers (s. 143-155). Springer. https://doi.org/10.1007/978-3-031-12429-7_11

Tola, D. & Corke, P. (2023). Understanding URDF: A Dataset and Analysis.

Tola, D. & Corke, P. (2023). Understanding URDF: A Survey Based on User Experience.

Tola, D. & Corke, P. (2023). Understanding URDF: A Survey Based on User Experience. I Y. Jingang (red.), 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) IEEE. https://doi.org/10.1109/CASE56687.2023.10260660

Tola, D. & Corke, P. (2024). Understanding URDF: A Dataset and Analysis. IEEE Robotics and Automation Letters, 9(5), 4479-4486. Artikel 10478618. https://doi.org/10.1109/LRA.2024.3381482

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

Farooq, W., Islam, S. U., Khan, M. A., Rehman, S., Gulzari, U. A. & Boudjadar, J. (2022). UGAVs-MDVR: A Cluster-Based Multicast Routing Protocol for Unmanned Ground and Aerial Vehicles Communication in VANET. Applied Sciences, 12(23), Artikel 11995. https://doi.org/10.3390/app122311995

Haq, A. U., Bilal, M. & Mihovska, A. (2023). UAV communication aided by Intelligent Reflective Surfaces- A Performance Analysis in the context of Industry 4.0. Afhandling præsenteret på 25th Wireless Personal Multimedia Communications (WPMC) 2022, Herning, Danmark. https://wpmc-home.com/wpmc2022-aarhus-university/

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

Guven, Z. A. (2021). Türkce Ürün Yorumlari için BERT, ELECTRA ve ALBERT Dil Modellerinin Duygu Analizine Etkisi. I Proceedings - 6th International Conference on Computer Science and Engineering, UBMK 2021 (s. 629-632). IEEE. https://doi.org/10.1109/UBMK52708.2021.9559007

Guven, Z. A. (2021). Turkçe Tweetlerde Duygu Analizi için BERT Modellen ve Makine Ogrenme Yöntemlerinin Karçilaçtinlmasi. I Proceedings - 6th International Conference on Computer Science and Engineering, UBMK 2021 (s. 98-101). IEEE. https://doi.org/10.1109/UBMK52708.2021.9559014

Bogomolov, S., Fitzgerald, J., Foldager, F. F., Gamble, C., Larsen, P. G., Pierce, K., Stankaitis, P. & Wooding, B. (2021). Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System. I J. Fitzgerald, T. Oda & H. D. Macedo (red.), Proceedings of the 18th International Overture Workshop (s. 50-65) https://arxiv.org/pdf/2101.07261.pdf

Andras, P., Esterle, L., Guckert, M., Han, T. A., Lewis, P. R., Milanovic, K., Payne, T., Perret, C., Pitt, J., Powers, S. T., Urquhart, N. & Wells, S. (2018). Trusting Intelligent Machines: Deepening Trust Within Socio-Technical Systems. IEEE Technology and Society Magazine, 37(4), 76-83. Artikel 8558724. https://doi.org/10.1109/MTS.2018.2876107

Larsen, P. G. & Fitzgerald, J. (2007). Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. University of Newcastle upon Tyne. http://www.cs.ncl.ac.uk/research/pubs/trs/papers/999.pdf

Fitzgerald, J. S. & Larsen, P. G. (2006). Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. I Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006 IEEE. https://doi.org/10.1109/ISoLA.2006.33

Tang, X. & Woodcock, J. (2004). Travelling Processes. I D. Kozen (red.), Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings (s. 381-399). Springer. https://doi.org/10.1007/978-3-540-27764-4_20

Bennedsen, J. & Øien, G. (2023). TRANSNATIONAL COLLABORATION ON LIFELONG LEARNING BETWEEN HIGHER ENGINEERING EDUCATION INSTITUTIONS: A UNIVERSITY PERSPECTIVE. I G. Reilly, M. Murphy, B. V. Nagy & H.-M. Jarvinen (red.), SEFI 2023 - 51st Annual Conference of the European Society for Engineering Education: Engineering Education for Sustainability, Proceedings (s. 173-182). European Society for Engineering Education (SEFI). https://doi.org/10.21427/2F51-E932

Autili, M., Bellman, K. L., Diaconescu, A., Esterle, L., Tivoli, M. & Zisman, A. (2017). Transition strategies for increasing self-awareness in existing types of computing systems. I Self-Aware Computing Systems (s. 305-336). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_10

Lausdahl, K. G., Bjerge, K., Bokhove, T., Groen, F. & Larsen, P. G. (2017). Transitioning from Crescendo to INTO-CPS. I J. S. Fitzgerald, P. W. V. Tran-Jørgensen & T. Oda (red.), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering: Proceedings (s. 16-30). Newcastle University.

Nilsson, R. S., Lausdahl, K. G., Macedo, H. D. & Larsen, P. G. (2018). Transforming an industrial case study from VDM++ to VDM-SL. I K. Pierce & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 107-123). Newcastle University. https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf#section*.14

Chronopoulos, C., Teizer, J. & Esterle, L. (2022). Trajectory Prediction: A Review of Methods and Challenges in Construction Safety. I J. Teizer & C. P. Leslie Schultz (red.), Proceedings of the 29thEG-ICE International Workshop on Intelligent Computing in Engineering (s. 428-438). European Group for Intelligent Computing in Engineering (EG-ICE). https://doi.org/10.7146/aul.455.c233

Khooban, M. H., Vafamand, N. & Boudjadar, J. (2019). Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships. Complexity (Print), 2019, Artikel 5358316. https://doi.org/10.1155/2019/5358316

Foster, S. D. & Woodcock, J. (2017). Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. I T. Gibson-Robinson, P. Hopcroft & R. Lazić (red.), Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (s. 39-64). Springer International Publishing. https://doi.org/10.1007/978-3-319-51046-0_3

Lund, J., Jensen, L. B., Macedo, H. D. & Larsen, P. G. (2022). Towards UML and VDM Support in the VS Code Environment. I H. D. Macedo & K. Pierce (red.), Proceedings of the 20th International Overture Workshop (s. 50-65) https://doi.org/10.48550/arXiv.2208.10233

Viser resultater 51 til 100 ud af 1057

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering