According to our database1, Clemens Dubslaff authored at least 22 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
From verification to synthesis under cost-utility constraints.
SIGLOG News, 2018
ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Asp. Comput., 2018
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.
Proceedings of the It's All About Coordination, 2018
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs.
Proceedings of the ModelEd, TestEd, TrustEd, 2017
Synthesis of Optimal Resilient Control Strategies.
Proceedings of the Automated Technology for Verification and Analysis, 2017
Advances in Symbolic Probabilistic Model Checking with PRISM.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Modeling Role-Based Systems with Exogenous Coordination.
Proceedings of the Theory and Practice of Formal Methods, 2016
Probabilistic Model Checking for Feature-Oriented Systems.
Trans. Aspect-Oriented Software Development, 2015
Advances in Quantitative Software Product Line Analysis.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Ratio and Weight Quantiles.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Quantitative Analysis of Communication Scenarios.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Trade-off analysis meets probabilistic model checking.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Probabilistic Model Checking for Energy-Utility Analysis.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
Probabilistic model checking for energy analysis in software product lines.
Proceedings of the 13th International Conference on Modularity, 2014
Model checking probabilistic systems against pushdown specifications.
Inf. Process. Lett., 2012