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 × Estonia
1 × France
1 × India
Collaborated with:
J.Sifakis M.Bozga S.Bensalem D.Peled
Talks about:
system (2) compon (2) model (2) base (2) heterogen (1) distribut (1) prioriti (1) schedul (1) design (1) rigor (1)

Person: Ananda Basu

DBLP DBLP: Basu:Ananda

Contributed to:

WRLA 20122012
CAV 20092009
SEFM 20062006

Wrote 3 papers:

WRLA-2012-BasuBBS #component #design
Rigorous Component-Based System Design — (AB, SB, MB, JS), pp. 1–9.
CAV-2009-BasuBPS #distributed #model checking #scheduling
Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
SEFM-2006-BasuBS #component #modelling #realtime
Modeling Heterogeneous Real-time Components in BIP (AB, MB, JS), pp. 3–12.

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.