Department of Electrical and Computer Engineering

Aarhus University Seal
 Department of Electrical and Computer Engineering Research Key areas in research & development Software Engineering & Computing Systems Research Groups Publications

Publications

Sort by: Date | Author | Title

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
Vathoopan, M., Boudjadar, J., Hertwig, M. M. & Lentes, J. (2025). Ontology-Driven Simulations for Quantified Service Discovery in Manufacturing Ecosystems. In D. Maga (Ed.), 2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) IEEE. https://doi.org/10.1109/DS-RT68115.2025.11186005
Sartaj, H., Boudjadar, J., Frasheri, M., Ali, S. & Larsen, P. G. (2026). Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models. IEEE Software, 43(1), 89-97. https://doi.org/10.1109/MS.2025.3620578
Hallerstede, S., Robby, Hatcliff, J., Belt, J. & Hardin, D. (2026). Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. In A. Remke & B. Steffen (Eds.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (pp. 39-58). Springer. https://doi.org/10.1007/978-3-032-00942-5_3

Displaying results 151 to 154 out of 154

Previous

1

2

3

4

Revised 13.11.2025
-
Stefan Hallerstede