...
19th International Workshop on Synchronous Programming (SYNCHRON'12), Le Croisic, France. November 2012.
...
Electrical Engineering Research Seminar “PRETzel Forum” (PRETzel'14), Auckland University, New Zealand, January 2014.
Summary: Presentations of the [DATE’13] publication] and [TECS’14] publications respectively.
[PDAY’13-1] Is timing analysis a refinement of causality analysis? (slides)
...
[D-CON'13] Constructive Boolean Circuits and the Exactness of Timed Ternary Simulation.
[ECERS'1314] Constructive Circuits and the Synchrony Hypothesis.
...
- PRET Day (PDAY'13), Inria Grenoble Rhône-Alpes France, March 2013.
- German Chapter Concur Meeting (D-CON'13), Institute for Software Engineering and Programming Languages, University of Lübeck, Germany, March 2013.
- Joint Electrical Engineering and Computer Science Departmental Seminar (ECERS'1314), Auckland University, New Zealand, January 2014.
...