Ananda Basu

According to our database1, Ananda Basu authored at least 20 papers between 2006 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Stochastic modeling and performance analysis of multimedia SoCs.
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

2012
Statistical abstraction and model-checking of large heterogeneous systems.
Int. J. Softw. Tools Technol. Transf., 2012

Rigorous Component-Based System Design - (Invited Paper).
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

PRO3D: programming for future 3D manycore architectures.
Proceedings of the 2012 Interconnection Network Architecture, 2012

2011
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Softw., 2011

Priority scheduling of distributed systems based on model checking.
Formal Methods Syst. Des., 2011

Rigorous system level modeling and analysis of mixed HW/SW systems.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Rigorous System Design: The BIP Approach.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Component Assemblies in the Context of Manycore.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010
Systematic Correct Construction of Self-stabilizing Systems: A Case Study.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.
Proceedings of the Runtime Verification - First International Conference, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2010

2009
Symbolic Implementation of Connectors in BIP
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

2008
Component-based Modeling of Heterogeneous Real-time Systems in BIP. (Modélisation à base de Composants de Systèmes Temps réel Hétérogènes en BIP).
PhD thesis, 2008

Distributed Semantics and Implementation for Systems with Interaction and Priority.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Incremental Component-Based Construction and Verification of a Robotic System.
Proceedings of the ECAI 2008, 2008

2007
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

2006
Modeling Heterogeneous Real-time Components in BIP.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006


  Loading...