| 1. | Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice 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, (accepted for publication). @inproceedings{baier+diller++2021_admissibil,
title = {Admissibility in probabilistic argumentation},
author = {Christel Baier and Martin Diller and Clemens Dubslaff and Sarah Alice Gaggl and Holger Hermanns and Nikolai Käfer},
year = {2021},
date = {2021-11-12},
booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
note = {accepted for publication},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 2. | 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}
}
|
| 3. | 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, 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},
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}
}
|
| 4. | Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan Enhancing probabilistic model checking with ontologies (Journal Article) In: Formal Aspects of Computing, 2021, (early access). @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-05-01},
journal = {Formal Aspects of Computing},
note = {early access},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 5. | 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; Simsek, 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 Simsek and Martin Reisslein},
year = {2021},
date = {2021-01-01},
booktitle = {Tactile Internet with Human-in-the-Loop},
pages = {173-200},
publisher = {Academic Press},
chapter = {8},
keywords = {},
pubstate = {published},
tppubtype = {inbook}
}
|
| 6. | 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; Simsek, 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 Simsek and Martin Reisslein},
year = {2021},
date = {2021-01-01},
booktitle = {Tactile Internet with Human-in-the-Loop},
pages = {301-326},
publisher = {Academic Press},
chapter = {13},
keywords = {},
pubstate = {published},
tppubtype = {inbook}
}
|
| 7. | Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz From features to roles (Inproceedings) In: Proceedings of the International Systems and Software Product Line Conference (SPLC), 2020. @inproceedings{ChrBaiDubKlu20b,
title = {From features to roles},
author = {Philipp Chrszon and Christel Baier and Clemens Dubslaff and Sascha Klüppelholz},
doi = {10.1145/3382025.3414962},
year = {2020},
date = {2020-10-01},
booktitle = {Proceedings of the International Systems and Software Product Line Conference (SPLC)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 8. | Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan Give inconsistency a chance: Semantics for ontology-mediated verification (Inproceedings) In: Proceedings of the International Workshop on Description Logics (DL), 2020. @inproceedings{DubKooTur20ab,
title = {Give inconsistency a chance: Semantics for ontology-mediated verification},
author = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},
year = {2020},
date = {2020-09-01},
booktitle = {Proceedings of the International Workshop on Description Logics (DL)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 9. | Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek Reduction methods on error-propagation graphs for quantitative systems reliability analysis (Inproceedings) In: Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM), 2020. @inproceedings{DMBJ20b,
title = {Reduction methods on error-propagation graphs for quantitative systems reliability analysis},
author = {Clemens Dubslaff and Andrey Morozov and Christel Baier and Klaus Janschek},
year = {2020},
date = {2020-01-01},
booktitle = {Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 10. | Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek Iterative variable reordering: Taming huge system families (Incollection) In: Fehnker, Ansgar; Garavel, Hubert (Ed.): Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS), 316 , pp. 121-133, Open Publishing Association, 2020. @incollection{DMBJ20a,
title = {Iterative variable reordering: Taming huge system families},
author = {Clemens Dubslaff and Andrey Morozov and Christel Baier and Klaus Janschek},
editor = {Ansgar Fehnker and Hubert Garavel},
doi = { 10.4204/EPTCS.316.5},
year = {2020},
date = {2020-01-01},
booktitle = {Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS)},
volume = {316},
pages = {121-133},
publisher = {Open Publishing Association},
series = {Electronic Proceedings in Theoretical Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
