Ananda Basu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2006–2011
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | MEMOCODE | Rigorous system level modeling and analysis of mixed HW/SW systems. | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
| 2010 | FORTE | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2010 | RV | Verification of an AFDX Infrastructure Using Simulations and Probabilities. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | SSS | Systematic Correct Construction of Self-stabilizing Systems: A Case Study. | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
| 2009 | CAV | Priority Scheduling of Distributed Systems Based on Model Checking. | Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis |
| 2008 | ECAI | Incremental Component-Based Construction and Verification of a Robotic System. | Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Flix Ingrand, Joseph Sifakis |
| 2008 | FORTE | Distributed Semantics and Implementation for Systems with Interaction and Priority. | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
| 2007 | NCA | Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. | Ananda Basu, Laurent Mounier, Marc Poulhis, Jacques Pulou, Joseph Sifakis |
| 2006 | SEFM | Modeling Heterogeneous Real-time Components in BIP. | Ananda Basu, Marius Bozga, Joseph Sifakis |