# Annie Choquet-Geniet

According to our database

Collaborative distances:

^{1}, Annie Choquet-Geniet authored at least 16 papers between 1986 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

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

IJCCBS, 2017

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