According to our database1, Annie Choquet-Geniet
Legend:Book In proceedings Article PhD thesis Other
Validation of the actual behaviour of a real-time application.
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
Size analysis in multiprocessor real-time scheduling.
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
Real-time scheduling using regularity criteria and a geometrical approach.
Tree scheduling versus sequential scheduling.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010
A Realistic Model of Real-Time Systems for Efficient Scheduling.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
Minimal schedulability interval for real-time systems of periodic tasks with offsets.
Theor. Comput. Sci., 2004
Off-Line Computation of Real-Time Schedules Using Petri Nets.
Discrete Event Dynamic Systems, 2002
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
Detection of Deadlocks in an Infinite Family of Nets.
Proceedings of the STACS 91, 1991
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
Fifo Nets Without Order Deadlock.
Acta Inf., 1988
Applications of residues for the analysis of parallel systems communicating by fifo channels.
Bulletin of the EATCS, 1986