Publications de
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching
Dans : Concurrency and Computation:Practice and Experience, Wiley, Vol. 25 N. 2, p. 234-249, février 2013.
Accès : http://onlinelibrary.wiley.com/doi/10.1002/cpe.2803/abstract – https://oatao.univ-toulouse.fr/12313/
BibTeXNadège Pontisso, David Chemouil
Vérification formelle d’un modèle AADL à l’aide de l’outil UPPAAL
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, p. 36-40, mars 2007.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching (regular paper)
Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisia, 31/05/10-02/06/10, IEEE : Institute of Electrical and Electronics Engineers, p. 81-88, mai 2010.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Temporal Data Matching in Component Based Real Time Systems (short paper)
Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2009), Lausanne, Suisse, 08/07/09-10/07/09, IEEE Computer Society, p. 62-65, juillet 2009.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou, Guillaume Véran
Data Consistency in a Component Based Space System
Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, p. 277-280, mai 2009.
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
Cohérence temporelle des calculs répartis embarqués
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, CNRS, (en ligne), avril 2008.
Accès : http://www.cert.fr/feria/svf/FAC/2008/actes.html
BibTeXNadège Pontisso, Gérard Padiou, Philippe Quéinnec
Real time data consistency in component based embedded systems
Dans : international conference on New technologies in distributed systems – Atelier Cohérence Des Données en Univers Réparti (NOTERE – CDUR 2008), Lyon, 23/06/08, ACM : Association for Computing Machinery, p. 1-6, juin 2008.
Nadège Pontisso, David Chemouil
TOPCASED Combining Formal Methods with Model-Driven Engineering
Dans : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/06-22/09/06, IEEE Computer Society, p. 359-360, 2006.
Association cohérente de données dans les systèmes temps réel à base de composants – Application aux logiciels spatiaux
Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2009.
Résumé Accès : http://tel.archives-ouvertes.fr/tel-00459071/fr/
BibTeX