Publications
Number of publications matching the search criterion: 4
Conference/Workshop Paper (4)
Contract-based Verification of Digital Twins (Jul 2025) Muhammad Naeem, Cristina Seceleanu International Conference on Engineering of Complex Computer Systems (ICECCS 2025)
Formal Modeling and Strategy Synthesis for Resource Optimization in System of Systems (Jun 2025) Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat 20 th Annual System of Systems Engineering Conference (SOSE 2025)
Energy-Efficient Motion Planning for Autonomous Vehicles Using UPPAAL Stratego (Jul 2024) Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen , Brian Nielsen , Michele Albano The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024)
A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems Rong Gu, Tiberiu Seceleanu, Ning Xiong, Muhammad Naeem IEEE SSE 2024: IEEE International Conference on Software Services Engineering (SSE2024)
