Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien DeAntoni, Time in SCCharts, 2018 Forum on Specification & Design Languages (FDL 2018)

...

Francisco Sant' Anna, Roberto Ierusalimschy, and

...

Noemi Rodriguez.

...

2015. Structured synchronous reactive programming with Céu. In Proceedings of the 14th International Conference on Modularity (MODULARITY 2015).

A. Graillat, M. Moy, P. Raymond and B. D. de Dinechin, Parallel code generation of synchronous programs for a many-core architecture, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Colin Vidal, Gérard Berry, Manuel Serrano. Hiphop.js: a language to orchestrate web applica-tions. SAC: Symposium on Applied Computing, Apr 2018

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, and Alexander Schramm. 2018. TeSSLa: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18)

Master Empfehlung

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.

...