Publications

2020

• 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, e-proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference (ESREL2020 PSAM15). Baraldi, P., Di Maio, F. & Zio, E. (eds.). Research Publishing Services, p. 4843-4850Electronic (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
• Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient ComputingFettweis, G. P., Dorpinghaus, M., Castrillon, J., Kumar, A., Baier, C., Bock, K., Ellinger, F. & 12 others, Jan 2019, In: Proceedings of the IEEE. 107, 1, p. 204-231, 28 p., 8565890Electronic (full-text) versionResearch output: Contribution to journal > Research article