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 × France
1 × Poland
3 × USA
Collaborated with:
O.Grumberg M.Y.Vardi J.Havlicek S.Rubin R.Armoni O.Kupferman
Talks about:
simul (2) properti (1) verilog (1) regular (1) complex (1) verifi (1) tempor (1) system (1) result (1) markov (1)

Person: Doron Bustan

DBLP DBLP: Bustan:Doron

Contributed to:

CAV 20062006
CAV 20042004
TACAS 20032003
TACAS 20022002
CADE 20002000

Wrote 5 papers:

CAV-2006-BustanH #complexity
Some Complexity Results for SystemVerilog Assertions (DB, JH), pp. 205–218.
CAV-2004-BustanRV #markov #verification
Verifying ω-Regular Properties of Markov Chains (DB, SR, MYV), pp. 189–201.
TACAS-2003-ArmoniBKV #linear #logic
Resets vs. Aborts in Linear Temporal Logic (RA, DB, OK, MYV), pp. 65–80.
TACAS-2002-BustanG #simulation
Applicability of Fair Simulation (DB, OG), pp. 401–414.
CADE-2000-BustanG #simulation
Simulation Based Minimization (DB, OG), pp. 255–270.

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.