Publications : 2003

2003
Towards a "Synchronous Reactive" UML subprofile ?,
R. De Simone, C. André

I3S Research Report N° RR200326 presented at SVERTS'03 Specification and Validation of UML models for Real Time and Embedded Systems, Octobre, 2003, San Francisco (US). Get PDF

Modélisation et vérification d'un système mécatronique par SyncCharts,
D. Gaffé

MSR'03 Modélisation des sstèmes réactifs, Hermès sciences Publications, pp 95--107 Octobre, 2003, Metz(F). Get PDF

Modélisation des systèmes réactifs par une approche graphique synchrone : SyncCharts,
C. André

I3S Research Report N° RR200325 presenté à l'Ecole d'été temps réel, 9-12 Septembre 2003, Toulouse (F). Get PDF

Computing SyncCharts Reactions,
C André

SLAP'03 (Synchronous Languages, Applications and Programming), July 1st, 2003, Porto (P). Get PDF

Semantics of SyncCharts,
C André

Report written for Esterel Technologies. Get PDF