Costas Courcoubetis

Costas Courcoubetis

Singapore University of Technology and Design - Singapore / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 302695
-
person_outline Costas Courcoubetis's MOST POPULAR ARTICLES
1-) The algorithmic analysis of hybrid systemsR Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...Theoretical computer science 138 (1), 3-34, 199526391995
2-) Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsR Alur, C Courcoubetis, TA Henzinger, PH HoHybrid systems, 209-229, 199218251992
3-) Model-checking for real-time systemsR Alur, C Courcoubetis, D Dill[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 199013911990
4-) Model-checking in dense real-timeR Alur, C Courcoubetis, D DillInformation and computation 104 (1), 2-34, 199314091993
5-) Memory-efficient algorithms for the verification of temporal propertiesC Courcoubetis, M Vardi, P Wolper, M YannakakisFormal methods in system design 1, 275-288, 19928941992