Ira Fesefeldt

According to our database, Ira Fesefeldt authored at least 6 papers between 2021 and 2026.

Collaborative distances:

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

2026

Approximately Compatible Graph Predicates - Verifying Program Termination Using Graph Grammars.

Alexander Ferber, Ira Fesefeldt, Thomas Noll, Emmett Rayes

Proceedings of the Graph Transformation - 19th International Conference, 2026

2025

Deductive reasoning about concurrent probabilistic programs.

Ira Fesefeldt

PhD thesis, 2025

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

Towards Concurrent Quantitative Separation Logic.

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.

Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte

Proceedings of the Graph Transformation - 14th International Conference, 2021