Seguir
Gijs Kant
Gijs Kant
PhD Student in Computer Science, University of Twente
Dirección de correo verificada de cs.utwente.nl
Título
Citado por
Citado por
Año
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
2002015
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
232014
Generating and solving symbolic parity games
G Kant, J Van De Pol
arXiv preprint arXiv:1407.7928, 2014
222014
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
G Kant, J van de Pol
GRAPHITE 2012, 0
16*
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
42011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–8