المؤلفون: Maderbacher, Benedikt, Bloem, Roderick

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :315-324 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Bloem, Roderick, Larrauri, Alberto, Lengfeldner, Roland, Mateis, Cristinel, Nickovic, Dejan, Ziegler, Bjorn

المصدر: 2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) CODES-ISSS Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2022 International Conference on. :21-24 Oct, 2022

Relation: 2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

المؤلفون: Hadzic, Vedad, Bloem, Roderick, Shukla, Ankit, Seidl, Martina

المصدر: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :80-83 Sep, 2022

Relation: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

المؤلفون: Córdoba, Filip Cano, Palmisano, Alexander, Fränzle, Martin, Bloem, Roderick, Könighofer, Bettina

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2307.02164

المؤلفون: Ebrahimi, Masoud, Marksteiner, Stefan, Ničković, Dejan, Bloem, Roderick, Schögler, David, Eisner, Philipp, Sprung, Samuel, Schober, Thomas, Chlup, Sebastian, Schmittner, Christoph, König, Sandra

المصدر: In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2303.02894

المؤلفون: Könighofer, Bettina^{Aff1, Aff4, IDs11334022004804_cor1}, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin^{Aff2, Aff3}, Bloem, Roderick

المصدر: Innovations in Systems and Software Engineering: A NASA Journal. 19(4):379-394

المؤلفون: Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2212.01861

المؤلفون: Tappler, Martin, Pranger, Stefan, Könighofer, Bettina, Muškardin, Edi, Bloem, Roderick, Larsen, Kim

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2212.01838

المؤلفون: Pranger, Stefan, Konighofer, Bettina, Tappler, Martin, Deixelberger, Martin, Jansen, Nils, Bloem, Roderick

المصدر: 2021 American Control Conference (ACC) American Control Conference (ACC), 2021. :3467-3474 May, 2021

Relation: 2021 American Control Conference (ACC)

المؤلفون: Tarrach, Thorsten, Ebrahimi, Masoud, König, Sandra, Schmittner, Christoph, Bloem, Roderick, Nickovic, Dejan

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2210.03207