Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Robustness Analysis for Scheduling Problems Using the Inverse Method | 9 | 0.57 | 2012 |
| Programs with lists are counter automata | 42 | 1.86 | 2011 |
| Minimal counterexample generation for SPIN | 12 | 0.56 | 2007 |
| Verifying programs with dynamic 1-selector-linked structures in regular model checking | 35 | 1.40 | 2005 |
| Minimization of Counterexamples in SPIN | 18 | 0.86 | 2004 |