Publications

Gaëlle Largeteau and Dominique Geniet, Quantification du taux d'invalidité d'applications temps réel à contraintes strictes, Technique et Science Informatiques, vol. 27(5), Mai, 2008, pp. 589-625

Bernard Chauvière and Dominique Geniet, Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes, Technique et Science Informatique, vol. 26(10), 2007, pp. 1269-1303

Dominique Geniet and Gaëlle Largeteau:, WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model, Theoretical Computer Science, vol. 388(1-3), 2007, pp. 26-52

Dominique Geniet and Jean-Philippe Dubernard, Scheduling hard sporadic tasks with regular languages and generating functions, Theoretical Computer Science, vol. 313(1), 2004, pp. 119-132

Annie Choquet-Geniet, Dominique Geniet and René Schott, A Methodology for Transforming Sequential Flowcharts into Parallel Ones Using Fifo Nets, Journal of Computing and Information, vol. 1, Juillet, 1995, pp. 529-545

Bernard Chauvière, Dominique Geniet and René Schott, Contributions to the multiprocessor scheduling problem, Computational Intelligence (IASTED-CI), 2007, pp. 55-60

Bernard Chauvière and Dominique Geniet, Quantification de l'ordonnançabilité des systèmes temps-réel à contraintes strictes, Rencontre Jeune Chercheur en Informatique Temps-Réel, ETR, 2005, pp. 41-44

Gaëlle Largeteau and Dominique Geniet, Quantification du taux d'invalidité d'applications temps réel : une approche géométrique, RTS embedded systems 13th International Conference on Real-Time Systems, edited by N. Navet, Paris, France, BIRP, teknea, Avril, 2005

Gaëlle Largeteau, Dominique Geniet and Eric Andres, Discrete Geometry Applied in Hard Real-Time Systems Validation, Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, vol. 3429, Lecture Notes in Computer Science , Poitiers, France, Springer Berlin / Heidelberg, April, 2005, pp. 23-33

Gaëlle Largeteau and Dominique Geniet, Term Validation of distributed hard real time applications, CIAA 2002 : international conference on implementation and application of automata, vol. 2608, Lecture Notes in Computer Science, edited by Champarnaud Jean-Marc, Maurel Denis, Tours, France, July, 2002, pp. 339-343

Gaëlle Largeteau and Dominique Geniet, Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes, RTS embedded systems Real time systems 2002, edited by teknea, Paris, France, 2002

Dominique Geniet and Gaëlle Largeteau, Validation temporelle de systèmes de tâches temps-réel strictes à durée variables à l'aide de langages rationnels, Actes de Modélisation des systèmes réactifs Modélisation des systèmes réactifs, Toulouse, France, September, 2001, pp. 243-258

Francis Jambon, Philippe Brun and Dominique Geniet, Un cadre d’études pour une approche temps-réel de l’ingénierie des IHM à contraintes temporelles, IHM-HCI'2001, vol. 2, edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, Lille, France, Cépaduès-Éditions, 2001, pp. 133-136

Gaëlle Largeteau, Dominique Geniet and Jean-Philippe Dubernard, Validation of distributed periodic real-time systems using CAN protocol with finite automata, Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs, Orlando, florida, USA, 2001, pp. 151-155