Concepedia

Kathrin Scheidemann

KS

Statistics

Publications

2

Citations

58

H-Index

2

Active since

2006

Affiliations

Technical University of Munich(Current)

Kathrin Scheidemann is an author at Technical University of Munich specializing in system software, formal verification, and software engineering.

Top concepts

Publications per year

2006–2008

2

Publications

2

Calculating and Modeling Common Parts of Software Product Lines

Alexander Gruler, Martin Leucker, Kathrin Scheidemann · 2008 · 32 citations

, , +20

Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems

Kathrin Scheidemann · 2006 · 26 citations

, , +26

1–2 of 2