The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ananda Basu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ananda Basu, Marius Bozga, Joseph Sifakis
    Modeling Heterogeneous Real-time Components in BIP. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:3-12 [Conf]
  2. Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
    Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. [Citation Graph (0, 0)][DBLP]
    NCA, 2007, pp:257-260 [Conf]

  3. Priority Scheduling of Distributed Systems Based on Model Checking. [Citation Graph (, )][DBLP]


  4. Incremental Component-Based Construction and Verification of a Robotic System. [Citation Graph (, )][DBLP]


  5. Distributed Semantics and Implementation for Systems with Interaction and Priority. [Citation Graph (, )][DBLP]


  6. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. [Citation Graph (, )][DBLP]


  7. Systematic Correct Construction of Self-stabilizing Systems: A Case Study. [Citation Graph (, )][DBLP]


  8. Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. [Citation Graph (, )][DBLP]


  9. Symbolic Implementation of Connectors in BIP [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002