Ananda Shankar Basu

Ananda Shankar Basu

Huawei Technologies - Shenzhen / China
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4462796
华为技术
person_outline Ananda Shankar Basu's MOST POPULAR ARTICLES
1-) Modeling heterogeneous real-time components in BIPA Basu, M Bozga, J SifakisFourth IEEE International Conference on Software Engineering and Formal …, 20067432006
2-) Rigorous component-based system design using the BIP frameworkA Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J SifakisIEEE software 28 (3), 41-48, 20113582011
3-) Statistical abstraction and model-checking of large heterogeneous systemsA Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A LegayFormal Techniques for Distributed Systems, 32-46, 2010842010
4-) Incremental component-based construction and verification of a robotic systemA Basu, M Gallien, C Lesire, TH Nguyen, S Bensalem, F Ingrand, J SifakisECAI 2008, 631-635, 2008722008
5-) Using BIP for modeling and verification of networked systems--a case study on tinyos-based networksA Basu, L Mounier, M Poulhies, J Pulou, J SifakisSixth IEEE International Symposium on Network Computing and Applications …, 2007672007