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.
Vaandrager F., Bloem R., Ebrahimi M.
14th-15th International Conference on Language and Automata Theory and Applications
Bloem R., Chockler H., Ebrahimi M., Strichman O.
2019 Formal Methods in Computer Aided Design, FMCAD 2019, FMCAD 2019, 147-151
Aichernig B., Bloem R., Ebrahimi M., Horn M., Pernkopf F., Roth W., Rupp A., Tappler M., Tranninger M.
Testing Software and Systems, 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings, IFIP-ICTSS 2019, 3-21, (Lecture Notes in Computer Science; vol. 11812)
Ebrahimi M., Sotudeh G., Movaghar A.
Acta informatica
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
Bloem R., Chockler H., Ebrahimi M., Strichman O.
Verification, Model Checking, and Abstract Interpretation, 55-72