| 1. | Hans Harder; Simon Jantsch; Christel Baier; Clemens Dubslaff A unifying formal approach to importance values in Boolean functions (Proceedings Article) In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2023. @inproceedings{harder+jantsch++2023_unifying,
title = {A unifying formal approach to importance values in Boolean functions},
author = {Hans Harder and Simon Jantsch and Christel Baier and Clemens Dubslaff},
doi = {10.24963/ijcai.2023/304},
year = {2023},
date = {2023-08-23},
urldate = {2023-08-23},
booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 2. | 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 (Proceedings Article) In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2023. @inproceedings{wienhoft+suilen++2023_more-for-less,
title = {More for less: Safe policy improvement with stronger performance guarantees},
author = {Patrick Wienhöft and Marnix Suilen and Thiago D. Simão and Clemens Dubslaff and Christel Baier and Nils Jansen},
doi = {10.24963/ijcai.2023/490},
year = {2023},
date = {2023-08-23},
urldate = {2023-08-23},
booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
| 3. | Christel Baier; Clemens Dubslaff; Patrick Wienhöft; Stefan J. Kiebel Strategy synthesis in Markov decision processes under limited sampling access (Book Section) In: Rozier, Kristin Y.; Chaudhuri, Swarat (Ed.): NASA Formal Methods, vol. 13903, pp. 86–103, Springer, 2023. @incollection{baier+dubslaff++2023_strategy,
title = {Strategy synthesis in Markov decision processes under limited sampling access},
author = {Christel Baier and Clemens Dubslaff and Patrick Wienhöft and Stefan J. Kiebel},
editor = {Kristin Y. Rozier and Swarat Chaudhuri},
doi = {10.1007/978-3-031-33170-1_6},
year = {2023},
date = {2023-05-16},
urldate = {2023-05-16},
booktitle = {NASA Formal Methods},
journal = {CoRR},
volume = {13903},
pages = {86–103},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
| 4. | 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. @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},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
| 5. | Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer On the foundations of cycles in Bayesian networks (Book Section) 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}
}
|
| 6. | Clemens Dubslaff; Maximilian A. Köhl Configurable-by-construction runtime monitoring (Book Section) 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}
}
|
| 7. | 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}
}
|
| 8. | Christel Baier; Clemens Dubslaff; Florian Funke; Simon Jantsch; Jakob Piribauer; Robin Ziemek Operational causality – Necessarily sufficient and sufficiently necessary (Book Section) 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}
}
|
| 9. | Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel Causality in configurable software systems (Proceedings Article) 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}
}
|
| 10. | Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker Be lazy and don’t care: Faster CTL model checking for recursive state machines (Book Section) 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}
}
|
