Department of Electrical and Computer Engineering

Aarhus University Seal

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
Vathoopan Kannan, M., Talasila, P., Boudjadar, J., Larsen, C., Bicocchi, N., Picone, M. & Melloni, M. (2026). Orchestrating Distributed Simulations for Circular Manufacturing-as-a-Service Ecosystems. In IEEE International Conference on Industrial Technology (ICIT) IEEE. https://doi.org/10.1109/ICIT64854.2026.11491518
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 155 out of 155

Previous

1

2

3

4

Revised 07.07.2026
-
Stefan Hallerstede