Meetings
TRIADE meeting, october 10th, 2010, INRIA Rennes
- Participants: Jean-Pierre Talpin, Dumitru Potop-Butucaru, Yves Sorel, Huafeng Yu, Virginia Papailiopoulou, Thierry Gautier, Loïc Besnard, Paul Le Guernic
TRIADE workshop, september 29th, 2010, IRISA, Paris
- Participants: Jean-Pierre Talpin, Robert de Simone, Abdoulaye Gamatié, Dumitru Potop-Butucaru, Yves Sorel, Huafeng Yu, Virginia Papailiopoulou
- Talks
- "Efficient weak endochrony analysis of multi-clock programs", Virginia Papailiopoulou
- "System-level Co-simulation of Integrated Avionics Using Polychrony", Huafeng Yu
TRIADE workshop, june 8th, 2010, INRIA, Paris
- Participants: Jean-Pierre Talpin, Robert de Simone, Yves Sorel, Abdoulaye Gamatié, Dumitru Potop, Virginia Papailiopoulou
- Talks
- "Routage k-périodique des graphes d'evenements étendus", Robert de Simone
- "Hiérarchisation de spécifications faiblement endochrones" , Virginia Papailiopoulou
- "Un langage intermédiaire pour l'implentation temps-réel distribuée de spécifications endochrones", Dumitru Potop
- "TBA", Abdoulaye Gamatié
TRIADE meeting, april 12th, 2010, INRIA Rennes
- Participants: Jean-Pierre Talpin, Dumitru Potop, Virginia Papailiopoulou, Yves Sorel, Loïc Besnard, Paul Le Guernic
TRIADE workshop, march 2nd-3rd, 2010, INRIA, Paris
- Participants: Jean-Pierre Talpin, Robert de Simone, Yves Sorel, Pierre Boulet, Abdoulaye Gamatié, Dumitru Potop, Virginia Papailiopoulou, Ericc Vecchie (invited speaker)
- Talks
- "Test automatique de programmes synchrones" , Virginia Papailiopoulou
- "Un langage intermédiaire pour l'implentation temps-réel distribuée de spécifications endochrones", Dumitru Potop
- "Compilation modulaire et extension d'ordre supérieure d'un langage synchrone impératif", Eric Vecchie
- "Routing event graphs", Robert de Simone
- "Programmes impératifs et automates de mode en forme SSA", Jean-Pierre Talpin
TRIADE meeting, february 9th-10th, 2009, INRIA Rennes
- Participants: Jean-Pierre Talpin, Dumitru Potop, Loïc Besnard, Paul Le Guernic, Julio Peralta, Yann Glouche, Ma Yue
TRIADE meeting, september 21st, 2009, INRIA Sophia Antipolis
- Participants: Jean-Pierre Talpin, Robert de Simone, Charles André, Julien Deantoni, Huafeng Yu
- Talks
- "Polychronous analysis of timing constraints in UML MARTE", Huafeng Yu
- Technical discussions on synthesizing determonistic execulatble specifications from CCSL timing diagrams
TRIADE meeting, june 23rd, 2009, INRIA Rennes
- Participants: Jean-Pierre Talpin, Dumitru Potop, Yves Sorel, Loïc Besnard, Paul Le Guernic
TRIADE workshop, march 25th, 2009 (Room Corsica), IRISA, Rennes
- Participants: Jean-Pierre Talpin, Robert de Simone, Abdoulaye Gamatié, Julien Ouy, Yann Glouche, Hugo Métivier, Loïc Besnard, Dumitru Potop-Butucaru, Sandeep Shukla, Yves Sorel, Pierre Boulet, Paul Le Guernic
- Talks
- "Modeling and Analysis of latency-insensitive Protocol Using SIGNAL Framework", Sandeep Shukla
- "Formal Modeling of Efficient Routers for On-Chip Networks", Robert de Simone
- "Periodic clock relations", Hugo Métivier
- "A module system for contract-based design", Yann Glouche
- "About Translating the Repetitive Structure Models into Synchronous models", Abdoulaye Gamatié
- "From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations", Dumitru Potop
INRIA workshop «Systèmes Embarqués», march 9th, 2010, Paris
- Talks presented by TRIADE
- "CodeSyn, A Visual Framework for Specification and Code Generation for Safety-Critical Embedded Software", Sandeep Shukla
- "K-periodically routed BDF Graphs", Robert de Simone
- "Système de modules pour la conception par contrat appliqué aux logiciels spatiaux", Jean-Pierre Talpin
TRIADE meeting, february 23rd-24th, 2009, INRIA Rennes
- Participants: Jean-Pierre Talpin, Dumitru Potop, Loïc Besnard, Paul Le Guernic
TRIADE meeting, november 12th, 2008, INRIA Rocquencourt
- Participants: Jean-Pierre Talpin, Robert de Simone, Yves Sorel, Dumitru Potop, Abdoulaye Gamatié, Pierre Boulet