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

Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. (2016). Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. I M. Tiziana & S. Bernhard (red.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (Bind II, s. 171-186). Springer. https://doi.org/10.1007/978-3-319-47169-3_13

Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022). Towards Secure Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 159-176). Springer. https://doi.org/10.1007/978-3-031-19762-8_11

Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo, H. D., Battle, N. & Larsen, P. G. (2020). Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. I J. Camara & M. Steffen (red.), Software Engineering and Formal Methods (s. 50-66). Springer. https://doi.org/10.1007/978-3-030-57506-9_5

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University. https://doi.org/10.7146/aul.545

Larsen, P. G. (1995). Towards Proof Rules for the Full Standard VDM Specification Language: Ph.D. Thesis. (1995-160 udg.) Danmarks Tekniske Universitet. IT-TR

Larsen, P. G. (1993). Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Afhandling præsenteret på Semantics of Specification Languages, Utrecht, Holland. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4818

Oakes, B., Gomes, C., Abbiati, G., Kamburjan, E., Bas, E. E. & Engelsgaard, S. (2024). Towards Ontological Service-Driven Engineering of Digital Twins. I Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (s. 464-469). Association for Computing Machinery. https://doi.org/10.1145/3652620.3688261

Tola, D., Böttjer, T., Larsen, P. G. & Esterle, L. (2022). Towards Modular Digital Twins of Robot Systems. I Proceedings - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022 (s. 95-100). IEEE. https://doi.org/10.1109/ACSOSC56246.2022.00040

Tang, X. & Woodcock, J. (2004). Towards Mobile Processes in Unifying Theories. I Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. IEEE. https://doi.org/10.1109/SEFM.2004.1347502

Fabbri, T., Verhoef, M., Bandur, V., Perrotin, M., Tsiodras, T. & Larsen, P. G. (2016). Towards integration of Overture into TASTE. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Electrical and Computer Engineering (Bind 4/28, s. 94-108). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Koeva, M., Bennett, R., Crommelinck, S., Stöcker, C., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M., Schultz, C. P. L., Zein, T., Biraro, M., Wayumba, R. & Kundert, K. (2017). Towards Innovative Geospatial Tools for Fit-for-Purpose Land Rights Mapping. I The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, (Bind XLII-2/W7, s. 37-43) https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-2-W7/37/2017/isprs-archives-XLII-2-W7-37-2017.pdf

Møldrup Legaard, C., Thule, C. & Larsen, P. G. (2019). Towards Graphical Conguration in the INTO-CPS Application. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 3-16). Newcastle University.

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. I 17TH OVERTURE WORKSHOP

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. Proceedings of the Institute for System Programming, 30(4), 79-94. https://doi.org/10.15514/ISPRAS-2018-30(4)-5

Kulik, T. & Larsen, P. G. (2018). Towards Formal Verification of Cyber Security Standards. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), SYRCoSE 2018: Preliminary Proceedings of the 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering (s. 20-25). Rossijskaja akademija nauk / Russian Academy of Sciences. http://syrcose.ispras.ru/2018/SYRCoSE2018_Proceedings.pdf

Kulik, T., Boudjadar, J. & Aranha, D. F. (2020). Towards Formally Verified Key Management for Industrial Control Systems. 119-129. Afhandling præsenteret på 8th International Conference on Formal Methods in Software Engineering, Seoul, Sydkorea. https://doi.org/10.1145/3372020.3391555

Frasheri, M., Talasila, P. & Scherma, V. (2025). Towards Federated Digital Twin Platforms. Electronic Proceedings in Theoretical Computer Science, EPTCS, 418, 32-38. https://doi.org/10.4204/EPTCS.418.4

Monteiro Duarte Couto, L. D., Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K. G. & Tran-Jørgensen, P. W. V. (2015). Towards Enabling Overture as a Platform for Formal Notation IDEs. I Proceedings of the 2nd International Workshop on Formal Integrated Development Environment: F-IDE 2015 (Bind 187, s. 14-27) https://doi.org/10.4204/EPTCS.187.2

Krukar, J., Schultz, C. P. L. & Bhatt, M. (2017). Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. I T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (red.), Proceedings - 11th International Space Syntax Symposium, SSS 2017 (s. 2549-2561). Artikel #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal. http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf

