Koen Claessen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Laura Kovács
31 publications
Abhiroop Sarkar
5 publications
Alejandro Russo
5 publications
Bengt Lennartson
3 publications
Robert Krook
2 publications
Jonatan Kilhamn
1 publication

research

∙ 07/24/2023

HasTEE: Programming Trusted Execution Environments with Haskell

Trusted Execution Environments (TEEs) are hardware-enforced memory isola...

0 Abhiroop Sarkar, et al. ∙

research

∙ 11/17/2017

A Supervisory Control Algorithm Based on Property-Directed Reachability

We present an algorithm for synthesising a controller (supervisor) for a...

0 Koen Claessen, et al. ∙