Nadège Pontisso

Combining Formal Methods with Model-Driven Engineering

Nadège Pontisso, 2006 .

TOPCASED Combining Formal Methods with Model-Driven Engineering

David Chemouil, Nadège Pontisso, D. Chemouil, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux

Nadège Pontisso, Nadège Pontisso, 2009 .

Analysis of distributed multiperiodic systems to achieve consistent data matching

Gérard Padiou, Philippe Quéinnec, Nadège Pontisso, 2013, Concurr. Comput. Pract. Exp..

Analysis of distributed multi-periodic systems to achieve consistent data matching

Gérard Padiou, Philippe Quéinnec, Nadège Pontisso, 2010, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE).

Temporal data matching in component based real time systems

Gérard Padiou, Philippe Quéinnec, Nadège Pontisso, 2009, 2009 IEEE International Symposium on Industrial Embedded Systems.