|
СТ |
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis |
2003 |
Reps T., Schwoon S., Jha S. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Efficient Type Matching |
2002 |
Jha S., Palsberg J., Zhao T. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
Progress on the State Explosion Problem in Model Checking |
2001 |
Clarke E., Grumberg O., Jha S., Lu Y., Veith H. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
Partial Order Reductions for Security Protocol Verification |
2000 |
Clarke E., Jha S., Marrero W. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Reasoning about Implicit Invocation |
1998 |
Dingel J., Garlan D., Jha S., Notkin D. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications |
1998 |
Jackson D., Jha S., Damon C. A. |
|
|
|
ACM Trans. on Programming Languages and Systems |
27.11.1998 |
|
СТ |
Verifying Parameterized Networks using Abstraction and Regular Languages |
1995 |
Clarke E. M., Grumberg O., Jha S. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
Symmetry and Induction in Model Checking |
1995 |
Clarke E. M., Jha S. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
Exploiting Symmetry In Temporal Logic Model Checking |
1993 |
Clarke E. M., Filkorn T., Jha S. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
