Publications

2021

• From Verification to Explanation (Track Introduction)Baier, C. & Hermanns, H., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lab Conditions for Research on Explainable Automated DecisionsBaier, C., Christakis, M., Gros, T. P., Groß, D., Gumhold, S., Hermanns, H., Hoffmann, J. & 1 others, 2021, Trustworthy AI – Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers. Heintz, F., Milano, M. & O’Sullivan, B. (eds.). Springer, Berlin [u. a.], p. 83-90, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Causes in Markov ChainsBaier, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer, Berlin [u. a.], p. 205–221, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The Orbit Problem for Parametric Linear Dynamical SystemsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Luca, F., Ouaknine, J. & 3 others, 2021, 32nd International Conference on Concurrency Theory: CONCUR 2021, August 24–27, 2021, Virtual Conference. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17, 28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2020

• On the probabilistic bisimulation spectrum with silent movesBaier, C., D’Argenio, P. R. & Hermanns, H., 1 Oct 2020, In: Acta informatica. 57, 3-5, p. 465-512, 48 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian eliminationBaier, C., Hensel, C., Hutschenreiter, L., Junges, S., Katoen, J. P. & Klein, J., Jun 2020, In: Information and computation. 272, 104504Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Iterative variable reordering: Taming huge system familiesDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 26 Apr 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems. Fehnker, A. & Garavel, H. (eds.).p. 121-133, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Components in Probabilistic Systems: Suitable by ConstructionBaier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 240-261, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability ConstraintsFunke, F., Jantsch, S. & Baier, C., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, Berlin [u. a.], p. 324–345Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• From Features to RolesChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (eds.). Association for Computing Machinery (ACM), New York, Vol. A. 19Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution