Références

Thèses

1

T. P. Amagbegnon, Forme canonique arborescente des horloges de SIGNAL , thèse de doctorat, université de Rennes 1, novembre 1995.

2

G. Paller, RAFAEL: An Intelligent, Multi-Target Signal-Flow compiler, thèse de doctorat, Technical university of Budapest, septembre 1995.

Articles et chapitres de livre

3

A. Benveniste, B. C. Levy, E. Fabre, P. Le Guernic, ``A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems'', Theoretical Computer Science, à paraître.

4

F. Laroussinie, S. Pinchinat, P. Schnoebelen, ``Translation Results for Modal Logics of Reactive Systems'', Theoretical Computer Science 40, 1, mars 1995.

Communications à des congrès, colloques, etc.

5

T. P. Amagbegnon, L. Besnard, P. Le Guernic, ``Implementation of the Data-flow Synchronous Language SIGNAL '', in: Programming Languages Design and Implementation, ACM, p. 163--173, 1995.

6

P. Asar (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, T. Bouguerba, C. Carrière, G. Durrieu, T. Gautier, M. Israël, P. Le Guernic, M. Lemaître, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O. Sentieys), ``Framework and Multi-Formalism: the ASAR Project'', in: Electronic Design Automation Frameworks Volume 4, F. Ramming, F. Wagner (réd.), Chapman & Hall, p. 81--90, 1995.

7

P. Aubry, T. Gautier, ``GC: the Data-Flow Graph Format of Synchronous Programming'', in: Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), ACM Sigplan Notices, 30, 3, p. 83--93, mars 1995.

8

P. Aubry, P. Le Guernic, S. Machard, ``Distribution synchrone de programmes SIGNAL'', in: Actes des 2 Journées des Jeunes Chercheurs en Systèmes répartis, octobre 1995.

9

P. Aubry, P. Le Guernic, S. Machard, ``Synchronous distributions of SIGNAL programs'', in: Proceedings of the 27 Hawaii International Conference on System Sciences (HICSS'29), Computer Society Press of the IEEE, janvier 1996. to appear.

10

D. Chauveau, A. Benveniste, B. C. Levy, P. Le Guernic, ``Simulation et estimation de systèmes stochastiques'', in: Cinquième atelier d'évaluation de performances, Biviers, février 1995. Imag.

11

S. Donikian, E. Rutten, ``Reactivity, concurrency, data flow and hierarchical preemption for behavioral animation'', in: Proceedings of the 5th Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, the Netherlands, Springer-Verlag, septembre 1995. Lecture Notes in Computer Science, à paraître.

12

J. Echagüe, Z. Habbas, S. Pinchinat, ``Structural Operational Semantics for True Concurrency'', in: Proc. of the 15th International Conference of the Chilean Computer Science Society, SCCC'93, Arica, Chili, novembre 1995.

13

EP-ATR Project, ``SIGNAL : a formal design environment for real time systems'', in: Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, Å arhus, Denmark, Springer-Verlag, mai 1995. Lecture Notes in Computer Science 915.

14

E. Marchand, F. Chaumette, E. Rutten, ``Real time active visual reconstruction using the synchronous paradigm'', in: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, août 1995.

15

H. Marchand, E. Rutten, M. Samaan, ``Synchronous design of a transformer station controller in SIGNAL '', in: Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, septembre 1995.

16

G. Paller, C. Wolinski, ``SPRINGPLAY A New Class of Compile-Time Scheduling Algorithm for Heterogeneous Target Architectures'', in: Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, novembre 1995.

17

S. Pinchinat, E. Rutten, R. Shyamasundar, ``Preemption primitives in reactive languages (a preliminary report)'', in: Proceedings of the Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, Springer-Verlag, décembre 1995. Lecture Notes in Computer Science, à paraître.

18

E. Rutten, P. Le Guernic, ``Sequencing and preempting data flow tasks'', in: Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, novembre 1995.

19

E. Rutten, F. Martinez, ``SIGNAL GT : implementing task preemption and time intervals in the synchronous data flow language SIGNAL '', in: Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, (IEEE Publ.), juin 1995.

Rapports de recherche et publications internes

20

P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten, ``The SIGNAL data flow methodology applied to a production cell'', Rapport de recherche n°2522, Inria, mars 1995, publication interne Irisa 917.

21

A. Benveniste, B. C. Levy, E. Fabre, P. Le Guernic, ``A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems'', Rapport de recherche n°2465, Inria, janvier 1995.

22

D. Chauveau, M. Bons, ``Simulation d'un circuit électro-domestique en SIGNAL '', publication interne n°971, Irisa, novembre 1995.

23

H. Marchand, E. Rutten, M. Samaan, ``Specifying and verifying a transformer station in SIGNAL and SIGNAL GTi'', Rapport de recherche n°2521, Inria, mars 1995, publication interne Irisa 916.

Divers

24

``Vers un Atelier d'accueil générique pour la synthèse architecturale (ASAR) bâti autour de Centaur'', octobre 1995, Appel d'offre du MESR, thème 2 CAO pour l'architecture, rapport final.

25

H. Marchand, M. Le Borgne, M. Samaan, ``Méthodes de vérification et de synthèse sur des systèmes dynamiques polynômiaux, appliquées au modèle physique d'un poste de transformation électrique'', 1995, contrat EDF, rapport d'avancement T0+18.

26

H. Marchand, E. Rutten, M. Samaan, ``Description, spécification et validation d'un automatisme de poste de transformation électrique'', 1995, contrat EDF, rapport d'avancement T0+12.