Concepedia

Falk Howar

FH

20

Publications

560

Citations

14

H-Index

2011

Active since

Affiliations

TU Dortmund University(Current)

Carnegie Mellon University

Ames Research Center

Clausthal University of Technology

Silicon Valley Community Foundation

Falk Howar is an author at TU Dortmund University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationVerificationSoftware AnalysisAutomated ReasoningProgram AnalysisAutomation

Publications per year

2011–2023

20

Publications

20

Active learning for extended finite state machines

Sofia Cassel, Falk Howar, Bengt Jönsson et al. · Formal Aspects of Computing · 2016 · 103 citations

Active continuous quality control

Stephan Windmüller, Johannes Neubauer, Bernhard Steffen et al. · 2013 · 61 citations

Software Maintenance, Engineering, Verification +25

Learning register automata: from languages to program structures

Malte Isberner, Falk Howar, Bernhard Steffen · Machine Learning · 2013 · 60 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +8

Rigorous examination of reactive systems

Falk Howar, Malte Isberner, Maik Merten et al. · International Journal on Software Tools for Technology Transfer · 2014 · 44 citations

Rigorous Examination, Engineering, Formal Methods +3

Hybrid learning: interface generation through static, dynamic, and symbolic analysis

Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamarić · 2013 · 33 citations

Artificial Intelligence, Engineering, Verification +21

Rows per page

1–5 of 20