| 1. | Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz Interaction detection in configurable systems – A formal approach featuring roles (Journal Article) In: Journal of Systems and Software, vol. 196, pp. 111556:1–21, 2023, (early access). @article{chrszon+baier++2023_formal,
title = {Interaction detection in configurable systems – A formal approach featuring roles},
author = {Philipp Chrszon and Christel Baier and Clemens Dubslaff and Sascha Klüppelholz},
doi = {10.1016/j.jss.2022.111556},
year = {2023},
date = {2023-02-01},
urldate = {2023-02-01},
journal = {Journal of Systems and Software},
volume = {196},
pages = {111556:1–21},
note = {early access},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 2. | Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer On the foundations of cycles in Bayesian networks (Incollection) In: Raskin, Jean-François; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak (Ed.): Principles of Systems Design – Essay Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, vol. 13660, pp. 343–363, Springer, 2022. @incollection{baier+dubslaff++2022_foundations,
title = {On the foundations of cycles in Bayesian networks},
author = {Christel Baier and Clemens Dubslaff and Holger Hermanns and Nikolai Käfer},
editor = {Jean-François Raskin and Krishnendu Chatterjee and Laurent Doyen and Rupak Majumdar},
doi = {10.1007/978-3-031-22337-2_17},
year = {2022},
date = {2022-12-29},
urldate = {2022-12-29},
booktitle = {Principles of Systems Design – Essay Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
volume = {13660},
pages = {343–363},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 3. | Clemens Dubslaff; Maximilian A. Köhl Configurable-by-construction runtime monitoring (Incollection) In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13701, pp. 220–241, Springer, 2022. @incollection{dubslaff+kohl2022_configurable,
title = {Configurable-by-construction runtime monitoring},
author = {Clemens Dubslaff and Maximilian A. Köhl},
doi = {10.1007/978-3-031-19849-6_14},
year = {2022},
date = {2022-10-17},
urldate = {2022-10-17},
booktitle = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
volume = {13701},
pages = {220–241},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 4. | Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah A. Gaggl; Holger Hermanns Admissibility in probabilistic argumentation (Journal Article) In: Journal of Artificial Intelligence Research, vol. 74, pp. 957–1009, 2022. @article{kafer+baier++2022_admissibility,
title = {Admissibility in probabilistic argumentation},
author = {Nikolai Käfer and Christel Baier and Martin Diller and Clemens Dubslaff and Sarah A. Gaggl and Holger Hermanns},
doi = {10.1613/jair.1.13530},
year = {2022},
date = {2022-09-26},
urldate = {2022-09-26},
journal = {Journal of Artificial Intelligence Research},
volume = {74},
pages = {957–1009},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 5. | Christel Baier; Clemens Dubslaff; Florian Funke; Simon Jantsch; Jakob Piribauer; Robin Ziemek Operational causality – Necessarily sufficient and sufficiently necessary (Incollection) In: Jansen, Nils; Stoelinga, Mariëlle; van den Bos, Petra (Ed.): A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, vol. 13560, pp. 27–45, Springer, 2022. @incollection{baier+dubslaff++2022_operational,
title = {Operational causality – Necessarily sufficient and sufficiently necessary},
author = {Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Jakob Piribauer and Robin Ziemek},
editor = {Nils Jansen and Mariëlle Stoelinga and Petra van den Bos},
doi = {10.1007/978-3-031-15629-8_2},
year = {2022},
date = {2022-09-07},
urldate = {2022-09-07},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday},
volume = {13560},
pages = {27–45},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 6. | Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel Causality in configurable software systems (Inproceedings) In: Proceedings of the International Conference on Software Engineering (ICSE), 2022. @inproceedings{dubslaff+weis++2022_causality,
title = {Causality in configurable software systems},
author = {Clemens Dubslaff and Kallistos Weis and Christel Baier and Sven Apel},
doi = {10.1145/3510003.3510200},
year = {2022},
date = {2022-05-11},
urldate = {2022-05-11},
booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 7. | Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker Be lazy and don’t care: Faster CTL model checking for recursive state machines (Incollection) In: Calinescu, Radu; Păsăreanu, Corina S. (Ed.): Software Engineering and Formal Methods, vol. 13085, pp. 332–350, Springer, 2021. @incollection{dubslaff+wienhft++2021_be-lazy,
title = {Be lazy and don’t care: Faster CTL model checking for recursive state machines},
author = {Clemens Dubslaff and Patrick Wienhöft and Ansgar Fehnker},
editor = {Radu Calinescu and Corina S. Păsăreanu},
doi = {10.1007/978-3-030-92124-8_19},
year = {2021},
date = {2021-12-06},
urldate = {2021-12-06},
booktitle = {Software Engineering and Formal Methods},
volume = {13085},
pages = {332–350},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 8. | Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan Enhancing probabilistic model checking with ontologies (Journal Article) In: Formal Aspects of Computing, vol. 33, no. 6, pp. 885–921, 2021. @article{dubslaff+koopmann++2021_enhancing,
title = {Enhancing probabilistic model checking with ontologies},
author = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},
doi = {10.1007/s00165-021-00549-0},
year = {2021},
date = {2021-12-01},
urldate = {2021-12-01},
journal = {Formal Aspects of Computing},
volume = {33},
number = {6},
pages = {885–921},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 9. | Christel Baier; Martin Diller; Clemens Dubslaff; Sarah A. Gaggl; Holger Hermanns; Nikolai Käfer Admissibility in probabilistic argumentation (Inproceedings) In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021. @inproceedings{baier+diller++2021_admissibil,
title = {Admissibility in probabilistic argumentation},
author = {Christel Baier and Martin Diller and Clemens Dubslaff and Sarah A. Gaggl and Holger Hermanns and Nikolai Käfer},
doi = {10.24963/kr.2021/9},
year = {2021},
date = {2021-11-09},
urldate = {2021-11-09},
booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 10. | Clemens Dubslaff Quantitative analysis of configurable and reconfigurable systems (PhD Thesis) Technische Universität Dresden, Germany, 2021. @phdthesis{dubslaff-phd-2021,
title = {Quantitative analysis of configurable and reconfigurable systems},
author = {Clemens Dubslaff},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-785434},
year = {2021},
date = {2021-10-05},
urldate = {2021-10-05},
school = {Technische Universität Dresden, Germany},
keywords = {},
pubstate = {published},
tppubtype = {phdthesis}
}
|
