An analysis of the non-emptiness problem for classes of reversal-bounded multicounter machines

Model checking recursive programs with numeric data types

CAV'11 Proceedings of the 23rd international conference on Computer aided verification

The complexity of reversal-bounded model-checking

FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems

Synchronisation- and reversal-bounded analysis of multithreaded programs with counters

CAV'12 Proceedings of the 24th international conference on Computer Aided Verification

On selective unboundedness of VASS

Journal of Computer and System Sciences