Costas Courcoubetis
TitleCited byYear
The algorithmic analysis of hybrid systems
R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...
Theoretical computer science 138 (1), 3-34, 1995
23801995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R Alur, C Courcoubetis, TA Henzinger, PH Ho
Hybrid systems, 209-229, 1992
16161992
Model-checking for real-time systems
R Alur, C Courcoubetis, D Dill
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
12721990
Model-checking in dense real-time
R Alur, C Courcoubetis, D Dill
Information and computation 104 (1), 2-34, 1993
12241993
Memory-efficient algorithms for the verification of temporal properties
C Courcoubetis, M Vardi, P Wolper, M Yannakakis
Formal methods in system design 1 (2-3), 275-288, 1992
7841992
Weighted round-robin cell multiplexing in a general-purpose ATM switch chip
M Katevenis, S Sidiropoulos, C Courcoubetis
IEEE Journal on selected Areas in Communications 9 (8), 1265-1279, 1991
6881991
Pricing Communication Networks Economics, Technology and Modelling
C Courcoubetis
John Wiley, 2003
6482003
The complexity of probabilistic verification
C Courcoubetis, M Yannakakis
Journal of the ACM (JACM) 42 (4), 857-907, 1995
6211995
Buffer overflow asymptotics for a buffer handling many traffic sources
C Courcoubetis, R Weber
Journal of Applied Probability 33 (3), 886-903, 1996
3261996
Minimization of timed transition systems
R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi
International Conference on Concurrency Theory, 340-354, 1992
2461992
Model-checking for probabilistic real-time systems
R Alur, C Courcoubetis, D Dill
International Colloquium on Automata, Languages, and Programming, 115-126, 1991
2141991
Minimum and maximum delay problems in real-time systems
C Courcoubetis, M Yannakakis
Formal Methods in System Design 1 (4), 385-415, 1992
2041992
Distinguishing tests for nondeterministic and probabilistic machines
R Alur, C Courcoubetis, M Yannakakis
STOC 95, 363-372, 1995
1611995
Verifying temporal properties of finite-state probabilistic programs
C Courcoubetis, M Yannakakis
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science …, 1988
1561988
Comparing economic incentives in peer-to-peer networks
P Antoniadis, C Courcoubetis, R Mason
Computer networks 46 (1), 133-146, 2004
1532004
Admission control and routing in ATM networks using inferences from measured buffer occupancy
C Courcoubetis, G Kesidis, A Ridder, J Walrand, R Weber
IEEE Transactions on Communications 43 (2/3/4), 1778-1784, 1995
1511995
An implementation of three algorithms for timing verification based on automata emptiness
R Alur, C Courcoubetis, D Dill, N Halbwachs, H Wong-Toi
[1992] Proceedings Real-Time Systems Symposium, 157-166, 1992
1361992
Peer-to-peer product sharing: Implications for ownership, usage, and social welfare in the sharing economy
S Benjaafar, G Kong, X Li, C Courcoubetis
Management Science 65 (2), 477-493, 2018
1332018
Decoupling bandwidths for networks: a decomposition approach to resource management
G De Veciana, C Courcoubetis, J Walrand
Proceedings of INFOCOM'94 Conference on Computer Communications, 466-473, 1994
1251994
Extending Promela and Spin for real time
S Tripakis, C Courcoubetis
International Workshop on Tools and Algorithms for the Construction and …, 1996
1161996
The system can't perform the operation now. Try again later.
Articles 1–20