|
СТ |
Time Supervision of Concurrent Systems Using Symbolic Unfolding of Time Petri Nets |
2006 |
Chatain Th., Jard C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
16.03.2006 |
|
СТ |
System Test Synthesis from UML Models of Distributed Software |
1900 |
Pickin S., Jard C., Le Traon Y., Jeron T., Jezequel J. -M., Le Guennec A. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
|
П |
Reachability Analysis on Distributed Executions |
1992 |
Diehl C., Jard C., Rampon J. -X. |
|
|
INRIA |
|
18.04.2002 |
|
П |
Correctness of Automated Distribution of Sequetial Programs |
1992 |
Bareau C., Caillaud B., Jard C., Thoraval R. |
|
|
INRIA |
|
18.04.2002 |
|
П |
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols |
1996 |
Jard C., Jezequel M., Nedelka L. |
|
|
INRIA |
|
23.12.1997 |
|
СТ |
Measuring Concurrency of Regular Distributed Computations |
1995 |
Bareau C., Caillaud B., Jard C., Thoraval R. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
П |
A General Approach to Trace-Checking in Distributed Computing Systems |
1994 |
Jard C., Jeron T., Jourdan G. -V., Rampon J. -X. |
|
|
INRIA |
|
25.03.1995 |
|
СТ |
Correctness of Automated Distribution of Sequential Programs |
1993 |
Bareau C., Caillaud B., Jard C., Thoraval R. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
|
П |
Interval Approximations of Message Causality in Distributed Execution |
1991 |
Diehl C., Jard C. |
|
|
INRIA |
|
25.08.1992 |
|
П |
Observation d Executions Reparties Datation par Intervalles |
1991 |
Diehl C., Jard C. |
|
|
INRIA |
|
25.08.1992 |
|
СТ |
Observation de la causalite dans les executions reparties |
1992 |
Diehl C., Jard C. |
|
|
|
BIGRE |
16.05.1992 |
|
П |
Un compilateur Estelle multi-processeurs pour l experimentation d algorithmes distribues sur machines paralleles |
1989 |
Jezequel J., Jard C. |
|
|
INRIA |
|
29.03.1991 |
|
СТ |
Compilation d algorithmes distribues sur machines paralleles |
1989 |
Jard C. |
|
|
|
BIGRE |
07.02.1991 |
