Yann Glouche
Yann Glouche
Researcher in computer science
Geverifieerd e-mailadres voor inria.fr
Titel
Geciteerd door
Geciteerd door
Jaar
A Smart Waste Management with Self-Describing objects
Y Glouche, P Couderc
2nd International Conference on Smart Systems, Devices and Technologies …, 2013
862013
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
502006
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
262006
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
162007
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
152015
A boolean algebra of contracts for logical assume-guarantee reasoning
Y Glouche, P Le Guernic, JP Talpin, T Gautier
INRIA, 2008
112008
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
72010
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
SPAN: A Security Protocol ANimator for AVISPA
Y Glouche, T Genet, E Houssay
IRISA, September, 2008
62008
A module language for typing by contracts.
Y Glouche, JP Talpin, P Le Guernic, T Gautier
NASA Formal Methods, 86-95, 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, P Le 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–19