E-mail senden E-Mail Adresse kopieren
Placeholder
Doktorand:in

Philippe Heim

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Philippe Heim

Jahr 2025

2025-01-22

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Konferenz / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2024

2024-07-26

Localized Attractor Computations for Infinite-State Games

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2024-01-05

Solving Infinite-State Games via Acceleration

Konferenz / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2023

2023-04-22

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2022

2022-03-03

Temporal Stream Logic modulo Theories

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2019

2019-10-25

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Konferenz / Medium

Formal Methods in Computer-Aided Design (FMCAD)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen