| |
| 2007 | ||
|---|---|---|
| 3 | EE | Lionel van den Berg, Paul A. Strooper, Kirsten Winter: Introducing Time in an Industrial Application of Model-Checking. FMICS 2007: 56-67 |
| 2 | EE | Lionel van den Berg, Paul A. Strooper, Wendy Johnston: An Automated Approach for the Interpretation of Counter-Examples. Electr. Notes Theor. Comput. Sci. 174(4): 19-35 (2007) |
| 2006 | ||
| 1 | EE | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson: Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM 2006: 524-540 |
| 1 | Wendy Johnston | [1] [2] |
| 2 | Peter Robinson | [1] |
| 3 | Paul A. Strooper | [1] [2] [3] |
| 4 | Kirsten Winter | [1] [3] |