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

Bidrag til bog-antologi

Bhatt, M., Suchan, J., Kondyli, V. & Schultz, C. P. L. (2016). Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. I Proceedings of the ACM Symposium on Applied Perception, SAP 2016 (s. 133-133) https://doi.org/10.1145/2931002.2948720

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. I INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

Bhatt, M., Schultz, C. P. L. & Huang, M. (2012). The Shape of Empty Space: Human-Centred Cognitive Foundations in Computing for Spatial Design. I Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (s. 33-40). IEEE. http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6344477

Bennedsen, J. & Schulte, C. (2006). A Competence Model for Object-Interaction in Introductory Programming. I Proceedings of the 18th Workshop of the Psychology of Programming Interest Group (s. 215-229)

Bennedsen, J. & Larsen, P. G. (2010). A Innovative Engineering Summer School V2.0. I Proceedings of the 6th International CDIO Conference http://www.cdio.org/knowledge-library/documents/innovative-engineering-summer-school-v20

Bennedsen, J., Øien, G. E. D., Foo, E., Goh, E., Roslöf, J., Cheah, S. M. & Gelten, H. (2024). An international university perspective on barriers and enablers for lifelong learning in engineering. I L. Bettaieb, N. Ajailia, J. Bennedsen, K. Edstrom, M. N. Singh, R. Lyng, N. Maynard, J. Malmqvist & F. Bystrom (red.), 20th International CDIO Conference, CDIO 2024 - Proceedings (s. 481-494). Chalmers tekniska högskola.

Bennedsen, J. & Lauritsen, A. B. (2014). An Inverted Math Course. I V.-B. Valquiria & O. Giovannini (red.), Attracting young people to engineering: ALE 2014 (s. 119-128). Editora Abenge. http://vbaco01.ucs.br/aleEvento/images/files/Proceedings_ALE_2014_final_version.pdf

Bennedsen, J. & Caspersen, M. E. (2006). Assessing Process and Product: A Practical Lab Exam for an Introductory Programming Course. I Proceedings of the 36th Fronties in Education Conference (s. 16-21). IEEE Computer Society Press. https://doi.org/10.1109/FIE.2006.322434

Bennedsen, J. (2021). Assessing students' professional criticism skills - a mathematics course case. I J. Bennedsen, K. Edström, M. S. Gudjonsdottir, I. Sæmundsdóttir, N. Kuptasthien, J. Roslöf & A. Sripakagorn (red.), The 17^th International CDIO Conference: Proceedings - Full papers (s. 293-302). Chulalongkorn University. http://www.cdio2021.chula.ac.th/download/CDIO2021_proceeding.pdf

Bennedsen, J. & Øien, G. E. D. (2024). A unified didactic foundation for Aarhus University's tech faculty: Experiences and impact. I L. Bettaieb, N. Ajailia, J. Bennedsen, K. Edstrom, M. N. Singh, R. Lyng, N. Maynard, J. Malmqvist & F. Bystrom (red.), 20th International CDIO Conference, CDIO 2024 - Proceedings (s. 458-471). Chalmers tekniska högskola.

Bennedsen, J. & Lauritsen, A. B. (2015). Evaluating rubrics for facilitating students’ learning. I E. de Graaff, M. Ferreras & N. A. Arexolaleiba (red.), Active Teachers - Active Students: Proceedings of the 13th International Workshop Active Learning in Engineering (ALE 2015) (s. 117-129). Aalborg Universitetsforlag. http://vbn.aau.dk/files/219310287/ALE_2015_proceedings_final_2_.pdf

Bennedsen, J., Georgsson, F. & Kontio, J. (2014). Evaluating the CDIO Self-Evaluation. I Proceedings of the 10th International CDIO Conference Worldwide CDIO Initiative. http://www.cdio.org/files/document/cdio2014/69/69_Paper.pdf

Bennedsen, J. & Rouvrais, S. (2016). Finding Good Friends to Learn from and to Inspire. I FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business (Bind 2016, s. 1-8). Artikel 7757426 IEEE. https://doi.org/10.1109/FIE.2016.7757426

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

Bennedsen, J. & Schulte, C. (2013). Object interaction competence model v. 2.0. I Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (s. 9-16). Artikel 6542233 IEEE. https://doi.org/10.1109/LaTiCE.2013.43

