Concepedia

Malte Isberner

MI

8

Publications

218

Citations

8

H-Index

2012

Active since

Affiliations

TU Dortmund University(Current)

Carnegie Mellon University

Ames Research Center

University of Potsdam

Silicon Valley Community Foundation

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

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware TestingAutomated ReasoningSystems EngineeringParallel Programming

Publications per year

2012–2015

8

Publications

8

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

Property-driven benchmark generation: synthesizing programs of realistic structure

Bernhard Steffen, Malte Isberner, Stefan Naujokat et al. · International Journal on Software Tools for Technology Transfer · 2014 · 35 citations

Benchmarking Tool, Engineering, Program Analysis +10

Foundations of active automata learning: an algorithmic perspective

Malte Isberner · 2015 · 26 citations · Full text

Artificial Intelligence, Engineering, Automated Reasoning +6

Taming test inputs for separation assurance

Dimitra Giannakopoulou, Falk Howar, Malte Isberner et al. · 2014 · 18 citations

Engineering, Inspection, Information Security +24

Rows per page

1–5 of 8