A Smart Waste Management with Self-Describing objects Y Glouche, P Couderc 2nd International Conference on Smart Systems, Devices and Technologies …, 2013 | 118 | 2013 |
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 | 80 | 2006 |
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 | 38 | 2011 |
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 | 32 | 2015 |
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 | 29 | 2007 |
Span–a security protocol animator for avispa–user manual Y Glouche, T Genet, E Houssay IRISA/Université de Rennes 1, 20, 2006 | 29 | 2006 |
Span: A security protocol animator for avispa Y Glouche, T Genet, E Houssay IRISA/Université de Rennes 1: Rennes, France, September, 2008 | 13 | 2008 |
A boolean algebra of contracts for logical assume-guarantee reasoning Y Glouche, P Le Guernic, JP Talpin, T Gautier INRIA, 2008 | 11 | 2008 |
An autonomous tracability mechanism for a group of RFID tags Y Glouche, P Couderc UBICOMM 2012: The Sixth International Conference on Mobile Ubiquitous …, 2012 | 6 | 2012 |
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 | 5 | 2010 |
Distributed tree structure for composite physical objects A Sinha, Y Glouche, P Couderc Procedia Computer Science 32, 587-595, 2014 | 3 | 2014 |
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 | 3 | 2010 |
A module language for typing by contracts Y Glouche, JP Talpin, P LeGuernic, T Gautier Proceedings of the First NASA Formal Methods Symposium, 2009 | 3 | 2009 |
A robust RFID inventory Y Glouche, P Couderc Smart SysTech 2012; European Conference on Smart Objects, Systems and …, 2012 | 1 | 2012 |
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 | | |