Florian Kammueller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EPIA | Transparency vs Explanation of Machine Learning Algorithms: Perspectives from Recent Legal Proceedings. | Uchenna Nnawuchi, Carlisle George, Florian Kammueller |
| 2020 | TACAS | Describing and Simulating Concurrent Quantum Systems. | Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan |
| 2018 | SMC | Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems. | Florian Kammueller |
| 2018 | UCC | Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration. | Gayathri Karthick, Glenford Mapp, Florian Kammueller, Mahdi Aiash |
| 2016 | CCS | Towards Formal Analysis of Insider Threats for Auctions. | Florian Kammueller, Manfred Kerber, Christian W. Probst |