Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Bloem R., Groß H., Iusupov R., Könighofer B., Mangard S., Winter J.
EUROCRYPT , 321-353, (Lecture Notes in Computer Science
Bloem R., Groß H., Iusupov R., Krenn M., Mangard S.
Cryptology ePrint Archive, Vol. 2018, 1031
Alshiekh M., Bloem R., Ehlers R., Könighofer B., Niekum S., Topcu U.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, AAAI-18, 2669-2678
Jansen N., Könighofer B., Junges S., Bloem R.
arXiv.org e-Print archive, Vol. CoRR
Aichernig B., Bloem R., Ebrahimi M., Tappler M., Winter J.
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, 18th Conference on Formal Methods in Computer-Aided Design, 130 - 138
Khalimov A., Maderbacher B., Bloem R.
Automated Technology for Verification and Analysis , 16th International Symposium, ATVA 2018, 16th International Symposium on Automated Technology for Verification and Analysis, 494-510, ( Lecture Notes in Computer Science; vol. 11138)
Bartocci E., Bloem R., Nickovic D., Röck F.
Computer Aided Verification , 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, 30th International Conference on Computer Aided Verification, 547-564, (Lecture Notes in Computer Science; vol. 10980)
Bloem R., Chatterjee K., Jobstmann B.
Handbook of Model Checking, 921-962
Bloem R., Braud-Santoni N., Hadzic V., Egly U., Lonsing F., Seidl M.
arXiv.org e-Print archive, Vol. CoRR
Bloem R., Braud-Santoni N., Hadzic V., Egly U., Lonsing F., Seidl M.
fmcad.18, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018), 18th Conference on Formal Methods in Computer-Aided Design, 40-49
Tappler M., Aichernig B., Bloem R.
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), 276-287
Bloem R., Chockler H., Ebrahimi M., Strichman O.
Verification, Model Checking, and Abstract Interpretation, 55-72
Boano C., Römer K., Bloem R., Witrisal K., Baunach M., Horn M.
e&i - Elektrotechnik und Informationstechnik, Vol. 133(7), 304–309
Braud-Santoni N., Bloem R., Jacobs S.
Jacobs S., Bloem R., Brenguier R., Ehlers R., Hell T., Könighofer R., Pérez G., Raskin J., Ryzhyk L., Sankur O., Seidl M., Tentrup L., Walker A.
International journal on software tools for technology transfer, 1-24
Jacobs S., Bloem R., Brenguier R., Pérez G., Raskin J., Ryzhyk L., Sankur O., Seidl M., Tentrup L., Walker A., Könighofer R.
Electronic Proceedings in Theoretical Computer Science, Vol. 202, 27-57
Bloem R., Könighofer R., Pill I., Röck F.
, 17-24
Aleksandrowicz G., Arbel E., Bloem R., Braak T., Devadze S., Fey G., Jenihhin M., Jutman A., Kerkoff H., Könighofer R., Malburg J., Moran S., Raik J., Rauwerda G., Riener H., Röck F., Shibin K., Sunesen K., Wan J., Zhao Y.