Concepedia

Harald Raffelt

HR

8

Publications

479

Citations

8

H-Index

2004

Active since

Affiliations

TU Dortmund University(Current)

University of Potsdam

University of Göttingen

Uppsala University

Harald Raffelt is an author at TU Dortmund University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceSoftware TestingAutomated ReasoningFormal MethodsProgram AnalysisSystems EngineeringSoftware AnalysisComputer EngineeringArtificial Intelligence

Publications per year

2004–2009

8

Publications

8

LearnLib: a framework for extrapolating behavioral models

Harald Raffelt, Bernhard Steffen, Therese Berg et al. · International Journal on Software Tools for Technology Transfer · 2009 · 107 citations

Artificial Intelligence, Engineering, Machine Learning +10

Harald Raffelt, Bernhard Steffen, Therese Berg · 2005 · 100 citations

Artificial Intelligence, Computational Science, Tailored Learning Scenarios +15

Dynamic testing via automata learning

Harald Raffelt, Maik Merten, Bernhard Steffen et al. · International Journal on Software Tools for Technology Transfer · 2009 · 99 citations

Engineering, Program Analysis, Automated Reasoning +9

Efficient test-based model generation for legacy reactive systems

Tiziana Margaria, Oliver Niese, Harald Raffelt et al. · 2004 · 86 citations

Software Maintenance, Engineering, Test Data Generation +21

Knowledge-based relevance filtering for efficient system-level test-based model generation

Tiziana Margaria, Harald Raffelt, Bernhard Steffen · Innovations in Systems and Software Engineering · 2005 · 34 citations

Engineering, Information Retrieval, Data Science +8

Rows per page

1–5 of 8