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 | 100 | 2012 |
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 | 63 | 2015 |
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 | 51 | 2019 |
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 | 46 | 2014 |
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 | 35 | 2012 |
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 | 32 | 2019 |
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 | 23 | 2014 |
Three-dimensional fast exact Euclidean distance (3D-FEED) maps TE Schouten, HC Kuppens, EL van den Broek Vision Geometry XIV 6066, 108-119, 2006 | 16 | 2006 |
Timed fast exact euclidean distance (tfeed) maps TE Schouten, HC Kuppens, EL van den Broek Real-Time Imaging IX 5671, 52-63, 2005 | 13 | 2005 |
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 | 10 | 2005 |
Video surveillance using distance maps TE Schouten, HC Kuppens, EL van den Broek Real-Time Image Processing 2006 6063, 54-65, 2006 | 5 | 2006 |
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 |