1. Ordered Counter-Abstraction;Language and Automata Theory and Applications;2014
2. A lightweight regular model checking approach for parameterized systems;International Journal on Software Tools for Technology Transfer;2011-08-27
3. Automating Cut-off for Multi-parameterized Systems;Formal Methods and Software Engineering;2010
4. Approximated Context-Sensitive Analysis for Parameterized Verification;Formal Techniques for Distributed Systems;2009
5. Automatic Deductive Verification with Invisible Invariants;Tools and Algorithms for the Construction and Analysis of Systems;2001