2002
Variations on the Semantics of Graphical Models for Reactive Systems",
C André, J.P Rigault
System Man and Cybernetics (SMC02), October, 2002, Hammamet (TN), in Proceedings (CD-ROM), IEEE Press, ISBN: 2-9512309-4-x, Index TA2L2. Get PDF

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems",
C André, M.A Peraldi-Frati, J.P Rigault
UML 2002, October, 2002, Dresden (D), in Proceedings, Springer-Verlag, pp 438-444. Get PDF

Synchronous programming: Properties in a Reaction.
C André, R De Simone
JESA 2002, Vol 36:(7) pp. 891-903. Get PDF

UML et le paradigme synchrone : Application à la conception de contrôleurs embarqués.
M-A Peraldi-Frati, C André, J-P Rigault
RTS 2002, 26-28 mars, 2002, Paris (F). Edition birp, pp 71-89. Get PDF

2001
A Programmation synchrone : propriétés dans l’instant.
C. André, R de Simone
Modélisation des systèmes réactifs (MSR’2001), 17-19 octobre, 2001, Toulouse (F), publié par Hermès Science Publications, pp 547-561. Get PDF

Architecture validation in object-oriented framework.
F.Mallet, F.Boéri
European Simulation Multiconference, juin 2001, Prague, République Tchèque.© 2001 pp 139-145. Get PDF

A Software Implementation of Synchronous Programs.
C. André, F Boulanger, A. Girault
in Proceedings of the Second International Conference on Application of Concurrency to System Design (ICACSD 2001), June 25-29, 2001, pp 133-142, Newcastle upon Tyne (UK),
Get PDF

A Synchronous Approach to Reactive System Design
C. André
12th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference, 14-16 May 2001, Nancy (France). Get HTML

Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach
C. André, M.A. Peraldi-Frati, J.-P. Rigault
4th IEEE Int. Symp on Object-Oriented Real-Time Distributing Computing, Magdeburg, May, 2-4 2001, pp 438_444. Get PDF

Validation d'architectures dans un environnement orienté objet.
F.Mallet, F.Boéri
Symposium en Architectures nouvelles de machines, avril 2001, Paris, pp.1-10. Premières rencontres des Sciences et Technologies de l'Information, Association Française des Sciences et Technologies de l'Information.. Get PDF

2000:
Plate-forme de conception de systèmes automatisés
C. André, M.A. Peraldi-Frati, D. Gaffé
TICE 2000, Troyes, 18-20 Octobre, 2000, pp 121_126. Get PDF

Checking UML dynamic diagrams: a synchronous approach
C. Andre, M.A. Peraldi-Frati, J.P. Rigault
UML 2000 Workshop: dynamic behaviour in UML models, York UK, October 2-3, 2000. Get PDF

Behavioral Specification of a circuit using SyncCharts : a case Study.
C. Andre, M.A. Peraldi-Frati
Euromicro 2000, Maastricht, the Netherlands, September 5-7, 2000. pp 91-98. Get PDF

Concurrent control system: from Grafcet to VHDL.
F. Mallet, D. Gaffé, F. Boéri
Euromicro 2000, Maastricht, the Netherlands, September 5-7, 2000. pp 230-234 Get PDF

Execution Machine for Synchronous Languages.
C. Andre, H. Boufaied
Integrated Design and Process Technology, IDPT-2000, Dallas, June 4-8, 2000. Get PS

SEP: simulation framework to evaluate rapid-prototyped hardware architectures.
F.Mallet, F.Boéri, J-F.Duboc
European Simulation Multiconference, mai 2000, Ghent, Belgique. pp.355-359 Get PDF

Modélisation synchrone appliquée à la sûreté de fonctionnement
Tanzi T., André C.
12éme Colloque National sur la sûreté de fonctionnement: Lambda Mu, Mars 2000, pp 69-77, Montpellier, France. Get PS

1999: