Kammueller, Florian (2021) Dependability engineering in Isabelle. Working Paper. Preprint, arXiv.org.
Kammueller, Florian and Alvarado, Chelsea Mira (2021) Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders. Working Paper. Preprint, arXiv.org.
Kammueller, Florian and Kerber, Manfred (2021) Applying the Isabelle insider framework to airplane security. Science of Computer Programming , 206 . ISSN 0167-6423
Karthick, Gayathri and Mapp, Glenford E. and Kammueller, Florian and Aiash, Mahdi (2021) Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. Computational Intelligence . ISSN 0824-7935 (Published online first)
Kammueller, Florian and Legay, Axel and Schivo, Stefano (2021) Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer , 23 (1). pp. 69-70. ISSN 1433-2779
