Publications

Export 9 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Clemens Dubslaff  [Clear All Filters]
Book Chapter
C. Baier, C. Dubslaff, J. Klein, S. Klüppelholz, and S. Wunderlich, “Probabilistic Model Checking for Energy-Utility Analysis”, in Horizons of the Mind. A Tribute to Prakash Panangaden, vol. 8464, 2014, p. 96–123.
Conference Paper
C. Baier, C. Dubslaff, S. Klüppelholz, and L. Leuschner, “Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking”, in Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), 2014.
C. Baier, M. Daum, C. Dubslaff, J. Klein, and S. Klüppelholz, “Energy-Utility Quantiles”, in Proc. of the 6th NASA Formal Methods Symposium (NFM), 2014.
C. Baier, et al., “Probabilistic Model Checking and Non-standard Multi-objective Reasoning”, in Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), 2014.
C. Dubslaff, S. Klüppelholz, and C. Baier, “Probabilistic Model Checking for Energy Analysis in Software Product Lines”, in Proc. of the 13th International Conference on Modularity (MODULARITY), 2014.
C. Dubslaff and C. Baier, “Quantitative Analysis of Communication Scenarios”, in Proc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2015.
D. Krähmann, J. Schubert, C. Baier, and C. Dubslaff, “Ratio and Weight Quantiles”, in Proc. of the 40th Symposium on Mathematical Foundations of Computer Science (MFCS): Part I, 2015.
C. Baier, C. Dubslaff, and S. Klüppelholz, “Trade-off Analysis Meets Probabilistic Model Checking”, in Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS), 2014.
Journal Article
C. Dubslaff, C. Baier, and S. Klüppelholz, “Probabilistic Model Checking for Feature-oriented Systems”, Transactions on Aspect-Oriented Software Development, vol. 12, p. 180–220, 2015.