Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Abba, A., Cavalcanti, A. & Jacob, J., 26 Nov 2021, Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Proceedings. Campos, S. & Minea, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 70-86 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13130 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems
Aydin, M. M. & Jacob, J. L., 7 Sept 2015, Intelligence and Security Informatics Conference (EISIC), 2015 European Workshop. Hammoudeh, M. & Han, L. (eds.). IEEE, p. 53-60 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors
Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution