...
Constructive Boolean circuits and the exactness of timed ternary simulation.
M. Mendler, T. R. Shiple, G. Berry.
...
SCCharts: Sequentially Constructive Charts. (poster)
C. Motika, S. Smyth, R. von Hanxleden, M. Mendler.
10th Biennial Ptolemy Miniconference (PTCONF’13), Berkeley, CA, USA, November 2013.
...
Is timing analysis a refinement of causality analysis? (slides)
J. Aguado.
PRET Day (PDAY'13), INRIA Grenoble France, March 2013.
...
It has been recognised that the synchronous model of computation together with a suitable execution platform (precision-timed, or PRET architectures) facilitates system-level timing predictability. This talk discusses a logical and game-theoretic framework for capturing worst-case reaction time (WCRT) for Esterel-style synchronous reactive programming. This framework will provide a formal grounding for the WCRT problem, and allow to improving upon earlier heuristics by accurately and modularly characterising timing interfaces. This approach will not only allows verifying the correctness of WCRT analyses methods, but also will allow capturing functionality and timing together.
[PDAY’13-2]
Constructive Boolean Networks Netwroks and the Exactness of Timed Ternary Simulation. (slides)
M. Mendler.
PRET Day (PDAY'13), INRIA Grenoble France, March 2013.
...
Compiling SCCharts (and other Sequentially Constructive Programs) to Hardware and Software.
R. von Hanxleden.
20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.
...
SCCharts – Sequentially Constructive Charts. (slides)
C. Motika.
20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.
...
Berry-Constructive Programs are Sequentially Constructive, or: Synchronous Programming from a Scheduling Perspective. (slides)
M. Mendler.
20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.
...
Towards Interactive Timing Analysis for Designing Reactive Systems.
I. Fuhrmann.
Workshop on Reconciling Performance with Predictability (RePP’14), Grenoble France, April 2014.
...
The WCRT analysis of synchronous programs: Studying the tick alignment problem. (slides)
M. Mendler.
Workshop on Reconciling Performance with Predictability (RePP’14), Grenoble France, April 2014.
...