Publications
Number of publications matching the search criterion: 6
Journal article (1)
DTA-QC: An AI-Driven Framework for Adaptive Quality Control and Intelligent Test Optimization in 5G Manufacturing (Nov 2025) Jie Liu , Enislay Ramentol , Cristina Landin, Sahar Tahvili Journal of Intelligent Manufacturing (Intell.Manuf)
Conference/Workshop Paper (5)
Efficient Multi-level Mine Dewatering Using UPPAAL Stratego (May 2026) Muhammad Naeem, Cristina Seceleanu, Alf J. Isaksson , Tiberiu Seceleanu The 27th International Symposium on Formal Methods (FM 2026)
Contract-Based Runtime Monitoring for a Smart House Digital Twin (Sep 2025) Muhammad Naeem, Cristina Seceleanu, Tiberiu Seceleanu 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)
Contract-based Verification of Digital Twins (Jul 2025) Muhammad Naeem, Cristina Seceleanu International Conference on Engineering of Complex Computer Systems (ICECCS 2025)
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)
Real-time Optimization of Testbeds for Cloudified Radio Access Networks Using Artificial Intelligence (Jun 2024) -- Best Paper Award-- Animesh Singh , Chen Song , Jiecong Yang , Sahar Tahvili The 2024 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications (IARIA 2024)
