Applications of residues for the analysis of parallel systems communicating by fifo channels. - Annie Choquet; Alain Finkel (Bull. EATCS, 1986)

Fifo Nets Without Order Deadlock. - Alain Finkel; Annie Choquet (Acta Informatica, 1988)

Syntactical Properties of Unbounded Nets of Processors. - Joffroy Beauquier; Annie Choquet; Antoine Petit 001; Guy Vidal-Naquet (TAPSOFT, Vol.1, 1989)

Detection of Deadlocks in an Infinite Family of Nets. - Joffroy Beauquier; Annie Choquet; Antoine Petit 001; Guy Vidal-Naquet (STACS, 1991)

Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application. - Annie Choquet; Dominique Geniet; Francis Cottet (FTRTFT, 1996)

Off-Line Computation of Real-Time Schedules Using Petri Nets. - Emmanuel Grolleau; Annie Choquet-Geniet (Discret. Event Dyn. Syst., 2002)

Minimal schedulability interval for real-time systems of periodic tasks with offsets. - Annie Choquet-Geniet; Emmanuel Grolleau (Theor. Comput. Sci., 2004)

A Realistic Model of Real-Time Systems for Efficient Scheduling. - Christian Fotsing; Annie Geniet; Guy Vidal-Naquet (SEW, 2009)

Tree scheduling versus sequential scheduling. - Christian Fotsing; Annie Geniet; Guy Vidal-Naquet (EDCC-CARS, 2010)

Real-time scheduling using regularity criteria and a geometrical approach. - Annie Choquet-Geniet; Gaëlle Largeteau-Skapin (Int. J. Crit. Comput. Based Syst., 2011)

Integrating semantic properties within a Petri net based scheduling tool. - Christian Fotsing; Annie Geniet (RSP, 2012)

Linear transformation of conditional real-time tasks. - Annie Choquet-Geniet; Christian Fotsing (RTNS, 2012)

Observation tools for effective schedules in a RTOS. - Moustapha Bikienga; Dominique Geniet; Annie Choquet-Geniet (SIGBED Rev., 2012)

Scheduling an aperiodic flow within a real-time system using Fairness properties. - Annie Choquet-Geniet; Sadouanouan Malo (ARIMA J., 2014)

Size analysis in multiprocessor real-time scheduling. - Annie Choquet-Geniet; Gaëlle Largeteau-Skapin (Int. J. Crit. Comput. Based Syst., 2014)

Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling. - Yves Mouafo Tchinda; Annie Geniet-Choquet; Gaëlle Largeteau-Skapin (VECoS, 2016)

Validation of the actual behaviour of a real-time application. - Moustapha Bikienga; Annie Choquet-Geniet; Dominique Geniet (Int. J. Crit. Comput. Based Syst., 2017)

Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay. - Yves Mouafo Tchinda; Annie Choquet-Geniet; Gaëlle Largeteau-Skapin (Int. J. Crit. Comput. Based Syst., 2018)

Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems. - Yves Mouafo Tchinda; Annie Choquet-Geniet; Gaëlle Largeteau-Skapin (VECoS, 2019)

Reinforcement Learning for Time-Aware Shaping (IEEE 802.1Qbv) in Time-Sensitive Networks. - Adrien Roberty; Siwar Ben Hadj Said; Frédéric Ridouard; Henri Bauer; Annie Geniet (ETFA, 2023)

Configuring the IEEE 802.1Q Time-Aware Shaper with Deep Reinforcement Learning. - Adrien Roberty; Quentin Besnard; Siwar Ben Hadj Said; Frédéric Ridouard; Henri Bauer; Annie Geniet (NOMS, 2024)

Global Versus Local Schedulability Analysis of a Two-Level Hierarchical System. - Luc Descharmes; Henri Bauer; Frédéric Ridouard; Annie Choquet-Geniet (ISORC, 2025)