Kammueller, Florian and Lutz, Bianca (2020) Modeling and analyzing the Corona-virus warning app with the Isabelle infrastructure framework. In: International Workshop of Data Privacy Management, DPM'20, 17-18 Sep 2020, University of Surrey, UK. (Accepted/In press)
Kammueller, Florian (2020) Attack Trees in Isabelle for GDPR compliance of IoT healthcare systems. Archive of Formal Proof . ISSN 2150-914X (Accepted/In press)
Bornat, Richard and Boender, Jaap and Kammueller, Florian and Poly, Guillaume and Nagarajan, Rajagopal (2020) Describing and simulating concurrent quantum systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin.
Windridge, David and Kammueller, Florian (2020) Edit distance Kernelization of NP theorem proving for polynomial-time machine learning of proof heuristics. In: FICC 2019: Future of Information and Communications Conference, 14-15 Mar 2019, San Francisco, USA.
Kammueller, Florian and Nestmann, Uwe (2020) Inter-blockchain protocols with the Isabelle Infrastructure framework. In: 2nd Workshop on Formal Methods for Blockchain, co-located with CAV'20, 20-21Jul 2020, Los Angeles, CA, USA. (Published online first)
