Publications of
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching
In : Concurrency and Computation:Practice and Experience, Wiley, Vol. 25 N. 2, pp. 234-249, February 2013.
URL : 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
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 80, pp. 36-40, March 2007.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching (regular paper)
In : 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, pp. 81-88, May 2010.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Temporal Data Matching in Component Based Real Time Systems (short paper)
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2009), Lausanne, Suisse, 08/07/09-10/07/09, IEEE Computer Society, pp. 62-65, July 2009.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou, Guillaume Véran
Data Consistency in a Component Based Space System
In : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, pp. 277-280, May 2009.
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
Cohérence temporelle des calculs répartis embarqués
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, CNRS, (on line), April 2008.
URL : 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
In : 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, pp. 1-6, June 2008.
Nadège Pontisso, David Chemouil
TOPCASED Combining Formal Methods with Model-Driven Engineering
In : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/06-22/09/06, IEEE Computer Society, pp. 359-360, 2006.
Association cohérente de données dans les systèmes temps réel à base de composants – Application aux logiciels spatiaux
Master’s Thesis, Institut National Polytechnique de Toulouse, December 2009.
Abstract URL : http://tel.archives-ouvertes.fr/tel-00459071/fr/
BibTeX