Stebėti
Gijs Kant
Gijs Kant
PhD Student in Computer Science, University of Twente
Patvirtintas el. paštas cs.utwente.nl
Pavadinimas
Cituota
Cituota
Metai
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
2172015
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
232014
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
G Kant, J van de Pol
GRAPHITE 2012, 0
17*
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–8