Publications

Export 9 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Clemens Dubslaff  [Clear All Filters]
2015
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.
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.
2014
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. 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.
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.