default search action

combined dblp search
author search
venue search
publication search

ask others

Clemens Dubslaff

> Home > Persons

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

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/DubslaffWBA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DubslaffWBA24
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Feature causality. J. Syst. Softw. 209: 111915 (2024)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/network/SchulzDSLSF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/network/SchulzDSLSF24
Jonas Schulz, Clemens Dubslaff, Patrick Seeling, Shu-Chen Li, Stefanie Speidel, Frank H. P. Fitzek:
Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion. IEEE Netw. 38(5): 167-173 (2024)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/DubslaffWF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DubslaffWF24
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker:
Lazy model checking for recursive state machines. Softw. Syst. Model. 23(2): 369-401 (2024)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekCDS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekCDS24
Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer:
X-by-Construction Meets AI. ISoLA (4) 2024: 155-161
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/DubslaffHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DubslaffHK24
Clemens Dubslaff, Nils Husung, Nikolai Käfer:
Configuring BDD Compilation Techniques for Feature Models. SPLC (A) 2024: 209-216
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HusungDHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HusungDHK24
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
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/xai/DubslaffKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xai/DubslaffKP24
Clemens Dubslaff, Verena Klös, Juliane Päßler:
Template Decision Diagrams for Meta Control and Explainability. xAI (2) 2024: 219-242
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/10/HusungDHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HusungDHK24
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]
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-17368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-17368
Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns:
Configuration Monitor Synthesis. CoRR abs/2408.17368 (2024)
2023
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ChrszonBDK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ChrszonBDK23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/HarderJBD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HarderJBD23
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff:
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI 2023: 2728-2737
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/WienhoftSSDB023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WienhoftSSDB023
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BaierDWK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BaierDWK23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/DubslaffSWBFKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/DubslaffSWBFKL23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2023
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-18720
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-18720
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]
- view
  authority control:
- export record
  dblp key:
  - data/10/DubslaffWBA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DubslaffWBA23
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
FeatCause - Sources and Data. Version 2. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/HusungDHK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HusungDHK23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08608
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08608
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer:
On the Foundations of Cycles in Bayesian Networks. CoRR abs/2301.08608 (2023)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-12718
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-12718
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07958
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-08103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-08103
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]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Dubslaff22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Dubslaff22
Clemens Dubslaff:
Quantitative Analysis of Configurable and Reconfigurable Systems. Dresden University of Technology, Germany, 2022
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/KaferBDDGH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/KaferBDDGH22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaierDFJPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaierDFJPZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaierDHK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaierDHK22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DubslaffWBA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DubslaffWBA22
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Causality in Configurable Software Systems. ICSE 2022: 325-337
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DubslaffK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DubslaffK22
Clemens Dubslaff, Maximilian A. Köhl:
Configurable-by-Construction Runtime Monitoring. ISoLA (1) 2022: 220-241
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-09299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-09299
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/ChrszonBDK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChrszonBDK22
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. Zenodo, 2022
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/DubslaffWBA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DubslaffWBA22
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
FeatCause - Sources and Data. Version 1. Zenodo, 2022 [all versions]
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-07280
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-07280
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel:
Causality in Configurable Software Systems. CoRR abs/2201.07280 (2022)
2021
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/DubslaffKT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DubslaffKT21
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33(6): 885-921 (2021)
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/BaierD0JMPZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BaierD0JMPZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/BaierDDGHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaierDDGHK21
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer:
Admissibility in Probabilistic Argumentation. KR 2021: 87-98
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/DubslaffWF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/DubslaffWF21
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]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - series/gidiss/Dubslaff21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/gidiss/Dubslaff21
Clemens Dubslaff:
Quantitative konfigurierbare und rekonfigurierbare Systeme . Ausgezeichnete Informatikdissertationen 2021: 21-30
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-09533
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-09533
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/DubslaffKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/DubslaffKT20
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics 2020
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BaierDHKKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BaierDHKKK20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ChrszonBDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ChrszonBDK20
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
From features to roles. SPLC (A) 2020: 19:1-19:11
[c21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13287
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13287
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek:
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS 2020: 121-133
[d2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BaierDHKKK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BaierDHKKK20
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
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/ChrszonBDK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChrszonBDK20
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
From Features to Roles, Artifact (SPLC2020). Zenodo, 2020
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-06637
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-06637
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/BaierDKKR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/BaierDKKR19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/SardarDKBK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/SardarDKBK19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DubslaffKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DubslaffKT19
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan:
Ontology-Mediated Probabilistic Model Checking. IFM 2019: 194-211
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Dubslaff19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Dubslaff19
Clemens Dubslaff:
Compositional Feature-Oriented Systems. SEFM 2019: 162-180
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-05364
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-05364
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek:
Breaking the Limits of Redundancy Systems Analysis. CoRR abs/1912.05364 (2019)
2018
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ChrszonDKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ChrszonDKB18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/BaierD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/BaierD18
Christel Baier, Clemens Dubslaff:
From verification to synthesis under cost-utility constraints. ACM SIGLOG News 5(4): 26-46 (2018)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KleinBCDDKMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KleinBCDDKMM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaierCD0K18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaierCD0K18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Baier0DGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Baier0DGS18
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-11301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-11301
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BaierDKKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BaierDKKR17
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. ATVA 2017: 417-434
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DubslaffB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DubslaffB17
Clemens Dubslaff, Christel Baier:
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd 2017: 64-84
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BaierDKKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BaierDKKR17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BaierDKKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaierDKKR17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BaierDKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaierDKR17
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. CoRR abs/1707.03223 (2017)
2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChrszonDB0K16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChrszonDB0K16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChrszonDKB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChrszonDKB16
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE 2016: 287-304
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/0001BCDDKM016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/0001BCDDKM016
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]
- view
  authority control:
- export record
  dblp key:
  - journals/taosd/DubslaffBK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taosd/DubslaffBK14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DubslaffB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DubslaffB15
Clemens Dubslaff, Christel Baier:
Quantitative Analysis of Communication Scenarios. FORMATS 2015: 76-92
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/KrahmannSBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/KrahmannSBD15
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff:
Ratio and Weight Quantiles. MFCS (1) 2015: 344-356
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/se/Dubslaff15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Dubslaff15
Clemens Dubslaff:
Advances in Quantitative Software Product Line Analysis. Software Engineering & Management 2015: 59-60
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/DubslaffKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/DubslaffKB14
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Probabilistic model checking for energy analysis in software product lines. MODULARITY 2014: 169-180
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BaierDKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BaierDKL14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaierDKKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaierDKKW14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BaierDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BaierDK14
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
Trade-off analysis meets probabilistic model checking. CSL-LICS 2014: 1:1-1:10
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BaierDKDKMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BaierDKDKMW14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BaierDDKK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BaierDDKK14
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz:
Energy-Utility Quantiles. NASA Formal Methods 2014: 285-299
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DubslaffKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DubslaffKB13
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Probabilistic Model Checking for Energy Analysis in Software Product Lines. CoRR abs/1312.7758 (2013)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/DubslaffBB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/DubslaffBB12
Clemens Dubslaff, Christel Baier, Manuela Berg:
Model checking probabilistic systems against pushdown specifications. Inf. Process. Lett. 112(8-9): 320-328 (2012)

Coauthor Index

see FAQ

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.