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

Philippe Heim

E-Mail

Telefon

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Gruppenmitglied in

Veröffentlichungen von Philippe Heim

Jahr 2025

Konferenz / Medium

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

Jahr 2024

Konferenz / Medium

Computer Aided Verification (CAV)

Konferenz / Medium

Symposium on Principles of Programming Languages (POPL)

Jahr 2023

Konferenz / Medium

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

Jahr 2022

Konferenz / Medium

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

Jahr 2019

Konferenz / Medium

Formal Methods in Computer-Aided Design (FMCAD)