|
СТ |
A General Resource Framework for Real-Time Systems |
2004 |
Lee I., Philippou A., Sokolovsky O. |
|
|
|
Lecture Notes in Computer Science |
28.04.2004 |
|
СТ |
A Temporal Logic Based Theory of Test Coverage and Generation |
2002 |
Hong H. S., Lee I., Sokolovsky O., Ural H. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Verisim: Formal Analysis of Network Simulations |
2000 |
Bhargavan K., Gunter C. A., Kim M., Lee I., Obradovic D., Sokolovsky O., Viswanathan M. |
|
|
|
Software Engineering Notes |
14.12.2000 |
|
СТ |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools |
1999 |
Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
Probabilistic Resource Failure in Real-Time Process Algebra |
1998 |
Philippou A., Cleaveland R., Lee I., Smolka S., Sokolovsky O. |
|
|
|
Lecture Notes in Computer Science |
11.09.1998 |
