|
СТ |
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 |
|
СТ |
An Overview and Synthesis on Timed Process Algebras |
1992 |
Nicollin X., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Composition for Component-Based Modeling |
2003 |
Gossler G., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
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 |
|
П |
Le Controle des Systemes Asynchrones: Concepts, Proprietes, Analyse Statique: These |
1979 |
Sifakis J. |
|
|
Univ. de Grenoble |
|
09.06.1995 |
|
СТ |
Modeling Real-Time Systems - Challenges and Work Directions |
2001 |
Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
On the Synthesis of Discrete Controllers for Timed Systems |
1995 |
Maler O., Pnueli A., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
Safety for Branching Time Semantics |
1991 |
Bouajjani A., Fernandez J., Graf S., Rodriguez C., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
|
СТ |
Using Abstractions for the Verification of Linear Hybrid Systems |
1994 |
Olivero A., Sifakis J., Yovine S. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
Verification Methods for Finite Systems |
1991 |
Bouajjani A., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |
