 | 2007 |
|---|
| 11 |       | Nina Amla,
Kenneth L. McMillan:
Combining Abstraction Refinement and SAT-Based Model Checking.
TACAS 2007: 405-419 |
| 2005 |
|---|
| 10 | | Nina Amla,
Xiaoqun Du,
Andreas Kuehlmann,
Robert P. Kurshan,
Kenneth L. McMillan:
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.
CHARME 2005: 254-268 |
| 2004 |
|---|
| 9 | | Nina Amla,
Kenneth L. McMillan:
A Hybrid of Counterexample-Based and Proof-Based Abstraction.
FMCAD 2004: 260-274 |
| 2003 |
|---|
| 8 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi,
Richard J. Trefler:
Abstract Patterns of Compositional Reasoning.
CONCUR 2003: 423-438 |
| 7 | | Kenneth L. McMillan,
Nina Amla:
Automatic Abstraction without Counterexamples.
TACAS 2003: 2-17 |
| 6 | | Nina Amla,
Robert P. Kurshan,
Kenneth L. McMillan,
Ricardo Medel:
Experimental Analysis of Different Techniques for Bounded Model Checking.
TACAS 2003: 34-48 |
| 2002 |
|---|
| 5 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi,
Richard J. Trefler:
Visual Specifications for Modular Reasoning about Asynchronous Systems.
FORTE 2002: 226-242 |
| 2001 |
|---|
| 4 | | Nina Amla,
E. Allen Emerson,
Robert P. Kurshan,
Kedar S. Namjoshi:
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.
CAV 2001: 387-390 |
| 3 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi,
Richard J. Trefler:
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.
TACAS 2001: 465-479 |
| 2000 |
|---|
| 2 | | Nina Amla,
E. Allen Emerson,
Robert P. Kurshan,
Kedar S. Namjoshi:
Model Checking Synchronous Timing Diagrams.
FMCAD 2000: 283-298 |
| 1999 |
|---|
| 1 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi:
Efficient Decompositional Model Checking for Regular Timing Diagrams.
CHARME 1999: 67-81 |
