Aarhus University Seal

Publications

Sort by: Date | Author | Title

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
Vathoopan, M., Boudjadar, J. & Ramanujan, D. (2026). Ontologies for Architecting Circular and Sustainable Manufacturing-as-a-Service Systems. In L. C. Tang (Ed.), Proceedings of the 12th International Conference on Industrial Engineering and Applications (pp. 453-465). Springer Science+Business Media. https://doi.org/10.1007/978-981-95-4717-3_41
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