Modeling Heterogeneous Real-time Components in BIP. - Ananda Basu; Marius Bozga; Joseph Sifakis (SEFM, 2006)

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 (NCA, 2007)

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 (ECAI, 2008)

Distributed Semantics and Implementation for Systems with Interaction and Priority. - Ananda Basu; Philippe Bidinger; Marius Bozga; Joseph Sifakis (FORTE, 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)

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (DISC, 2009)

Symbolic Implementation of Connectors in BIP - Mohamad Jaber 001; Ananda Basu; Simon Bliudze (ICE, 2009)

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay (FMOODS/FORTE, 2010)

Verification of an AFDX Infrastructure Using Simulations and Probabilities. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis (RV, 2010)

Systematic Correct Construction of Self-stabilizing Systems: A Case Study. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (SSS, 2010)

Component Assemblies in the Context of Manycore. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Mayur Maheshwari; Joseph Sifakis (FMCO, 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; et al. (FMCO, 2011)

Rigorous System Design: The BIP Approach. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Joseph Sifakis (MEMICS, 2011)

Rigorous system level modeling and analysis of mixed HW/SW systems. - Paraskevas Bourgos; Ananda Basu; Marius Bozga; Saddek Bensalem; Joseph Sifakis; Kai Huang (MEMOCODE, 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 Component-Based System Design Using the BIP Framework. - Ananda Basu; Saddek Bensalem; Marius Bozga; Jacques Combaz; Mohamad Jaber 001; Thanh-Hung Nguyen; Joseph Sifakis (IEEE Softw., 2011)

PRO3D: programming for future 3D manycore architectures. - Christian Fabre; Iuliana Bacivarov; Eth Zürich; Ananda Basu; Martino Ruggiero; David Atienza; Eric Flamand (INA-OCMC@HiPEAC, 2012)

Rigorous Component-Based System Design - (Invited Paper). - Ananda Basu; Saddek Bensalem; Marius Bozga; Joseph Sifakis (WRLA, 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)

Stochastic modeling and performance analysis of multimedia SoCs. - Balaji Raman 001; Ayoub Nouri; Deepak Gangadharan; Marius Bozga; Ananda Basu; Mayur Maheshwari; Axel Legay; Saddek Bensalem; Samarjit Chakraborty (ICSAMOS, 2013)