Publications
Filters: Author is Christel Baier [Clear All Filters]
, “Compositional Construction of Most General Controllers”, Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, vol. 52, p. 443–482, 2015.
, “Locks: Picking key methods for a scalable quantitative analysis”, Journal of Computer and System Sciences, vol. 81, p. 258–287, 2015.
, “Probabilistic Model Checking for Feature-oriented Systems”, Transactions on Aspect-Oriented Software Development, vol. 12, p. 180–220, 2015.
, “Quantitative Analysis of Communication Scenarios”, in Proc. of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2015.
, “Ratio and Weight Quantiles”, in Proc. of the 40th Symposium on Mathematical Foundations of Computer Science (MFCS): Part I, 2015.
, “syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications”, in Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings, 2015.
, “Are Good-for-Games Automata Good for Probabilistic Model Checking?”, in Proc. of the 8th International Conference on Language and Automata Theory and Applications (LATA), 2014.
, “Computing Conditional Probabilities in Markovian Models Efficiently”, in Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014.
, “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.
, “Energy-Utility Quantiles”, in Proc. of the 6th NASA Formal Methods Symposium (NFM), 2014.
, “Probabilistic Model Checking and Non-standard Multi-objective Reasoning”, in Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), 2014.
, “Probabilistic Model Checking for Energy Analysis in Software Product Lines”, in Proc. of the 13th International Conference on Modularity (MODULARITY), 2014.
, “Probabilistic Model Checking for Energy-Utility Analysis”, in Horizons of the Mind. A Tribute to Prakash Panangaden, vol. 8464, 2014, p. 96–123.
, “Stochastic Timed Automata”, Logical Methods in Computer Science (LMCS), vol. 10, p. 1–73, 2014.
, “Synthesis of Reo Connectors for Strategies and Controllers”, Fundamenta Informaticae, vol. 130, p. 1–20, 2014.
, “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.
, “Weight Monitoring with Linear Temporal Logic: Complexity and Decidability”, in Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS), 2014.
, “Computing Quantiles in Markov Reward Models”, in Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS13, 2013, vol. 7794, p. 353-368.
, “Model checking for performability”, Mathematical Structures in Computer Science, vol. 23, p. 751–795, 2013.
, “A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select”, in NASA Formal Methods, 5th Symposium, NFM13, 2013, vol. 7871, p. 307-321.
, “Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata”, in Algebraic Informatics, 5th International Conference, CAI13, 2013, vol. 8080, p. 4-5.
, “Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code”, in Systems Software Verification, 7th Conference, SSV12, 2012, vol. 102, p. 155-166.
