Send email Copy Email Address
PhD Student

Philippe Heim

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Publications by Philippe Heim

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