Kathrin Danielle Scheidemann

According to our database¹, Kathrin Danielle Scheidemann authored at least 4 papers between 2006 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Verifying families of system configurations.

[BibT_eX]

[DOI]

PhD thesis, 2008

Calculating and Modeling Common Parts of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Modeling and Model Checking Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2006

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

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 10th International Conference, 2006