Dissemination

ARTIST followup

September 28th, 2007 VERIMAG - Grenoble, France

organised and funded by ARTIST

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