Timothy Bourke
Researcher at INRIA
in the team
PARKAS
[tImɒθiː bɜːʳk] or [timɔte buʀk] (Tim, [tIm] or [tiːm]); tim@tbrk.org; c/o ENS...
[tImɒθiː bɜːʳk] or [timɔte buʀk] (Tim, [tIm] or [tiːm]); tim@tbrk.org; c/o ENS...
Details
- Publications
- Public Key (I sign all email)
- Other
Esterel
Uppaal
External links
News
- 2013-01-29
- Paper accepted for IEEE Symposium on Security and Privacy.
- 2012-12-22
- Tool paper accepted for HSCC 2013.
- 2012-12-10
- Started as Researcher at INRIA Paris-Rocquencourt.
- 2012-04-17
- Article accepted for TECS.
- 2012-04-7
- Paper accepted for CICM 2012 (MKM).