СТ |
From ATP to Timed Graphs and Hybrid Systems |
1992 |
Nicollin X., Sifakis J., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
СТ |
Integration Graphs: A Class of Decidable Hybrid Systems |
1993 |
Kesten Y., Pnueli A., Sifakis J., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
СТ |
An Approach to the Description and Analysis of Hybrid Systems |
1993 |
Nicollin X., Olivero A., Sifakis J., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
СТ |
Using Abstractions for the Verification of Linear Hybrid Systems |
1994 |
Olivero A., Sifakis J., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
СТ |
Speedup Prediction for Selective Compilation of Embedded Java Programs |
2002 |
De Verdiere V. C., Cros S., Fabre C., Guider R., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
12.11.2002 |