Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Retest test selection for product-line regression testing of variants and versions of variants., , , und . Journal of Systems and Software, (2019)IncLing: efficient product-line testing using incremental pairwise sampling., , , , und . GPCE, Seite 144-155. ACM, (2016)Tool demo: testing configurable systems with FeatureIDE., , , , , , und . GPCE, Seite 173-177. ACM, (2016)Product-line verification with feature-oriented contracts.. ISSTA, Seite 374-377. ACM, (2013)Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY., , , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 342-361. Springer, (2018)Variability Hiding in Contracts for Dependent Software Product Lines., , , , und . VaMoS, Seite 97-104. ACM, (2016)SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses., , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 127-144. Springer, (2019)Multi-dimensional variability modeling., , , und . VaMoS, Seite 11-20. ACM, (2011)Family-based deductive verification of software product lines., , , und . GPCE, Seite 11-20. ACM, (2012)Modular Reasoning for Crosscutting Concerns with Contracts.. Software Engineering, Volume P-227 von LNI, Seite 65-66. GI, (2014)