Publications | Clemens Dubslaff

2025

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, S. Lizeth Tapia Tarifa, Einar Broch Johnsen

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System

Formal Aspects of Computing. pp. 238, ACM.

BibTeX

@article{PasBeeDam25,
	author = {P{\"a}{\ss}ler, Juliane and ter Beek, Maurice H. and Damiani, Ferruccio and Dubslaff, Clemens and Tarifa, S. Lizeth Tapia and Johnsen, Einar Broch},
	booktitle = {Proceedings of the 29th {ACM} International Systems and Software Product Line Conference - Volume A, {SPLC-A} 2025, {A} Coru{\~{n}}a, Spain, September 1-5, 2025},
	doi = {10.1145/3744915.3748484},
	editor = {Luaces, Miguel R. and Rodeiro, Tirso V. and Greiner, Sandra and Duarte, Jos{\'{e}} {\'{A}}ngel Galindo and Yue, Tao and Yoshimura, Kentaro and Semini, Laura and Cordy, Maxime and Azanza, Maider and Kr{\"{u}}ger, Jacob and Perrouin, Gilles and Fortz, Sophie and Groher, Iris and Munoz, Daniel{-}Jesus and Schmid, Klaus and P{\'{e}}rez, Francisca and Galasso{-}Carbonnel, Jessie and Horcas, Jos{\'{e}} Miguel and Feichtinger, Kevin},
	journal = {Formal Aspects Comput.},
	pages = {238},
	publisher = {{ACM}},
	title = {Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System},
	year = {2025}}

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

OxiDD: The Next-Gen Decision Diagram Framework in Rust

International Journal on Software Tools for Technology Transfer. (Accepted for publication)

BibTeX

@article{HusDubHer25,
	author = {Husung, Nils and Dubslaff, Clemens and Hermanns, Holger and K{\"o}hl, Maximilian A.},
	journal = {Int. J. Softw. Tools Technol. Transf.},
	note = {Accepted for publication},
	title = {{OxiDD}: The Next-Gen Decision Diagram Framework in Rust},
	year = {2025}}

Clemens Dubslaff, Nils Husung, Nikolai Käfer

Tailoring Binary Decision Diagram Compilation for Feature Models

Journal of Systems and Software. (Accepted for publication)

BibTeX

@article{DubHusKaf25,
	author = {Dubslaff, Clemens and Husung, Nils and K{\"a}fer, Nikolai},
	journal = {J. Syst. Softw.},
	note = {Accepted for publication},
	title = {Tailoring Binary Decision Diagram Compilation for Feature Models},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-JSS25.pdf},
	year = {2025}}

Aron van der Hofstad, Loek Cleophas, Clemens Dubslaff, Jacob Krüger

The Life of Software Features: An Exploratory Case Study of 189 Feature Requests in Marlin

Journal of Systems and Software. (Accepted for publication)

BibTeX

@article{HofCleDub25,
	author = {van der Hofstad, Aron and Cleophas, Loek and Dubslaff, Clemens and Kr{\"u}ger, Jacob},
	journal = {J. Syst. Softw.},
	note = {Accepted for publication},
	title = {The Life of Software Features: An Exploratory Case Study of 189 Feature Requests in Marlin},
	year = {2025}}

Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretinsky, Christoph Weinhuber

Explaining Control Policies through Predicate Decision Diagrams

HSCC 2025. pp. 4:1–4:12, ACM.

BibTeX

@inproceedings{ChaDubKan25,
	author = {Chakraborty, Debraj and Dubslaff, Clemens and Kanav, Sudeep and Kretinsky, Jan and Weinhuber, Christoph},
	booktitle = {Proceedings of the 28th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2025, Irvine, CA, USA, May 6-9, 2025},
	doi = {10.1145/3716863.3718049},
	pages = {4:1--4:12},
	publisher = {{ACM}},
	title = {Explaining Control Policies through Predicate Decision Diagrams},
	year = {2025}}

Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns

When to Sample from Feature Diagrams?

VaMoS 2025. pp. 11–20, ACM.

BibTeX

@inproceedings{KafApeBai25,
	author = {K{\"a}fer, Nikolai and Apel, Sven and Baier, Christel and Dubslaff, Clemens and Hermanns, Holger},
	booktitle = {Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2025, Rennes, France, February 4-6, 2025},
	doi = {10.1145/3715340.3715442},
	editor = {Acher, Mathieu and Pereira, Juliana Alves and Quinton, Cl{\'{e}}ment},
	pages = {11--20},
	publisher = {{ACM}},
	title = {When to Sample from Feature Diagrams?},
	year = {2025}}

Clemens Dubslaff

Featured Message Sequence Graphs

PFQA 2025. pp. 234–252.

BibTeX

@inproceedings{Dub25,
	author = {Dubslaff, Clemens},
	booktitle = {Proceedings of the Colloquium on Principles of Formal Quantitative Analysis, PFQA 2025},
	doi = {10.1007/978-3-031-97439-7_11},
	pages = {234--252},
	title = {Featured Message Sequence Graphs},
	year = {2025}}

2024

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

Feature Causality

Journal of Systems and Software. vol. 209, pp. 111915.

BibTeX

@article{DubWeiBai24,
	author = {Dubslaff, Clemens and Weis, Kallistos and Baier, Christel and Apel, Sven},
	doi = {10.1016/j.jss.2023.111915},
	journal = {J. Syst. Softw.},
	pages = {111915},
	title = {Feature Causality},
	volume = {209},
	year = {2024}}

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Lazy Model Checking for Recursive State Machines

Software and Systems Modeling. vol. 23, no. 2, pp. 369–401.

BibTeX

@article{DubWieFeh24,
	author = {Dubslaff, Clemens and Wienh{\"o}ft, Patrick and Fehnker, Ansgar},
	doi = {10.1007/s10270-024-01159-z},
	journal = {Softw. Syst. Model.},
	number = {2},
	pages = {369--401},
	title = {Lazy Model Checking for Recursive State Machines},
	volume = {23},
	year = {2024}}

Jonas Schulz, Clemens Dubslaff, Patrick Seeling, Shu-Chen Li, Stefanie Speidel, Frank Fitzek

Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion

IEEE Network. vol. 38, no. 5, pp. 167–173.

BibTeX

@article{SchDubSee24,
	author = {Schulz, Jonas and Dubslaff, Clemens and Seeling, Patrick and Li, Shu-Chen and Speidel, Stefanie and Fitzek, Frank},
	doi = {10.1109/MNET.2024.3375522},
	journal = {{IEEE} Netw.},
	number = {5},
	pages = {167--173},
	title = {Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion},
	volume = {38},
	year = {2024}}

Kallistos Weis, Leopoldo Motta Teixeira, Clemens Dubslaff, Sven Apel

Blackbox Observability of Features and Feature Interactions

ASE 2024. pp. 1120–1132, ACM.

BibTeX

@inproceedings{WeiTeiDub24,
	author = {Weis, Kallistos and Teixeira, Leopoldo Motta and Dubslaff, Clemens and Apel, Sven},
	booktitle = {Proceedings of the 39th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2024, Sacramento, CA, USA, October 27 - November 1, 2024},
	doi = {10.1145/3691620.3695490},
	editor = {Filkov, Vladimir and Ray, Baishakhi and Zhou, Minghui},
	pages = {1120--1132},
	publisher = {{ACM}},
	title = {Blackbox Observability of Features and Feature Interactions},
	year = {2024}}

Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns

Configuration Monitor Synthesis

ATVA 2024.

BibTeX

@inproceedings{KohDubHer24,
	author = {K{\"o}hl, Maximilian A. and Dubslaff, Clemens and Hermanns, Holger},
	booktitle = {Proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024},
	title = {Configuration Monitor Synthesis},
	url = {https://arxiv.org/abs/2408.17368},
	year = {2024}}

Clemens Dubslaff, Nils Husung, Nikolai Käfer

Configuring BDD Compilation Techniques for Feature Models

SPLC 2024. pp. 209–216, ACM.

BibTeX

@inproceedings{DubHusKaf24,
	author = {Dubslaff, Clemens and Husung, Nils and K{\"a}fer, Nikolai},
	booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg, September 2-6, 2024},
	doi = {10.1145/3646548.3676538},
	editor = {Cordy, Maxime and Str{\"{u}}ber, Daniel and Pinto, M{\'{o}}nica and Groher, Iris and Dhungana, Deepak and Kr{\"{u}}ger, Jacob and Pereira, Juliana Alves and Acher, Mathieu and Th{\"{u}}m, Thomas and ter Beek, Maurice H. and Galasso{-}Carbonnel, Jessie and Arcaini, Paolo and Mousavi, Mohammad Reza and T{\"{e}}rnava, Xhevahire and Galindo, Jos{\'{e}} A. and Yue, Tao and Fuentes, Lidia and Horcas, Jos{\'{e}} Miguel},
	pages = {209--216},
	publisher = {{ACM}},
	title = {Configuring {BDD} Compilation Techniques for Feature Models},
	year = {2024}}

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust

TACAS 2024. LNCS, vol. 14579, pp. 255–275, Springer.

🏆 EASST Best Paper Award

BibTeX

@inproceedings{HusDubHer24,
	author = {Husung, Nils and Dubslaff, Clemens and Hermanns, Holger and K{\"o}hl, Maximilian A.},
	award = {EASST Best Paper Award},
	booktitle = {Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024},
	doi = {10.1007/978-3-031-57256-2_13},
	pages = {255--275},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {{OxiDD}: {A} Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust},
	volume = {14579},
	year = {2024}}

Clemens Dubslaff, Verena Klös, Juliane Päßler

Template Decision Diagrams for Meta Control and Explainability

XAI 2024. pp. 219–242.

BibTeX

@inproceedings{DubKloPas24,
	author = {Dubslaff, Clemens and Kl{\"o}s, Verena and P{\"a}{\ss}ler, Juliane},
	booktitle = {Proceedings of the 2nd World Conference on eXplainable Artificial Intelligence, XAI 2024},
	doi = {10.1007/978-3-031-63797-1_12},
	pages = {219--242},
	title = {Template Decision Diagrams for Meta Control and Explainability},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-XAI24.pdf},
	year = {2024}}

Clemens Dubslaff, Joshua Wirtz

Compiling Binary Decision Diagrams with Interrupt-based Downsizing

PVCPL 2024. pp. 252–273.

BibTeX

@inproceedings{DubWir24,
	author = {Dubslaff, Clemens and Wirtz, Joshua},
	booktitle = {Proceedings of the Colloquium on Principles of Verification: Cycling the Probabilistic Landscape, PVCPL 2024},
	doi = {10.1007/978-3-031-75778-5_12},
	pages = {252--273},
	title = {Compiling Binary Decision Diagrams with Interrupt-based Downsizing},
	year = {2024}}

2023

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Interaction Detection in Configurable Systems -- A Formal Approach Featuring Roles

Journal of Systems and Software. vol. 196, pp. 111556.

BibTeX

@article{ChrBaiDub23,
	author = {Chrszon, Philipp and Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha},
	doi = {10.1016/j.jss.2022.111556},
	journal = {J. Syst. Softw.},
	pages = {111556},
	title = {Interaction Detection in Configurable Systems -- {A} Formal Approach Featuring Roles},
	volume = {196},
	year = {2023}}

Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff

A Unifying Formal Approach to Importance Values in Boolean Functions

IJCAI 2023. pp. 2728–2737, ijcai.org.

BibTeX

@inproceedings{HarJanBai23,
	author = {Harder, Hans and Jantsch, Simon and Baier, Christel and Dubslaff, Clemens},
	booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao, SAR, China},
	doi = {10.24963/ijcai.2023/304},
	pages = {2728--2737},
	pdf = {https://www.ijcai.org/proceedings/2023/0304.pdf},
	publisher = {ijcai.org},
	title = {A Unifying Formal Approach to Importance Values in Boolean Functions},
	url = {https://arxiv.org/abs/2305.08103},
	year = {2023}}

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. pp. 4406–4415, ijcai.org.

BibTeX

@inproceedings{WieSuiSim23,
	author = {Wienh{\"o}ft, Patrick and Suilen, Marnix and Sim{\~a}o, Thiago D. and Dubslaff, Clemens and Baier, Christel and Jansen, Nils},
	booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao, SAR, China},
	doi = {10.24963/ijcai.2023/490},
	pages = {4406--4415},
	pdf = {https://www.ijcai.org/proceedings/2023/0490.pdf},
	publisher = {ijcai.org},
	title = {More for Less: Safe Policy Improvement With Stronger Performance Guarantees},
	url = {https://arxiv.org/abs/2305.07958},
	year = {2023}}

Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

NFM 2023. pp. 86–103.

BibTeX

@inproceedings{BaiDubWie23,
	author = {Baier, Christel and Dubslaff, Clemens and Wienh{\"o}ft, Patrick and Kiebel, Stefan J.},
	booktitle = {Proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023},
	doi = {10.1007/978-3-031-33170-1_6},
	pages = {86--103},
	title = {Strategy Synthesis in {Markov} Decision Processes Under Limited Sampling Access},
	url = {https://arxiv.org/abs/2303.12718},
	year = {2023}}

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. pp. 188–214.

BibTeX

@inproceedings{DubSchWie23,
	author = {Dubslaff, Clemens and Schulz, Jonas and Wienh{\"o}ft, Patrick and Baier, Christel and Fitzek, Frank H.P. and Kiebel, Stefan J. and Lehmann, Johannes},
	booktitle = {Proceedings of the 1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023},
	doi = {10.1007/978-3-031-46002-9_11},
	pages = {188--214},
	title = {Towards a Formal Account on Negative Latency},
	url = {https://aisola.org/papers/dubslaff-schulz-wienhoeft-baier-fitzek-kiebel-lehmann.pdf},
	year = {2023}}

2022

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns

Admissibility in Probabilistic Argumentation

Journal of Artificial Intelligence Research. vol. 74, pp. 957–1009.

BibTeX

@article{KafBaiDil22,
	author = {K{\"a}fer, Nikolai and Baier, Christel and Diller, Martin and Dubslaff, Clemens and Gaggl, Sarah Alice and Hermanns, Holger},
	doi = {10.1613/jair.1.13530},
	journal = {J. Artif. Intell. Res.},
	pages = {957--1009},
	title = {Admissibility in Probabilistic Argumentation},
	volume = {74},
	year = {2022}}

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

Causality in Configurable Software Systems

ICSE 2022. pp. 325–337, ACM.

BibTeX

@inproceedings{DubWeiBai22,
	author = {Dubslaff, Clemens and Weis, Kallistos and Baier, Christel and Apel, Sven},
	booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
	doi = {10.1145/3510003.3510200},
	pages = {325--337},
	pdf = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-ICSE22.pdf},
	publisher = {{ACM}},
	title = {Causality in Configurable Software Systems},
	url = {https://arxiv.org/abs/2201.07280},
	year = {2022}}

Clemens Dubslaff, Maximilian A. Köhl

Configurable-by-Construction Runtime Monitoring

ISoLA 2022. pp. 220–241.

BibTeX

@inproceedings{DubKoh22,
	author = {Dubslaff, Clemens and K{\"o}hl, Maximilian A.},
	booktitle = {Proceedings of the 10th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022},
	doi = {10.1007/978-3-031-19849-6_14},
	pages = {220--241},
	title = {Configurable-by-Construction Runtime Monitoring},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-Koehl-ISoLA22.pdf},
	year = {2022}}

Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer

On the Foundations of Cycles in Bayesian Networks

Principles of Systems Design. pp. 343–363.

BibTeX

@inproceedings{BaiDubHer22,
	author = {Baier, Christel and Dubslaff, Clemens and Hermanns, Holger and K{\"a}fer, Nikolai},
	booktitle = {Principles of Systems Design},
	doi = {10.1007/978-3-031-22337-2_17},
	pages = {343--363},
	title = {On the Foundations of Cycles in {Bayesian} Networks},
	year = {2022}}

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. pp. 27–45.

BibTeX

@inproceedings{BaiDubFun22,
	author = {Baier, Christel and Dubslaff, Clemens and Funke, Florian and Jantsch, Simon and Piribauer, Jakob and Ziemek, Robin},
	booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning},
	doi = {10.1007/978-3-031-15629-8_2},
	pages = {27--45},
	title = {Operational Causality -- Necessarily Sufficient and Sufficiently Necessary},
	url = {http://clemensdubslaff.de/pdfs/Baier-etal-Vaandrager22.pdf},
	year = {2022}}

2021

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Enhancing Probabilistic Model Checking with Ontologies

Formal Aspects of Computing. vol. 33, no. 6, pp. 885–921.

BibTeX

@article{DubKooTur21,
	author = {Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin},
	doi = {10.1007/s00165-021-00549-0},
	journal = {Formal Aspects Comput.},
	number = {6},
	pages = {885--921},
	title = {Enhancing Probabilistic Model Checking with Ontologies},
	volume = {33},
	year = {2021}}

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer

Admissibility in Probabilistic Argumentation

KR 2021. pp. 87–98.

BibTeX

@inproceedings{BaiDilDub21,
	author = {Baier, Christel and Diller, Martin and Dubslaff, Clemens and Gaggl, Sarah Alice and Hermanns, Holger and K{\"a}fer, Nikolai},
	booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021},
	doi = {10.24963/kr.2021/9},
	editor = {Bienvenu, Meghyn and Lakemeyer, Gerhard and Erdem, Esra},
	pages = {87--98},
	title = {Admissibility in Probabilistic Argumentation},
	year = {2021}}

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines

SEFM 2021. pp. 332–350.

BibTeX

@inproceedings{DubWieFeh21,
	author = {Dubslaff, Clemens and Wienh{\"o}ft, Patrick and Fehnker, Ansgar},
	booktitle = {Proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021},
	doi = {10.1007/978-3-030-92124-8_19},
	pages = {332--350},
	title = {Be Lazy and Don't Care: Faster {CTL} Model Checking for Recursive State Machines},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-SEFM21.pdf},
	year = {2021}}

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

From Verification to Causality-based Explications

ICALP 2021. LIPIcs, pp. 1:1–1:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

BibTeX

@inproceedings{BaiDubFun21,
	author = {Baier, Christel and Dubslaff, Clemens and Funke, Florian and Jantsch, Simon and Majumdar, Rupak and Piribauer, Jakob and Ziemek, Robin},
	booktitle = {48th International Colloquium on Automata, Languages, and Programming, {ICALP} 2021, Glasgow, Scotland (Virtual Conference), July 12-16, 2021},
	doi = {10.4230/LIPIcs.ICALP.2021.1},
	editor = {Bansal, Nikhil and Merelli, Emanuela and Worrell, James},
	pages = {1:1--1:20},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
	series = {LIPIcs},
	title = {From Verification to Causality-based Explications},
	url = {https://arxiv.org/abs/2105.09533},
	year = {2021}}

Christel Baier, Dar\'\io Cuevas Rivera, Clemens Dubslaff, Stefan J. Kiebel

Human-inspired models for tactile computing

Tactile Internet with Human-in-the-Loop. pp. 173–200, Elsevier.

BibTeX

@incollection{BaiRivDub21,
	author = {Baier, Christel and Rivera, Dar{\'\i}o Cuevas and Dubslaff, Clemens and Kiebel, Stefan J.},
	booktitle = {Tactile Internet with Human-in-the-Loop},
	chapter = {8},
	doi = {10.1016/B978-0-12-821343-8.00016-3},
	pages = {173--200},
	publisher = {Elsevier},
	title = {Human-inspired models for tactile computing},
	year = {2021}}

Clemens Dubslaff

Quantitative Analyse von konfigurierbaren und rekonfigurierbaren Systemen

Ausgezeichnete Informatikdissertationen. pp. 21–30.

BibTeX

@incollection{Dub21,
	author = {Dubslaff, Clemens},
	booktitle = {Ausgezeichnete Informatikdissertationen},
	doi = {10.18420/gi-2021-dis-03},
	pages = {21--30},
	title = {Quantitative Analyse von konfigurierbaren und rekonfigurierbaren Systemen},
	year = {2021}}

Uwe Aßmann, Christel Baier, Clemens Dubslaff, Dominik Grzelak, Simon Hanisch, Ardhi P. P. Hartono, Stefan Köpsell, Tianfang Lin, Thorsten Strufe

Tactile computing: Essential building blocks for the Tactile Internet

Tactile Internet with Human-in-the-Loop. pp. 301–326, Elsevier.

BibTeX

@incollection{AssBaiDub21,
	author = {A{\ss}mann, Uwe and Baier, Christel and Dubslaff, Clemens and Grzelak, Dominik and Hanisch, Simon and Hartono, Ardhi P. P. and K{\"o}psell, Stefan and Lin, Tianfang and Strufe, Thorsten},
	booktitle = {Tactile Internet with Human-in-the-Loop},
	chapter = {13},
	doi = {10.1016/B978-0-12-821343-8.00021-7},
	pages = {301--326},
	publisher = {Elsevier},
	title = {Tactile computing: Essential building blocks for the Tactile Internet},
	year = {2021}}

2020

Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl

Components in Probabilistic Systems: Suitable by Construction

ISoLA 2020. pp. 240–261.

BibTeX

@inproceedings{BaiDubHer20,
	author = {Baier, Christel and Dubslaff, Clemens and Hermanns, Holger and Klauck, Michaela and Kl{\"u}ppelholz, Sascha and K{\"o}hl, Maximilian A.},
	booktitle = {Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020},
	doi = {10.1007/978-3-030-61362-4_13},
	pages = {240--261},
	title = {Components in Probabilistic Systems: Suitable by Construction},
	url = {http://clemensdubslaff.de/pdfs/Chrszon-etal-SPLC20.pdf},
	year = {2020}}

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

From Features to Roles

SPLC 2020. pp. 19:1–19:11, ACM.

BibTeX

@inproceedings{ChrBaiDub20,
	author = {Chrszon, Philipp and Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha},
	booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume {A}},
	doi = {10.1145/3382025.3414962},
	editor = {Lopez{-}Herrejon, Roberto Erick},
	pages = {19:1--19:11},
	publisher = {{ACM}},
	title = {From Features to Roles},
	year = {2020}}

Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek

Iterative Variable Reordering: Taming Huge System Families

ETAPS 2020. EPTCS, pp. 121–133.

BibTeX

@inproceedings{DubMorBai20a,
	author = {Dubslaff, Clemens and Morozov, Andrey and Baier, Christel and Janschek, Klaus},
	booktitle = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
	doi = {10.4204/EPTCS.316.5},
	editor = {Fehnker, Ansgar and Garavel, Hubert},
	pages = {121--133},
	series = {{EPTCS}},
	title = {Iterative Variable Reordering: Taming Huge System Families},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-MARS20.pdf},
	year = {2020}}

Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis

ESREL 2020.

BibTeX

@inproceedings{DubMorBai20,
	author = {Dubslaff, Clemens and Morozov, Andrey and Baier, Christel and Janschek, Klaus},
	booktitle = {Proceedings of the 30th European Safety and Reliability Conference, ESREL 2020},
	doi = {10.3850/978-981-14-8593-0_4489-cd},
	title = {Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis},
	url = {https://arxiv.org/abs/2004.06637},
	year = {2020}}

2019

Christel Baier, Clemens Dubslaff, \v Lubo\v s Koren\v ciak, Anton\`\in Ku\v cera, Vojt\v ech \v Rehàk

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

ACM Transactions on Modeling and Computer Simulation. vol. 29, no. 4, pp. 28:1–28:26.

BibTeX

@article{BaiDubKor19,
	author = {Baier, Christel and Dubslaff, Clemens and Koren{\v c}iak, {\v L}ubo{\v s} and Ku{\v c}era, Anton{\`\i}n and {\v R}eh{\`a}k, Vojt{\v e}ch},
	doi = {10.1145/3310225},
	journal = {{ACM} Trans. Model. Comput. Simul.},
	number = {4},
	pages = {28:1--28:26},
	title = {Mean-Payoff Optimization in Continuous-Time {Markov} Chains with Parametric Alarms},
	url = {http://clemensdubslaff.de/pdfs/Baier-etal-TOMACS19.pdf},
	volume = {29},
	year = {2019}}

Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek

Breaking the Limits of Redundancy Systems Analysis

ESREL 2019. pp. 2317–2325.

BibTeX

@inproceedings{DubDinMor19,
	author = {Dubslaff, Clemens and Ding, Kai and Morozov, Andrey and Baier, Christel and Janschek, Klaus},
	booktitle = {Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019},
	doi = {10.3850/978-981-11-2724-3_0618-cd},
	pages = {2317--2325},
	title = {Breaking the Limits of Redundancy Systems Analysis},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-ESREL19.pdf},
	year = {2019}}

Clemens Dubslaff

Compositional Feature-Oriented Systems

SEFM 2019. LNCS, pp. 162–180, Springer.

BibTeX

@inproceedings{Dub19,
	author = {Dubslaff, Clemens},
	booktitle = {Proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019},
	doi = {10.1007/978-3-030-30446-1_9},
	pages = {162--180},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Compositional Feature-Oriented Systems},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-SEFM19.pdf},
	year = {2019}}

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Ontology-Mediated Probabilistic Model Checking

iFM 2019. LNCS, pp. 194–211, Springer.

🏆 Best Paper Award

BibTeX

@inproceedings{DubKooTur19,
	author = {Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin},
	award = {Best Paper Award},
	booktitle = {Proceedings of the 15th International Conference on integrated Formal Methods, iFM 2019},
	doi = {10.1007/978-3-030-34968-4_11},
	pages = {194--211},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Ontology-Mediated Probabilistic Model Checking},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-iFM19.pdf},
	year = {2019}}

2018

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

International Journal on Software Tools for Technology Transfer. vol. 20, no. 2, pp. 179–194.

BibTeX

@article{KleBaiChr18,
	author = {Klein, Joachim and Baier, Christel and Chrszon, Philipp and Daum, Marcus and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen and M{\"u}ller, David},
	doi = {10.1007/s10009-017-0456-3},
	journal = {Int. J. Softw. Tools Technol. Transf.},
	number = {2},
	pages = {179--194},
	title = {Advances in probabilistic model checking with {PRISM}: variable reordering, quantiles and weak deterministic {B{\"u}chi} automata},
	volume = {20},
	year = {2018}}

Christel Baier, Clemens Dubslaff

From Verification to Synthesis under Cost-Utility Constraints

ACM SIGLOG News. vol. 5, no. 4, pp. 26–46.

BibTeX

@article{BaiDub18,
	author = {Baier, Christel and Dubslaff, Clemens},
	doi = {10.1145/3292048.3292052},
	journal = {{ACM} {SIGLOG} News},
	number = {4},
	pages = {26--46},
	title = {From Verification to Synthesis under Cost-Utility Constraints},
	url = {http://clemensdubslaff.de/pdfs/Baier-Dubslaff-ACMSiglog18.pdf},
	volume = {5},
	year = {2018}}

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking

Formal Aspects of Computing. vol. 30, no. 1, pp. 45–75.

BibTeX

@article{ChrDubKlu18,
	author = {Chrszon, Philipp and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Baier, Christel},
	doi = {10.1007/s00165-017-0432-4},
	journal = {Formal Aspects Comput.},
	number = {1},
	pages = {45--75},
	title = {{ProFeat}: Feature-oriented Engineering for Family-based Probabilistic Model Checking},
	url = {http://clemensdubslaff.de/pdfs/Chrszon-etal-FAC18.pdf},
	volume = {30},
	year = {2018}}

Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

LICS 2018. pp. 86–94, ACM.

BibTeX

@inproceedings{BaiBerDub18,
	author = {Baier, Christel and Bertrand, Nathalie and Dubslaff, Clemens and Gburek, Daniel and Sankur, Ocan},
	booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
	doi = {10.1145/3209108.3209184},
	editor = {Dawar, Anuj and Gr{\"{a}}del, Erich},
	pages = {86--94},
	publisher = {{ACM}},
	title = {Stochastic Shortest Paths and Weight-Bounded Properties in {Markov} Decision Processes},
	url = {https://arxiv.org/abs/1804.11301},
	year = {2018}}

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. pp. 38–56.

BibTeX

@inproceedings{BaiChrDub18,
	author = {Baier, Christel and Chrszon, Philipp and Dubslaff, Clemens and Klein, Joachim and Kl{\"u}ppelholz, Sascha},
	booktitle = {It's All About Coordination},
	doi = {10.1007/978-3-319-90089-6_3},
	pages = {38--56},
	title = {Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination},
	year = {2018}}

2017

Christel Baier, Clemens Dubslaff, \v Lubo\v s Koren\v ciak, Anton\`\in Ku\v cera, Vojt\v ech \v Rehàk

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

QEST 2017. LNCS, pp. 190–206, Springer.

BibTeX

@inproceedings{BaiDubKor17a,
	author = {Baier, Christel and Dubslaff, Clemens and Koren{\v c}iak, {\v L}ubo{\v s} and Ku{\v c}era, Anton{\`\i}n and {\v R}eh{\`a}k, Vojt{\v e}ch},
	booktitle = {Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017},
	doi = {10.1007/978-3-319-66335-7_12},
	pages = {190--206},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Mean-Payoff Optimization in Continuous-Time {Markov} Chains with Parametric Alarms},
	url = {https://arxiv.org/abs/1706.06486},
	year = {2017}}

Christel Baier, Clemens Dubslaff, \v Lubo\v s Koren\v ciak, Anton\`\in Ku\v cera, Vojt\v ech \v Rehàk

Synthesis of Optimal Resilient Control Strategies

ATVA 2017. LNCS, pp. 417–434, Springer.

BibTeX

@inproceedings{BaiDubKor17,
	author = {Baier, Christel and Dubslaff, Clemens and Koren{\v c}iak, {\v L}ubo{\v s} and Ku{\v c}era, Anton{\`\i}n and {\v R}eh{\`a}k, Vojt{\v e}ch},
	booktitle = {Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017},
	doi = {10.1007/978-3-319-68167-2_27},
	pages = {417--434},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Synthesis of Optimal Resilient Control Strategies},
	url = {https://arxiv.org/abs/1707.03223},
	year = {2017}}

Clemens Dubslaff, Christel Baier

Delayed-choice Semantics for Pomset Families and Message Sequence Graphs

TrustEd. pp. 64–84.

BibTeX

@inproceedings{DubBai17,
	author = {Dubslaff, Clemens and Baier, Christel},
	booktitle = {ModelEd, TestEd, TrustEd},
	doi = {10.1007/978-3-319-68270-9_4},
	pages = {64--84},
	title = {Delayed-choice Semantics for Pomset Families and Message Sequence Graphs},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-Baier-Ed17.pdf},
	year = {2017}}

2016

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. LNCS, vol. 9636, pp. 349–366, Springer.

BibTeX

@inproceedings{KleBaiChr16,
	author = {Klein, Joachim and Baier, Christel and Chrszon, Philipp and Daum, Marcus and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen and M{\"u}ller, David},
	booktitle = {Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016},
	doi = {10.1007/978-3-662-49674-9_20},
	pages = {349--366},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Advances in Symbolic Probabilistic Model Checking with {PRISM}},
	volume = {9636},
	year = {2016}}

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Family-Based Modeling and Analysis for Probabilistic Systems -- Featuring ProFeat

FASE 2016. LNCS, vol. 9633, pp. 287–304, Springer.

🏆 Nominated for Best Paper Award

BibTeX

@inproceedings{ChrDubKlu16,
	author = {Chrszon, Philipp and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Baier, Christel},
	award = {Nominated for Best Paper Award},
	booktitle = {Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016},
	doi = {10.1007/978-3-662-49665-7_17},
	pages = {287--304},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Family-Based Modeling and Analysis for Probabilistic Systems -- Featuring {ProFeat}},
	volume = {9633},
	year = {2016}}

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz

Modeling Role-Based Systems with Exogenous Coordination

Theory and Practice of Formal Methods. pp. 122–139.

BibTeX

@inproceedings{ChrDubBai16,
	author = {Chrszon, Philipp and Dubslaff, Clemens and Baier, Christel and Klein, Joachim and Kl{\"u}ppelholz, Sascha},
	booktitle = {Theory and Practice of Formal Methods},
	doi = {10.1007/978-3-319-30734-3_10},
	pages = {122--139},
	title = {Modeling Role-Based Systems with Exogenous Coordination},
	year = {2016}}

2015

Clemens Dubslaff, Christel Baier, Sascha Klüppelholz

Probabilistic Model Checking for Feature-oriented Systems

Transactions on Aspect-Oriented Software Development. vol. 12, pp. 180–220.

BibTeX

@article{DubBaiKlu15,
	author = {Dubslaff, Clemens and Baier, Christel and Kl{\"u}ppelholz, Sascha},
	doi = {10.1007/978-3-662-46734-3_5},
	journal = {Trans. Aspect-Oriented Software Dev.},
	pages = {180--220},
	title = {Probabilistic Model Checking for Feature-oriented Systems},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-TAOSD15.pdf},
	volume = {12},
	year = {2015}}

Clemens Dubslaff, Christel Baier

Quantitative Analysis of Communication Scenarios

FORMATS 2015. LNCS, pp. 76–92, Springer.

BibTeX

@inproceedings{DubBai15,
	author = {Dubslaff, Clemens and Baier, Christel},
	booktitle = {Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015},
	doi = {10.1007/978-3-319-22975-1_6},
	pages = {76--92},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Quantitative Analysis of Communication Scenarios},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-Baier-FORMATS15.pdf},
	year = {2015}}

Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff

Ratio and Weight Quantiles

MFCS 2015. pp. 344–356.

BibTeX

@inproceedings{KraSchBai15,
	author = {Kr{\"a}hmann, Daniel and Schubert, Jana and Baier, Christel and Dubslaff, Clemens},
	booktitle = {Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015},
	doi = {10.1007/978-3-662-48057-1_27},
	pages = {344--356},
	title = {Ratio and Weight Quantiles},
	year = {2015}}

2014

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

PN 2014. LNCS, pp. 20–39, Springer.

BibTeX

@inproceedings{BaiDubKlu14b,
	author = {Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Leuschner, Linda},
	booktitle = {Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency, PN 2014},
	doi = {10.1007/978-3-319-07734-5_2},
	pages = {20--39},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking},
	year = {2014}}

Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz

Energy-Utility Quantiles

NFM 2014. LNCS, pp. 285–299, Springer.

BibTeX

@inproceedings{BaiDauDub14,
	author = {Baier, Christel and Daum, Marcus and Dubslaff, Clemens and Klein, Joachim and Kl{\"u}ppelholz, Sascha},
	booktitle = {Proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014},
	doi = {10.1007/978-3-319-06200-6_24},
	pages = {285--299},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Energy-Utility Quantiles},
	year = {2014}}

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. LNCS, pp. 1–16, Springer.

BibTeX

@inproceedings{BaiDubKlu14,
	author = {Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Daum, Marcus and Klein, Joachim and M{\"a}rcker, Steffen and Wunderlich, Sascha},
	booktitle = {Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014},
	doi = {10.1007/978-3-642-54804-8_1},
	pages = {1--16},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Probabilistic Model Checking and Non-standard Multi-objective Reasoning},
	url = {https://wwwtcs.inf.tu-dresden.de/ALGI/PUB/NFM14/energy-utility-nfm14-extended.pdf},
	year = {2014}}

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Probabilistic Model Checking for Energy Analysis in Software Product Lines

MODULARITY 2014. pp. 169–180, ACM.

BibTeX

@inproceedings{DubKluBai14,
	author = {Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Baier, Christel},
	booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano, Switzerland, April 22-26, 2014},
	doi = {10.1145/2577080.2577095},
	editor = {Binder, Walter and Ernst, Erik and Peternier, Achille and Hirschfeld, Robert},
	pages = {169--180},
	publisher = {{ACM}},
	title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},
	url = {https://arxiv.org/abs/1312.7758},
	year = {2014}}

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Trade-off Analysis Meets Probabilistic Model Checking

CSL-LICS 2014. pp. 1:1–1:10, ACM.

BibTeX

@inproceedings{BaiDubKlu14a,
	author = {Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha},
	booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} 2014, Vienna, Austria, July 14 - 18, 2014},
	doi = {10.1145/2603088.2603089},
	editor = {Henzinger, Thomas A. and Miller, Dale},
	pages = {1:1--1:10},
	publisher = {{ACM}},
	title = {Trade-off Analysis Meets Probabilistic Model Checking},
	year = {2014}}

2012

Clemens Dubslaff, Christel Baier, Manuela Berg

Model Checking Probabilistic Systems against Pushdown Specifications

Information Processing Letters. vol. 112, no. 8-9, pp. 320–328.

BibTeX

@article{DubBaiBer12,
	author = {Dubslaff, Clemens and Baier, Christel and Berg, Manuela},
	doi = {10.1016/j.ipl.2012.01.006},
	journal = {Inf. Process. Lett.},
	number = {8-9},
	pages = {320--328},
	title = {Model Checking Probabilistic Systems against Pushdown Specifications},
	url = {http://clemensdubslaff.de/pdfs/Dubslaff-etal-IPL12.pdf},
	volume = {112},
	year = {2012}}