-
1مؤتمر
المؤلفون: 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)
-
2مؤتمر
المؤلفون: 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)
-
3مؤتمر
المؤلفون: 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)
-
4تقرير
-
5تقرير
المؤلفون: 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
-
6دورية أكاديمية
المؤلفون: Könighofer, BettinaAff1, Aff4, IDs11334022004804_cor1, Rudolf, Julian, Palmisano, Alexander, Tappler, MartinAff2, Aff3, Bloem, Roderick
المصدر: Innovations in Systems and Software Engineering: A NASA Journal. 19(4):379-394
-
7
-
8تقرير
-
9مؤتمر
المؤلفون: 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)
-
10تقرير
المؤلفون: 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