Robustness Analysis for Scheduling Problems Using the Inverse Method.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Programs with lists are counter automata.
Formal Methods Syst. Des., 2011
Minimal Counterexample Generation for SPIN.
Proceedings of the Model Checking Software, 2007
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Minimization of Counterexamples in SPIN.
Proceedings of the Model Checking Software, 2004