author-photo

Ananda Basu

Joseph Fourier University

24

Papers

1332

Citations

Citation Trend

Filter By

Papers (20) Sort By

Journal Conference Others

Stochastic modeling and performance analysis of multimedia SoCs

2013 ECS | International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation
Show All
- Source
- Cite
- Save
Citations (9)
PRO3D: programming for future 3D manycore architectures

2012
Show All
- Source
- Cite
- Save
Citations (0)
Rigorous component-based system design

2012 WRLA | Workshop on Rewriting Logic and Its Applications
Show All
- Source
- Cite
- Save
Citations (2)
Statistical abstraction and model-checking of large heterogeneous systems

2012 International Journal on Software Tools for Technology Transfer
Show All
- Source
- Cite
- Save
Citations (77)
Priority scheduling of distributed systems based on model checking

2011 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (30)
PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim Status

2011 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (2)
Rigorous system design: the BIP approach

2011 MEMICS | Mathematical and Engineering Methods in Computer Science
Show All
- Source
- Cite
- Save
Citations (12)
Component Assemblies in the Context of Manycore

2011 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (16)
Rigorous Component-Based System Design Using the BIP Framework

2011 IEEE Software
Show All
- Source
- Cite
- Save
Citations (227)
Rigorous system level modeling and analysis of mixed HW/SW systems

2011 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (22)