Ira Fesefeldt

Email
fesefeldt at cs.rwth-aachen.de
Address
Room 4210
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21204

I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.

Research

My research interests include:

  • formal verification of probabilistic, heap-manipulating and concurrent programs,
  • termination analysis,
  • static program analysis, and
  • graph-grammars.

Supervision

I am currently supervising the following thesis projects:

  • Mohamed Khalifa, Extending a Static Termination Analysis for Heap-Manipulating Programs to Recursion, Master’s Thesis
  • Patrick Arens, Extending and applying weakest-preexpectation to (disjoint) concurrent probabilistic progams, Bachelor’s Thesis

I have supervised the following thesis projects:

  • Mohamed Khalifa, Implementation of a predicate-guided termination analysis for pointer programs, Bachelor’s Thesis

Teaching

I’m currently involved in the following teaching activities:

I was involved in the following teaching activities:

Publications

2021
DOI [bibtex]
@conference{ACCBCHRG2021,
title = {Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars},
author = {Ira Justus Fesefeldt and Christoph Matheja and Thomas Noll and Johannes Schulte},
publisher = {Springer},
booktitle = {LNCS},
volume = {12741},
pages = {283-293},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-78946-6_15},
url = { https://publications.rwth-aachen.de/record/820755},
}×
[issue]
Ira Justus Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars, 14th International Conference on Graph Transformation (ICGT21), Volume 12741 of LNCS, 283-293, Springer, 2021.
2019
DOI fulltext PDF [bibtex]
@masterthesis{P2019,
title = {Proving termination of pointer programs on top of symbolic execution},
author = {Ira Justus Fesefeldt},
institution = {RWTH Aachen},
pages = {118 S.},
type = {Master Thesis},
year = {2019},
doi = {10.18154/RWTH-2020-04970},
url = { https://publications.rwth-aachen.de/record/789066},
}×
[issue]
Ira Justus Fesefeldt. Proving termination of pointer programs on top of symbolic execution, Master Thesis, RWTH Aachen, 118 S., 2019.
Show all