Publications

2020

• 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
• Give Inconsistency a Chance: Semantics for Ontology-Mediated VerificationDubslaff, C., Koopmann, P. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Minimal witnesses for probabilistic timed automataJantsch, S., Funke, F. & Baier, C., 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (eds.). Springer, Berlin [u. a.], p. 501-517, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Skolem-Hardness and Saturation Points in Markov Decision ProcessesPiribauer, J. & Baier, C., 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 138:1-138:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Quantitative Characterization of Reconfigurable Transistor Logic Gates.Raitza, M., Märcker, S., Trommer, J., Heinzig, A., Klüppelholz, S., Baier, C. & Kumar, A., 2020, In: IEEE access. 8, p. 112598-112614, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reachability in Dynamical Systems with RoundingBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Pouly, A. & 2 others, 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 36:1-36:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reduction methods on probabilistic control-flow programs for reliability analysisDubslaff, C., Morozov, A., Baier, C. & Janschek, K., 2020, 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Research Publishing Services, p. 4843-4850, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SWITSS: Computing small witnessing subsystemsJantsch, S., Harder, H., Funke, F. & Baier, C., 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (eds.). TU Wien Academic Press, p. 236-244, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2019

• Configuration of Inter-Process Communication with Probabilistic Model CheckingHerrmann, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H. & Klüppelholz, S., 1 Dec 2019, In: International Journal on Software Tools for Technology Transfer. 21, 6, p. 651-666, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• NEMESYS - A showcase of data oriented near memory graph processingKrause, A., Kissinger, T., Habich, D. & Lehner, W., 25 Jun 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery (ACM), New York, p. 1945-1948, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution