1. | 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, (accepted for publication). @inproceedings{dubslaff+weis++2022_causality,
title = {Causality in configurable software systems},
author = {Clemens Dubslaff and Kallistos Weis and Christel Baier and Sven Apel},
year = {2022},
date = {2022-05-29},
urldate = {2022-05-29},
booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
note = {accepted for publication},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2. | 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}
}
|
3. | 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}
}
|
4. | 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-12},
urldate = {2021-11-12},
booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
5. | 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}
}
|
6. | Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan Supporting ontology-mediated stream reasoning with model checking (Inproceedings) In: Proceedings of the International Stream Reasoning Workshop (SR), 2021, (accepted for publication). @inproceedings{dubslaff+koopmann++2021_supporting,
title = {Supporting ontology-mediated stream reasoning with model checking},
author = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},
year = {2021},
date = {2021-10-01},
urldate = {2021-10-01},
booktitle = {Proceedings of the International Stream Reasoning Workshop (SR)},
note = {accepted for publication},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
7. | Christel Baier; Clemens Dubslaff; Florian Funke; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek From verification to causality-based explications (Incollection) In: Bansal, Nikhil; Merelli, Emanuela; Worrell, James (Ed.): 48th International Colloquium on Automata, Languages, and Programming, vol. 198, pp. 1:1–20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021, (invited talk). @incollection{baier+dubslaff++2021_from,
title = {From verification to causality-based explications},
author = {Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Rupak Majumdar and Jakob Piribauer and Robin Ziemek},
editor = {Nikhil Bansal and Emanuela Merelli and James Worrell},
doi = {10.4230/LIPIcs.ICALP.2021.1},
year = {2021},
date = {2021-07-16},
urldate = {2021-07-16},
booktitle = {48th International Colloquium on Automata, Languages, and Programming},
volume = {198},
pages = {1:1–20},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
series = {Leibniz International Proceedings in Informatics},
note = {invited talk},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
8. | Christel Baier; Darío Cuevas Rivera; Clemens Dubslaff; Stefan J. Kiebel Human-inspired models for tactile computing (Book Chapter) In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 8, pp. 173–200, Academic Press, 2021. @inbook{CeTIBook-2020-Chap08,
title = {Human-inspired models for tactile computing},
author = {Christel Baier and Darío Cuevas Rivera and Clemens Dubslaff and Stefan J. Kiebel},
editor = {Frank H. P. Fitzek and Shu-Chen Li and Stefanie Speidel and Thorsten Strufe and Meryem Şimşek and Martin Reisslein},
year = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
booktitle = {Tactile Internet with Human-in-the-Loop},
pages = {173–200},
publisher = {Academic Press},
chapter = {8},
keywords = {},
pubstate = {published},
tppubtype = {inbook}
}
|
9. | 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 (Book Chapter) In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 13, pp. 301–326, Academic Press, 2021. @inbook{CeTIBook-2020-Chap13,
title = {Tactile computing: Essential building blocks for the Tactile Internet},
author = {Uwe Aßmann and Christel Baier and Clemens Dubslaff and Dominik Grzelak and Simon Hanisch and Ardhi P. P. Hartono and Stefan Köpsell and Tianfang Lin and Thorsten Strufe},
editor = {Frank H. P. Fitzek and Shu-Chen Li and Stefanie Speidel and Thorsten Strufe and Meryem Şimşek and Martin Reisslein},
year = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
booktitle = {Tactile Internet with Human-in-the-Loop},
pages = {301–326},
publisher = {Academic Press},
chapter = {13},
keywords = {},
pubstate = {published},
tppubtype = {inbook}
}
|
10. | Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl Components in probabilistic systems: Suitable by construction (Incollection) In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 12476, pp. 240–261, Springer, 2020. @incollection{baier+dubslaff++2020_components,
title = {Components in probabilistic systems: Suitable by construction},
author = {Christel Baier and Clemens Dubslaff and Holger Hermanns and Michaela Klauck and Sascha Klüppelholz and Maximilian A. Köhl},
editor = {Tiziana Margaria and Bernhard Steffen},
doi = {10.1007/978-3-030-61362-4_13},
year = {2020},
date = {2020-10-30},
urldate = {2020-10-30},
booktitle = {Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
volume = {12476},
pages = {240–261},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|