Concepedia

Ananda Basu

AB

8

Publications

977

Citations

8

H-Index

2006

Active since

Affiliations

Verimag(Current)

Centre National de la Recherche Scientifique

Université Joseph Fourier

Centre de Gestion Scientifique

Université Grenoble Alpes

Ananda Basu is an author at Verimag specializing in computer science, systems engineering, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringVerificationFormal MethodsSystem SoftwareParallel ComputingFormal VerificationComputer Architecture

Publications per year

2006–2011

8

Publications

8

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu, Marius Bozga, Joseph Sifakis · 2006 · 411 citations · Full text

Event-driven Architecture, Engineering, Computer Architecture +17

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga et al. · IEEE Software · 2011 · 276 citations · Full text

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu, Marius Bozga, Joseph Sifakis · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 171 citations · Full text

Event-driven Architecture, Engineering, Computer Architecture +17

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks

Ananda Basu, Laurent Mounier, Marc Poulhiès et al. · 2007 · 39 citations · Full text

Engineering, Model Construction Methodology, Network Planning +21

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu, Saddek Bensalem, Marius Bozga et al. · International Journal on Software Tools for Technology Transfer · 2011 · 35 citations · Full text

Engineering, Automated Reasoning, Verification +8

Rows per page

1–5 of 8