Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
Between Control and Software (in honor of Paul Caspi)
| 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) Artist2 Consortium, All Rights Reserved - 2006