|
СТ |
Localizing Program Errors for Cimple Debugging |
2004 |
Basu S., Saha D., Smolka S. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Evidence Explorer: A Tool for Exploring Model-Checking Proofs |
2003 |
Dong Y., Ramakrishnan C. R., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution |
2003 |
Yang P., Ramakrishnan C. R., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
GCCS: A Graphical Coordination Language for System Specification |
2000 |
Cleaveland R., Du X., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
|
СТ |
Verification of Parameterized Systems Using Logic Program Transformations |
2000 |
Roychoudhury A., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
26.04.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 |
|
СТ |
Logic Programming and Model Checking |
1998 |
Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study |
1997 |
Du X., Mcdonnell K. T., Nanos E., Ramakrishna Y. S., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Local Model Checking for Real-Time Systems |
1995 |
Sokolsky O. V., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
П |
Reactive, Generative, and Stratified Models of Probabilistic Processes |
1990 |
Van Glabbeek R., Smolka S. A., Steffen B., Tofts C. |
|
|
CWI |
|
07.06.1995 |
|
СТ |
Coordinating First-Order Multiparty Interactions |
1994 |
Joung Y. -J., Smolka S. A. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
A Compositional Semantics for Statecharts using Labeled Transition Systems |
1994 |
Uselton A. C., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Composition and Behaviors of Probabilistic I/O Automata |
1994 |
Wu S. -H., Smolka S. A., Stark E. W. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
On Randomization in Sequential and Distributed Algorithms |
1994 |
Gupta R., Smolka S. A., Bhaskar S. |
|
|
|
ACM Computing Surveys |
29.04.1994 |
|
СТ |
OSP: An Environment for Operating System Projects |
1992 |
Kifer M., Smolka S. A. |
|
|
|
Operating Systems Review |
25.11.1992 |
|
СТ |
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities |
1992 |
Baeten J.C. M., Bergstra J. A., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
