Annie Choquet-Geniet

According to our database1, Annie Choquet-Geniet
  • authored at least 15 papers between 1986 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

2014
Size analysis in multiprocessor real-time scheduling.
IJCCBS, 2014

2012
Observation tools for effective schedules in a RTOS.
SIGBED Review, 2012

Linear transformation of conditional real-time tasks.
Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

Integrating semantic properties within a Petri net based scheduling tool.
Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

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

2010
Tree scheduling versus sequential scheduling.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009
A Realistic Model of Real-Time Systems for Efficient Scheduling.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

2004
Minimal schedulability interval for real-time systems of periodic tasks with offsets.
Theor. Comput. Sci., 2004

2002
Off-Line Computation of Real-Time Schedules Using Petri Nets.
Discrete Event Dynamic Systems, 2002

1996
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1991
Detection of Deadlocks in an Infinite Family of Nets.
Proceedings of the STACS 91, 1991

1989
Syntactical Properties of Unbounded Nets of Processors.
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.
Acta Inf., 1988

1986
Applications of residues for the analysis of parallel systems communicating by fifo channels.
Bulletin of the EATCS, 1986


  Loading...