Follow
Yann Glouche
Yann Glouche
Researcher in computer science
Verified email at inria.fr
Title
Cited by
Cited by
Year
A Smart Waste Management with Self-Describing objects
Y Glouche, P Couderc
2nd International Conference on Smart Systems, Devices and Technologies …, 2013
1182013
A security protocol animator tool for AVISPA
Y Glouche, T Genet, O Heen, O Courtay
ARTIST2 workshop on security specification and verification of embedded …, 2006
802006
System-level co-simulation of integrated avionics using polychrony
H Yu, Y Ma, Y Glouche, JP Talpin, L Besnard, T Gautier, PL Guernic, ...
Proceedings of the 2011 ACM Symposium on Applied Computing, 354-359, 2011
382011
A Smart Waste Management with Self-Describing Complex Objects
Y Glouche, P Sinha, Arnab, Couderc
International Journal On Advances in Intelligent Systems 8 (1&2), 1-16, 2015
332015
Using animation to improve formal specifications of security protocols
Y Boichut, T Genet, Y Glouche, O Heen
2nd Conference on Security in Network Architectures and Information Systems …, 2007
292007
Span–a security protocol animator for avispa–user manual
Y Glouche, T Genet, E Houssay
IRISA/Université de Rennes 1, 20, 2006
292006
Span: A security protocol animator for avispa
Y Glouche, T Genet, E Houssay
IRISA/Université de Rennes 1: Rennes, France, September, 2008
132008
A boolean algebra of contracts for logical assume-guarantee reasoning
Y Glouche, P Le Guernic, JP Talpin, T Gautier
INRIA, 2008
112008
An autonomous tracability mechanism for a group of RFID tags
Y Glouche, P Couderc
UBICOMM 2012: The Sixth International Conference on Mobile Ubiquitous …, 2012
62012
A boolean algebra of contracts for assume-guarantee reasoning
Y Glouche, P Le Guernic, JP Talpin, T Gautier
Electronic Notes in Theoretical Computer Science 263, 111-127, 2010
52010
Distributed tree structure for composite physical objects
A Sinha, Y Glouche, P Couderc
Procedia Computer Science 32, 587-595, 2014
32014
A module language for typing SIGNAL programs by contracts
Y Glouche, T Gautier, PL Guernic, JP Talpin
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness …, 2010
32010
A module language for typing by contracts
Y Glouche, JP Talpin, P LeGuernic, T Gautier
Proceedings of the First NASA Formal Methods Symposium, 2009
32009
A robust RFID inventory
Y Glouche, P Couderc
Smart SysTech 2012; European Conference on Smart Objects, Systems and …, 2012
12012
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
Y Glouche
Université Rennes 1, 2009
2009
Polychrony
H Yu, Y Ma, Y Glouche, JP Talpin, L Besnard, T Gautier, P Le Guernic, ...
A robust RFID inventory based on coupled objects concept
Y Glouche, P Couderc
A module language based on typing by contracts extended version
Y Glouche, P Le Guernic, JP Talpin, T Gautier
The system can't perform the operation now. Try again later.
Articles 1–18