Harco Kuppens

According to our database1, Harco Kuppens authored at least 8 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
RERS 2019: Combining Synthesis with Real-World Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Benchmarks for Automata Learning and Conformance Testing.
Proceedings of the Models, Mindsets, 2018

2015
Learning Register Automata with Fresh Value Generation.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014
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

2012
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

2006
Video surveillance using distance maps.
Proceedings of the Real-Time Image Processing 2006, San Jose, CA, USA, January 15, 2006, 2006


  Loading...