Author

Yann Glouche

Observed name: Glouche, Yann

Observed institutions: Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, Technicolor (France), Centre Inria de l'Université de Rennes

OpenAlex ID: A5089957666

A Smart Waste Management with Self-Describing objects

2013 · Glouche, Yann, Couderc, Paul · HAL · 61

A Smart Waste Management with Self-Describing Complex Objects

2015 · Glouche, Yann, Sinha, Arnab, et al. · HAL · 31

System-level co-simulation of integrated avionics using polychrony

2011 · Huafeng Yu, Yue Ma, et al. · ACM Symposium on Applied Computing · 25

Using Animation to Improve Formal Specifications of Security Protocols

2007 · Yohan Boichut, Thomas Genet, et al. · 16

An Autonomous Traceability Mechanism for a Group of RFID Tags

2012 · Yann Glouche, Paul Couderc · Ubiquitous Computing Systems · 7

A Boolean algebra of contracts for logical assume-guarantee reasoning

2008 · Yann Glouche, Paul Le Guernic, et al. · HAL · 7

Distributed Tree Structure for Composite Physical Objects

2014 · Arnab Sinha, Yann Glouche, et al. · Procedia Computer Science · 5

PDF

A Boolean Algebra of Contracts for Assume-guarantee Reasoning

2010 · Yann Glouche, Paul Le Guernic, et al. · Electronic Notes in Theoretical Computer Science · 5

A Module Language for Typing SIGNAL Programs by Contracts

2010 · Yann Glouche, Thierry Gautier, et al. · Springer eBooks · 2

A Module Language for Typing by Contracts

2009 · Yann Glouche, Jean-pierre Talpin, et al. · NASA STI Repository (National Aeronautics and Space Administration) · 2

PDF

An autonomous tracability mechanism for a group of RFID tags

2012 · Glouche, Yann, Couderc, Paul · HAL · 1

A robust RFID inventory

2012 · Yann Glouche, Paul Couderc · HAL · 1

Software - The Eclipse interface

2011 · Loïc Besnard, Yann Glouche, et al.

New Results - Spatial Computing approach and RFIDs

2011 · Michel Banâtre, Paul Couderc, et al.

Other Grants and Activities - National Actions

2010 · Jean-Pierre Talpin, Thierry Gautier, et al.

Software - The SME platform

2010 · Loïc Besnard, Yann Glouche, et al.

New Results - Co-modeling and simulation of GALS architectures

2010 · Yue Ma, Huafeng Yu, et al.

New Results - Transformation of Simulink models in Polychrony

2010 · Yann Glouche, Thierry Gautier, et al.

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

2009 · Yann Glouche · HAL

Software - Protocol Animator

2006 · Thomas Genet, Yann Glouche

Works count: 24

Citation count: 163

H-index: 6

I10-index: 4