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
972013
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
602006
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
342011
Span–a security protocol animator for avispa–user manual
Y Glouche, T Genet, E Houssay
IRISA/Université de Rennes 1, 20, 2006
272006
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
192015
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
172007
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
62010
SPAN: A Security Protocol ANimator for AVISPA
Y Glouche, T Genet, E Houssay
IRISA/Université de Rennes 1: Rennes, France, September, 2008
62008
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
Distributed tree structure for composite physical objects
A Sinha, Y Glouche, P Couderc
Procedia Computer Science 32, 587-595, 2014
22014
A robust RFID inventory
Y Glouche, P Couderc
Smart SysTech 2012; European Conference on Smart Objects, Systems and …, 2012
12012
A module language for typing SIGNAL programs by contracts
Y Glouche, T Gautier, PL Guernic, JP Talpin
Synthesis of Embedded Software, 147-171, 2010
12010
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
A methodology for the specification and the validation of heterogeneous systems based on a model of contracts for design of embedded systems
Y GLOUCHE
Université de Rennes 1, Rennes, 2009
2009
A robust RFID inventory based on coupled objects concept
Y Glouche, P Couderc
Une algèbre Booléenne de contrats pour un raisonnement logique sur les hypothèses/garanties
Y Glouche, P Le Guernic, JP Talpin, T Gautier
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–19