Florian Keßler

According to our database, Florian Keßler authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Foundations for Entailment Checking in Quantitative Separation Logic (extended version).

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll

CoRR, 2022

Foundations for Entailment Checking in Quantitative Separation Logic.

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll

Proceedings of the Programming Languages and Systems, 2022