Raghavendran Gunasekaran

According to our database, Raghavendran Gunasekaran authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Verification of Digital Twins using Classical and Statistical Model Checking.

Raghavendran Gunasekaran, Boudewijn R. Haverkort

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, May, 2025

Behavioral analysis of a digital twin using logging and model learning.

Raghavendran Gunasekaran, Boudewijn Haverkort, Loes Kruger

J. Object Technol., 2025

Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study.

Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort

Proceedings of the Software Engineering 2025, 2025

2024

Verification of Digital Twins through Statistical Model Checking.

Raghavendran Gunasekaran, Boudewijn R. Haverkort

Proceedings of the Companion Proceedings of the 17th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling Forum, 2024

2021

Models Meet Data: Challenges to Create Virtual Entities for Digital Twins.

Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021