Tola, D., Madsen, E., Gomes, C., Esterle, L., Schlette, C., Hansen, C. & Larsen, P. G. (2022). Towards Easy Robot System Integration: Challenges and Future Directions. I 2022 IEEE/SICE International Symposium on System Integration (SII) (s. 77-82). IEEE. https://doi.org/10.1109/SII52469.2022.9708846

Li, B., Nielsen, R. O., Johansen, K. W., Teizer, J., Larsen, P. G. & Schultz, C. (2021). Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. 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. 153-174). Springer. https://doi.org/10.1007/978-3-030-83723-5_11

Kakavandi, F., Gomes, C., de Reus, R., Badstue, J., Jensen, J. L., Larsen, P. G. & Iosifidis, A. (2023). Towards Developing a Digital Twin for a Manufacturing Pilot Line: An Industrial Case Study. I E. Karaarslan, Ö. Aydin, Ü. Cali & M. Challenger (red.), Digital Twin Driven Intelligent Systems and Emerging Metaverse (s. 39-64). Springer. https://doi.org/10.1007/978-981-99-0252-1_2

Schultz, C. P. L., Li, B. & Teizer, J. (2020). Towards a Unifying Domain Model of Construction Safety: SafeConDM. I L. C. Ungureanu & T. Hartmann (red.), EG-ICE 2020 Workshop on Intelligent Computing in Engineering, Proceedings: Workshop on Intelligent Computing in Engineering (s. 363-372). Universitätsverlag der TU Berlin. https://doi.org/10.14279/depositonce-9977

Li, B., Schultz, C., Teizer, J., Golovina, O. & Melzner, J. (2022). Towards a unifying domain model of construction safety, health and well-being: SafeConDM. Advanced Engineering Informatics, 51, Artikel 101487. https://doi.org/10.1016/j.aei.2021.101487

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Towards A Theory of Application for QSTR Systems. I B. Nebel & S. Wölfl (red.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (s. 29-34). AAAI Press. https://www.cs.auckland.ac.nz/~trebor/papers/SCHU09D.pdf

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2019). Towards a Static Check of FMUs in VDM-SL. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 17-32). Newcastle University. https://www.researchgate.net/publication/336409277_Towards_a_Static_Check_of_FMUs_in_VDM-SL

Battle, N., Thule, C., Gomes, C., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 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. 272-288). Springer. https://doi.org/10.1007/978-3-030-54997-8_18

Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Boudjadar, J. & Macedo, H. D. (2019). Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. I Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018 (s. 37-46). Artikel 8600927 IEEE. https://doi.org/10.1109/DISTRA.2018.8600927

Jørgensen, P. W. V. & Larsen, P. G. (2013). Towards an Overture Code Generator. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop (Bind Technical Report ECE-TR-17, s. 22-27). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Christiansen, M. P., Bjerge, K., Edwards, G. T. C. & Larsen, P. G. (2012). Towards a Methodology for Modelling and Validation of an Agriculture vehicle's Dynamics and Control. Afhandling præsenteret på International Conference on Integrated Modeling and Analysis in Applied Control and Automation, Wien, Østrig.

Wei, K. & Woodcock, J. (2015). Towards Algebraic Semantics of Circus Time. I D. Naumann (red.), Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (s. 84-104). Springer. https://doi.org/10.1007/978-3-319-14806-9_5

Schultz, C. P. L., Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G. & Kamari, A. (2023). Towards a human-centred framework for representing and reasoning about social values in buildings. 1-10. Afhandling præsenteret på 30th EG-ICE: International Conference on Intelligent Computing in Engineering. https://www.ucl.ac.uk/bartlett/construction/sites/bartlett_construction/files/towards_a_human-centred_framework_for_representing_and_reasoning_about_social_values_in_buildings.pdf

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

Chronopoulos, C., Johansen, K. W., Teizer, J., Schultz, C. P. L. & Esterle, L. (2021). Towards a Holistic, Self-Organised Safety Framework for Construction. I Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 (s. 238-243). IEEE. https://doi.org/10.1109/ACSOS-C52956.2021.00060

Lewis, P., Bellman, K. L., Landauer, C., Esterle, L., Glette, K., Diaconescu, A. & Giese, H. (2017). Towards a framework for the levels and aspects of self-aware computing systems. I Self-Aware Computing Systems (s. 51-85). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-47474-8_3

