Travelled to:1 × Austria
1 × Hungary
1 × United Kingdom
Collaborated with:T.Berg B.Jonsson B.Steffen O.Grinchtein M.Leucker
Talks about:regular (3) infer (3) machin (2) state (2) learn (2) test (2) experiment (1) correspond (1) automata (1) paramet (1)
Person: Harald Raffelt
DBLP: Raffelt:Harald
Contributed to:
200820062005Wrote 4 papers:
- FASE-2008-BergJR #similarity #state machine #testing #using
- Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.
- FASE-2006-BergJR #parametricity #state machine
- Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.
- FASE-2006-RaffeltS #automaton #learning #library #named
- LearnLib: A Library for Automata Learning and Experimentation (HR, BS), pp. 377–380.
- FASE-2005-BergGJLRS #consistency #on the #testing
- On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.