Travelled to:1 × Canada
1 × Estonia
1 × France
1 × Germany
1 × Italy
1 × Norway
1 × Sweden
1 × Switzerland
3 × USA
Collaborated with:B.Steffen M.Merten S.Cassel B.Jonsson D.Giannakopoulou M.Isberner Z.Rakamaric T.Margaria-Steffen S.Windmüller J.Neubauer O.Bauer G.Brat D.H.Bushnell M.Davies T.Kahsai T.Lauderdale V.Raman
Talks about:learn (8) automata (5) activ (3) generat (2) regist (2) lib (2) introduct (1) framework (1) perspect (1) interfac (1)
Person: Falk Howar
DBLP: Howar:Falk
Contributed to:
2015
2015
2014
2014
2013
2013
2012
2012
201120112011Wrote 11 papers:
- CAV-2015-IsbernerHS #automaton #framework #learning #open source
- The Open-Source LearnLib — A Framework for Active Automata Learning (MI, FH, BS), pp. 487–495.
- FM-2015-BratBDGHK #safety #verification
- Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
- ASE-2014-GiannakopoulouHILRR #assurance #testing
- Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
- SEFM-2014-CasselHJS #finite #learning #state machine
- Learning Extended Finite State Machines (SC, FH, BJ, BS), pp. 250–264.
- CBSE-2013-WindmullerNSHB #quality
- Active continuous quality control (SW, JN, BS, FH, OB), pp. 111–120.
- ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning
- Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
- TACAS-2012-MertenHSCJ #automaton #learning
- Demonstrating Learning of Register Automata (MM, FH, BS, SC, BJ), pp. 466–471.
- VMCAI-2012-HowarSJC #automaton #canonical
- Inferring Canonical Register Automata (FH, BS, BJ, SC), pp. 251–266.
- SFM-2011-SteffenHM #automaton #learning #perspective
- Introduction to Active Automata Learning from a Practical Perspective (BS, FH, MM), pp. 256–296.
- TACAS-2011-MertenSHM #generative
- Next Generation LearnLib (MM, BS, FH, TMS), pp. 220–223.
- VMCAI-2011-HowarSM #abstraction #automation #automaton #learning #refinement
- Automata Learning with Automated Alphabet Abstraction Refinement (FH, BS, MM), pp. 263–277.