Send email Copy Email Address
Placeholder
PhD Student

Philippe Heim

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Further Information

Publications by Philippe Heim

Year 2025

2025-01-22

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Conference / Medium

52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)

Tags
Reliable Security Guarantees
Authors
Visit Detail Page

Year 2024

2024-07-26

Localized Attractor Computations for Infinite-State Games

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01-05

Solving Infinite-State Games via Acceleration

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2023

2023-04-22

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2022

2022-03-03

Temporal Stream Logic modulo Theories

Conference / Medium

European Joint Conference on Theory and Practice of Software (ETAPS) (ETAPS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2019

2019-10-25

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Conference / Medium

Formal Methods in Computer-Aided Design (FMCAD)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page