Ananda Basu

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Stochastic modeling and performance analysis of multimedia SoCs.

Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

2012

Statistical abstraction and model-checking of large heterogeneous systems.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay

Int. J. Softw. Tools Technol. Transf., 2012

Rigorous Component-Based System Design - (Invited Paper).

Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

PRO3D: programming for future 3D manycore architectures.

Christian Fabre, Iuliana Bacivarov, Eth Zürich, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand

Proceedings of the 2012 Interconnection Network Architecture, 2012

2011

Rigorous Component-Based System Design Using the BIP Framework.

Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis

IEEE Softw., 2011

Priority scheduling of distributed systems based on model checking.

Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis

Formal Methods Syst. Des., 2011

Rigorous system level modeling and analysis of mixed HW/SW systems.

Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Rigorous System Design: The BIP Approach.

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.

Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Component Assemblies in the Context of Manycore.

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

Systematic Correct Construction of Self-stabilizing Systems: A Case Study.

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis

Proceedings of the Runtime Verification - First International Conference, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Symbolic Implementation of Connectors in BIP

Mohamad Jaber, Ananda Basu, Simon Bliudze

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.

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis

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).

Ananda Basu

PhD thesis, 2008

Distributed Semantics and Implementation for Systems with Interaction and Priority.

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Incremental Component-Based Construction and Verification of a Robotic System.

Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis

Proceedings of the ECAI 2008, 2008

2007

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.

Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

2006

Modeling Heterogeneous Real-time Components in BIP.

Ananda Basu, Marius Bozga, Joseph Sifakis

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006