Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Clemens Dubslaff
Map detail
Clemens Dubslaff6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipClemens DubslaffAClemens DubslaffResearcherCausality in Configurable Software SystemsWCausality in Configurab...preprint / 2022Proceedings Fifth Workshop on Models for Formal Analysis of Real SystemsWProceedings Fifth Works...preprint / 2022Iterative Variable Reordering: Taming Huge System FamiliesWIterative Variable Reor...preprint / 2020Reduction Methods on Probabilistic Control-flow Programs for Reliability AnalysisWReduction Methods on Pr...preprint / 2020Probabilistic Model Checking for Energy Analysis in Software Product LinesWProbabilistic Model Che...preprint / 2013
Person5 links

Clemens Dubslaff

Researcher