default search action
Clemens Dubslaff
Person information
- affiliation: TU Eindhoven, The Netherlands
- affiliation (former): Technical University Dresden, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Clemens Dubslaff, Kallistos Weis, Christel Baier
, Sven Apel
Feature causality. J. Syst. Softw. 209: 111915 (2024) - [j11]Jonas Schulz
Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion. IEEE Netw. 38(5): 167-173 (2024) - [j10]Clemens Dubslaff, Patrick Wienhöft
Lazy model checking for recursive state machines. Softw. Syst. Model. 23(2): 369-401 (2024) - [c39]Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer:
X-by-Construction Meets AI. ISoLA (4) 2024: 155-161 - [c38]Clemens Dubslaff
Configuring BDD Compilation Techniques for Feature Models. SPLC (A) 2024: 209-216 - [c37]Nils Husung
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) 2024: 255-275 - [c36]Clemens Dubslaff
Template Decision Diagrams for Meta Control and Explainability. xAI (2) 2024: 219-242 - [d7]Nils Husung
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. Version 2. Zenodo, 2024 [all versions] - [i13]Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns:
Configuration Monitor Synthesis. CoRR abs/2408.17368 (2024) - 2023
- [j9]Philipp Chrszon
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196: 111556 (2023) - [c35]Hans Harder, Simon Jantsch, Christel Baier
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI 2023: 2728-2737 - [c34]Patrick Wienhöft
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI 2023: 4406-4415 - [c33]Christel Baier
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM 2023: 86-103 - [c32]Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft
Towards a Formal Account on Negative Latency. AISoLA 2023: 188-214 - [e3]Erika Ábrahám
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] - [d6]Clemens Dubslaff
FeatCause - Sources and Data. Version 2. Zenodo, 2023 [all versions] - [d5]Nils Husung
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
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022) - [c31]Christel Baier
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 27-45 - [c30]Christel Baier
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - [c29]Clemens Dubslaff, Kallistos Weis, Christel Baier
Causality in Configurable Software Systems. ICSE 2022: 325-337 - [c28]Clemens Dubslaff
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] - [d4]Philipp Chrszon
Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. Zenodo, 2022 - [d3]Clemens Dubslaff
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
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33(6): 885-921 (2021) - [c27]Christel Baier
From Verification to Causality-Based Explications (Invited Talk). ICALP 2021: 1:1-1:20 - [c26]Christel Baier
Admissibility in Probabilistic Argumentation. KR 2021: 87-98 - [c25]Clemens Dubslaff
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
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) 2020: 240-261 - [c22]Philipp Chrszon, Christel Baier
From features to roles. SPLC (A) 2020: 19:1-19:11 - [c21]Clemens Dubslaff, Andrey Morozov, Christel Baier
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS 2020: 121-133 - [d2]Christel Baier
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [d1]Philipp Chrszon
From Features to Roles, Artifact (SPLC2020). 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
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
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW 2019: 133-147 - [c19]Clemens Dubslaff
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
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30(1): 45-75 (2018) - [j4]Christel Baier
From verification to synthesis under cost-utility constraints. ACM SIGLOG News 5(4): 26-46 (2018) - [j3]Joachim Klein
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
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination 2018: 38-56 - [c16]Christel Baier
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
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
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
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods 2016: 122-139 - [c11]Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE 2016: 287-304 - [c10]Joachim Klein
Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS 2016: 349-366 - 2015
- [j2]Clemens Dubslaff, Christel Baier
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
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
Probabilistic model checking for energy analysis in software product lines. MODULARITY 2014: 169-180 - [c5]Christel Baier
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets 2014: 20-39 - [c4]Christel Baier
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind 2014: 96-123 - [c3]Christel Baier
Trade-off analysis meets probabilistic model checking. CSL-LICS 2014: 1:1-1:10 - [c2]Christel Baier
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. FASE 2014: 1-16 - [c1]Christel Baier
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
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-11-11 22:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: