Publications de
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, Archives ouvertes HAL, (en ligne), mai 2011.
Frédéric Minot, Jean-Paul Bodeveix, Mamoun Filali, David Doose, Charles Castel, Cédric Pralet, P. Bieber
Constraint-based design of Avionics platform- preliminary design exploration
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 31/01/08-01/02/08, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), (support électronique), janvier 2008.
Incremental validation of real-time systems
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), p. 1-10, 2006.
Polyhedra-based approach for incremental validation of real-time systems
Dans : IFIP International Conference on Embedded and Ubiquitous Computing (EUC’2005), Nagasaki, Japan, 06/12/05-09/12/05, Springer-Verlag, LNCS 3824, p. 184-193, 2005.
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.
Schedulability analysis and design of real-time embedded systems with partition
Dans : IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES 2004, Toulouse, 23/08/04-26/08/04, IFIP, p. 167-176, août 2004.
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.
Schedulability analysis of systems with partitions under EDF
Dans : 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI 2003, Orlando (USA), 27/07/03-30/07/03, ISAS – SCI, juillet 2003.
Une approche incrémentale de la validation de systèmes temps réel
Thèse de doctorat, Université Paul Sabatier, juillet 2006.