Ouvrages individuels ou collectifs
(3)
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
@BOOK{7434, author="Choquet-Geniet Annie", title="Les réseaux de Petri - Un outil de modélisation", publisher="Dunod", year="2006",}
Annie CHOQUET-GENIET, Pascal RICHARD, Petri nets, Petri nets, 2sd edition, 2006
@INBOOK{7494, author="Choquet-Geniet Annie and Richard Pascal", title="Petri nets", year="2006", volume="2sd edition",}
Annie CHOQUET-GENIET, Pascal RICHARD, Petri nets : a graphical tool for system modelling, Petri nets : a graphical tool for system modelling, 2000, pp. 241-257
@INBOOK{6431, author="Choquet-Geniet Annie and Richard Pascal", title="Petri nets : a graphical tool for system modelling", year="2000",}
Revues Internationales
(9)
Yves MOUAFO TCHINDA, Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay, International Journal of Critical Computer-Based Systems (IJCCBS 2018), 2018, pp. 258-281
@ARTICLE{32847, author="Mouafo Tchinda Yves and Choquet-Geniet Annie and Largeteau Gaëlle", title="Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay", year="2018", pages="258-281", journal="International Journal of Critical Computer-Based Systems",}
Moustapha BIKIENGA, Annie CHOQUET-GENIET, Dominique GENIET, Validation of the actual behaviour of a real-time application, International Journal of Critical Computer-Based Systems (IJCCBS 2017), vol. 7, n. 2, 2017, pp. 190-208
@ARTICLE{27661, author="Bikienga Moustapha and Choquet-Geniet Annie and Geniet Dominique", title="Validation of the actual behaviour of a real-time application", year="2017", volume="2017", number="2", pages="190-208", journal="International Journal of Critical Computer-Based Systems",}
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Size analysis in multiprocessor real-time scheduling, International Journal Critical Computer-Based Systems (ChoGLS14), vol. 5, 2014
@ARTICLE{15930, author="Choquet-Geniet Annie and Largeteau Gaëlle", title="Size analysis in multiprocessor real-time scheduling", year="2014", volume="2014", journal="International Journal Critical Computer-Based Systems",}
Annie CHOQUET-GENIET, Sadouanouan MALO, Scheduling an aperiodic flow within a real-timesystem using Fairness properties, ARIMA (ChoGM14), vol. 18, 2014, pp. 93-116
@ARTICLE{15946, author="Choquet-Geniet Annie and Malo Sadouanouan", title="Scheduling an aperiodic flow within a real-timesystem using Fairness properties", year="2014", volume="2014", pages="93-116", journal="ARIMA",}
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
@ARTICLE{9666, author="Choquet-Geniet Annie and Largeteau Gaëlle", title="Real-time scheduling using regularity criteria and a geometrical approach", year="2011", volume="2011", number="3/4", pages="266-287", journal="International Journal of Critical Computer-Based Systems",}
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-1080
@ARTICLE{8837, author="Choquet-Geniet Annie and Largeteau Gaëlle and Ouattara Abdoulaye", title="Mesures de l'équité d'une application temps-réel à l'aide d'une approche à base de géométrie discrète", year="2009", volume="2009", pages="1065-1080", journal="Journal Européen des Systèmes Automatisés (JESA)",}
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-134
@ARTICLE{6862, author="Choquet-Geniet Annie and Grolleau Emmanuel", title="Minimal schedulability interval for real time systems of periodic tasks with offsets ", year="2004", volume="2004", pages="117-134", journal="Theoretical of Computer Sciences",}
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Off-line Computation of Real-Time Schedules using Petri nets, Discrete Event Dynamic Systems (DEDS 2002), vol. 12, n. 3, jully, 2002, pp. 311-333
@ARTICLE{5760, author="Grolleau Emmanuel and Choquet-Geniet Annie", title="Off-line Computation of Real-Time Schedules using Petri nets", year="2002", volume="2002", number="3", pages="311-333", journal="Discrete Event Dynamic Systems",}
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 - 1397
@ARTICLE{5843, author="Choquet-Geniet Annie and Grolleau Emmanuel and Cottet Francis", title="Étude hors ligne d'une application temps réel à contraintes strictes", year="2000", volume="2000", number="10", pages="1373 - 1397", journal="Technique et Science informatiques",}
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-545
@ARTICLE{6214, author="Choquet-Geniet Annie and Geniet Dominique and Schott René", title="A Methodology for Transforming Sequential Flowcharts into Parallel Ones Using Fifo Nets", year="1995", volume="1995", pages="529-545", journal="Journal of Computing and Information",}
Conférences Internationales
(28)
Yves MOUAFO TCHINDA, Annie CHOQUET-GENIET, Gaelle LARGETEAU-SKAPIN, Importance-based scheduling to manage Multiple Core Defection in Real-Time Systems, Verification and Evaluation of Computer and Communication Systems (VECOS), LNCS 11847, edited by Pierre Ganty - Mohamed Kaäniche, edited by Springer, 2019, pp. 95-109
@INPROCEEDINGS{36495, author="Mouafo Tchinda Yves and Choquet-Geniet Annie and Largeteau-Skapin Gaelle", title="Importance-based scheduling to manage Multiple Core Defection in Real-Time Systems", booktitle="Verification and Evaluation of Computer and Communication Systems", year="2019", editor="Pierre Ganty - Mohamed Kaäniche", pages="95-109", publisher="Springer", month="oct",}
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 2016), 2016
@INPROCEEDINGS{25016, author="Mouafo Tchinda Yves and Choquet-Geniet Annie and Largeteau Gaëlle", title="Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling", booktitle="10th International Workshop on Verification and Evaluation of Computer and Communication Systems", year="2016", month="oct",}
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), 2015
@INPROCEEDINGS{20378, author="Mouafo Tchinda Yves and Choquet-Geniet Annie and Largeteau Gaëlle", title="Failure tolerance for a multicore real-time system scheduled by PD2", booktitle="9th Junior Researcher Workshop on Real-Time Computing", year="2015", month="nov",}
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-99
@INPROCEEDINGS{18572, author="Fotsing Christian and Choquet-Geniet Annie", title="Integrating semantic properties within a Petri net based scheduling tool", booktitle="IEEE International Symposium on Rapid System Prototyping", year="2012", pages="93-99", month="oct",}
Annie CHOQUET-GENIET, Christian FOTSING, Linear transformation of conditional real-time tasks, 20th International Conference on Real-Time and Network Systems (RTNS 2012), edited by ACM, Nancy, France, edited by ACM, Novembre, 2012, pp. 201-209
@INPROCEEDINGS{22696, author="Choquet-Geniet Annie and Fotsing Christian", title="Linear transformation of conditional real-time tasks", booktitle="20th International Conference on Real-Time and Network Systems", year="2012", editor="ACM", pages="201-209", publisher="ACM", address="Nancy, France",}
Annie CHOQUET-GENIET, Gaëlle LARGETEAU, Resource minimization for multiprocessor real-time applications, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (ChoGLS 2012), Paris, 2012, pp. 3-12
@INPROCEEDINGS{16392, author="Choquet-Geniet Annie and Largeteau Gaëlle", title="Resource minimization for multiprocessor real-time applications", booktitle="6th International Workshop on Verification and Evaluation of Computer and Communication Systems", year="2012", pages="3-12", address="Paris",}
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-22
@INPROCEEDINGS{9922, author="Bikienga Moustapha and Geniet Dominique and Choquet-Geniet Annie", title="Observation tools for effective schedules in a RTOS", booktitle="2nd Workshop on Embed With Linux", year="2012", pages="17-22", publisher="ACM SIGBED Review",}
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFair scheduling of late released tasks with constrained deadlines, 4ème Colloque National sur la Recherche en Informatique et ses Applications. (RIA 2012), Thiès et Bambey - Sénégal, Avril, 2012, pp. 142 - 149
@INPROCEEDINGS{9815, author="Malo Sadouanouan and Choquet-Geniet Annie and Bikienga Moustapha", title="PFair scheduling of late released tasks with constrained deadlines", booktitle="4ème Colloque National sur la Recherche en Informatique et ses Applications.", year="2012", pages="142 - 149", address="Thiès et Bambey - Sénégal",}
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 2010), ewics series of the British Computer Society, 2010
@INPROCEEDINGS{9175, author="Choquet-Geniet Annie and Largeteau Gaëlle and Ouattara Abdoulaye", title="Integratign PFairness within a modelled based scheduling tool", booktitle="Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems", year="2010",}
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Tree scheduling versus sequential scheduling, CARS@EDCC (CARS@EDCC 2010), edited by ACM Digital Library with the ISBN 978-1-60558-915-2, April, 2010
@INPROCEEDINGS{9014, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Tree scheduling versus sequential scheduling", booktitle="CARS@EDCC", year="2010", publisher="ACM Digital Library with the ISBN 978-1-60558-915-2",}
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Using semantic properties for real time scheduling, 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems (Work In Progress Session) (MDD4DRES 2009), 2009
@INPROCEEDINGS{8498, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Using semantic properties for real time scheduling", booktitle="4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems (Work In Progress Session)", year="2009",}
Sadouanouan MALO, Annie CHOQUET-GENIET, Analysis of critical scalable real-time systems by means of Petri nets, Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 2009), 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
@INPROCEEDINGS{8853, author="Malo Sadouanouan and Choquet-Geniet Annie", title="Analysis of critical scalable real-time systems by means of Petri nets", booktitle="Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems", year="2009", editor="Liam O'Reilly and Markus Roggenbach", pages="245-247", publisher="Swansea University, Wales, UK",}
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, A realistic model of real-time systems for efficient scheduling, 33rd Annual IEEE Software Engineering Workshop (SEW 2009), 2009
@INPROCEEDINGS{8989, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="A realistic model of real-time systems for efficient scheduling", booktitle="33rd Annual IEEE Software Engineering Workshop", year="2009",}
Stéphane PAILLER, Annie CHOQUET-GENIET, Off-Line scheduling of real-time applications with variable duration tasks, 7th Workshop on Discrete Events Systems (DES 2004), September, 2004, pp. 373-378
@INPROCEEDINGS{7089, author="Pailler Stéphane and Choquet-Geniet Annie", title="Off-Line scheduling of real-time applications with variable duration tasks", booktitle="7th Workshop on Discrete Events Systems", year="2004", pages="373-378",}
Stéphane PAILLER, Annie CHOQUET-GENIET, Analyse hors ligne d'applications temps réel fortement couplées comportant des tâches à durées variables, Information Sciences for Decision Making Special Issue Majestic03 (ISDM 2003), 2003
@INPROCEEDINGS{7097, author="Pailler Stéphane and Choquet-Geniet Annie", title="Analyse hors ligne d'applications temps réel fortement couplées comportant des tâches à durées variables", booktitle="Information Sciences for Decision Making Special Issue Majestic03", year="2003",}
Annie CHOQUET-GENIET, Panorame de l'ordonnancement temps réel monoprocesseur, Actes de l'Ecole d'été Temps Réel (ETR 2003), 2003, pp. 213 - 226
@INPROCEEDINGS{7105, author="Choquet-Geniet Annie", title="Panorame de l'ordonnancement temps réel monoprocesseur", booktitle="Actes de l'Ecole d'été Temps Réel", year="2003", pages="213 - 226",}
Stéphane PAILLER, Annie CHOQUET-GENIET, Ordonnancement Temps Réel d'apllications comportant des tâches à durées variables, Real Time and Embedded Systems (RTS 2002), edited by Teknea, 2002, pp. 151-172
@INPROCEEDINGS{5771, author="Pailler Stéphane and Choquet-Geniet Annie", title="Ordonnancement Temps Réel d'apllications comportant des tâches à durées variables", booktitle="Real Time and Embedded Systems", year="2002", editor="Teknea", pages="151-172", month="mar",}
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-383
@INPROCEEDINGS{6699, author="Pailler Stéphane and Choquet-Geniet Annie", title="Off line Scheduling of Applications with Variable Duration Tasks", booktitle="Summer School MOVEP'2002", year="2002", pages="378-383", address="Nantes France",}
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Ordonnancement de tâches temps réel en environnement multiprocesseur à l'aide de réseaux de Petri, Real Time and Embedded Systems (RTS 2001), edited by Teknea, 2001
@INPROCEEDINGS{5717, author="Grolleau Emmanuel and Choquet-Geniet Annie", title="Ordonnancement de tâches temps réel en environnement multiprocesseur à l'aide de réseaux de Petri", booktitle="Real Time and Embedded Systems", year="2001", editor="Teknea",}
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-316
@INPROCEEDINGS{5695, author="Grolleau Emmanuel and Choquet-Geniet Annie", title="Off-line computation of real-time schedules by means of Petri nets", booktitle="Workshop On Discrete Event Systems", year="2000", pages="309-316", publisher="Kluwer Academic Publishers", address="Ghent, Belgium", month="aug",}
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Cyclicité des ordonnancements de systèmes de tâches périodiques différées, Real-Time Systems, RTS'2000 (RTS 2000), edited by Teknea, Paris, 2000
@INPROCEEDINGS{5686, author="Grolleau Emmanuel and Choquet-Geniet Annie", title="Cyclicité des ordonnancements de systèmes de tâches périodiques différées", booktitle="Real-Time Systems, RTS'2000", year="2000", editor="Teknea", address="Paris",}
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, 2000
@INPROCEEDINGS{5710, author="Grolleau Emmanuel and Choquet-Geniet Annie", title="Utilisation des réseaux de Petri pour l'ordonnancement hors-ligne optimal des systèmes temps réel", booktitle="IEEE Conférence Internationale Francophone d'Automatique", year="2000", address="Lille",}
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Scheduling real-time systems by means of Petri nets, 25th IFAC Workshop on Real-Time Programming (WRTP 2000), Palma de Mallorca, 2000, pp. 95-100
@INPROCEEDINGS{5701, author="Grolleau Emmanuel and Choquet-Geniet Annie", title="Scheduling real-time systems by means of Petri nets", booktitle="25th IFAC Workshop on Real-Time Programming", year="2000", pages="95-100", address="Palma de Mallorca",}
Annie CHOQUET-GENIET, Ordonnancement des applications temps-réel, Actes de l'Ecole d'été Temps Réel (ETR 1999), Septembre, 1999, pp. 53-68
@INPROCEEDINGS{6513, author="Choquet-Geniet Annie", title="Ordonnancement des applications temps-réel", booktitle="Actes de l'Ecole d'été Temps Réel", year="1999", pages="53-68",}
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 1999), edited by Hermes, Cachan, 1999, pp. 17-26
@INPROCEEDINGS{5752, author="Grolleau Emmanuel and Choquet-Geniet Annie and Cottet Francis", title="Modélisation de systèmes temps réel par réseaux de Petri autonomes en vue de leur analyse hors-ligne", booktitle="Modélisation des Systèmes Réactifs", year="1999", editor="Hermes", pages="17-26", address="Cachan",}
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 1998), Poitiers-Futuroscope, 1998, pp. 137-148
@INPROCEEDINGS{5746, author="Grolleau Emmanuel and Choquet-Geniet Annie and Cottet Francis", title="Validation de systèmes temps réel à l’aide de réseaux de Petri", booktitle="Approches Formelles dans l’Assistance au Développement de Logiciels", year="1998", pages="137-148", address="Poitiers-Futuroscope",}
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 1998), Strasbourg, 1998, pp. 39-42
@INPROCEEDINGS{5739, author="Grolleau Emmanuel and Choquet-Geniet Annie and Cottet Francis", title="Cyclicité des ordonnancements au plus tôt des systèmes de tâches temps réel", booktitle="Rencontres Francophones du Parallélisme", year="1998", pages="39-42", address="Strasbourg",}
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 1997), Nantes, 1997, pp. 239-246
@INPROCEEDINGS{5732, author="Grolleau Emmanuel and Choquet-Geniet Annie and Cottet Francis", title="Ordonnancement Optimal des Systèmes de Tâches Temps Réel à l’Aide de Réseaux de Petri", booktitle="Automatique Génie informatique Image Signal", year="1997", pages="239-246", address="Nantes",}
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), 2015
@INPROCEEDINGS{20371, author="Mouafo Tchinda Yves and Choquet-Geniet Annie and Largeteau Gaëlle", title="Robustesse des applications temps-réels multicoeurs", booktitle="Ecole d'été 2015", year="2015", month="aug",}
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, 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), 2010, pp. 113-116
@INPROCEEDINGS{9098, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils", booktitle="10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels", year="2010", pages="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
@INPROCEEDINGS{8576, author="Malo Sadouanouan and Choquet-Geniet Annie and Bikienga Moustapha", title="Extension du contexte de mise en œuvre des ordonnancements PFAIR", booktitle="ROADEF 09", year="2009", pages="148-149",}
Annie CHOQUET-GENIET, Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs, 13th International Conference on Real-Time Systems (RTS 2005), edited by N. Navet, edited by BIRP, teknea, 2005, pp. 289-302
@INPROCEEDINGS{9185, author="Choquet-Geniet Annie", title="Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs", booktitle="13th International Conference on Real-Time Systems", year="2005", editor="N. Navet", pages="289-302", publisher="BIRP, teknea",}
Annie CHOQUET-GENIET, Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs, 13th International Conference on Real-Time Systems (RTS 2005), edited by N. Navet, edited by BIRP, teknea, 2005, pp. 289-302
@INPROCEEDINGS{7430, author="Choquet-Geniet Annie", title="Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs", booktitle="13th International Conference on Real-Time Systems", year="2005", editor="N. Navet", pages="289-302", publisher="BIRP, teknea",}
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
@PHDTHESIS{6511, author="Choquet-Geniet Annie", title="Systèmes parallèles et temps réel : analyse à l'aide de modèles formels", year="2000", month="dec",}
Rapports de Recherche
(7)
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Définition Formelle et Construction des Arbres d'Ordonnancement, LISI, ENSMA, Janvier, 2011
@TECHREPORT{9493, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Définition Formelle et Construction des Arbres d'Ordonnancement", institution="LISI, ENSMA", year="2011", month="2011",}
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFairness for late released tasks with constrainde deadlines, LISI, 2010
@TECHREPORT{9311, author="Malo Sadouanouan and Choquet-Geniet Annie and Bikienga Moustapha", title="PFairness for late released tasks with constrainde deadlines", institution="LISI", year="2010", month="2010",}
Annie CHOQUET-GENIET, The scheduling algorithms PF and PD2 are monotonous, LISI(1), Juin, 2010
@TECHREPORT{9167, author="Choquet-Geniet Annie", title="The scheduling algorithms PF and PD2 are monotonous", institution="LISI", year="2010", number="1", month="2010",}
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, 2010
@TECHREPORT{9382, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils", institution="LISI, ENSMA", year="2010", month="2010",}
Annie CHOQUET-GENIET, Sadouanouan MALO, Finding cyclic behaviour in multiprocessor scheduling, LISI, 2009
@TECHREPORT{8361, author="Choquet-Geniet Annie and Malo Sadouanouan", title="Finding cyclic behaviour in multiprocessor scheduling", institution="LISI", year="2009", month="2009",}
Annie CHOQUET-GENIET, Christian FOTSING, Sadouanouan MALO, Scheduling of real-time applications with variable utilization factor using a PFair based aperiodic server, (1), Mars, 2009
@TECHREPORT{16870, author="Choquet-Geniet Annie and Fotsing Christian and Malo Sadouanouan", title="Scheduling of real-time applications with variable utilization factor using a PFair based aperiodic server", year="2009", number="1", month="2009",}
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), 1997
@TECHREPORT{5727, author="Grolleau Emmanuel and Choquet-Geniet Annie and Cottet Francis", title="Cyclicité des séquences d'ordonnancement au plus tôt des systèmes de tâches temps réel à contraintes strictes", institution="LISI-ENSMA", year="1997", number="97007", month="1997",}