Bennedsen, J., Roslöf, J., Øien, G. E. D., Berge, R. A., Andersen, B. & Hansen, B. L. (2025). Towards Nordic University Collaboration on Lifelong Learning for Engineers: Triangulating Stakeholder Perspectives. I R. Kangaslampi, G. Langie, H.-M. Järvinen & B. Nagy (red.), SEFI 2025 - 53rd Annual Conference of the European Society for Engineering Education: Engineering and Society, Proceedings (s. 150-160). European Society for Engineering Education (SEFI). https://doi.org/10.5281/zenodo.17631873

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

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

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)

Bendisposto , J., Börger , E., Hayes , I., Larsen, P. G. & Prinz, A. (2014). A VDM model of the Termination Detection Protocol. 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

Beevi, F. H. A., Wagner, S. R., Pedersen, C. F. & Hallerstede, S. (2016). Data Quality Oriented Efficacy Evaluation Method for Ambient Assisted Living Technologies. I PervasiveHealth 2016 - 10th EAI International Conference on Pervasive Computing Technologies for Healthcare Association for Computing Machinery. https://doi.org/10.4108/eai.16-5-2016.2263753

Beevi, F. H. A., Wagner, S. R., Hallerstede, S. & Pedersen, C. F. (2016). Data Quality Oriented Taxonomy of Ambient Assisted Living Systems. I IET International Conference on Technologies for Active and Assisted Living: TechAAL, 2015 Institution of Engineering and Technology. https://doi.org/10.1049/ic.2015.0140

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

Bayard Rasmussen, M., Thule, C., Macedo, H. D. & Larsen, P. G. (2019). Migrating the INTO-CPS Application to the Cloud. I C. Gamble & L. Diogo Couto (red.), Proceedings of the 17th Overture Workshop (s. 47-62). Newcastle University.

Baxter, J., van Acker, B., Kristensen, M., Wright, T., Cavalcanti, A. & Gomes, C. (2025). Formal Architectural Patterns for Adaptive Robotic Software. I A. Boronat & G. Fraser (red.), Fundamental Approaches to Software Engineering. FASE 2025 (s. 145-165). Springer. https://doi.org/10.1007/978-3-031-90900-9_8

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

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

Banaei, M., Ghanami, F., Khooban, M. H. & Boudjadar, J. (2021). Cost-effective control of Roll-on/Roll-off Emission-Free Ships. I 2021 25th International Conference on Methods and Models in Automation and Robotics, MMAR 2021 (s. 315-320). IEEE. https://doi.org/10.1109/MMAR49549.2021.9528473

Banaei, M., Boudjadar, J., Dragicevic, T. & Khooban, M. H. (2020). Cost Effective Operation of a Hybrid Zero-Emission Ferry Ship. I 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (s. 23-28). Artikel 9244456 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244456

Banaei, M., Boudjadar, J., Ebrahimy, R. & Madsen, H. (2021). Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. I IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society IEEE. https://doi.org/10.1109/IECON48115.2021.9589512

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters. I H. Selvaraj, G. Chmaj & D. Zydek (red.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 369-378). Springer. https://doi.org/10.1007/978-3-030-65796-3_36

Bakhtiarnia, A., Leporowski, B., Esterle, L. & Iosifidis, A. (2022). Analysis of the Effect of Low-Overhead Lossy Image Compression on the Performance of Visual Crowd Counting for Smart City Applications. I 2022 IEEE International Smart Cities Conference (ISC2) IEEE. https://doi.org/10.1109/ISC255366.2022.9921939

Bajovic, D., Bakhtiarnia, A., Bravos, G., Brutti, A., Burkhardt, F., Cauchi, D., Chazapis, A., Cianco, C., Dall'Asen, N., Delic, V., Dimou, C., Djokic, D., Escobar-Molero, A., Esterle, L., Eyben, F., Farella, E., Festi, T., Geromitsos, A., Giakoumakis, G. ... Zammit, J. (2021). MARVEL: Multimodal Extreme Scale Data Analytics for Smart Cities Environments. I 2021 International Balkan Conference on Communications and Networking, BalkanCom 2021 (s. 143-147). IEEE. https://doi.org/10.1109/BalkanCom53780.2021.9593258

Badicu, A., Iordache, G., Suciu, G., Macedo, H. D., Sassanelli, C., Terzi, S. & Larsen, P. G. (2021). Deploying the Smart Energy Tool for Investment Simulation inside the HUBCAP Sandbox. I A. G. Bruzzone, J. S. Janosy, L. Nicoletti & G. Zacharewicz (red.), 9th International Workshop on Simulation for Energy, Sustainable Development and Environment, SESDE 2021 (s. 18-26) https://doi.org/10.46354/i3m.2021.sesde.003

