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

Chipofya, M., Schwering, A., Jan, S., Schultz, C. P. L. & Harason, E. (2015). Left/right relations for Qualitative Spatial Representation of Networks. I 14th Mexican International Conference on Artificial Intelligence

Lewis, P. R., Esterle, L., Chandra, A., Rinner, B. & Yao, X. (2013). Learning to be different: Heterogeneity and efficiency in distributed smart camera networks. International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 209-218. https://doi.org/10.1109/SASO.2013.20

Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J. (2020). Learning Safe Neural Network Controllers with Barrier Certificates. (s. 177-185). ArXiv. https://arxiv.org/pdf/2009.09826.pdf

Bennedsen, J. (2004). Learning Objects in Use. I The Internet Society: Advances in Learning, Commerce and Security (s. 61-68). WIT Pres.

Bennedsen, J. & Fjuk, A. (2006). Learning object-orientation by professional adults. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465. https://doi.org/10.1504/IJCEELL.2006.011890

Bennedsen, J. & Fjuk, A. (2006). Learning Object-Orientation by Professional Aduklts. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465.

Godsk, M., Hougaard, R. F. & Bennedsen, J. (2018). Learning Design, Learning Analytics, and Learning Management Systems. 2149–2154. Afhandling præsenteret på iCERi2018, Sevilla, Spanien.

Bennedsen, J., Keiding, T. B. & Godsk, M. (2020). Learning design and the tension between strategy and didactics. I J. Malmqvist, J. Bennedsen, K. Edström, N. Kuptasthien, A. Sripakagorn, J. Roslöf, I. Saemundsdottir & M. Siiskonen (red.), The 16th International CDIO Conference: Proceedings – Full Papers (Bind 2, s. 285-295). Chalmers tekniska högskola. https://research.chalmers.se/publication/519263/file/519263_Fulltext.pdf

Larsen, P. G., Fitzgerald, J. & Riddle, S. (2006). Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. I Technical Report: CS-TR-992

Beevi, F. H. A., Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014). Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. I C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (red.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Bind 291, s. 201-208). Springer. https://doi.org/10.1007/978-3-319-07596-9_22

Minku, L. L., Esterle, L., Nebehay, G. & Chen, R. (2016). Knowledge representation and modelling: Structures and trade-offs. I Natural Computing Series (s. 79-111). Springer. https://doi.org/10.1007/978-3-319-39675-0_6

Bennedsen, J. & Christensen, M. (2012). Key-factors for a Successful CDIO Implementation in a Danish Context. Afhandling præsenteret på 8th International CDIO Conference, Brisbane, Australien. http://www.cdio.org/files/document/file/key-factors_for_a_successful_cdio_implementation_in_a_danish_context_.pdf

Omori , Y., Araki, K. & Larsen, P. G. (2015). JODTool on the Overture Tool to manage formal requirement dictionaries. I Proceedings of the 13th Overture Workshop (Bind 2015-06, s. 3-17). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Esterle, L. & Brown, J. N. A. (2020). I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems. ACM Transactions on Cyber-Physical Systems, 4(4), Artikel 39. https://doi.org/10.1145/3375403

Amiri, M., Dehghani, M., Khayatian, A., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Investigation of Wind Energy Impact on Power Systems Stability Using Lyapunov Exponents. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 12-22). Springer. https://doi.org/10.1007/978-3-030-65796-3_2

Guimarães, G., Costa, I., Perkusich, M., Mendes, E., Santos, D., Almeida, H. & Perkusich, A. (2024). Investigating the relationship between personalities and agile team climate: A replicated study. Information and Software Technology, 169, Artikel 107407. https://doi.org/10.1016/j.infsof.2024.107407

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. I A. S. Kamkin, A. K. Petrenko & A. N. Terekhov (red.), Preliminary Proceedings of the 10th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (s. 223-228). Institute for System Programming of the Russian Academy of Sciences (ISPRAS). http://syrcose.ispras.ru/2016/SYRCoSE2016_Proceedings.pdf

