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., Greimel K., Könighofer R., Röck F.
VALID proceedings, International Conference on Advances in System Testing and Validation Lifecycle, 1-6
Khalimov A., Jacobs S., Bloem R.
Verification, Model Checking, and Abstract Interpretation, International Conference on Verification, Model Checking, and Abstract Interpretation, 108-127, (Lecture Notes in Computer Science
Khalimov A., Jacobs S., Bloem R.
International Conference on Computer Aided Verification, 1-2
Bloem R., Gamauf H., Hofferek G., Könighofer B., Könighofer R.
Proceedings First Workshop on Synthesis (SYNT 2012), Workshop on Synthesis (SYNT 2012), 47-53
Schlaipfer M., Hofferek G., Bloem R.
Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, Haifa Verification Conference, 20-34, (Lecture Notes in Computer Science
Bloem R., Drechsler R., Fey G., Finder A., Hofferek G., Könighofer R., Raik J., Repinski U., Sülflow A.
Haifa Verification Conference, Haifa Verification Conference, 260-265, (Lecture Notes in Computer Science
Könighofer R., Bloem R.
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, Haifa Verification Conference, 56-71, (Lecture Notes in Computer Science
Bloem R., Jacobs S.
Tools and Algorithms for the Construction and Analysis of Systems, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 362-376, (Lecture notes in computer science
Tögl R., Pirker M., Bloem R., Lindsberger G., Posch S.
Hofferek G., Bloem R.
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011), ACM/IEEE International Conference on Formal Methods and Models for Codesign, 31-42
Bloem R., Chatterjee K., Greimel K., Henzinger T., Jobstmann B.
2011 6th International Symposium on Industrial Embedded Systems, IEEE International Symposium on Industrial Embedded Systems, 176-185
Könighofer R., Hofferek G., Bloem R.
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, Haifa Verification Conference 2010, 29-45, (Lecture Notes in Computer Science
Könighofer R., Bloem R.
Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011), International Conference on Formal Methods in Computer-Aided Design, 91-100
Bloem R., Chatterjee K., Greimel K., Henzinger T., Jobstmann B.
Computer Aided Verification, 22nd International Conference on Computer Aided Verification (CAV 2010), 410-424, (Lecture Notes in Computer Science
Bloem R., Cimatti A., Greimel K., Hofferek G., Könighofer R., Roveri M., Schuppan V., Seeber R.
Computer Aided Verification, 22nd International Conference on Computer Aided Verification (CAV 2010), 425-429, (Lecture Notes in Computer Science; vol. 6174)
Bloem R., Greimel K., Henzinger T., Jobstmann B.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 85-92
Könighofer R., Hofferek G., Bloem R.
Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009, International Conference on Formal Methods in Computer-Aided Design, 152-159
Bloem R., Chatterjee K., Henziger T., Jobstmann B.
International Conference on Computer Aided Verification, 140-156
Fey G., Staber S., Bloem R., Drechsler R.
IEEE transactions on computer-aided design of integrated circuits and systems, Vol. 27(6), 1138-1149