Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2022) Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. Computational Intelligence , 38 (3). pp. 811-828. ISSN 0824-7935
Kammueller, Florian and Alvarado, Chelsea Mira (2022) Modeling and verification of human aspects in socio technical systems and networks for security and privacy. In: HCI-CPT: 4th International Conference on HCI for Cybersecurity, Privacy and Trust, 26 Jun - 01 Jul 2022, Virtual. (Accepted/In press)
Kammueller, Florian (2022) Explanation by automated reasoning using the Isabelle Infrastructure framework. In: Human Computer Interaction International, 26 Jun - 01 Jul 2022, Virtual. (Accepted/In press)
Kammueller, Florian (2021) Explanation by automated reasoning using the Isabelle Infrastructure framework. arXiv . pp. 1-5.
Kammueller, Florian (2021) Dependability engineering in Isabelle. Working Paper. Preprint, arXiv.org.