Yann Glouche

According to our database, Yann Glouche authored at least 6 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Distributed Tree Structure for Composite Physical Objects.

Arnab Sinha, Yann Glouche, Paul Couderc

Proceedings of the 5th International Conference on Ambient Systems, 2014

2011

System-level co-simulation of integrated avionics using polychrony.

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

A Module Language for Typing SIGNAL Programs by Contracts.

Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin

Proceedings of the Synthesis of Embedded Software, 2010

2009

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.

Yann Glouche

PhD thesis, 2009

A Boolean Algebra of Contracts for Assume-guarantee Reasoning.

Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

A module language for typing by contracts.

Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier

Proceedings of the First NASA Formal Methods Symposium, 2009