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.
Staber S., Jobstmann B., Bloem R.
16th International Workshop on Principles of Diagnosis, International Workshop on Principles of Diagnosis, 169-174
Jobstmann B., Griesmayer A., Bloem R.
Computer Aided Verification, International Conference on Computer Aided Verification, 226-238, (LNCS
Griesmayer A., Bloem R.
Games in Design and Verification, Games in Design and Verification, ?-?
Staber S., Jobstmann B., Bloem R.
Correct Hardware Design and Verification Methods, Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 35-49, (Lecture notes in computer science
Bloem R., Wotawa F.
Telematik, Vol. 8(2), 30-33
Bloem R., Somenzi F., Ravi K.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 88-105
Bloem R., Gurumurthy S., Somenzi F.
International Conference on Computer Aided Verification, 610-623
Wang C., Bloem R., Hachtel G., Ravi K., Somenzi F.
CONCUR 2001 - Concurrency Theory, International Conference on Concurrency Theory, 456-471, (Lecture notes in computer science
Bloem R., Engelfriet J.
Journal of computer and system sciences, Vol. 61(1), 1-50
Bloem R., Gabow H., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 37-54
Bloem R., Ravi K., Somenzi F.
International Conference on Formal Methods in Computer-Aided Design, International Conference on Formal Methods in Computer-Aided Design, 143-160
Bloem R., Ravi K., Somenzi F.
Design Automation Conference, 29-34
Bloem R., Somenzi F.
International Conference on Computer Aided Verification, 248-263
Bloem R., Moon I., Ravi K., Somenzi F.
World Multiconference on Systemics, Cybernetics and Informatics, 701-706
Bloem R., Ravi K., Somenzi F.
International Conference on Computer Aided Verification, International Conference on Computer Aided Verification, 222-235
Bloem R., Engelfriet J.
, (Technical Report
Bloem R., Engelfriet J.
Lecture notes in computer science 1261, 144-161