Annie Choquet-Geniet

According to our database, Annie Choquet-Geniet authored at least 20 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2019

Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems.

Yves Mouafo Tchinda, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2018

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

2017

Validation of the actual behaviour of a real-time application.

Moustapha Bikienga, Annie Choquet-Geniet, Dominique Geniet

Int. J. Crit. Comput. Based Syst., 2017

2016

Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling.

Yves Mouafo Tchinda, Annie Geniet-Choquet, Gaëlle Largeteau-Skapin

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

2014

Size analysis in multiprocessor real-time scheduling.

Annie Choquet-Geniet, Gaëlle Largeteau-Skapin

Int. J. Crit. Comput. Based Syst., 2014

Scheduling an aperiodic flow within a real-time system using Fairness properties.

Annie Choquet-Geniet, Sadouanouan Malo

ARIMA J., 2014

2012

Observation tools for effective schedules in a RTOS.

Moustapha Bikienga, Dominique Geniet, Annie Choquet-Geniet

SIGBED Rev., 2012

Linear transformation of conditional real-time tasks.

Annie Choquet-Geniet, Christian Fotsing

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

Integrating semantic properties within a Petri net based scheduling tool.

Christian Fotsing, Annie Geniet

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

2011

Real-time scheduling using regularity criteria and a geometrical approach.

Annie Choquet-Geniet, Gaëlle Largeteau-Skapin

Int. J. Crit. Comput. Based Syst., 2011

2010

Tree scheduling versus sequential scheduling.

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

A Realistic Model of Real-Time Systems for Efficient Scheduling.

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

2004

Minimal schedulability interval for real-time systems of periodic tasks with offsets.

Annie Choquet-Geniet, Emmanuel Grolleau

Theor. Comput. Sci., 2004

2002

Off-Line Computation of Real-Time Schedules Using Petri Nets.

Emmanuel Grolleau, Annie Choquet-Geniet

Discret. Event Dyn. Syst., 2002

1996

Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.

Annie Choquet, Dominique Geniet, Francis Cottet

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1991

Detection of Deadlocks in an Infinite Family of Nets.

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet

Proceedings of the STACS 91, 1991

1989

Syntactical Properties of Unbounded Nets of Processors.

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988

Fifo Nets Without Order Deadlock.

Alain Finkel, Annie Choquet

Acta Informatica, 1988

1986

Applications of residues for the analysis of parallel systems communicating by fifo channels.

Annie Choquet, Alain Finkel

Bull. EATCS, 1986