|
СТ |
A General Resource Framework for Real-Time Systems |
2004 |
Lee I., Philippou A., Sokolovsky O. |
|
|
|
Lecture Notes in Computer Science |
28.04.2004 |
|
СТ |
Modeling and Analysis of Power-Aware Systems |
2003 |
Sokolsky O., Philippou A., Lee I., Christou K. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
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 |
|
СТ |
Diagnosing Rediscovered Software Problems Using Symptoms |
2000 |
Lee I., Iyer R. K. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
|
СТ |
An Efficient State Space Generation for the Analysis of Real-Time Systems |
2000 |
Kang I., Lee I., Kim Y. -S. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
|
СТ |
Hierarchical Hybrid Modeling of Embedded Systems |
2001 |
Alur R., Dang T., Esposito J., Fierro R., Hur Y., Ivancic F., Kumar V., Lee I., Mishra P., Pappas G., Sokolsky O. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
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 |
|
СТ |
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination |
1999 |
Alur R., Esposito J., Kim M., Kumar V., Lee I. |
|
|
|
Lecture Notes in Computer Science |
30.10.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 |
|
СТ |
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities |
1993 |
Bremond-Gregoire P., Lee I., Gerber R. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Specification and Analysis of Resource-Bound Real-Time Systems |
1992 |
Gerber R., Lee I. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
