Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
Synchron 2007
| November 26-30, 2007 Bamberg, Germany | organised and funded by Artist |
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
Fernando Barros (University of Coimbra)
Barros.pdf - Subclocks in Quartz
Jens Brandt (Technische Universität Kaiserslautern)
- Abstract clocks for the N-synchronous model
Florence Plateau (Universite Paris-Sud 11, LRI)
Plateau.pdf - Model-Based X, Virtual Prototyping, 42, SoCs, Sensor Networks, and Other Stories
Florence Maraninchi (VERIMAG/INPGrenoble)
Maraninchi.pdf - 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
Hugo Heusinger (EADS Defense & Security)
Heusinger.pdf - Auckland Reactive Processors and Model Checking Embedded Systems using System
Partha Roop (University of Auckland)
Roop.pdf
elsevier.pdf
emsoft.pdf - MiniLustre mais il fait le Maximum ! or Towards the Development of a Certified Compiler for Lustre
Marck Pouzet (LRI)
Pouzet.pdf - Virtual Execution of AADL Models via a Translation into Synchronous Programs
Nicolas Halbwachs (VERIMAG/CNRS)
Halbwachs1.pdf - Synchronous Data-flow Modeling of Shared Resources
Erwan Jahier (VERIMAG/CNRS)
Jahier.pdf - Abstraction Problems in Virtual Prototyping ofWireless Sensor Networks
Olivier Bezet (VERIMAG)
Bezet.pdf
Wednesday 28/Nov/07
- Invited Talk: Safe Reactive Programming: the FunLoft Proposal
Frédéric Boussinot (INRIA)
Boussinot.pdf - Reactivity of ReactiveML programs
Louis Mandel (Universite Paris-Sud 11, LRI)
Mandel.pdf - 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems
Tayeb Bouhadiba (VERIMAG/INPG)
Bouhadiba.pdf
Thursday 29/Nov/07
- Invited Talk: Design and Verification Challenges for Next Generation Automotive Software
S, Ramesh (India Science Lab, GM R&D)
Ramesh.pdf - The Kiel Reactive Processor: Reactive Processing beyond the KEP
Claus Traulsen (CAU zu Kiel, Institut für Informatik)
Traulsen.pdf - Eficient development of Statechart models: A comparative study
Reinhard von Hanxleden (CAU zu Kiel, Institut für
Informatik)
vonHanxleded.pdf - Static Analysis of Array Contents
Nicolas Halbwachs (VERIMAG/CNRS)
Halbwachs2.pdf - Games that "Synchronous" People Play
Joaquín Aguado (University of Bamberg)
Aguado.pdf
games-report.html - Tag-based modelling of the AAA/SynDEx methodology
Dumitru Potop Butucaru (INRIA)
Potop.pdf
Friday 30/Nov/07
- Analysis of the combined use of SCADE and UML 2.x models
Ramin Hedayati (University of Bremen)
Hedayati.pdf - Introducing the CoSta Project: Contractual Statecharts
Gerarld Luettgen (University of York)
Luettgen.pdf - Distributed Esterel: A Direct Constructive Approach
Peter Wullinger (University of Bamberg)
Wullinger.pdf - Esterel Studio Update
Kim Sunesen (Esterel Technologies)
Sunesen.pdf
If you have any further questions or comments, please send an email to Joaguin Aguado.
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.1 kb
-
JPG - 1.4 kb
(c) Artist2 Consortium, All Rights Reserved - 2006