1. I. Assayad, V. Bertin, F. Defaut, Ph. Gerner, O. Quévreux, and S. Yovine. JAHUEL: A formal framework for software synthesis. In7th International Conference on Formal Engineering Methods, (ICFEM 2005), Manchester, U. K., November1-4,2005. Lecture Notes in Computer Science 3785, Springer 204-218.
2. I. Assayad, Ph. Gerner, S. Yovine, and V. Bertin. Modelling, analysis, implementation of an on-line video encoder. In1st International Conference on Distributed Frameworks for Multimedia Applications, (DFMA 2005), Besançon, France, February6-9,2005, IEEE Computer Society, 2005, pp. 295-302.
3. I. Assayad and S. Yovine. P-Ware: A precise, scalable component-based simulation tool for embedded multiprocessor industrial applications. In10th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, (DSD 2007), Lübeck, Germany, August29-31,2007IEEE Computer Society, 2007, pp. 181-188.
4. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in BIP. In4th IEEE International Conference on Software Engineering and Formal Methods, Pune, India, September11-15,2006(SEFM 2006), IEEE Computer Society, 2006, pp. 3-12.
5. A. Basu, L. Mounier, M. Poulhiès, J. Pulou, and J. Sifakis. Using BIP for modeling, verification of networked systems: A case study on TinyOSbased networks. In6th IEEE International Symposium on Network Computing and Applications (NCA 2007), IEEEComputer Society, 2007, pp.257-260.