Gijs Kant
Gijs Kant
PhD Student in Computer Science, University of Twente
Verified email at cs.utwente.nl
Title
Cited by
Cited by
Year
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk
International Conference on Tools and Algorithms for the Construction and …, 2015
1242015
Read, Write and Copy Dependencies for Symbolic Model Checking.
J Meijer, G Kant, S Blom, J van de Pol
Haifa Verification Conference, 204-219, 2014
202014
Generating and solving symbolic parity games
G Kant, J Van De Pol
arXiv preprint arXiv:1407.7928, 2014
162014
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
G Kant, J van de Pol
GRAPHITE 2012, 0
12*
Using canonical forms for isomorphism reduction in graph-based model checking
G Kant
Centre for Telematics and Information Technology, University of Twente, 2010
62010
Distributed Graph-Based State Space Generation
S Blom, G Kant, A Rensink
Electronic Communications of the EASST 32, 2011
32011
Distributed state space generation for graphs up to isomorphism
G Kant
University of Twente, 2010
12010
Preliminary Performance Evaluation of Admission Control in Load Control Pre-Congestion Notification
G Kant
2008
The system can't perform the operation now. Try again later.
Articles 1–8