TOPCASED Combining Formal Methods with Model-Driven Engineering. - Nadège Pontisso; David Chemouil (ASE, 2006)

Real time data consistency in component based embedded systems. - Nadège Pontisso; Gérard Padiou; Philippe Quéinnec (NOTERE, 2008)

Temporal data matching in component based real time systems. - Nadège Pontisso; Philippe Quéinnec; Gérard Padiou (SIES, 2009)

Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux. - Nadège Pontisso (2009)

Analysis of distributed multi-periodic systems to achieve consistent data matching. - Nadège Pontisso; Philippe Quéinnec; Gérard Padiou (NOTERE, 2010)

Analysis of distributed multiperiodic systems to achieve consistent data matching. - Nadège Pontisso; Philippe Quéinnec; Gérard Padiou (Concurr. Comput. Pract. Exp., 2013)