Publikationen

2022

• Magnifier: A Compositional Analysis Approach for Autonomous Traffic ControlBagheri, M., Sirjani, M., Khamespanah, E., Baier, C. & Movaghar, A., Aug. 2022, in: IEEE Transactions on Software Engineering. 48, 8, S. 2732-2747, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Causality in configurable software systemsDubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Juli 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, S. 325-337, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The variance-penalized stochastic shortest path problemPiribauer, J., Sankur, O. & Baier, C., 1 Juli 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 129:1–129:19, 19 S., 129Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Admissibility in Probabilistic ArgumentationKäfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Juni 2022, in: Journal of Artificial Intelligence Research. 74, S. 957-1009, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Probabilistic causes in Markov ChainsZiemek, R., Piribauer, J., Funke, F., Jantsch, S. & Baier, C., 25 April 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 347-367, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• On probability-raising causality in Markov decision processesBaier, C., Funke, F., Piribauer, J. & Ziemek, R., 1 Jan. 2022, Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Bouyer, P. & Schröder, L. (Hrsg.). Springer, Cham, Band 13242. S. 40-60, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Foundations of Cycles in Bayesian NetworksBaier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J., Chatterjee, K., Doyen, L. & Majumdar, R. (Hrsg.). Springer, Cham, S. 343-363, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten

2021

• Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State MachinesDubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dez. 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings. Calinescu, R. & Păsăreanu, C. S. (Hrsg.). Springer, Cham, S. 332–350, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Responsibility and verification: importance value in temporal logicsMascle, C., Baier, C., Funke, F., Jantsch, S. & Kiefer, S., 24 Nov. 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-14, 14 S., 9470597Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Admissibility in Probabilistic ArgumentationBaier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., Nov. 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.). IJCAI Organization, S. 87-98, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband