Articles techniques
- Un tutoriel sur la mise en oeuvre d'une pile applicative sécurisée pour le développement collaboratif apache+subversion+ssl.
Bibliographie
- rapport de DEA (pdf gzip - 430k, en français)
- A Component Oriented Notation for Behavioral Specification and Validation, I.Ryl, M.Clerbout et A.Bailly, OOPSLA'2001 Workshop on Specification and Verification on Component Based Systemsps gzip, 212k, en anglais) ;
- Fidl - spécifications formelles en idl3, A. Bailly, I. Ryl and M. Clerbout. In Jean-Pierre Briot and Jacques Malenfant, editors, Langages et Modèles à Objets - LMO'03, volume 9 of L'Objet, pages 213-225. Hermes - Lavoisier, 2003 (ps.gzip - 79k, en français) ;
- STAC: Communication traces based specifications and tests of software components, I. Ryl, M. Clerbout and A. Bailly . In Proc. of 15th Nordic Workshop on Programming Theory (NWTP'03), Turku, Finland, 2003.(ps gzip - 79k, en anglais) ;
- Component composition preserving behavioral contracts, I. Ryl, A. Bailly and M. Clerbout ; Research Report RR-2005-1, .(pdf gzip, 183k, en anglais) ;
- Component Composition Preserving Behavioural Contracts Based on Communication Traces., Arnaud Bailly, Mireille Clerbout and Isabelle Simplot-Ryl ; Tenth International Conference on Implementation and Application of Automata (CIAA 05) June 27-29, 2005, Sophia Antipolis, France. (pdf gzip - 183k, en anglais)
- Test et validation de composants logiciels, Mémoire de thèse de doctorat en informatique, soutenu le 15 décembre 2005 (pdf gzip
