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)

    PDF - 783.1 kb

    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)

    PDF - 240 kb

    Plateau.pdf



  • Model-Based X, Virtual Prototyping, 42, SoCs, Sensor Networks, and Other Stories
    Florence Maraninchi (VERIMAG/INPGrenoble)

    PDF - 2.2 Mb

    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)

    PDF - 526.6 kb

    Heusinger.pdf



  • Auckland Reactive Processors and Model Checking Embedded Systems using System
    Partha Roop (University of Auckland)

    PDF - 3.3 Mb

    Roop.pdf



    PDF - 96.8 kb

    elsevier.pdf



    PDF - 287 kb

    emsoft.pdf



  • MiniLustre mais il fait le Maximum ! or Towards the Development of a Certified Compiler for Lustre
    Marck Pouzet (LRI)

    PDF - 164.7 kb

    Pouzet.pdf



  • Virtual Execution of AADL Models via a Translation into Synchronous Programs
    Nicolas Halbwachs (VERIMAG/CNRS)

    PDF - 490.4 kb

    Halbwachs1.pdf



  • Synchronous Data-flow Modeling of Shared Resources
    Erwan Jahier (VERIMAG/CNRS)

    PDF - 135.4 kb

    Jahier.pdf



  • Abstraction Problems in Virtual Prototyping ofWireless Sensor Networks
    Olivier Bezet (VERIMAG)

    PDF - 4 Mb

    Bezet.pdf





Wednesday 28/Nov/07

  • Invited Talk: Safe Reactive Programming: the FunLoft Proposal
    Frédéric Boussinot (INRIA)

    PDF - 312.6 kb

    Boussinot.pdf



  • Reactivity of ReactiveML programs
    Louis Mandel (Universite Paris-Sud 11, LRI)

    PDF - 104.5 kb

    Mandel.pdf



  • 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems
    Tayeb Bouhadiba (VERIMAG/INPG)

    PDF - 881.6 kb

    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)

    PDF - 1.4 Mb

    Ramesh.pdf



  • The Kiel Reactive Processor: Reactive Processing beyond the KEP
    Claus Traulsen (CAU zu Kiel, Institut für Informatik)

    PDF - 736.5 kb

    Traulsen.pdf



  • Eficient development of Statechart models: A comparative study
    Reinhard von Hanxleden (CAU zu Kiel, Institut für
    Informatik)

    PDF - 891 kb

    vonHanxleded.pdf



  • Static Analysis of Array Contents
    Nicolas Halbwachs (VERIMAG/CNRS)

    PDF - 268.7 kb

    Halbwachs2.pdf



  • Games that "Synchronous" People Play
    Joaquín Aguado (University of Bamberg)

    PDF - 1022.5 kb

    Aguado.pdf



    HTML - 694 bytes

    games-report.html



  • Tag-based modelling of the AAA/SynDEx methodology
    Dumitru Potop Butucaru (INRIA)

    PDF - 171 kb

    Potop.pdf





Friday 30/Nov/07

  • Analysis of the combined use of SCADE and UML 2.x models
    Ramin Hedayati (University of Bremen)

    PDF - 513.4 kb

    Hedayati.pdf



  • Introducing the CoSta Project: Contractual Statecharts
    Gerarld Luettgen (University of York)

    PDF - 416.6 kb

    Luettgen.pdf



  • Distributed Esterel: A Direct Constructive Approach
    Peter Wullinger (University of Bamberg)

    PDF - 299 kb

    Wullinger.pdf



  • Esterel Studio Update
    Kim Sunesen (Esterel Technologies)

    PDF - 5 Mb

    Sunesen.pdf





If you have any further questions or comments, please send an email to Joaguin Aguado.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet