Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

David Doose

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers
  • Charles Lesire, David Doose, Hugues Cassé. Validation of real-time properties of a robotic software architecture (regular paper). Dans : National Conference on Control Architectures of Robots (CAR 2011), Grenoble, 24/05/11-25/05/11, HAL-INRIA, (en ligne), mai 2011.
    Accès : http://hal.inria.fr/inria-00599689/fr/
    BibTeX

  • David Doose, Zoubir Mammeri. Méthode basée sur les polyèdres pour la validation de systèmes temps réel à partir de connaissances partielle. Dans : 13th International Conference on Real-Time Systems and Embedded Systems (RTS¿05), Paris, 05/04/05-08/04/05, BIRP, p. 437-458, avril 2005.
    Résumé
    BibTeX

  • David Doose, Zoubir Mammeri. Analyse des bornes d¿utilisation pour la validation de systèmes temps réel partionnés. Dans : 12ème Conférence Internationale sur les Systèmes Temps Réel et Embarqués, Paris, 30/03/04-01/04/04, Teknea, p. 101-125, mars 2004.
    BibTeX

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • David Doose. Une approche incrémentale de la validation de systèmes temps réel. Thèse de doctorat, Université Paul Sabatier, juillet 2006.
    BibTeX