Publikationen

2020

• Reachability in Dynamical Systems with RoundingBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Pouly, A. & 2 weitere, 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 36:1-36:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Research Publishing Services, S. 4843-4850, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). TU Wien Academic Press, S. 236-244, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

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 Dez. 2019, in: International Journal on Software Tools for Technology Transfer. 21, 6, S. 651-666, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• NEMESYS - A showcase of data oriented near memory graph processingKrause, A., Kissinger, T., Habich, D. & Lehner, W., 25 Juni 2019, SIGMOD '19: Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery (ACM), New York, S. 1945-1948, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, Jan. 2019, in: Proceedings of the IEEE. 107, 1, S. 204-231, 28 S., 8565890Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 46th International Colloquium on Automata, Languages, and Programming: ICALP 2019, July 9-12, 2019, Patras, GreeceBaier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S., 2019, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2186 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Breaking the Limits of Redundancy Systems AnalysisDubslaff, C., Ding, K., Morozov, A., Baier, C. & Janschek, K., 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (Hrsg.). Research Publishing Services, S. 2317-2324, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Compositional Feature-Oriented SystemsDubslaff, C., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (Hrsg.). Springer-Verlag, S. 162-180, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating AutomataJantsch, S., Müller, D., Baier, C. & Klein, J., 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (Hrsg.). Springer, Berlin [u. a.], S. 262-279, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband