Publications

Annie Choquet-Geniet, Les réseaux de Petri - Un outil de modélisation, Dunod, mars, 2006

Annie Choquet-Geniet and Pascal Richard, Petri nets, An introduction to sofware specification: a case study, 2sd edition, Hermès London, 2006

Annie Choquet-Geniet and Pascal Richard, Petri nets : a graphical tool for system modelling, An Introduction to Formal Specification, Springer Verlag, 2000, pp. 241-257

Annie Choquet-Geniet, Gaëlle Largeteau and Abdoulaye Ouattara, Mesures de l'équité d'une application temps-réel à l'aide d'une approche à  base de géométrie discrète, Journal Européen des Systèmes Automatisés (JESA), vol. 43, Novembre, 2009, pp. 1065-1080

Annie Choquet-Geniet and Emmanuel Grolleau, Minimal schedulability interval for real time systems of periodic tasks with offsets , Theoretical of Computer Sciences, vol. 310, 2004, pp. 117-134

Emmanuel Grolleau and Annie Choquet-Geniet, Off-line Computation of Real-Time Schedules using Petri nets, Discrete Event Dynamic Systems, DEDS, vol. 12(3), jully, 2002, pp. 311-333

Annie Choquet-Geniet, Emmanuel Grolleau and Francis Cottet, Étude hors ligne d'une application temps réel à contraintes strictes, Technique et Science informatique, vol. 19(10), Décembre, 2000, pp. 1373 - 1397

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

Annie Choquet-Geniet, Gaëlle Largeteau-Skapin and Abdoulaye Ouattara, Integratign PFairness within a modelled based scheduling tool, Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), ewics series of the British Computer Society, 2010

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Tree scheduling versus sequential scheduling, CARS@EDCC , ACM Digital Library with the ISBN 978-1-60558-915-2, April, 2010

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils, AFADL 2010, Juin, 2010, pp. 113-116

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Using semantic properties for real time scheduling, MDD4DRES, Work In Progress Session, 2009

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, A realistic model of real-time systems for efficient scheduling, 33rd Annual IEEE Software Engineering Workshop, 2009

Sadouanouan Malo and Annie Choquet-Geniet, Analysis of critical scalable real-time systems by means of Petri nets, AVoCS'09 -- PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems, Technical Report of Computer Science CSR-2-2009, edited by Liam O'Reilly and Markus Roggenbach, Swansea University, Wales, UK, 2009, pp. 245-247

Sadouanouan Malo, Annie Choquet-Geniet and Moustapha Bikienga, Extension du contexte de mise en œuvre des ordonnancements PFAIR, ROADEF 09, 2009, pp. 148-149

Annie Choquet-Geniet, Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs, Real-time and Embedded Systems, edited by Teknéa, 2005, pp. 289-302

Stéphane Pailler and Annie Choquet-Geniet, Off-Line scheduling of real-time applications with variable duration tasks, 7th Workshop on Discrete Events Systems, September, 2004, pp. 373-378

Annie Choquet-Geniet, Panorame de l'ordonnancement temps réel monoprocesseur, ETR2003, 2003, pp. 213 - 226

Stéphane Pailler and Annie Choquet-Geniet, Analyse hors ligne d'applications temps réel fortement couplées comportant des tâches à durées variables, Majestic03 et Special Issue ISDM'Majestic03, 2003

Stéphane Pailler and Annie Choquet-Geniet, Ordonnancement Temps Réel d'apllications comportant des tâches à durées variables, Real Time System, edited by teknea, Paris, 26-28 Mars, 2002, pp. 151-172

Stephane Pailler and Annie Choquet-Geniet, Off line Scheduling of Applications with Variable Duration Tasks, Summer School MOVEP'2002, Nantes France, June, 2002, pp. 378-383

Emmanuel Grolleau and Annie Choquet-Geniet, Ordonnancement de tâches temps réel en environnement multiprocesseur à l'aide de réseaux de Petri, Real-Time Systems, RTS'2001, Paris, France, 2001

Emmanuel Grolleau and Annie Choquet-Geniet, Cyclicité des ordonnancements de systèmes de tâches périodiques différées, Real-Time Systems, RTS'2000, edited by Teknea, Paris, 2000

Emmanuel Grolleau and Annie Choquet-Geniet, Off-line computation of real-time schedules by means of Petri nets, Workshop On Discrete Event Systems, WODES2000, Discrete Event Systems: Analysis and Control, Ghent, Belgium, Kluwer Academic Publishers, 2000, pp. 309-316

Emmanuel Grolleau and Annie Choquet-Geniet, Scheduling real-time systems by means of Petri nets, IFAC 25th Workshop on Real-Time Programming, WRTP'00, Palma de Mallorca, 2000, pp. 95-100

Emmanuel Grolleau and Annie Choquet-Geniet, Utilisation des réseaux de Petri pour l'ordonnancement hors-ligne optimal des systèmes temps réel, IEEE Conférence Internationale Francophone d'Automatique, CIFA 2000, Lille, 2000

Annie Choquet-Geniet, Ordonnancement des applications temps-réel, ETR'99, Septembre, 1999, pp. 53-68

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Modélisation de systèmes temps réel par réseaux de Petri autonomes en vue de leur analyse hors-ligne, Modélisation des Systèmes Réactifs, MSR'99, edited by Hermes, Cachan, 1999, pp. 17-26

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Cyclicité des ordonnancements au plus tôt des systèmes de tâches temps réel, Rencontres Francophones du Parallélisme, RenPar'10, Strasbourg, 1998, pp. 39-42

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Validation de systèmes temps réel à l’aide de réseaux de Petri, Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL'98, Poitiers-Futuroscope, 1998, pp. 137-148

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Ordonnancement Optimal des Systèmes de Tâches Temps Réel à l’Aide de Réseaux de Petri, Automatique Génie informatique Image Signal, AGIS'97, Nantes, 1997, pp. 239-246

Annie Choquet_Geniet, Systèmes parallèles et temps réel : analyse à l'aide de modèles formels, Thesis, Habilitation à diriger les recherches, Université de Poitiers & ENSMA, Décembre, 2000

Annie Choquet-Geniet, The scheduling algorithms PF and PD2 are monotonous, LISI, 1, Juin, 2010

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils, LISI, ENSMA, Juin, 2010

Sadouanouan Malo, Annie Choquet-Geniet and Moustapha Bikienga, PFairness for late released tasks with constrainde deadlines, LISI, 2010

Annie Choquet-Geniet, Christian Fotsing and Sadouanouan Malo, Scheduling of real-time applications with varaible utilization factor using à PFair based aperiodic server, LISI, Mars, 2009

Annie Choquet-Geniet and Sadouanouan Malo, Finding cyclic behaviour in multiprocessor scheduling, LISI, 2009

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Cyclicité des séquences d'ordonnancement au plus tôt des systèmes de tâches temps réel à contraintes strictes, LISI-ENSMA, 97007, 1997