A. Basu
发表
Marcelo Zanconi,
Ismail Assayad,
Sergio Yovine,
2008
.
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2012
.
Jiangchuan Liu,
Axel Legay,
M. Bozga,
2014
.
B. Caillaud,
Axel Legay,
Benoît Delahaye,
2010,
FMOODS/FORTE.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
International Journal on Software Tools for Technology Transfer.
Jacques Pulou,
Joseph Sifakis,
Ananda Basu,
2007,
Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2011,
IEEE Software.
Joseph Sifakis,
Marius Bozga,
Ananda Basu,
2008,
FORTE.
Joseph Sifakis,
Thanh-Hung Nguyen,
Charles Lesire,
2008,
ECAI.
Joseph Sifakis,
Marius Bozga,
Ananda Basu,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Joseph Sifakis,
Doron A. Peled,
Ananda Basu,
2009,
Formal Methods Syst. Des..
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2013,
2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
RV.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010
.
Luca Benini,
Yusuf Leblebici,
Giovanni De Micheli,
2011,
FMCO.