Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Hentschel
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Family-Based Deductive Verification of Software Product Lines
Related publications
Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Driven Product Consolidation Into Software Product Lines
Softwaretechnik-Trends
Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Analysis and Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mining Existing Assets for Software Product Lines
Reusing Platform-Specific Models in Model-Driven Architecture for Software Product Lines
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Granularity in Software Product Lines
