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

Holt, J., Perry, S., Payne, R., Bryans, J., Hallerstede, S. & Hansen, F. O. (2015). A Model-Based Approach for Requirements Engineering for Systems of Systems. I E E E Systems Journal, 9(1). https://doi.org/10.1109/JSYST.2014.2312051

Hoare, T., Struth, G. & Woodcock, J. (2019). A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. I P. Ribeiro & A. Sampaio (red.), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (s. 3-21). Springer. https://doi.org/10.1007/978-3-030-31038-7_1

Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Efficient continuum-based modelling and analysis of polymer SLS: Insights into particle sintering and densification in straight and corner scanning passes. Additive Manufacturing, 109, Artikel 104828. https://doi.org/10.1016/j.addma.2025.104828

Hesselvig, J., Nygaard, R. T., Budzik, M. K. & Sandberg, M. (2025). Particle Flow and Printing Path Effects in SLS. Abstract fra EPF European Polymer Congress, Groningen, Holland.

Heiji Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. (2019). RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling, 18(5), 3097–3149. https://doi.org/10.1007/s10270-018-00710-z

H. Bohlbro, C., Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G. (2024). Visualisation in a Digital Twin Context. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 175-188). Springer. https://doi.org/10.1007/978-3-031-66719-0_8

Hasse, C. & Wallace, J. (2014). Omsorgsteknologier. I F. Olesen & L. Huniche (red.), Teknologi i sundhedspraksis (s. 83-105). Munksgaard .

Hasse, C., Wallace, J., Brok, L. S., Gars Jensen, U., Skov, H., Schrøder, V. & Dupret, K. (2015). TEKU-modellen: Teknologiforståelse i professionerne. U Press.

Hasanpour, M. A., Kirkegaard, M. & Fafoutis, X. (2025). EdgeMark: An automation and benchmarking system for embedded artificial intelligence tools. Journal of Systems Architecture, 167, Artikel 103488. https://doi.org/10.1016/j.sysarc.2025.103488

Hasanagic, M., Larsen, P. G. & Tran-Jørgensen, P. W. V. (2015). Generating Java RMI code for the distributed aspects of VDM-RT models. I Proceedings of the 13th Overture Workshop (Bind Grace-TR 2015-06, s. 75-89). National Institute of Informatics, Tokyo. http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf

Hasanagic, M., Tran-Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2016). Formalising and Validating the Interface Description in the FMI standard. I J. Fitzgerald, C. Heitmeyer, S. Gnesi & A. Philippou (red.), FM 2016: Formal Methods - 21st International Symposium, Proceedings (Bind 9995, s. 344-351). Springer. https://doi.org/10.1007/978-3-319-48989-6_21

Hasanagic, M., Tran-Jørgensen, P. W. V., Nilsson, R. S. & Larsen, P. G. (2019). Realization of distributed system models using code generation extensions. Software: Practice & Experience, 49(3), 478-497. https://doi.org/10.1002/spe.2671

Hasanagic, M., Fabri, T., Larsen, P. G., Bandur, V., Tran-Jørgensen, P. W. V. & Ouy, J. (2019). Code generation for distributed embedded systems with VDM-RT. Design Automation for Embedded Systems, 23(3-4), 153-177. https://doi.org/10.1007/s10617-019-09227-0

Harwood, W., Cavalcanti, A. L. C. & Woodcock, J. (2008). A Theory of Pointers for the UTP. I J. S. Fitzgerald, A. E. Haxthausen & H. Yenigun (red.), Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (s. 141-155). Springer. https://doi.org/10.1007/978-3-540-85762-4_10

Hardin, D., Amundson, I., Babar, J., Cofer, D., Hasan, S., Hoech, K., Belt, J., Hatcliff, J., Robby & Hallerstede, S. (2025). Automated SysML v2 System Model to Memory-Safe Language Code Generation for Avionics Applications. I DASC 2025 - Digital Avionics Systems Conference, Conference Proceedings IEEE. https://doi.org/10.1109/DASC66011.2025.11257170

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/

Haq, A. U., Sefati, S. S., Nawaz, S. J., Mihovska, A. & Beliatis, M. (2025). Need of UAVs and Physical Layer Security in Next-generation Non-terrestrial Wireless Networks- Potential Challenges and Open Issues. IEEE Open Journal of Vehicular Technology, 6, 554-595. https://doi.org/10.1109/OJVT.2025.3525781

Haq, A. U., Beliatis, M. & Mihovska, A. (2024). Analyses of Environmental Effects on Secret Key Exchange in UAVs Using Experimental Data. (s. 596-601). https://doi.org/10.1109/FNWF63303.2024.11028728

Haq, A. U., Singh, P., Mihovska, A. & Beliatis, M. J. (2025). Enhancing Security in Near-Field RIS Communications Assisted by UAV. IEEE Transactions on Consumer Electronics, 71(4), 10404-10417. https://doi.org/10.1109/TCE.2025.3597084

