![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Clemens Dubslaff
Person information
- affiliation: TU Eindhoven, The Netherlands
- affiliation (former): Technical University Dresden, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]Clemens Dubslaff, Kallistos Weis, Christel Baier
, Sven Apel
:
Feature causality. J. Syst. Softw. 209: 111915 (2024) - [j10]Clemens Dubslaff, Patrick Wienhöft
, Ansgar Fehnker:
Lazy model checking for recursive state machines. Softw. Syst. Model. 23(2): 369-401 (2024) - [c37]Clemens Dubslaff
, Nils Husung
, Nikolai Käfer
:
Configuring BDD Compilation Techniques for Feature Models. SPLC (A) 2024: 209-216 - [c36]Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) 2024: 255-275 - [d5]Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 2. Zenodo, 2024 [all versions] - 2023
- [j9]Philipp Chrszon
, Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz:
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196: 111556 (2023) - [c35]Hans Harder, Simon Jantsch, Christel Baier
, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI 2023: 2728-2737 - [c34]Patrick Wienhöft
, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier
, Nils Jansen
:
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI 2023: 4406-4415 - [c33]Christel Baier
, Clemens Dubslaff, Patrick Wienhöft
, Stefan J. Kiebel:
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM 2023: 86-103 - [c32]Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft
, Christel Baier
, Frank H. P. Fitzek
, Stefan J. Kiebel, Johannes Lehmann
:
Towards a Formal Account on Negative Latency. AISoLA 2023: 188-214 - [e3]Erika Ábrahám
, Clemens Dubslaff
, Silvia Lizeth Tapia Tarifa
:
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Lecture Notes in Computer Science 14446, Springer 2023, ISBN 978-3-031-47962-5 [contents] - [e2]Maurice H. ter Beek, Clemens Dubslaff:
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. EPTCS 392, 2023 [contents] - [d4]Clemens Dubslaff
, Kallistos Weis, Christel Baier
, Sven Apel
:
FeatCause - Sources and Data. Version 2. Zenodo, 2023 [all versions] - [d3]Nils Husung
, Clemens Dubslaff
, Holger Hermanns
, Maximilian A. Köhl
:
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 1. Zenodo, 2023 [all versions] - [i12]Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. CoRR abs/2301.08608 (2023) - [i11]Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel:
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR abs/2303.12718 (2023) - [i10]Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
:
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR abs/2305.07958 (2023) - [i9]Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR abs/2305.08103 (2023) - 2022
- [b1]Clemens Dubslaff:
Quantitative Analysis of Configurable and Reconfigurable Systems. Dresden University of Technology, Germany, 2022 - [j8]Nikolai Käfer
, Christel Baier
, Martin Diller
, Clemens Dubslaff
, Sarah Alice Gaggl
, Holger Hermanns
:
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [c31]Christel Baier
, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer
, Robin Ziemek
:
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 27-45 - [c30]Christel Baier
, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
:
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - [c29]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
:
Causality in Configurable Software Systems. ICSE 2022: 325-337 - [c28]Clemens Dubslaff
, Maximilian A. Köhl
:
Configurable-by-Construction Runtime Monitoring. ISoLA (1) 2022: 220-241 - [e1]Clemens Dubslaff, Bas Luttik:
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 355, 2022 [contents] - [d2]Clemens Dubslaff
, Kallistos Weis, Christel Baier
, Sven Apel
:
FeatCause - Sources and Data. Version 1. Zenodo, 2022 [all versions] - [i8]Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Causality in Configurable Software Systems. CoRR abs/2201.07280 (2022) - 2021
- [j7]Clemens Dubslaff
, Patrick Koopmann
, Anni-Yasmin Turhan
:
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33(6): 885-921 (2021) - [c27]Christel Baier
, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer
, Robin Ziemek
:
From Verification to Causality-Based Explications (Invited Talk). ICALP 2021: 1:1-1:20 - [c26]Christel Baier
, Martin Diller
, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
, Nikolai Käfer
:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c25]Clemens Dubslaff
, Patrick Wienhöft
, Ansgar Fehnker
:
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. SEFM 2021: 332-350 - [p1]Clemens Dubslaff:
Quantitative konfigurierbare und rekonfigurierbare Systeme . Ausgezeichnete Informatikdissertationen 2021: 21-30 - [i7]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
From Verification to Causality-based Explications. CoRR abs/2105.09533 (2021) - 2020
- [c24]Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics 2020 - [c23]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c22]Philipp Chrszon, Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz:
From features to roles. SPLC (A) 2020: 19:1-19:11 - [c21]Clemens Dubslaff, Andrey Morozov, Christel Baier
, Klaus Janschek:
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS 2020: 121-133 - [d1]Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl
:
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [i6]Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek:
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. CoRR abs/2004.06637 (2020)
2010 – 2019
- 2019
- [j6]Christel Baier
, Clemens Dubslaff
, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29(4): 28:1-28:26 (2019) - [c20]Muhammad Usama Sardar
, Clemens Dubslaff
, Sascha Klüppelholz
, Christel Baier
, Akash Kumar
:
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW 2019: 133-147 - [c19]Clemens Dubslaff
, Patrick Koopmann
, Anni-Yasmin Turhan:
Ontology-Mediated Probabilistic Model Checking. IFM 2019: 194-211 - [c18]Clemens Dubslaff:
Compositional Feature-Oriented Systems. SEFM 2019: 162-180 - [i5]Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek:
Breaking the Limits of Redundancy Systems Analysis. CoRR abs/1912.05364 (2019) - 2018
- [j5]Philipp Chrszon
, Clemens Dubslaff, Sascha Klüppelholz
, Christel Baier:
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30(1): 45-75 (2018) - [j4]Christel Baier
, Clemens Dubslaff:
From verification to synthesis under cost-utility constraints. ACM SIGLOG News 5(4): 26-46 (2018) - [j3]Joachim Klein
, Christel Baier
, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz
, Steffen Märcker, David Müller:
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. 20(2): 179-194 (2018) - [c17]Christel Baier
, Philipp Chrszon
, Clemens Dubslaff
, Joachim Klein
, Sascha Klüppelholz
:
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination 2018: 38-56 - [c16]Christel Baier
, Nathalie Bertrand
, Clemens Dubslaff, Daniel Gburek, Ocan Sankur:
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS 2018: 86-94 - [i4]Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur:
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. CoRR abs/1804.11301 (2018) - 2017
- [c15]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. ATVA 2017: 417-434 - [c14]Clemens Dubslaff, Christel Baier:
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd 2017: 64-84 - [c13]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST 2017: 190-206 - [i3]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR abs/1706.06486 (2017) - [i2]Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. CoRR abs/1707.03223 (2017) - 2016
- [c12]Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein
, Sascha Klüppelholz
:
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods 2016: 122-139 - [c11]Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz
, Christel Baier:
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE 2016: 287-304 - [c10]Joachim Klein
, Christel Baier
, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz
, Steffen Märcker, David Müller:
Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS 2016: 349-366 - 2015
- [j2]Clemens Dubslaff, Christel Baier
, Sascha Klüppelholz
:
Probabilistic Model Checking for Feature-Oriented Systems. LNCS Trans. Aspect Oriented Softw. Dev. 12: 180-220 (2015) - [c9]Clemens Dubslaff, Christel Baier
:
Quantitative Analysis of Communication Scenarios. FORMATS 2015: 76-92 - [c8]Daniel Krähmann, Jana Schubert, Christel Baier
, Clemens Dubslaff:
Ratio and Weight Quantiles. MFCS (1) 2015: 344-356 - [c7]Clemens Dubslaff:
Advances in Quantitative Software Product Line Analysis. Software Engineering & Management 2015: 59-60 - 2014
- [c6]Clemens Dubslaff, Sascha Klüppelholz
, Christel Baier
:
Probabilistic model checking for energy analysis in software product lines. MODULARITY 2014: 169-180 - [c5]Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz
, Linda Leuschner:
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets 2014: 20-39 - [c4]Christel Baier, Clemens Dubslaff, Joachim Klein
, Sascha Klüppelholz
, Sascha Wunderlich:
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind 2014: 96-123 - [c3]Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz
:
Trade-off analysis meets probabilistic model checking. CSL-LICS 2014: 1:1-1:10 - [c2]Christel Baier
, Clemens Dubslaff, Sascha Klüppelholz
, Marcus Daum, Joachim Klein
, Steffen Märcker, Sascha Wunderlich:
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. FASE 2014: 1-16 - [c1]Christel Baier
, Marcus Daum, Clemens Dubslaff, Joachim Klein
, Sascha Klüppelholz
:
Energy-Utility Quantiles. NASA Formal Methods 2014: 285-299 - 2013
- [i1]Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Probabilistic Model Checking for Energy Analysis in Software Product Lines. CoRR abs/1312.7758 (2013) - 2012
- [j1]Clemens Dubslaff, Christel Baier, Manuela Berg:
Model checking probabilistic systems against pushdown specifications. Inf. Process. Lett. 112(8-9): 320-328 (2012)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint