Send email Copy Email Address
Placeholder
PhD Student

Philippe Heim

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Publications by Philippe Heim

Year 2024

2024-01

Solving Infinite-State Games via Acceleration

Conference / Medium

POPL
Proceedings of the ACM on Programming Languages51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2023

2023-04-22

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications

Conference / Medium

TACAS
TACAS – International Conference on Tools and Algorithms for the Construction and Analysis of Systems29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2022

2022-03-03

Temporal Stream Logic modulo Theories

Conference / Medium

FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2019

2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Conference / Medium

FMCAD
Formal Methods in Computer Aided Design, FMCAD

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page