Haq, A. U. (2025). Physical Layer Secret Key Generation and Coverage Enhancement for Time Variant UAV Wireless Communications. [Ph.d.-afhandling, Aarhus Universitet].

Hansen, F. O., Hougaard, P., Larsen, P. G. & Caspersen, G. (2012). A model-based development process for development and reuse of components in on-board space applications. Afhandling præsenteret på DASIA2012, Dubrovik , Kroatien.

Hansen, S. & Bennedsen, J. (2013). Collaboration and reflection using peer reviews and public wikis. I Proceedings of the 41st Annual SEFI Conference http://www.sefi.be/conference-2013/images/139.pdf

Hansen, S. & Bennedsen, J. (2014). Democratic co-determination and responsibility of lecture content. I Proceedings of SEFI Annual Conference: SEFI 2014 - 42nd Annual Conference Artikel 105. http://www.sefi.be/conference-2014/0105.pdf

Hansen, S. T., Thule, C. & Gomes, C. (2021). An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. I L. Cleophas & M. Massink (red.), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops (s. 295-310). Springer. https://doi.org/10.1007/978-3-030-67220-1_22

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. I C. R. Martin, M. J. Blas & A. I. Psijas (red.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (s. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073

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. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. Electronics, 11(21), Artikel 3635. https://doi.org/10.3390/electronics11213635

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

Hansen, S. T., Gomes, C. & Kazemi, Z. (2023). Synthesizing Orchestration Algorithms for FMI 3.0. I M. J. Blas & G. Alvarez (red.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (s. 184-195). IEEE. https://ieeexplore.ieee.org/document/10155361

Hansen, S. T., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024). Co-simulation at different levels of expertise with Maestro2. Journal of Systems and Software, 209, Artikel 111905. https://doi.org/10.1016/j.jss.2023.111905

Hansen, S. K., Hansen, P., Berry, T. W., Grønbæk, H. D., Olsen, C. M., Merhi, Y., Agarwala, S., Aagaard, P., Hvid, L. G., Agergaard, J., Dela, F. & Suetta, C. (2025). Effects of neuromuscular electrical stimulation on voluntary muscle activation and peripheral muscle contractility following short-term bed rest. Experimental Physiology, 110(12), 1966-1977. https://doi.org/10.1113/EP092194

Hallerstede, S., Hansen, F. O., Holt, J., Lauritsen, R. W., Lorenzen, L. & Peleska, J. (2012). Technical Challenges of SoS Requirements Engineering. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. https://doi.org/10.1109/SYSoSE.2012.6384136

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Afhandling præsenteret på Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Tyskland. http://www.stups.uni-duesseldorf.de/mediawiki/images/5/57/Pub-Ha09_291.pdf

Hallerstede, S. & Leuschel, M. (2011). Finding Deadlocks of Event-B Models by Constraint Solving. Afhandling præsenteret på B2011 Workshop, Limerick, Irland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

Hallerstede, S., Jastram, M. & Ladenberger, L. (2014). A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming, 82, 2-21. https://doi.org/10.1016/j.scico.2013.03.008

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

Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3

Hallerstede, S. & Leuschel, M. (2011). Constraint-based deadlock checking of high-level specifications. Theory and Practice of Logic Programming, 11(4-5), 767-782. https://doi.org/10.1017/S1471068411000299

Hallerstede, S. & Leuschel, M. (2012). Experiments in Program Verification using Event-B. Formal Aspects of Computing, 24(1), 97-125. https://doi.org/10.1007/s00165-011-0205-4

Hallerstede, S. (2009). Proving Quicksort correct in Event-B. Electronic Notes in Theoretical Computer Science, 259, 47-65. https://doi.org/10.1016/j.entcs.2009.12.017

Hallerstede, S. & Hoang, T. S. (2012). Refinement by interface instantiation. I J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (red.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (s. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Hallerstede, S. & Leuschel, M. (2009). How to explain mistakes. I Teaching Formal Methods. Proceedings Second International Conference, TFM 2009 (s. 105-124)

Hallerstede, S. (2009). How to make mistakes. I C. Attiogbé & D. Mery (red.), From Research to Teaching Formal Methods: The B Method: (TFM-B’2009) (s. 93-108). APCB. http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/TFMB09_proceedings.pdf

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

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. I M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (red.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (s. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

Hallerstede, S. (2010). Structured Event-B Models and Proofs. I M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (red.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (s. 273-286). Springer. https://doi.org/10.1007/978-3-642-11811-1_21

Hallerstede, S. & Snook, C. (2011). Refining Nodes and Edges of State Machines. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. I K. Pierce & S. Hallerstede (red.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Hallerstede, S. & Hoang, T. S. (2014). Refinement of decomposed models by interface instantiation. Science of Computer Programming, 94(P2), 144-163. https://doi.org/10.1016/j.scico.2014.05.005

Hallerstede, S. (2014). Quasi-lexicographic convergence. Lecture Notes in Computer Science, 8477, 86-100. https://doi.org/10.1007/978-3-662-43652-3_7

Viser resultater 551 til 600 ud af 1031

Forrige