H. Yu, Y. Ma, Y. Glouche, J.-P Talpin, T. Gautier, P. Le Guernic, L. Besnard, O. Laurent, A. Toom. System-level Co-simulation of Integrated Avionics Using Polychrony..
In Proceedings of the 26th Symposium On Applied Computing (SAC 2011), March 2011 (to appear).
Y. Glouche., J.-P Talpin, P. Le Guernic, and T. Gautier. A module language for typing by contracts.
In Proceedings of the First NASA Formal Methods Symposium, Moffett Field, CA, USA, April 2009.
Y. Boichut, T. Genet, Y. Glouche and O. Heen. Using
Animation to Improve Formal Specifications of Security Protocols.
In Proceedings of SAR-SSI'07, 2007.
Y. Glouche, P. Le Guernic, J.-P Talpin, and T. Gautier. A Boolean algebra of contracts for logical assume-guarantee reasoning. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), To appear in ENTCS, Eindhoven, the Netherlands, November 2009.
Y. Glouche, T. Genet, O. Heen and O. Courtay. A
Security
Protocol Animator Tool for AVISPA. In ARTIST2 Workshop
on Security Specification and Verification of Embedded Systems ,
Pisa, May 2006.
Y. Glouche, T. Gautier, J.-P Talpin, and P. Le Guernic A module language for Typing Signal programs by Contracts. In Correct-by-Construction Embedded Software Synthesis: Formal Frameworks, Methodologies, and Tools, Shukla S., and Talpin J.-P. Editors. Springer, 2010 (to appear).
Y. Glouche, P. Le Guernic, J.-P Talpin, and T. Gautier. A Boolean algebra of contracts for logical assume-guarantee reasoning. Research Report RR 6570, INRIA Rennes, July 2008.
Yann Glouche. Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués.
Thèse de Doctorat, Université de Rennes 1, 2009.
Y. Glouche. Etudes de contraintes globales : consistance, filtrage et généralisation.
Rapport de stage de DEA, GREYC (Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen)/Université de Caen, 2004.
