Annie CHOQUET-GENIET
Annie CHOQUET-GENIET
Professeur des Universités

email : ageniet@ensma.fr
tél : +33 (0)549498068
tutelle: SFA - Université de Poitiers
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Temps Réel
Publications
(51)
Ouvrages individuels ou collectifs
(3)
Annie CHOQUET-GENIET, Pascal RICHARD, Petri nets, Petri nets, 2sd edition, 2006
Annie CHOQUET-GENIET, Les réseaux de Petri - Un outil de modélisation, Les réseaux de Petri - Un outil de modélisation, mars, 2006
Annie CHOQUET-GENIET, Pascal RICHARD, Petri nets : a graphical tool for system modelling, Petri nets : a graphical tool for system modelling, 2000, pp. 241-2576431/2000-spec-geniet.pdf
Revues Internationales
(7)
Annie CHOQUET-GENIET, Sadouanouan MALO, Scheduling an aperiodic flow within a real-timesystem using Fairness properties, ARIMA (ChoGM14), vol. 18, 2014, pp. 93-116
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Size analysis in multiprocessor real-time scheduling, International Journal Critical Computer-Based Systems (ChoGLS14), vol. 5, 2014
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Real-time scheduling using regularity criteria and a geometrical approach, International Journal of Critical Computer-Based Systems (IJCCBS 2011), vol. 2, n. 3/4, 2011, pp. 266-287
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, 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) (JESA 2009), vol. 43, Novembre, 2009, pp. 1065-10808837/2009-JESA-Choquet-Geniet.pdf
Annie CHOQUET-GENIET, Emmanuel GROLLEAU, Minimal schedulability interval for real time systems of periodic tasks with offsets , Theoretical of Computer Sciences (TCS 2004), vol. 310, 2004, pp. 117-134http://www.sciencedirect.comhttp://www.sciencedirect.com
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Off-line Computation of Real-Time Schedules using Petri nets, Discrete Event Dynamic Systems, DEDS, vol. 12, n. 3, jully, 2002, pp. 311-3335760/2002-DEDS-Grolleau.pdf
Annie CHOQUET-GENIET, Emmanuel GROLLEAU, Francis COTTET, Étude hors ligne d'une application temps réel à contraintes strictes, Technique et Science informatiques (TSI 2000), vol. 19, n. 10, Décembre, 2000, pp. 1373 - 13975843/2000-Technique_et_Science_informatique-Choquet-Geniet.pdf
Revues Nationales
(1)
Annie CHOQUET-GENIET, Dominique GENIET, René Schott, A Methodology for Transforming Sequential Flowcharts into Parallel Ones Using Fifo Nets, Journal of Computing and Information (JCI 1995), vol. 1, Juillet, 1995, pp. 529-5456214/AG_DG_RS_ICCI95.pdf
Conférences Internationales
(27)
Yves MOUAFO TCHINDA, Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling, 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) (VECOS'2016), 2016
Yves MOUAFO TCHINDA, Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Failure tolerance for a multicore real-time system scheduled by PD2, 9th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2015), 201520378/article RTNS Junior.pdf
Christian FOTSING, Annie CHOQUET-GENIET, Integrating semantic properties within a Petri net based scheduling tool, IEEE International Symposium on Rapid System Prototyping (IEEE RSP), 2012, pp. 93-9918572/RSP'12.pdf
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Resource minimization for multiprocessor real-time applications, Proceedings of the 6th international Workshop on Verification and Evaluation of Computer and Communication Systems (ChoGLS 2012), Paris, 2012, pp. 3-12
Moustapha BIKIENGA, Dominique GENIET, Annie CHOQUET-GENIET, Observation tools for effective schedules in a RTOS, 2nd Workshop on Embed With Linux (EWiLi 2012), vol. 9, n. 2, edited by ACM SIGBED Review, Juin, 2012, pp. 17-229922/2012-WEWL-Bikienga.pdf
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFair scheduling of late released tasks with constrained deadlines, 4ième Colloque National sur la Recherche en Informatique et ses Applications., Thiès et Bambey - Sénégal, Avril, 2012, pp. 142 - 1499815/2012-CNRIA-Malo.pdf
Annie CHOQUET-GENIET, Christian FOTSING, Linear transformation of conditional real-time tasks, 20th International Conference on Real-Time and Network Systems, edited by ACM, Nancy, France, edited by ACM, Novembre, 2012, pp. 201-209
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, 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, 20109175/2010-FIWVECCS-Choquet-Geniet.pdf
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Tree scheduling versus sequential scheduling, CARS@EDCC , edited by ACM Digital Library with the ISBN 978-1-60558-915-2, April, 2010
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Using semantic properties for real time scheduling, MDD4DRES, Work In Progress Session, 20098498/mdd4dres_wip_09.pdf
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, A realistic model of real-time systems for efficient scheduling, 33rd Annual IEEE Software Engineering Workshop, 2009
Sadouanouan MALO, 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, edited by Swansea University, Wales, UK, 2009, pp. 245-247
Stéphane PAILLER, Annie CHOQUET-GENIET, Off-Line scheduling of real-time applications with variable duration tasks, 7th Workshop on Discrete Events Systems, September, 2004, pp. 373-3787089/2004-WDES-Pailler.pdf
Stéphane PAILLER, 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, 20037097/2003-ISDM-Pailler.pdf
Annie CHOQUET-GENIET, Panorame de l'ordonnancement temps réel monoprocesseur, ETR2003, 2003, pp. 213 - 2267105/2003-ETR2003-Choquet-Geniet.pdf
Stéphane PAILLER, 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-1725771/2002-Real_Time_System-Pailler.pdf
Stéphane PAILLER, Annie CHOQUET-GENIET, Off line Scheduling of Applications with Variable Duration Tasks, Summer School MOVEP'2002 (MOVEP 2002), Nantes France, June, 2002, pp. 378-3836699/2002-MOVEP-Pailler.pdf
Emmanuel GROLLEAU, 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, 20015717/2001-RTS2001-Grolleau.pdf
Emmanuel GROLLEAU, 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, 20005710/2000-CIFA-Grolleau.pdf
Emmanuel GROLLEAU, 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, 20005686/2000-rts-grolleau.pdf
Emmanuel GROLLEAU, 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-1005701/2000-wrtp-grolleau.pdf
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Off-line computation of real-time schedules by means of Petri nets, Workshop On Discrete Event Systems (WODES 2000), Discrete Event Systems: Analysis and Control, Ghent, Belgium, edited by Kluwer Academic Publishers, 2000, pp. 309-3165695/2000-WODES2000-Grolleau.pdf
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, 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-265752/1999-msr-grolleau.pdf
Annie CHOQUET-GENIET, Ordonnancement des applications temps-réel, ETR'99, Septembre, 1999, pp. 53-68
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, 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-425739/1998-renpar-grolleau.pdf
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, 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-1485746/1998-afadl-grolleau.pdf
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, 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-2465732/1997-agis-grolleau.pdf
Conférences Nationales
(5)
Yves MOUAFO TCHINDA, Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Robustesse des applications temps-réels multicoeurs, Ecole d'été 2015 (ETR'2015), 201520371/article_ecole_d_ete_2015.pdf
Christian FOTSING, Annie CHOQUET-GENIET, 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
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, Extension du contexte de mise en œuvre des ordonnancements PFAIR, ROADEF 09 (ROADEF 2009), 2009, pp. 148-149
Annie CHOQUET-GENIET, Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs, Real Time Systems, edited by BIRP, avril, 2005, pp. 289-3027430/2005-RTS-.pdf
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-3029185/2005-RES-Choquet-Geniet.pdf
Thèses et HDR
(1)
Annie CHOQUET-GENIET, Systèmes parallèles et temps réel : analyse à l'aide de modèles formels, HDR, Habilitation à diriger les recherches, Université de Poitiers & ENSMA, december, 2000
Rapports de Recherche
(7)
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Définition Formelle et Construction des Arbres d'Ordonnancement, LISI, ENSMA, Janvier, 20119492/2011-LISI-.pdf
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFairness for late released tasks with constrainde deadlines, LISI, 20109310/2010-LISI-2.pdf
Annie CHOQUET-GENIET, The scheduling algorithms PF and PD2 are monotonous, LISI(1), Juin, 20109166/2010-LISI-1.pdf
Christian FOTSING, Annie CHOQUET-GENIET, 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, 20109381/afadl.pdf
Annie CHOQUET-GENIET, Sadouanouan MALO, Finding cyclic behaviour in multiprocessor scheduling, LISI, 20098360/2009-LISI-.pdf
Annie CHOQUET-GENIET, Christian FOTSING, Sadouanouan MALO, Scheduling of real-time applications with variable utilization factor using a PFair based aperiodic server, (1), Mars, 20098353/Geniet_Fotsing_Malo_Mars_09.pdf
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, 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), 19975726/1997-LISI-97007.pdf