Larsen, P. G., Meincke Arentoft, M., Monahan, B. & Bear, S. (1989). Towards a Formal Semantics of the BSI/VDM Specification Language. Afhandling præsenteret på Information Processing 89, San Francisco, USA. http://pglconsult.dk/private/ifip.pdf

Paredis, R., Gonçalves Gomes, C. Â. & Vangheluwe, H. (2021). Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures: I H. Panetto, M. Macchi & K. Madani (red.), Proceedings of the 2nd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021 (s. 174-182). SCITEPRESS Digital Library. https://doi.org/10.5220/0010717600003062

Foldager, F. F., Thule, C., Balling, O. & Larsen, P. G. (2021). Towards a Digital Twin - Modelling an Agricultural Vehicle. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV (s. 109-123). Springer. https://doi.org/10.1007/978-3-030-83723-5_8

Lumer-Klabbers, G., Hausted, J. O., Kvistgaard, J. L., Macedo, H. D., Frasheri, M. & Larsen, P. G. (2021). Towards a digital twin framework for autonomous robots. I W. K. Chan, B. Claycomb, H. Takakura, J.-J. Yang, Y. Teranishi, D. Towey, S. Segura, H. Shahriar, S. Reisman & S. I. Ahamed (red.), 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) (s. 1254-1259). IEEE. https://doi.org/10.1109/COMPSAC51774.2021.00174

Schultz, C. P. L. & Bhatt, M. (2012). Towards a Declarative Spatial Reasoning System. I Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (s. 925-926). IOS Press Amsterdam. https://doi.org/10.3233/978-1-61499-098-7-925

Lausdahl, K., Coleman, J. W. & Larsen, P. G. (2012). Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim. Afhandling præsenteret på 10th overture workshop , Paris, Frankrig. http://eprint.ncl.ac.uk/file_store/production/186969/A035CB6F-B782-42ED-9C1F-CB4C29820CC0.pdf#page=34

Kamari, A., Schultz, C. P. L. & Kirkegaard, P. H. (2019). Towards a BIM-based Decision Support System for rapid generation and evaluation of holistic renovation scenarios. CIB Proceedings, 244-254. Artikel 24. http://itc.scix.net/pdfs/w78-2019-paper-024.pdf

Gil Arboleda, S., Oakes, B. J., Gomes, C., Frasheri, M. & Larsen, P. G. (2025). Toward a systematic reporting framework for Digital Twins: a cooperative robotics case study. Simulation, 101(3), 313-339. https://doi.org/10.1177/00375497241261406

Schultz, C. P. L. & Bhatt, M. (2011). TOWARD ACCESSING SPATIAL STRUCTURE FROM BUILDING INFORMATION MODELS. I Proceedings of 28th Urban Data Management Symposium (s. 25-30). CRC Press, Taylor & Francis Group. https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XXXVIII-4-C21/25/2011/isprsarchives-XXXVIII-4-C21-25-2011.pdf

Rausch, C., Talebi, S., Poshdar, M., Li, B. & Schultz, C. (2022). Tolerance management domain model for semantic enrichment of BIMs. Automation in Construction, 141, Artikel 104394. https://doi.org/10.1016/j.autcon.2022.104394

Hallerstede, S. (2018). Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. Formal Aspects of Computing, 30(3-4), 491-492. https://doi.org/10.1007/s00165-018-0454-6

Vafamand, N., Khooban, M. H., Dragicevic, T., Boudjadar, J. & Asemani, M. H. (2019). Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Systems Journal, 13(3), 3233-3241. https://doi.org/10.1109/JSYST.2019.2892528

Merhi, Y., Agarwala, S., Goumarre, V. O. Y., Lozano Montero, K., Mantysalo, M., Klarskov, P. & Amarasinghe, Y. (2024). THz Spectroscopy Analysis of Crystallinity Optimization for Enhanced Piezoelectricity in Biodegradable Poly-L-Lactide Acid. I FLEPS 2024 - IEEE International Conference on Flexible and Printable Sensors and Systems, Proceedings: Conference Proceedings (s. 1-4). IEEE. https://doi.org/10.1109/FLEPS61194.2024.10604083

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. I F. Calimeri, K. Hamlen & N. Leone (red.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Bind 10702, s. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5

Viser resultater 101 til 150 ud af 989

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering