Ananda Basu

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Venues

Int. J. Softw. Tools Technol. Transf.

WRLA

INA-OCMC@HiPEAC

ICSAMOS

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS (2013)
Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Rigorous Component-Based System Design - (Invited Paper). WRLA (2012)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay
Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Christian Fabre, Iuliana Bacivarov, Eth Zürich, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand
PRO3D: programming for future 3D manycore architectures. INA-OCMC@HiPEAC (2012)
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
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
Rigorous System Design: The BIP Approach. MEMICS (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28 (3) (2011)
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. 39 (3) (2011)
Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang
Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis
Component Assemblies in the Context of Manycore. FMCO (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV (2010)
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS (2010)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE (2010)
Mohamad Jaber, Ananda Basu, Simon Bliudze
Symbolic Implementation of Connectors in BIP ICE (2009)
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Priority Scheduling of Distributed Systems Based on Model Checking. CAV (2009)
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC (2009)
Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
Incremental Component-Based Construction and Verification of a Robotic System. ECAI (2008)
Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis
Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE (2008)
Ananda Basu, Marius Bozga, Joseph Sifakis
Modeling Heterogeneous Real-time Components in BIP. Perspectives Workshop: Model Engineering of Complex Systems (MECS) (2008)
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. NCA (2007)
Ananda Basu, Marius Bozga, Joseph Sifakis
Modeling Heterogeneous Real-time Components in BIP. SEFM (2006)

Ananda Basu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ananda Basu