Home
Organization
Programme
Registration
Venue
Travel
Accommodation
Tourist Information
Supported
by:
|
|
Workshop Programme
The academic programme
of Synchron'07 consisted of the following 24
presentations (other relevant information will be updated
in due course):
Monday
26/Nov/07
- Semantics of Dynamic Structure Hybrid Simulation
Models (slides)
- Fernando Barros (University of Coimbra)
- Subclocks in Quartz
- Jens Brandt (Technische Universität Kaiserslautern)
- Abstract clocks for the N-synchronous model (slides)
- Florence Plateau (Universite Paris-Sud 11, LRI)
- Model-Based X, Virtual Prototyping, 42, SoCs,
Sensor Networks, and Other Stories (slides)
- Florence Maraninchi (VERIMAG/INPGrenoble)
- Modular Static Analysis of Numerical Snychronous
Programs by Quantifier Elimination
- David Monniaux (CNRS/VERIMAG)
Tuesday
27/Nov/07
- Invited Talk: Software
Development of the EF2000 Flight Control Computers
(slides)
- Hugo Heusinger (EADS Defense
& Security)
- Auckland Reactive Processors and Model Checking
Embedded Systems using SystemJ (slides)
(REFLIX
paper) (EMPEROR
paper)
- Partha Roop (University of Auckland)
- MiniLustre mais il fait le Maximum ! or Towards
the Development of a Certified Compiler for Lustre
(slides)
- Virtual Execution of AADL Models via a Translation
into Synchronous Programs (slides)
- Nicolas Halbwachs (VERIMAG/CNRS)
- Synchronous Data-flow Modeling of Shared Resources
(slides)
- Erwan Jahier (VERIMAG/CNRS)
- Abstraction Problems in Virtual Prototyping of
Wireless Sensor Networks (slides)
Wednesday
28/Nov/07
- Invited Talk: Safe
Reactive Programming: the FunLoft Proposal
(slides)
- Frédéric Boussinot (INRIA)
- Reactivity of ReactiveML programs
(slides)
- Louis Mandel (Universite Paris-Sud 11, LRI)
- 42: Programmable Models of Computation for a Component-Based
Approach to Heterogeneous Embedded Systems (slides)
- Tayeb Bouhadiba (VERIMAG/INPG)
Thursday
29/Nov/07
- Invited Talk: Design
and Verification Challenges for Next Generation Automotive Software
(slides)
- S, Ramesh (India Science Lab, GM R&D)
- The Kiel Reactive Processor: Reactive Processing
beyond the KEP (slides)
- Claus Traulsen (CAU zu Kiel, Institut für Informatik)
- Eficient development of Statechart models: A comparative
study (slides)
- Reinhard von Hanxleden (CAU zu Kiel, Institut für
Informatik)
- Static Analysis of Array Contents
(slides)
- Nicolas Halbwachs (VERIMAG/CNRS)
- Games that "Synchronous" People Play
(slides) (report)
- Joaquín Aguado (University of Bamberg)
- Tag-based modelling of the AAA/SynDEx methodology
(slides)
- Dumitru Potop Butucaru (INRIA)
Friday
30/Nov/07
- Analysis of the combined use of SCADE and UML
2.x models (slides)
- Ramin Hedayati (University of Bremen)
- Introducing the CoSta Project: Contractual Statecharts
(slides)
- Gerarld Luettgen (University of York)
- Distributed Esterel: A Direct Constructive Approach
(slides)
- Peter Wullinger (University of Bamberg)
- Esterel Studio Update (slides)
- Kim Sunesen (Esterel Technologies)
|
|
|
|
