 |
 |
|
|
||
|---|---|---|
|
inria-00466158v1
Rapport
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al. Statistical abstraction and model-checking of large heterogeneous systems [Research Report] RR-7238, INRIA. 2010 |
||
|
inria-00554321v1
Communication dans un congrès
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems John Hatcliff and Elena Zucca. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. Springer, 6117, pp.32-46, 2010 |
||
|
hal-00557717v1
Communication dans un congrès
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Axel Legay et al. Verification of an AFDX infrastructure using simulation and probabilities Howard Barringer, Ylis Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky and Nikolai Tillmann. Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. Springer, 6418, pp.330-344, 2010, LNCS. <10.1007/978-3-642-16612-9> |
||
|
hal-00878094v1
Communication dans un congrès
Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu et al. Stochastic Modeling and Performance Analysis of Multimedia SoCs Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII), Jul 2013, Agios konstantinos, Samos Island, Greece. IEEE, pp.145-154, 2013, <10.1109/SAMOS.2013.6621117> |
||
|
hal-00722489v1
Article dans une revue
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Axel Legay. Statistical abstraction and model-checking of Large Heterogeneous Systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (1), pp.53-72. <10.1007/s10009-011-0201-2> |
||
|
hal-01055148v1
Chapitre d'ouvrage
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoit Delahaye et al. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems John Hatcliff; Elena Zucca. Formal Techniques for Distributed Systems, 6117, Springer, pp.32-46, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. <10.1007/978-3-642-13464-7_4> |
||
|
|
||
