Philippe Heim

About me

I am a researcher in computer science in the area of formal methods. I am currently doing my Ph.D. at CISPA Helmholtz Center for Information Security (Germany) supervise by Rayna Dimitrova. My research topic is to advance the automatic creation of complex systems such that they are correct by design (reactive synthesis). I focus on developing practical algorithms and tools for parts of this problem where a general solution is theoretically impossible, as those system have an infinite-state space.

Publications

• Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
    Philippe Heim, Rayna Dimitrova – CAV 2025
    DOI , Full Version (pdf) , Artifact


• Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis
    Philippe Heim, Rayna Dimitrova – POPL 2025
    DOI , Full Version (pdf) , Artifact , Talk


• Localized Attractor Computations for Infinite-State Games
    Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak – CAV 2024
    DOI , Full Version (pdf) , Artifact


• Solving Infinite-State Games via Acceleration
    Philippe Heim, Rayna Dimitrova – POPL 2024
    DOI , Full Version (pdf) , Artifact , Talk


• Taming Large Bounds in Synthesis from Bounded-Liveness Specifications
    Philippe Heim, Rayna Dimitrova – TACAS 2023
    DOI , Full Version (pdf) , Artifact


• Debugging a Policy: Automatic Action-Policy Testing in AI Planning
    Steinmetz et al. – ICAPS 2022
    DOI


• Temporal Stream Logic modulo Theories
    Bernd Finkbeiner, Philippe Heim, Noemi Passing – FoSSaCS 2022
    DOI , Full Version (pdf)


• Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
    Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner – FMCAD 2019
    DOI , arXiv (pdf)