Atiya, D.-A., King, S. & Woodcock, J. (2003). A Circus Semantics for Ravenscar Protected Objects. I K. Araki, S. Gnesi & D. Mandrioli (red.), FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa, Itlay, September 2003. Proceedings (s. 617-635). Springer. https://books.google.dk/books?id=nqZqCQAAQBAJ&printsec=frontcover&hl=da#v=onepage&q&f=false

Armacki, A., Milosevic, N., Bajovic, D., Kar, S., Jakovetic, D., Bakhtiarnia, A., Esterle, L., Muscat, A. & Festi, T. (2023). Communication efficient model-aware federated learning for visual crowd counting and density estimation in smart cities. I 31st European Signal Processing Conference, EUSIPCO 2023 - Proceedings (s. 875-879). European Signal Processing Conference, EUSIPCO. https://doi.org/10.23919/EUSIPCO58844.2023.10289938

Antonino, P., Sampaio, A. & Woodcock, J. (2014). A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. I C. Jones, P. Pihlajasaari & J. Sun (red.), FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (s. 62-77). Springer. https://doi.org/10.1007/978-3-319-06410-9_5

Andersen, M. S., Gomes, C., Thompson, S. & Larsen, P. G. (2025). Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach. I Proceedings - 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2025 (s. 250-256). IEEE. https://doi.org/10.1109/MODELS-C68889.2025.00043

Andalibi, M., Hajihosseini, M., Gheisarnejad, M., Boudjadar, J., Khooban, M. H. & Dragicevic, T. (2020). A New Nonlinear Controller for Multilevel DC/DC Boost Converter. I 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (s. 276-280). Artikel 9244399 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244399

Andalibi, M., Hajihosseini, M., Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2021). A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. I Proceedings - 2021 22nd IEEE International Conference on Industrial Technology, ICIT 2021 (s. 541-545). Artikel 9453639 IEEE. https://doi.org/10.1109/ICIT46573.2021.9453639

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

Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J. (2016). Checking SysML Models for Co-Simulation. I K. Ogata, M. Lawford & S. Liu (red.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Proceedings: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (s. 450-465). Springer. https://doi.org/10.1007/978-3-319-47846-3_28

Aher, G. R., Macedo, H. D., Larsen, P. G. & Ramanujan, D. (2023). Supporting Design for Circular Economy Using Lifecycle Co-Simulation. I ASME 2023 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: 28th Design for Manufacturing and the Life Cycle Conference (DFMLC) Artikel DETC2023-116537, V005T05A006; American Society of Mechanical Engineers. https://doi.org/10.1115/DETC2023-116537

Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. I Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (s. 37-46). IEEE. https://doi.org/10.1109/ACSOS58161.2023.00021

Abrial, J.-R., Butler, M., Joshi, R., Troubitsyna, E. & Woodcock, J. (red.) (2009). 09381 Extended Abstract Collection Renement Based Methods for the Construction of Dependable Systems. I Refinement Based Methods for the Construction of Dependable Systems Dagstuhl Publishing. https://drops.dagstuhl.de/opus/volltexte/2010/2374/pdf/09381_abstracts_collection.2374.pdf

Abrial, J.-R. (red.), Butler, M. J. (red.), Joshi, R. (red.), Troubitsyna, E. & Woodcock, J. (red.) (2009). Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. I Dagstuhl Seminar Proceedings, Schloss Dagstuhl https://researchr.org/publication/dagstuhl-2009P9381/authors

Ye, K., Foster, S. D. & Woodcock, J. (2020). Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP. I A. Adamatzky & V. Kendon (red.), From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday (s. 215-254). Springer. https://doi.org/10.1007/978-3-030-15792-0_10

Wright, T., Dennis, L. A., Woodcock, J. & Foster, S. (2025). Formal Verification of BDI Agents. I M. Hinchey & B. Steffen (red.), The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (s. 302-326). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-73887-6_20

Wolff, S., Larsen, P. G. & Verhoef, M. (2014). Deploying Co-modelling in Commercial Practice. I J. Fitzgerald, P. G. Larsen & M. Verhoef (red.), Collaborative Design for Embedded Systems : Co-modelling and Co-simulation (s. 263-270). Springer. https://doi.org/10.1007/978-3-642-54118-6_12

Viser resultater 551 til 600 ud af 1057

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering