BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Germany
1 × Greece
1 × Spain
5 × USA
Collaborated with:
R.Alur M.Yannakakis D.L.Dill M.Y.Vardi P.Wolper S.Tripakis T.A.Henzinger W.Damm B.Josko S.Graf J.Sifakis M.Chatzaki P.Tzounakis E.G.C.Jr. M.R.Garey D.S.Johnson L.A.McGeoch P.W.Shor R.R.Weber
Talks about:
time (7) real (6) system (4) verif (3) probabilist (2) properti (2) process (2) model (2) delay (2) check (2)

Person: Costas Courcoubetis

DBLP DBLP: Courcoubetis:Costas

Facilitated 1 volumes:

CAV 1993Ed

Contributed to:

TACAS 19961996
STOC 19951995
CAV 19931993
CAV 19921992
CAV 19911991
ICALP 19911991
STOC 19911991
CAV 19901990
ICALP 19901990
LICS 19901990
STOC 19861986

Wrote 13 papers:

TACAS-1996-TripakisC #realtime
Extending Promela and Spin for Real Time (ST, CC), pp. 329–348.
STOC-1995-AlurCY #nondeterminism #probability #testing
Distinguishing tests for nondeterministic and probabilistic machines (RA, CC, MY), pp. 363–372.
CAV-1993-AlurCH #realtime
Computing Accumulated Delays in Real-time Systems (RA, CC, TAH), pp. 181–193.
CAV-1993-CourcoubetisDJ #verification
Verification of timing Properties of VHDL (CC, WD, BJ), pp. 225–236.
CAV-1992-CourcoubetisDCT #realtime #verification
Verification with Real-Time COSPAN (CC, DLD, MC, PT), pp. 274–287.
CAV-1991-Courcoubetis #problem #realtime
Minimum and Maximum Delay Problems in Real-Time Systems (CC), pp. 399–409.
CAV-1991-CourcoubetisGS #algebra #process
An Algebra of Boolean Processes (CC, SG, JS), pp. 454–465.
ICALP-1991-AlurCD #model checking #probability #realtime
Model-Checking for Probabilistic Real-Time Systems (RA, CC, DLD), pp. 115–126.
STOC-1991-CoffmanCGJMSWY #analysis #case study
Fundamental Discrepancies between Average-Case Analyses under Discrete and Continuous Distributions: A Bin Packing Case Study (EGCJ, CC, MRG, DSJ, LAM, PWS, RRW, MY), pp. 230–240.
CAV-1990-CourcoubetisVWY #algorithm #memory management #performance #verification
Memory Efficient Algorithms for the Verification of Temporal Properties (CC, MYV, PW, MY), pp. 233–242.
ICALP-1990-CourcoubetisY #markov #process
Markov Decision Processes and Regular Events (CC, MY), pp. 336–349.
LICS-1990-AlurCD #model checking #realtime
Model-Checking for Real-Time Systems (RA, CC, DLD), pp. 414–425.
STOC-1986-CourcoubetisVW #concurrent #reasoning #source code
Reasoning about Fair Concurrent Programs (CC, MYV, PW), pp. 283–294.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.