Search results for: Sasikumar Punnekkat
Annals of Computer Science and Information Systems > 2023 > Vol. 35 > 171--181
Real-Time Systems > 2018 > 54 > 1 > 208-246
IEEE Transactions on Industrial Informatics > 2016 > 12 > 3 > 1017 - 1034
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Fault Tolerance > 94-105
Lecture Notes in Computer Science > Distributed Computing - IWDC 2003 > Session I: Distributed Algorithms > 45-55
Lecture Notes in Computer Science > Component-Based Software Engineering > Verification Techniques > 180-195
Real-Time Systems > 2015 > 51 > 3 > 247-273
Procedia Computer Science > 2015 > 46 > C > 1148-1155