According to our database1, Harco Kuppens authored at least 8 papers between 2006 and 2019.
Legend:Book In proceedings Article PhD thesis Other
RERS 2019: Combining Synthesis with Real-World Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Benchmarks for Automata Learning and Conformance Testing.
Proceedings of the Models, Mindsets, 2018
Learning Register Automata with Fresh Value Generation.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Improving active Mealy machine learning for protocol conformance testing.
Mach. Learn., 2014
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Learning and Testing the Bounded Retransmission Protocol.
Proceedings of the Eleventh International Conference on Grammatical Inference, 2012
Automata Learning through Counterexample Guided Abstraction Refinement.
Proceedings of the FM 2012: Formal Methods, 2012
Video surveillance using distance maps.
Proceedings of the Real-Time Image Processing 2006, San Jose, CA, USA, January 15, 2006, 2006