Thule, C. & Larsen, P. G. (2016). Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS. Proceedings of the Institute for System Programming, 28(2), 139-156. https://doi.org/10.15514/ISPRAS-2016-28(2)-9

Bennedsen, J. (2008). Introduction to part I issues in introductory programming courses. I Reflections on the Teaching of Programming - Methods and Implementations (s. 3-5) https://doi.org/10.1007/978-3-540-77934-6_1

Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A. & Larsen, P. G. (2021). Introduction to Digital Twin Engineering. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 1-12). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552135

Wing, J. & Woodcock, J. (2000). Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17, 199–200. https://doi.org/10.1023/A:1026521916117

Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen, P. G. & Macedo, H. D. (2021). Introducing Regression Tests and Upgrades to the INTO-CPS Application. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, 2020, Revised Selected Papers: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (s. 311-317). Springer. https://doi.org/10.1007/978-3-030-67220-1_23

Bandur, V., Larsen, P. G., Lausdahl, K., Thule, C., Gamble, C., Payne, R., Pop, A., Brosse, E., Brauer, J., Lapschies, F., Groothuis, M., Bokhove, T., Kleijn, C. & Couto, L. D. (2017). INTO-CPS tool chain user manual. Aarhus University. https://into-cps.github.io/download/

Lausdahl, K., Ishikawa, H. & Larsen, P. G. (2015). Interpreting Implicit VDM Specifications using ProB. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, CS-TR-1446, 1-15. http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf

Larsen, P. G. & Verhoef, M. (2007). Interpreting Distributed System Architecture using VDM++ : A Case Study. Afhandling præsenteret på 5th Annual Conference on SYstems Engineering Research, Hoboken, USA. http://sse.stevens.edu/fileadmin/cser/2007/proceedings/13.pdf

Kakavandi, F., Han, P., de Reus, R., Larsen, P. G. & Zhang, H. (2023). Interpretable Fault Detection Approach With Deep Neural Networks to Industrial Applications. I 2023 International Conference on Control, Automation and Diagnosis (ICCAD 2023) IEEE. https://doi.org/10.1109/ICCAD57653.2023.10152435

David, I., Shao, G., Gomes, C., Tilbury, D. & Zarkout, B. (2025). Interoperability of Digital Twins: Challenges, Success Factors, and Future Research Directions. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 27-46). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_3

Bennedsen, J. B. (2010). Internship - how effective is it?. Poster-session præsenteret på 6th International CDIO Conference, Montréal, Canada.

Boudjadar, J. & Beck, M. M. (2021). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. Afhandling præsenteret på Intelligent Systems Conference , Amsterdam, Holland.

Boudjadar, J. & Beck, M. M. (2022). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. I K. Arai (red.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (s. 609-623). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-82196-8_45

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Integration of Tools for Rigorous Software Construction and Analysis. 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

Feng, H., Gomes, C., Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Larsen, P. G. & Sandberg, M. (2022). Integration Of The Mape-K Loop In Digital Twins. I C. R. Martin, N. Emami, M. J. Blas & R. Rezaee (red.), Proceedings of the 2022 Annual Modeling and Simulation Conference, ANNSIM (s. 102-113). IEEE. https://doi.org/10.23919/ANNSIM55834.2022.9859489

Masci, P., Monteiro Duarte Couto, L. D., Larsen, P. G. & Curzon, P. (2015). Integrating the PVSio-web modelling and prototyping environment with Overture. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 33-47). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Gil Arboleda, S., Schou, C., Mikkelsen, P. H. & Larsen, P. G. (2024). Integrating Skills into Digital Twins in Cooperative Systems. I 2024 IEEE/SICE International Symposium on System Integration (SII) (s. 1124-1131). IEEE. https://doi.org/10.1109/SII58957.2024.10417610

Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. I 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (s. 1-6). IEEE. https://doi.org/10.1109/CPSData.2016.7496424

