Workshop Programme
Monday 5/Dec/16
| 08:00 - 08:45 | Registration | |
08:45 - 09:00 | Welcome | |
09:00 - 09:30 | Model-Based Testing Interactive Music Systems (13.8 MB, 90 Seiten) | Clément Poncelet |
09:30 - 10:00 | Spacetime programming(1.8 MB, 28 Seiten) | Pierre Talbot |
10:00 - 10:30 | Experiments in Certified Digital Audio Processing | Emilio Jesús Gallego Arias |
10:30 - 11:00 | Coffee break | |
11:00 - 11:30 | OCaLustre : a synchronous extension to OCaml | Steven Varoumas |
11:30 - 12:00 | SunDAE: Generating static scheduling of multimode differential algebraic equations(947.2 KB) | Beno?t Caillaud |
12:00 - 12:30 | Towards a Coq-Verified Compiler from Esterel to Circuits (3)(224.6 KB, 74 Seiten) | Lionel Rieg |
13:00 - 14:30 | Lunch | |
14:30 - 15:00 | Code Generation from Synchronous Language to a Many-Core | Amaury Graillat |
15:00 - 15:30 | Response Time Analysis of Synchronous Data Flow Programs on a Many-core Processor(891.2 KB, 103 Seiten) | Matthieu Moy |
15:30 - 16:00 | Industrial Real-Time Software Design Aspects in Automotive Multicore Systems | Michael Deubzer |
16:00 - 16:30 | Coffee break | |
16:30 - 17:00 | Compiling Parallel Synchnronous Data-Flow Programs to Sequential Machines | Baltasar Trancón Widemann |
17:00 - 17:30 | Synchronous-Reactive Web Client Programming | Rémy El Siba?e |
17:30 - 18:00 | CloudLens a scripting language for analysing semi-structured data(377.4 KB, 39 Seiten) | Guillaume Baudart |
20:00 - 22:00 | Informal Welcome Reception (AULA) |
Tuesday 6/Dec/16 (Provisional)
| 09:30 - 10:30 | Structural analysis of multi-mode DAE systems, application to Modelica (Keynote )(1.8 MB, 69 Seiten) | Albert Benveniste |
10:30 - 11:00 | Coffee break | |
11:00 - 11:30 | Towards better embedded software(374.0 KB, 16 Seiten) | Friedrich Gretz |
11:30 - 12:00 | Energy consumption in embedded systems: abstractions for software models, programming languages and verification methods(2.5 MB, 45 Seiten) | Florence Maraninchi |
12:00 - 12:30 | Strict Sequential Constructiveness(375.0 KB, 29 Seiten) | Alexander Schulz-Rosengarten |
13:00 - 14:30 | Lunch | |
14:30 - 16:00 | Reinhard von Hanxleden, Christian Motika and Steven Smyth | |
16:00 - 16:30 | Coffee break | |
16:30 - 17:00 | debugging lustre programs with rdbg (1.8 MB, 28 Seiten) | erwan jahier |
| 17:00 - 17:30 | The Time-predictable Multicore Architecture T-CREST(7.9 MB, 33 Seiten) | Martin Schoeberl |
17:30 - 18:00 | Control-flow Guided Property Directed Reachability for Imperative Synchronous Programs(1.0 MB, 33 Seiten) | Xian Li |
Wednesday 7/Dec/16
| 08:30 - 10:30 | Concert Hall, Guided Tour and Rehearsal | |
10:30 - 11:30 | Coffee break | |
11:30 - 12:30 | Haskell to Hardware and Other Dreams (Invited talk)(10.7 MB, 72 Seiten) | Stephen Edwards |
13:00 - 14:30 | Lunch | |
14:30 - 15:00 | Partha Roop | |
| 15:00 - 15:30 | WCET Semantics of Synchronous Programs(394.9 KB, 18 Seiten) | Bruno Bodin |
15:30 - 16:00 | Scade Model Coverage(534.6 KB, 48 Seiten) | Jean-Louis COLACO |
16:00 - 16:30 | Coffee break | |
16:30 - 17:00 | Symbolic Computation of Latency for Dataflow Graphs (1.2 MB, 37 Seiten) | Alain Girault |
| 17:00 - 17:30 | Verifying a Lustre Compiler (Part I)(2.1 MB, 79 Seiten) | Timothy Bourke |
17:30 - 18:00 | Verifying a Lustre Compiler (Part 2)(342.3 KB, 47 Seiten) | Lélio Brun |
18:00 - 19:00 | Synchron Business Meeting | |
19:30 - 22:00 | Conference Dinner (effective start at 20:00hrs) |
Thursday 8/Dec/16
| 09:30 - 10:30 | Resurrecting Laplace's Demon: The Case for Deterministic Models (Invited Talk)(4.0 MB, 68 Seiten) | Edward Lee |
10:30 - 11:00 | Coffee break | |
11:00 - 11:30 | A Synchronous Look at the Simulink Standard Library(1.8 MB, 37 Seiten) | Marc Pouzet |
11:30 - 12:00 | Removing Infeasible Paths in WCET Estimation: The Counter Method(204.4 KB) | Pascal Raymond |
13:00 - 14:30 | Lunch | |
14:30 - 15:00 | Best-effort Safety and Optimization with Limited Lookahead Logico-numerical Control | Nicolas Berthier |
| 15:00 - 15:30 | MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Embedded Systems | Omair Rafique |
15:30 - 16:00 | Verifying Concurrent ML programs(108.4 KB, 25 Seiten) | Gergely Buday |
16:00 - 16:30 | Coffee break | |
16:30 - 17:00 | Writing and Verifying Reactive Programs in Agda | Sebastian Seufert |
| 17:00 - 17:30 | L2C: A Formally Certified Synchronous Data-flow Language Compiler for Safety-critical Software | Shang Shu |
17:30 - 18:00 | Automatic Implementation of TTEthernet-based time-triggered avionics applications | Dumitru Potop Butucaru |
19:30 - 22:00 | Symphony Concert - Start 19:30 |
Friday 9/Dec/16
| 09:30 - 10:30 | free slot (individual work) | |
10:30 - 11:00 | Coffee break | |
11:00 - 11:45 | free slot (individual work) Closing of Workshop |