Sascha Klüppelholz
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Verified email at tcs.inf.tu-dresden.de
Title
Cited by
Cited by
Year
Symbolic model checking for channel-based component connectors
S Klüppelholz, C Baier
Electronic Notes in Theoretical Computer Science 175 (2), 19-37, 2007
552007
A uniform framework for modeling and verifying components and connectors
C Baier, T Blechmann, J Klein, S Klüppelholz
International Conference on Coordination Languages and Models, 247-267, 2009
502009
Energy-utility quantiles
C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz
NASA Formal Methods Symposium, 285-299, 2014
462014
Probabilistic model checking for energy analysis in software product lines
C Dubslaff, S Klüppelholz, C Baier
Proceedings of the 13th international conference on Modularity, 169-180, 2014
402014
Computing conditional probabilities in Markovian models efficiently
C Baier, J Klein, S Klüppelholz, S Märcker
International Conference on Tools and Algorithms for the Construction and …, 2014
392014
Design and verification of systems with exogenous coordination using Vereofy
C Baier, T Blechmann, J Klein, S Klüppelholz, W Leister
International Symposium On Leveraging Applications of Formal Methods …, 2010
352010
Formal verification for components and connectors
C Baier, T Blechmann, J Klein, S Klüppelholz
International Symposium on Formal Methods for Components and Objects, 82-101, 2008
332008
ProFeat: feature-oriented engineering for family-based probabilistic model checking
P Chrszon, C Dubslaff, S Klüppelholz, C Baier
Formal Aspects of Computing 30 (1), 45-75, 2018
312018
Probabilistic model checking for feature-oriented systems
C Dubslaff, C Baier, S Klüppelholz
Transactions on Aspect-Oriented Software Development XII, 180-220, 2015
312015
Family-based modeling and analysis for probabilistic systems–featuring ProFeat
P Chrszon, C Dubslaff, S Klüppelholz, C Baier
International Conference on Fundamental Approaches to Software Engineering …, 2016
302016
Trade-off analysis meets probabilistic model checking
C Baier, C Dubslaff, S Klüppelholz
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
292014
Weight monitoring with linear temporal logic: complexity and decidability
C Baier, J Klein, S Klüppelholz, S Wunderlich
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
282014
Markov chains and unambiguous Büchi automata
C Baier, S Kiefer, J Klein, S Klüppelholz, D Müller, J Worrell
International Conference on Computer Aided Verification, 23-42, 2016
262016
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Journal on Software Tools for Technology Transfer 20 (2), 179-194, 2018
222018
Advances in symbolic probabilistic model checking with PRISM
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
222016
Advances in symbolic probabilistic model checking with PRISM
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
222016
Probabilistic model checking for energy-utility analysis
C Baier, C Dubslaff, J Klein, S Klüppelholz, S Wunderlich
Horizons of the Mind. A Tribute to Prakash Panangaden, 96-123, 2014
222014
Symbolic model checking for channel-based component connectors
S Klüppelholz, C Baier
Science of Computer Programming 74 (9), 688-701, 2009
202009
A compositional framework for controller synthesis
C Baier, J Klein, S Klüppelholz
International Conference on Concurrency Theory, 512-527, 2011
182011
Modeling and verification of components and connectors
C Baier, J Klein, S Klüppelholz
International School on Formal Methods for the Design of Computer …, 2011
172011
The system can't perform the operation now. Try again later.
Articles 1–20