Larsen, P. G., Thule, C., Lausdahl, K. G., Bandur, V., Gamble, C., Brosse, E., Sadovykh, A., Bagnato, A. & Couto, L. D. (2016). Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems. I P. G. Larsen, N. Plat & N. Battle (red.), The 14th Overture Workshop: Towards Analytical Tool Chains: Technical report ECE - TR - 28 (Bind 4/28, s. 63-79). Aarhus University, Department of Engineering. http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669

Ouy, J., Lecomte, T., Christiansen, M. P., Vill Henriksen, A., Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016). INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2. http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf

Abraham, E. (red.), Hallerstede, S. (red.), Hatcliff, J. (red.), Stewart, D. (red.) & Abou El Wafa, N. (2023). Integrated Rigorous Analysis in Cyber-Physical Systems Engineering. Dagstuhl Reports, 13(1), 155-183. https://doi.org/10.4230/DagRep.13.1.155

Schultz, C. P. L. & Bhatt, M. (2013). InSpace3D: A Middleware for Built Environment Data Access and Analytics. I W. Agresti, J. O. Aje, S. Baek, I. Bojanova, F. Bouthillier, F. J. Cantu Ortiz, A. Carswell, I. Casas, G. Darkazalli, E. A. Edmonds, C. Ghezzi, R. Khan, M. Koval, M. Levi, B. Lin & R. V. McCarthy (red.), Procedia Computer Science (Bind 18, s. 80-89) https://doi.org/10.1016/j.procs.2013.05.171

Abdolmaleki, H., Haugen, A. B., Merhi, Y., Nygaard, J. V. & Agarwala, S. (2023). Inkjet-printed flexible piezoelectric sensor for self-powered biomedical monitoring. Materials Today Electronics, 5, Artikel 100056. https://doi.org/10.1016/j.mtelec.2023.100056

Couto, L. D., Basagiannis, S., Ridouane, E. H., Hasanagic, M. & Larsen, P. G. (2018). Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (Bind 10729, s. 284-299). Springer. https://doi.org/10.1007/978-3-319-74781-1_20

Aher, G., Sandberg, M., Boudjadar, J. & Ramanujan, D. (2025). Informing circularity-focused design optimization using parametric life-cycle engineering simulation models. Smart and Sustainable Manufacturing Systems, 9(1), 11-36. https://doi.org/10.1520/SSMS20240018

Bicarregui, J. C., Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2009). Industrial Practice in Formal Methods : A Review. I FM 2009: Formal Methods : Lecture Notes in Computer Science (Bind 5850/2009, s. 810-813) https://doi.org/10.1007/978-3-642-05089-3_52

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, Artikel 100176. https://doi.org/10.1016/j.array.2022.100176

Fitzgerald, J., Bicarregui, J. C., Larsen, P. G. & Woodcock, J. C. P. (2013). Industrial Deployment of Formal Methods: Trends and Challenges. I A. Romanovsky & M. Thomas (red.), The DEPLOY book: Industrial deployment of system engineering methods providing high dependability and productivity Springer.

Verhoef, M. & Larsen, P. G. (2014). Industrial Application of Co-modelling and Co-simulation Technology. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 223-258). Springer. https://doi.org/10.1007/978-3-642-54118-6_11

Esterle, L. & Lux, M. (2011). Indexing digital images based on overlap. -, 134-137. https://doi.org/10.1109/MUE.2011.35

Hallerstede, S. (2009). Incremental System Modelling in Event-B. I F. S. D. Boer, M. M. Bonsangue & E. Madelaine (red.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (s. 139-158). Springer. https://doi.org/10.1007/978-3-642-04167-9_8

Larsen, P. G., Daniel Macedo, H. & Fitzgerald, J. (2008). Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. I FM 2008: Formal Methods: 15th International Symposium on Formal Methods

Larsen, M., Tran-Jørgensen, P. W. V. & Larsen, P. G. (2015). Improving Time Estimates in VDM-RT Models. I Proceedings of the 13th Overture workshop (Bind Grace-TR 2015-06, s. 90-103). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Viser resultater 451 til 500 ud af 989

Forrige

Næste

Back to the main page

Revideret 10.08.2023

AU Engineering