Follow
Harco Kuppens
Harco Kuppens
Scientific Programmer
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Automata learning through counterexample guided abstraction refinement
F Aarts, F Heidarian, H Kuppens, P Olsen, F Vaandrager
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
1002012
Learning register automata with fresh value generation
F Aarts, P Fiterau-Brostean, H Kuppens, F Vaandrager
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
632015
Benchmarks for automata learning and conformance testing
D Neider, R Smetsers, F Vaandrager, H Kuppens
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
512019
Improving active Mealy machine learning for protocol conformance testing
F Aarts, H Kuppens, J Tretmans, F Vaandrager, S Verwer
Machine learning 96, 189-224, 2014
462014
Learning and testing the bounded retransmission protocol
F Aarts, H Kuppens, J Tretmans, F Vaandrager, S Verwer
International Conference on Grammatical Inference, 4-18, 2012
352012
RERS 2019: combining synthesis with real-world models
M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
322019
Algorithms for inferring register automata: A comparison of existing approaches
F Aarts, F Howar, H Kuppens, F Vaandrager
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
232014
Three-dimensional fast exact Euclidean distance (3D-FEED) maps
TE Schouten, HC Kuppens, EL van den Broek
Vision Geometry XIV 6066, 108-119, 2006
162006
Timed fast exact euclidean distance (tfeed) maps
TE Schouten, HC Kuppens, EL van den Broek
Real-Time Imaging IX 5671, 52-63, 2005
132005
Weighted distance mapping (WDM)
EL van den Broek, TE Schouten, PMF Kisters, H Kuppens
IEE International Conference on Visual Information Engineering (VIE 2005), 1-8, 2005
102005
Video surveillance using distance maps
TE Schouten, HC Kuppens, EL van den Broek
Real-Time Image Processing 2006 6063, 54-65, 2006
52006
Video surveillance using distance maps [6063-06]
TE Schouten, HC Kuppens, EL van den Broek
PROCEEDINGS-SPIE THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING 6063, 606306, 2006
2006
Timed Fast Exact Euclidean Distance (tFEED) maps
N Kehtarnavaz, TE Schouten, PA Laplante, H Kuppens, E van den Broek
Real-Time Imaging IX, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–13