Ananda Basu

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