Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ananda Basu
2010 – today
- 2012
[j3]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay: Statistical abstraction and model-checking of large heterogeneous systems. STTT 14(1): 53-72 (2012)- [c15]Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Rigorous Component-Based System Design - (Invited Paper). WRLA 2012: 1-9
- 2011
- [j2]Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design 39(3): 229-245 (2011)
- [j1]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 Software 28(3): 41-48 (2011)
- [c14]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: 277-293
- [c13]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis: Component Assemblies in the Context of Manycore. FMCO 2011: 314-333
- [c12]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis: Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19
- [c11]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: 11-20
- 2010
- [c10]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: 32-46
- [c9]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis: Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344
- [c8]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18
2000 – 2009
- 2009
- [c7]Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
- [c6]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175
- [c5]Mohamad Jaber, Ananda Basu, Simon Bliudze: Symbolic Implementation of Connectors in BIP. ICE 2009: 41-55
- 2008
- [c4]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: 631-635
- [c3]Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis: Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133
- 2007
- [c2]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: 257-260
- 2006
- [c1]Ananda Basu, Marius Bozga, Joseph Sifakis: Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-07 21:58 CET by the dblp team