Folgen
Sascha Klüppelholz
Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter (PostDoc) Technische Universität Dresden
Bestätigte E-Mail-Adresse bei tcs.inf.tu-dresden.de
Titel
Zitiert von
Zitiert von
Jahr
ProFeat: feature-oriented engineering for family-based probabilistic model checking
P Chrszon, C Dubslaff, S Klüppelholz, C Baier
Formal Aspects of Computing 30, 45-75, 2018
702018
Symbolic model checking for channel-based component connectors
S Klüppelholz, C Baier
Electronic Notes in Theoretical Computer Science 175 (2), 19-37, 2007
582007
Energy-utility quantiles
C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
572014
A uniform framework for modeling and verifying components and connectors
C Baier, T Blechmann, J Klein, S Klüppelholz
Coordination Models and Languages: 11th International Conference …, 2009
542009
Computing conditional probabilities in Markovian models efficiently
C Baier, J Klein, S Klüppelholz, S Märcker
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
522014
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
512014
Probabilistic model checking for feature-oriented systems
C Dubslaff, C Baier, S Klüppelholz
Transactions on Aspect-Oriented Software Development XII, 180-220, 2015
472015
Design and verification of systems with exogenous coordination using Vereofy
C Baier, T Blechmann, J Klein, S Klüppelholz, W Leister
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
402010
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
392018
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
382014
Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat
P Chrszon, C Dubslaff, S Klüppelholz, C Baier
Fundamental Approaches to Software Engineering: 19th International …, 2016
362016
Formal verification for components and connectors
C Baier, T Blechmann, J Klein, S Klüppelholz
Formal Methods for Components and Objects: 7th International Symposium, FMCO …, 2009
362009
Markov chains and unambiguous Büchi automata
C Baier, S Kiefer, J Klein, S Klüppelholz, D Müller, J Worrell
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
332016
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
322014
Advances in symbolic probabilistic model checking with PRISM
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
292016
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klüppelholz, M Völp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017
282017
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: Essays Dedicated to …, 2014
282014
Symbolic model checking for channel-based component connectors
S Klüppelholz, C Baier
Science of Computer Programming 74 (9), 688-701, 2009
242009
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
C Baier, C Dubslaff, S Klüppelholz, M Daum, J Klein, S Märcker, ...
FASE, 1-16, 2014
222014
Maximizing the conditional expected reward for reaching the goal
C Baier, J Klein, S Klüppelholz, S Wunderlich
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
192017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20