Home Page
Participants
Research and Integration
Dissemination
Embedded System Links
intranet
»
Dissemination
»
Workshops
»
Workshops and Seminars in 2007
»
Between Control and Software (in honor of Paul Caspi)
Dissemination
Workshops
Past Workshops
Schools and Seminars
International Collaboration
Publications
Contributions to Standards
Course Materials Available Online
ARTIST followup
EMSIG website
more info
Subscriptions
ARTIST Mailing List
Between Control and Software (in honor of Paul Caspi)
Overview
Slides
September 28th, 2007 VERIMAG - Grenoble, France
organised and funded by ARTIST
Slides
Nicolas Halbwachs
CNRS-VERIMAG
The Genesis of Lustre
Jacque Pulou
France Telecom R&D
Some Lesser-Known Contributions of Paul Caspi
Karl-Erik Arzen
Lund
How Hard is Control?
Daniel Pilaud
Polyspace Technologies
Transfer in the Embedded Market: Past, Present and Possible Trends
Alberto Sangiovanni-Vincentelli
UC Berkeley, Cadence and Parades
Distributed Control Systems and Industrial Impact
Albert Benveniste
INRIA/IRISA
On Quasi-Synchronous or Loosely-Time-Triggered Architectures
Edward Lee
UC Berkeley
Using the Principles of Synchronous Languages in Discrete-event and Continuous-time Models
Hermann Kopetz
Vienna
Time and Determinism
Oded Maler
CNRS-VERIMAG
From Control Loops to Software and from Lustre to Temporal Logic
Eugene Asarin
LIAFA
On the Theory of Timed Languages
Joseph Sifakis
CNRS-VERIMAG
The Algebra of Connectors — Structuring Interaction in BIP
Marc Pouzet
Orsay
On Combining Synchronous and Functional Programming
Paul Caspi
Verimag
Model-based Development for Embedded Control Systems
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009
Réalisation Axome
-
Création de sites Internet