| 2008 |
|---|
| 11 | EE | Gaëlle Largeteau,
Dominique Geniet:
Quantification du taux d'invalidité d'applications temps-réel à contraintes strictes.
Technique et Science Informatiques 27(5): 589-625 (2008) |
| 2007 |
|---|
| 10 | EE | Bernard Chauvière,
Dominique Geniet:
Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes.
Technique et Science Informatiques 26(10): 1269-1303 (2007) |
| 9 | EE | Dominique Geniet,
Gaëlle Largeteau:
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model.
Theor. Comput. Sci. 388(1-3): 26-52 (2007) |
| 2005 |
|---|
| 8 | EE | Gaëlle Largeteau,
Dominique Geniet,
Eric Andres:
Discrete Geometry Applied in Hard Real-Time Systems Validation.
DGCI 2005: 23-33 |
| 2004 |
|---|
| 7 | EE | Dominique Geniet,
Jean-Philippe Dubernard:
Scheduling hard sporadic tasks with regular languages and generating functions.
Theor. Comput. Sci. 313(1): 119-132 (2004) |
| 2002 |
|---|
| 6 | EE | Gaëlle Largeteau,
Dominique Geniet:
Term Validation of Distributed Hard Real-Time Applications.
CIAA 2002: 262-269 |
| 2001 |
|---|
| 5 | EE | Jean-Philippe Dubernard,
Dominique Geniet:
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions.
CIAA 2001: 87-100 |
| 1996 |
|---|
| 4 | | Annie Choquet,
Dominique Geniet,
Francis Cottet:
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.
FTRTFT 1996: 246-262 |
| 3 | | Dominique Geniet,
René Schott,
Loÿs Thimonier:
A Markovian Concurrency Measure.
ITA 30(4): 295-304 (1996) |
| 1990 |
|---|
| 2 | | Dominique Geniet,
René Schott,
Loÿs Thimonier:
A Markovian Concurrency Measure.
CAAP 1990: 177-190 |
| 1989 |
|---|
| 1 | | Dominique Geniet,
Loÿs Thimonier:
Using Generating Functions to Compute Concurrency.
FCT 1989: 185-196 |
