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: Basu:Ananda
Contributed to:
2012
2009
2006Wrote 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.