Sascha Klüppelholz
According to our database1, Sascha Klüppelholz
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2018
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
STTT, 2018
ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Asp. Comput., 2018
2017
Maximizing the Conditional Expected Reward for Reaching the Goal.
CoRR, 2017
Maximizing the Conditional Expected Reward for Reaching the Goal.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Computing Conditional Probabilities: Implementation and Evaluation.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Towards Automated Configuration of Systems with Non-Functional Constraints.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017
Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Markov Chains and Unambiguous Büchi Automata.
CoRR, 2016
Advances in Symbolic Probabilistic Model Checking with PRISM.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Composition of Stochastic Transition Systems Based on Spans and Couplings.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Markov Chains and Unambiguous Büchi Automata.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Modeling Role-Based Systems with Exogenous Coordination.
Proceedings of the Theory and Practice of Formal Methods, 2016
Greener Bits: Formal Analysis of Demand Response.
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Probabilistic Model Checking for Feature-Oriented Systems.
Trans. Aspect-Oriented Software Development, 2015
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015
Compositional construction of most general controllers.
Acta Inf., 2015
2014
Synthesis of Reo Connectors for Strategies and Controllers.
Fundam. Inform., 2014
Computing Conditional Probabilities in Markovian Models Efficiently.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Energy-Utility Quantiles.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Are Good-for-Games Automata Good for Probabilistic Model Checking?
Proceedings of the Language and Automata Theory and Applications, 2014
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Weight monitoring with linear temporal logic: complexity and decidability.
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
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
2013
Probabilistic Model Checking for Energy Analysis in Software Product Lines.
CoRR, 2013
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Proceedings of the NASA Formal Methods, 2013
2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Formale Verifikation von exogenen Koodinationsmodellen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2012, 2012
Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models.
PhD thesis, 2012
2011
Modeling and Verification of Components and Connectors.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
A Compositional Framework for Controller Synthesis.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Alternating-time stream logic for multi-agent systems.
Sci. Comput. Program., 2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010
Design and Verification of Systems with Exogenous Coordination Using Vereofy.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Symbolic model checking for channel-based component connectors.
Sci. Comput. Program., 2009
The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
A Uniform Framework for Modeling and Verifying Components and Connectors.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
2008
Formal Verification for Components and Connectors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
Alternating-Time Stream Logic for Multi-agent Systems.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
2007
Symbolic Model Checking for Channel-based Component Connectors.
Electr. Notes Theor. Comput. Sci., 2007