Monday |
29th |
November |
| ANDRE |
Charles |
Logical time and CCSL : Logical Time as/at Design |
| DE ROEVER |
Willem Paul |
What is in a step ? |
| VON HANXLEDEN |
Reinhard |
Taming Graphical Modeling |
| MOTIKA |
Christian |
Executing SyncCharts with Ptolemy |
| PASTEUR |
Cédric |
Memory Optimisation in a First-Order Dataflow Synchronous Language |
| BAUDISCH |
Daniel |
Synthesis of Synchronous
Programs for Parallel Architectures |
| LUGRIN |
Laurie |
An Abstraction Relation for Energy Consumption Properties |
| |
|
Thuesday |
30th |
November |
| BERTHIER |
Nicolas |
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems |
| De SIMONE |
Robert |
K-Periodically Routed (extended) Marked Event Graphs |
| MARANINCHI |
Florence |
Synchronous languages for modeling of: logical behavior, Functional/non-functional time, energy cunsumption … |
| MAIZA |
Claire |
Timing Analysis and Predictability of Architectures: Cache Analysis |
| SCHRAMMEL |
Peter |
Using Abstract Acceleration in the Verification of Logico Numerical Data-Flow Programs |
| GHICA |
Dan |
Resource management through type inference |
| GLITIA |
Calin |
Logical Time@work : Capturing Data Dependencies and Platform Constraints |
| BERRY |
Gérard |
Finite State Systems |
Wednesday |
1st |
December |
| BRANDT |
Jens |
Round-Trip to Synchrony and Asynchrony |
| PAPAILIOPOULOU |
Virginia |
Efficient Analysis of Multi-Clock Synchronous Specifications |
| MANDEL |
Louis |
Typing of Periodic Clocks in Lucy-n |
| PLATEAU |
Florence |
Encoding Latency Insensitive Design in Lucy-n: First Experiments |
Figures |
| ATTAR |
Pejman |
DSL and DSLM |
| POUZET |
Marc |
Divide and recycle: types and compilation for a hybrid synchronous language |
| DEANTONI |
Julien |
CCSL@work: How to explicitly defines MoCCs Within a Model |
| YU |
Huafeng |
System-level Co-simulation of Integrated Avionics Using Polychrony |
| RIVIERRE |
Yvan |
Selft Stabilization |
| GAFFE |
Daniel |
Modular Compilation of a Synchronous Language |
Thursday |
2sd |
December |
| POTOP BUTUCARU |
Dumitru |
Semantics-Preserving Implementation of Synchronous Specifications over Dynamic TDMA Distributed HW |
| PARTHA S ROOP |
Partha |
Precision Timed Computing in the Synchronous Setting |
| LI HSIEN YOONG |
Li Hsien |
Predictable execution with IEC 61499 |
Friday |
3rd |
December |
| LI HSIEN YOONG |
Li Hsien |
Executing Esterel on multicore processors |
| COHEN |
Albert |
Mini LS-> Streaming Open MP-> Work streaming |
| POUZET |
Marc |
The true inventors of synchronous programming |
