@INPROCEEDINGS{belhadj93,
  AUTHOR =	 {Belhadj, M. and McConnell, R.  and {Le Guernic}, P.},
  TITLE =	 {A Framework for Macro- and Micro-Time to Model  VHDL Attributes},
  BOOKTITLE =	 {Proceedings of the European Design and Automation   Conference with EURO-VHDL '93, Hamburg, FRG},
  EDITOR =	 {Camposano, R.},
  YEAR =	 {1993},
  MONTH =	 septembre,
  PUBLISHER =	 {IEEE Computer Society Press},
  PAGES =	 {520--525}
}

@INPROCEEDINGS{belhadj93b,
  AUTHOR =	 {Belhadj, M. and Kerihuel, A. and McConnell, R.},
  TITLE =	 {Une comparaison des approches pour la conception des circuits synchrones et asynchrones},
  BOOKTITLE =	 {Journées des jeunes chercheurs en architecture de machines},
  YEAR =	 {1993},
  MONTH =	 decembre,
  ADRESS = {Rennes},
  CONFNAT = true
}


@ARTICLE{benveniste90,
  AUTHOR = {Benveniste, A. and {Le Guernic}, P.},
  JOURNAL = {IEEE Trans. Automat. Control},
  MONTH = mai,
  PAGES = {535-546},
  TITLE = {Hybrid Dynamical Systems and the Signal Programming Language},
  VOLUME = {35},
  YEAR = {1990}
}

@Book{samson91,
  author = 	 {Samson, C. and {Le Borgne}, M. and Espiau, B.},
  title = 	 {Robot Control. The Task Function Approach},
  publisher = 	 {{Oxford engineering science series, 22,  Clarendon Press}},
  year = 	 {1991},
  series = 	 {22},
  address = 	 {Oxford},
}

@ARTICLE{benveniste91e,
  AUTHOR = {Benveniste, A. and {Le Guernic}, P. and Jacquemot, C.},
  JOURNAL = {Science of Computer Programming},
  MONTH = septembre,
  PAGES = {103-149},
  TITLE = {Synchronous programming with events and relations: the SIGNAL language and its semantics},
  VOLUME = {16},
  NUMBER = {2},
  YEAR = {1991}
}

@ARTICLE{benveniste91a,
  AUTHOR = {Benveniste, A. and Berry, G.},
  MONTH = septembre,
  JOURNAL = {Proc. of the IEEE},
  VOLUME = {79},
  NUMBER = {9},
  TITLE = {Real-time systems designs and programming},
  YEAR = {1991},
  PAGES = {1270-1282}
}

@TECHREPORT{benveniste91d,
  AUTHOR = {Benveniste, A. and Berry, G.},
  INSTITUTION  = {Irisa},
  MONTH  = avril,
  NUMBER = {581},
  TITLE  = {The Synchronous Approach to Reactive and Real-Time Systems},
  YEAR= {1991}
}

@ARTICLE{benveniste91b,
  AUTHOR = {Benveniste, A.  and Levy, B.C. and Fabre, E.  and {Le Guernic}, P.},
  JOURNAL= {Theoretical Computer Science},
  MONTH  = decembre,
  NUMBER = {2},
  PAGES  = {171-217},
  TITLE  = {A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems},
  VOLUME = {152},
  YEAR= {1991}
}

@TECHREPORT{benveniste91c,
  AUTHOR = {Benveniste, A.},
  INSTITUTION  = {Inria},
  MONTH  = octobre,
  NUMBER = {1532},
  TITLE  = {Constructive Probability and the Signalea : language: building and handling random processes via programming},
  YEAR= {1991}
}

@ARTICLE{benveniste92a,
 AUTHOR  = {Benveniste, A. and {Le Guernic}, P. and Sorel, Y. and Sorine, M.},
 BOOKTITLE  = {Information and Computation},
 MONTH   = aout,
 NUMBER   = {2},
 PAGES    = {192-230},
 TITLE  = {A Denotational Theory of Synchronous Reactive Systems},
 VOLUME  = {99},
 YEAR  = {1992},
 THEME  = {semantics},
 URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/IC-92:sem.ps.gz}
  ABSTRACT = { 

<br>

<b> Keywords: </b>

        
}
}

@INPROCEEDINGS{benveniste92b,
  AUTHOR = {Benveniste, A. and {Le Borgne}, M. and {Le Guernic},  P.},
  TITLE = {SIGNAL as a model for real-time and hybrid systems},
  BOOKTITLE = {Proceedings of European Symposium on Programming  (ESOP '92)},
  EDITOR = {Krieg-Brueckner, B. },
  YEAR = {1992},
  MONTH = fevrier,
  PUBLISHER = {LNCS 582. Springer},
  PAGES = {20-38}
}

@TECHREPORT{benveniste92c,
  AUTHOR = 	 {Benveniste, A. and {Le Borgne}, M. and {Le Guernic}. P.},
  TITLE = 	 {Signal as a model for Real-Time and Hybrid Systems},
  INSTITUTION =  {irisa},
  YEAR = 	 {1992},
  NUMBER = 	 {624},
  MONTH = janvier
}

@INPROCEEDINGS{benveniste92d,
  AUTHOR = {Benveniste, A.},
  TITLE = {Constructive Probability and the Signalea language : building and handling random process via programming},
  BOOKTITLE = {Workshop on theory of Hybrid Systems},
  YEAR = {1992},
  MONTH = octobre,
  ADRESS = {Lyngby, Danemark}
}

@TECHREPORT{benveniste93a,
  AUTHOR = {Benveniste, A.  and  Caspi, P. and {Le Guernic}, P. and  Halbwachs, N.},
  INSTITUTION  = {Irisa / Inria-Rennes},
  MONTH  = octobre,
  NUMBER = {2089},
  TITLE  = {Data-flow Synchronous Languages},
  YEAR= {1993},
  THEME = {dataflow,sem,generale},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/research_reports/2089-93:dataflow_sem.ps.gz}
  ABSTRACT = { In  this paper, we present a  theory of synchronous data-flow
languages.  Our  theory  is  supported  by  both  some  heuristic  analysis  of
applications and some theoretical  investigation of the data-flow paradigm. Our
model  covers  both  behavioural  and  operational  aspects,  and  allows  both
synchronous   and  asynchronous  styles   of  implementation   for  synchronous
programs. This  model served as a basis  to establish the GC  common format for
synchronous data-flow languages.

<br>

<b> Keywords: </b> data-flow, concurrency,reactive,real-time, synchrony vs. asynchrony

        
}
}

@INPROCEEDINGS{benveniste93b,
  AUTHOR = {Benveniste, A.  and  Caspi, P. and {Le Guernic}, P. and  Halbwachs, N.},
  TITLE = {Data-flow Synchronous Languages},
  BOOKTITLE = {Proc of the 1993 REX symposium: Ten decades of concurrency, a perspective},
  PUBLISHER = {LNCS  Springer},
  YEAR = {1993}
}


@INPROCEEDINGS{benveniste93c,
  AUTHOR = {Benveniste, A. and {Le Borgne}, M. and {Le Guernic}, P.},
  TITLE = {Hybrid Systems : the Signal Approach},
  BOOKTITLE = {Hybrid Systems},
  PUBLISHER = {LNCS 736 Springer},
  YEAR = {1993},
  PAGE = {230-254}
}

@PHDTHESIS{besnard92,
  AUTHOR =	 {Besnard, L.},
  MONTH =	 septembre,
  SCHOOL =	 {Université de Rennes I, IFSIC},
  TITLE =	 {Compilation de Signal: horloges, dépendances, environnements},
  YEAR =	 {1992}
}

@TECHREPORT{bournai91,
  AUTHOR = {Bournai, P.  and Chéron, B. and Gautier, T.  and  Houssais, B. and {Le Guernic}, P.},
  INSTITUTION  = {Irisa},
  MONTH  = fevrier,
  NUMBER = {575},
  TITLE  = {Manuel SIGNAL},
  YEAR= {1991}
}


@TECHREPORT{bournai93a,
  AUTHOR = {Bournai, P.  and Chéron, B. and Gautier, T.  and  Houssais, B. and {Le Guernic}, P.},
  INSTITUTION  = {Irisa / Inria-Rennes},
  MONTH  = septembre,
  NUMBER = {1969},
  TITLE  = {SIGNAL manual},
  YEAR= {1993},
  THEME = {manual},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/research_reports/1969-93:manual.ps.gz}
  ABSTRACT = {   SIGNAL  is   a  language  designed  for  the  synchronous
programming of  real time  systems (signal processing,  control-command...).  A
SIGNAL  program  specifies an  automaton  via  a  system of  dynamic  equations
involving "signals". Such systems  of equations can be organized hierarchically
in modules. A "signal" is a sequence of data which has a clock associated with;
this clock defines the instants when  this signal is available. Clocks need not
to be  related via  fixed sampling  rates, but can  rather have  sampling rates
which depend on local data or external events (interruptions). This report is a
manual for the SIGNAL language; it presents the syntax of the H2 version of the
language and introduces  its semantics. Examples are given  and in the appendix
A, a complete sample session using the SIGNAL compiler is provided.

<br>

<b> Keywords: </b> Signal, real-time language, sintax, reference manual.

        
}
}

@TECHREPORT{bournai93b,
  AUTHOR = {Bournai, P. and {Le Guernic}, P.},
  INSTITUTION  = {Irisa / Inria-Rennes},
  MONTH  = septembre,
  NUMBER = {2040},
  TITLE  = {Un environnement graphique pour le langage SIGNAL},
  YEAR= {1993},
  THEME = {graphic},
  URL = {ftp://ftp.irisa.fr/techreports/1993/PI-741.ps.gz}
  ABSTRACT = { Ce  rapport  présente  un  environnement  de  programmation
polymorphe  pour  la conception  d'applications  temps  réel  décrites dans  le
langage  SIGNAL. Cet  environnement offre  à l'utilisateur  des représentations
graphiques et textuelles des structures du langage. Ces représentations peuvent
être  conjointement  utilisées lors  de  la  construction  ou la  "lecture"  du
programme,   l'utilisateur   dispose  de   formes   adaptables   à  un   niveau
d'observation. Une expression SIGNAL peut  être considérée comme un ensemble de
composants (représentés par  des rectangles) munis de points  de connexion (les
ports représentés  par des triangles) joints  par des liens  (suite de segments
connexes). La même  expression SIGNAL est également un  système d'équations sur
suites de valeurs représenté par un  terme construit à l'aide des opérateurs du
langage (définition  de variable, composition, changement de  nom...). Ces deux
formes dénotent  en fait  un même objet,  représenté plus abstraitement  par un
arbre que l'on munit d'attributs géométriques. Le langage SIGNAL étant présenté
par ailleurs, on se propose de développer les différents aspects de l'interface
d'édition conçue en accord avec sa sémantique.

<br>

<b> Keywords: </b> interface graphique orientée "bloc-diagramme", édition graphico-textuelle, routage automatique, gestion d'arbres.

        
}
}

@PHDTHESIS{cheron91,
  AUTHOR =	 {Chéron, B. },
  MONTH =	 septembre,
  SCHOOL =	 {Université de Rennes I, IFSIC},
  TITLE =	 {Transformations syntaxiques de Programmes  Signal},
  YEAR =	 {1991}
}


@TECHREPORT{delyon91a,
  AUTHOR = {Delyon, B. and Maler, O.},
  INSTITUTION  = {Irisa},
  MONTH  = novembre,
  NUMBER = {615},
  TITLE  = {On Fault-Tolerant Symbolic Computations},
  YEAR= {1991}
}

@INPROCEEDINGS{dutertre93a,
  AUTHOR = {Dutertre, B. and {Le Borgne}, M. and Benveniste, A. and {Le Guernic}, P.},
  TITLE = {Discrete Event Systems and Synchronous Languages: an example},
  BOOKTITLE = {Proc of the IFAC 1993 World Congress},
  YEAR =   {1993}
}


@INPROCEEDINGS{delyon91b,
  AUTHOR = 	{Delyon, B. and Maler, O.},
  TITLE = 	 {On Fault-Tolerant Symbolic Computations},
  BOOKTITLE = 	 {Formal Techniques in Real-Time and Fault-Tolerant Systems},
  YEAR = 	 {1991},
  PUBLISHER = {LNCS 571, Springer}
}

@TECHREPORT{dutertre91,
  AUTHOR =	 {Dutertre, B. and {Le Guernic}, P.},
  INSTITUTION =	 {Inria},
  MONTH =	 mai,
  NUMBER =	 {1437},
  TITLE =	 {Description et simulation d'un système de  passage niveau en SIGNAL},
  YEAR =	 {1991}
}



@PHDTHESIS{dutertre92a,
  AUTHOR =	 {Dutertre, B. },
  MONTH =	 decembre,
  SCHOOL =	 {Université de Rennes I, IFSIC},
  TITLE =	 {Spécification et preuve de systèmes dynamiques},
  YEAR =	 {1992},
  THEME = {sdp and  Verif and  Cont_Synth}
}

@INPROCEEDINGS{dutertre92b,
  AUTHOR = {Dutertre, B. and {Le Borgne}, M. and {Le Guernic}, P.},
  TITLE = {The Cat and Mouse in the synchronous paradigm},
  BOOKTITLE = {Joint Worshop on Discrete Event Systems (WODES'92)},
  PAGES = {117-120},
  YEAR =  {1992},
  MONTH =  aout,
  THEME = {sdp and  Cont_Synth}
}

@TECHREPORT{gautier92,
  AUTHOR = 	 {Gautier, T. and {Le Guernic}. P.},
  TITLE = 	 {Signal V4: Manuel de Référence},
  INSTITUTION =  {Irisa},
  YEAR = 	 {1992},
}



@INPROCEEDINGS{leborgne91a,
  AUTHOR = {{Le Borgne}, M. and Benveniste, A. and {Le Guernic}, P.},
  BOOKTITLE = {Algebraic Computing in control},
  MONTH = mars,
  ORGANIZATION = {Lecture Notes in Control and Information Sciences},
  PAGES = {212-222},
  PUBLISHER = {G. Jacob et F. Lamnabhi-lagarrigue},
  TITLE = {Polynomial dynamical systems over finite fields},
  VOLUME = {165},
  YEAR = {1991},
  THEME = {sdp}
}

@INPROCEEDINGS{leborgne92a,
  AUTHOR = {{Le Borgne}, M. and Dutertre, B.  and Benveniste, A.  and {Le Guernic}, P. },
  BOOKTITLE = {Proc. of the 30th IEEE conference on Decision and  Control},
  PAGES = {1505-1510},
  TITLE = {Dynamical systems over Galois fields and DEDS     Control Problems},
  YEAR = {1992},
  THEME = {sdp and Cont_Synth}
}

@INPROCEEDINGS{leborgne93a,
  AUTHOR = {{Le Borgne}, M.},
  ADDRESS= {Spa, Belgium},
  BOOKTITLE = {Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems},
  MONTH  = juin,
  TITLE  = {Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language},
  YEAR = {1993},
  THEME = {sdp},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/BFNSSDES-93:verif.ps.gz}
  ABSTRACT = { 

<br>

<b> Keywords: </b>
        
}
}

@PHDTHESIS{leborgne93b,
  AUTHOR =	 {{Le Borgne}, M.},
  MONTH =	 septembre,
  SCHOOL =	 {Université de Rennes I, IFSIC},
  TITLE =	 {Systèmes dynamiques sur des corps finis},
  YEAR =	 {1993},
  THEME = {sdp and  Verif and  Cont_Synth}
}

@INPROCEEDINGS{leborgne93c,
  AUTHOR = {{Le Borgne}, M. and Dutertre, B. and Benveniste, A. and {Le Guernic}, P.},
  BOOKTITLE = {Proc. of the Second European Control Conference (ECC93)},
  MONTH  = juin,
  TITLE  = {Dynamical Systems over Galois Fields},
  YEAR = {1993}
}

@PHDTHESIS{legoff92,
  AUTHOR =	 {{Le Goff}, B.},
  SCHOOL =	 {Université de Rennes I, IFSIC},
  TITLE =	 {Inférence de contrôle hiérarchique : application au temps réel},
  YEAR =	 {1989}
}

@ARTICLE{leguernic91a,
  AUTHOR = {{Le Guernic}, P. and Gautier, T. and {Le Borgne}, M. and {Le Maire}, C.},
  JOURNAL = {Proceedings of the IEEE},
  MONTH  = septembre,
  NUMBER = {9},
  PAGES  = {1321-1336},
  TITLE  = {Programming Real-Time Applications with Signal},
  VOLUME = {79},
  YEAR= {1991},
  THEME  = {gen_lang},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/ProcIEEE-91:gen_lang.ps.gz}
  ABSTRACT = { 

<br>

<b> Keywords: </b>
        
}
}

@TECHREPORT{leguernic91,
  AUTHOR = {{Le Guernic}, P. and Gautier, T. and {Le Borgne}, M. and {Le Maire}, C.},
  INSTITUTION  = {Irisa},
  MONTH  = avril,
  NUMBER = {582},
  TITLE  = {Programming Real-Time Applications with Signal},
  YEAR= {1991}
}

@ARTICLE{leguernic91b,
  AUTHOR = {{Le Guernic}, P. and Chéron, B. and Gautier, T. and {Le Maire}, C.},
  JOURNAL= {Annales des Télécommunications},
  NUMBER = {1-2},
  PAGES  = {13-24},
  MONTH  = janvier,
  TITLE  = {Développer en langage Signal},
  VOLUME = {46},
  YEAR= {1991},
  THEME  = {gen_array and appli},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/AT-91:gen_array_appli.ps.gz}
  ABSTRACT = { 
Cet article présente le langage temps-réel synchrone Signal, basé sur une notion de temps vue comme une chronologie. Il permet d'une part la programmation d'algorithmes de traitement du signal et d'autre part la description d'architecture. Un calcul formel permet des vérifications de synchronisation et des transformations du programme initial en vue de sa simulation sur une architecture multiprocesseur. La présentation est illustrée par la description d'un environnement pour le traitement de la parole programmé en Signal. 
<br>

<b> Keywords: </b>
        
}
}

@INCOLLECTION{leguernic91c,
  AUTHOR = {{Le Guernic}, P. and Gautier, T.},
  BOOKTITLE = {Advanced Topics in Data-Flow Computing},
  EDITOR = {Gaudiot, J.L.  and Bic, L.},
  PAGES  = {413-438},
  TITLE  = {Data-Flow to von Neumann: the Signal approach},
  YEAR = {1991},
  THEME  = {semantics and  distribution},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/ATDFC-91:sem_distr.ps.gz}
  ABSTRACT = { 

<br>

<b> Keywords: </b>
        
}
}

@INPROCEEDINGS{leguernic91d,
  AUTHOR = {{Le Guernic}, P.},
  BOOKTITLE = {Proceedings of the French-Israel Workshop on formal verification for hardware and software},
  TITLE  = {Specification and verification of parallel systems},
  YEAR = {1991}
}

@INPROCEEDINGS{leguernic91f,
  AUTHOR = {{Le Guernic}, P. and Gautier, T.},
  BOOKTITLE = {Proceedings of the first European Control Conference},
  TITLE  = {Programming real time applications with SIGNAL},
  YEAR = {1991},
  PAGES = {1666 -1671},
  EDITOR = {Commault, C.},
}

@INPROCEEDINGS{gautier91a,
  AUTHOR = {Gautier, T. and {Le Guernic}, P.},
  TITLE  = {L'environnement de programmation SIGNAL},
  BOOKTITLE = {Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop},
  CONFNAT = true,
  ADRESS = {Rennes},
  MONTH = avril,
  PAGES = {168 -175},
  YEAR = {1991}
}

@INPROCEEDINGS{leguernic92a,
  AUTHOR = {{Le Guernic}, P.},
  TITLE  = {The Signal Environment},
  BOOKTITLE = {Algorithms and Parallel VLSI Architectures II},
  PUBLISHER = {{Elsevier Science Publisher B.V.}},
  YEAR = {1992},
  PAGES = {347-358}
}


@TECHREPORT{maffeis92,
  AUTHOR = 	 {Maffeis, O. and Cheron, B. and {Le Guernic}, P.},
  TITLE = 	 {Transformations du graphe des programmes Signal},
  INSTITUTION =  {Irisa},
  YEAR = 	 {1992},
  NUMBER = 	 {619},
  MONTH = novembre
}

@PHDTHESIS{maffeis93,
  AUTHOR =	 {Maffeïs, O.},
  MONTH =	 janvier,
  SCHOOL =	 {Université de Rennes I, IFSIC},
  TITLE =	 {Ordonnancements de graphes de flots synchrones ;
application à la mise en oeuvre de SIGNAL},
  YEAR =	 {1993}
}

@INPROCEEDINGS{maffeis93b,
  AUTHOR = 	 {Maffeïs, O and {Le Guernic}, P.},
  TITLE = 	 {Combining Dependability with Architectural Adaptability by means of the Signal Language},
  BOOKTITLE = 	 {3rd Int. Workshop on Static Analysis, Volume 724 of LNCS},
  PAGES = 	 {99-110},
  YEAR = 	 {1993}
}

@INPROCEEDINGS{maffeis93c,
  AUTHOR = 	 {Maffeïs, O and {Le Guernic}, P.},
  TITLE = 	{Graphes dynamiques : Ordonnancement statique maximal qualitatif},
  BOOKTITLE = {Outils d'aide à la conception et à la programmation d'architectures dédiées au traitemnt du signal et de l'image, actes de conférences Adéquation Algortihmes Architectures},
  ADRESS =	{Enssat, Lannion},
  YEAR = {1992},
  PAGES = {97-111},
  CONFNAT = true
}



@INPROCEEDINGS{maler90}
  AUTHOR =  {Maler, O.  and  Pnueli, A. },
  TITLE  = {Tight Bounds on the Complexity of Cascaded Decomposition of Automata},
  BOOKTITLE = 	{Proc. 31st Annual Symposium on Foundations of Computer Science},
  PUBLISHER = {{vol. I, IEEE Computer Society Press}},
  YEAR = {1990},
  PAGES = {672-682}
}



@INPROCEEDINGS{maler91a}
  AUTHOR =  {Maler, O.  and  Pnueli, A. },
  TITLE  = {On the Learnability of Infinitary Regular Sets},
  BOOKTITLE = {4th Annual Workshop on Computational Learning Theory},
  PUBLISHER = {{Morgan Kaufmann Publishers}},
  EDITOR = {Valiant, L.G. and Warmuth, M.K.},
  YEAR = {1991},
  PAGES = {128-136}
}

@INPROCEEDINGS{maler91b}
  AUTHOR =  {Maler, O. and Arnaldi, B. and Dumont, G.},
  TITLE  =  {Simulation Experiments with an Artificial Worm},
  BOOKTITLE = {Proc. 2nd Eurographics Workshop on Animation and Simulation},
  YEAR = {1991},
  PAGES = {215-221}
}


@INPROCEEDINGS{maler92}
  AUTHOR =  {Maler, O. and Manna, Z. and  Pnueli, A. },
  TITLE  = {From Timed to Hybrid Systems},
  BOOKTITLE = 	 {Real-Time: Theory in Practice},
  EDITOR = { {de Bakker}, {J.W.} and   Huizing, C. and   {de Roever}, {W.P.} and  Rozenberg, G.},
  PUBLISHER = {LNCS 600, Springer-Verlag},
  YEAR = {1992},
  PAGES = {47--484}
}

@TECHREPORT{maler92b,
  AUTHOR = 	 {Maler, O. and Manna, Z. and  Pnueli, A. },
  TITLE = 	 {From Timed to Hybrid Systems},
  INSTITUTION =  {Stanford University},
  YEAR = 	 {1992},
  NUMBER = 	 {STAN-CS-92-1407},
  MONTH = janvier
}

@TECHREPORT{marchand_e93,
  AUTHOR = {Marchand, E. and Chaumette, F. and Rutten, E.},
  INSTITUTION  = {Irisa},
  MONTH  = novembre,
  NUMBER = {775},
  TITLE  = {Stratégie perceptive d'un environnement statique dans un contexte de vision active},
  YEAR= {1993}
}


@MISC{paris93,
  AUTHOR = {Paris, {J-P.} and Berry, G. and  Mignard, F. and Couronné, P. and Caspi, P. and Halbwachs, N. and Sorel, Y. and Benveniste, A. and Gautier, T. and {Le Guernic}, P. and Dupont, F. and {Le Maire}, C. },
  BOOKTITLE  = {Rapport technique IRISA No 157},
  MONTH  = juin,
  NUMBER = {157},
  TITLE  = {Projet synchrone : les formats communs des langages synchrones},
  YEAR= {1993}
}

@TECHREPORT{rutten93,
  AUTHOR = {Rutten, E.  and {Le Guernic}, P.},
  INSTITUTION  = {Irisa / Inria-Rennes},
  MONTH  = novembre,
  NUMBER = {2120},
  TITLE  = {Sequencing data flow tasks in SIGNAL},
  YEAR= {1993},
  THEME = {task},
  URL  = {ftp://ftp.irisa.fr/local/signal/publis/research_reports/2120-93:task.ps.gz}
  ABSTRACT = { The SIGNAL language  is a real-time,  synchronized data-flow
language.  Its  model  of time  is  based  on  instants,  and its  actions  are
considered instantaneous. Various application domains such as signal processing
and  robotics  require the  possibility  of  specifying  behaviors composed  of
successions of different  modes of interaction with their  environment. To this
purpose, we  introduce the notion of time  interval, defined by a  start and an
end  event, and denoting  the series  of its  occurrences.  Associating  a time
interval  to a  data-flow process  specifies a  task i.e.,  a non-instantaneous
activity and  its execution interval.  Different ways of sequencing  such tasks
are  described. We  propose these  basic elements  at the  programming language
level, in the perspective of  extensions to SIGNAL. Application domains feature
the discrete  sequencing of  continuous, data-flow tasks,  as is the  case, for
example, of robotic tasks.

<br>

<b> Keywords: </b> Data-flow tasks, task sequencing, real-time, time intervals.
        
}
}


@INPROCEEDINGS{wolinski93,
  AUTHOR = 	 {Wolinski, C. and Cholet, T. and Derrien, D. and Guillou, {J.-P.} and Leali, P. and Riboult, A.},
  TITLE = 	 {Architecture for Signal programs execution},
  BOOKTITLE = 	 {Nordic Transputer Conference, NTUG'93},
  PAGES = 	 {99-110},
  YEAR = 	 {1993},
  ADDRESS = {Copenhague, Danemark}
}

@TECHREPORT{wolinski93b,
  AUTHOR = {Wolinski, C. and Cholet, T. and Derrien, D. and Guillou, {J.-P.} and Leali, P. and Riboult, A.},
  INSTITUTION  = {Irisa},
  MONTH  = fevrier,
  NUMBER = {704},
  TITLE  = {Une architecture pour l'exécution d'applications SIGNAL},
  YEAR= {1993}
}

@TECHREPORT{wolinski93c,
  AUTHOR = {Wolinski, C. and Belhadj, M.},
  INSTITUTION  = {Irisa},
  MONTH  = juillet,
  NUMBER = {746},
  TITLE  = {Vers la synthèse automatique de programmes SIGNAL},
  YEAR= {1993}
}


@PHDTHESIS{lemaire90a,
  AUTHOR = 	 {{Le Maire}, C.},
  TITLE = 	 {Environnement de Programmation Synchrone en Reconnaissance de la Parole},
  SCHOOL = 	 {université de Rennes1},
  YEAR = 	 {1990},
  MONTH = 	 decembre
}


@TECHREPORT{amabegnon94,
 AUTHOR   = {Amagbegnon, T.  and Besnard, L.  and {Le Guernic}, P. },
 INSTITUTION = {Inria},
 MONTH= juin,
 NUMBER  = {2290},
 TITLE= {Arborescent Canonical Form of Boolean Expressions},
 YEAR = {1994},
 URL  = {ftp://ftp.inria.fr/INRIA/publication/RR/RR-2290.ps.gz}
  ABSTRACT = { 
Signal is a synchronous language designed to program real-time systems. Because of its equational style, its compilation
requires the statical resolution of a system of boolean equations ; the variables being clocks.This report discusses the
arborescent representation of Signal clocks. We introduce a BDDs-based data structure called hierarchy. Through the
factorization of boolean functions, we show that hierarchies are a canonical form of clocks. We also show that this canonical
form optimizes the sequential code generated from a Signal program. We finally link hierarchies to the well known ordering
problem of BDDs. 

<br>

<b> Keywords: </b>
        
}
}

@INPROCEEDINGS{asar94a,
 AUTHOR= {Asar ,  Proj. and Aubry, (P.  and  Auguin, M.  and  Belhadj, M. and  Benzakki, J. and  Bouguerba,  and T. Carrière, C.  and   Durrieu, G.  and  Gautier, T.  and Israël, M. and  {Le Guernic}, P.  and  Lemaitre,  M.  and Martin, E. and  Quinton, P. and  Rideau, L. and   Rousseau, F. and  Sentieys), O. )},
 ADDRESS= {Grenoble},
 BOOKTITLE= {Proceedings of the Third International Workshop on Hardware/Software Codesign},
 MONTH= septembre,
 PAGES= {25-32},
 PUBLISHER= {IEEE Computer Society Press},
 TITLE= {Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project},
 YEAR= {1994},
 DATE= {22-24},
 THEME= {archi,format},
 URL= {ftp://ftp.irisa.fr/local/signal/publis/articles/CodesCash-94:archi_format.ps.gz}
  ABSTRACT = { 

<br>

<b> Keywords: </b>
        
}
}

@INPROCEEDINGS{asar94b,
 AUTHOR = {Asar,  Proj. and Aubry, (P.  and  Auguin, M.  and  Belhadj, M. and  Benzakki, J. and  Bouguerba,  and T. Carrière, C.  and   Durrieu, G.  and  Gautier, T.  and Israël, M. and  {Le Guernic}, P.  and  Lemaitre,  M.  and Martin, E. and  Quinton, P. and  Rideau, L. and   Rousseau, F. and  Sentieys), O. )},
 ADDRESS  = {Gramado (Brésil)},
 BOOKTITLE = {Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks},
 MONTH= novembre,
 TITLE= {Framework and Multi-Formalism: the ASAR Project},
 YEAR = {1994},
 DATE = {28-30}
}

@TECHREPORT{dutertre94a,
 AUTHOR = {Dutertre, B.  and {Le Borgne}, M.},
 INSTITUTION = {Inria},
 MONTH= janvier,
 NUMBER = {2193},
 TITLE= {Control of Polynomial Dynamic Systems: an Example},
 YEAR = {1994},
 URL  = {ftp://ftp.inria.fr/INRIA/publication/RR/RR-2193.ps.gz}
  ABSTRACT = { 
This paper presents the application of algebraic techniques to the control of a discrete event system. The system is
described using Signal , a data-flow language. An equational model is then elaborated. Control objectives are expressed as
invariance and reachability properties of the model. Control equations are synthesized using algebraic tools: ideals,
varieties and principal generators. 


<br>

<b> Keywords: Discrete Event Systems, Control Polynomial Methods</b>
        
},
 THEME = {sdp and Cont_Synth}
}

@INPROCEEDINGS{belhadj94a,
 AUTHOR  = {Belhadj, M.},
 ADDRESS  = {Tempe, Arizona (USA)},
 BOOKTITLE = {International Conference on Simulation and Hardware Description Languages, Western Simulation Multi-Conference},
 PAGES= {76-81},
 PUBLISHER  = {Society for Computer Simulation},
 TITLE= {VHDL & SIGNAL: A Cooperative Approach},
 YEAR = {1994},
 THEME = {archi},
}

@PHDTHESIS{belhadj94b,
 AUTHOR  = {Belhadj, M.},
 MONTH= decembre,
 SCHOOL = {Université de Rennes I, IFSIC},
 TITLE= {Conception d'architectures en utilisant Signal et VHDL},
 YEAR = {1994},
 URL = {ftp://ftp.irisa.fr/local/signal/publis/theses/belhadj.ps.gz}
  ABSTRACT = { 

Ce document présente une approche pour la conception de circuits, se basant sur le langage flot de données synchrone
SIGNAL et le langage de description de matériel VHDL. Deux aspects sont importants pour la conception d'architectures :
la synthèse et la vérification formelle. La synthèse permet d'obtenir à partir d'une description abstraite une architecture
matérielle par des transformations automatiques. La vérification formelle, quant à elle, permet d'établir qu'une abstraction
et une mise en oeuvre sont conformes via-à-vis d'un certain critère. Une partie est consacrée à la synthèse de circuits à
partir de SIGNAL, et ceci en s'appyant sur une traduction vers VHDL qui dispose de nombreux outils de synthèse. Une
méthode pour la synthèse de circuits globalement asynchrones localement synchrones est définie. Ce type d'architecture
permet d'allier les avantages des circuits synchrones et des circuits asynchrones. Dans la deuxième partie consacrée à la
vérification formelle, une définition d'un sous-ensemble VHDL en SIGNAL est donnée en prélude à la vérification des
programmes VHDL dans l'environnement SIGNAL. Un sous-ensemble synchrone de VHDL est utilisé pour la vérification
formelle à l'aide de l'outil de preuve associé à SIGNAL. 

<br>

<b> Keywords: </b>
        
}
}

@INPROCEEDINGS{belhadj94c,
 AUTHOR= {Belhadj, M. },
 ADDRESS= {Nimes},
 BOOKTITLE= {North Atlantic Test Workshop NATW'94},
 TITLE= {Using VHDL for Link to Synthesis Tools},
 YEAR = {1994},
 THEME= {archi},
 URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/NATW-94:archi-2.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>
        
}
}

@TECHREPORT{benveniste94a,
 AUTHOR   = {Benveniste, A.  and {Levy}, B.C.  and  {Fabre}, E.  and {Le Guernic}, P. },
 INSTITUTION = {Irisa},
 MONTH= july,
 NUMBER   = {837},
 TITLE= {A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems},
 YEAR = {1994},
 URL = {ftp://ftp.irisa.fr/techreports/1994/PI-837.ps.gz}
  ABSTRACT = { In this paper, we consider hybrid systems containing both stochastic and deterministic components. To compose such
systems, we introduce a general combinator which allows the specification of an arbitrary hybrid system in terms of
elementary components of only two types. Thus, systems are obtained hierarchically, by composing subsystems, where each
subsystem can be viewed as an ``increment'' in the decomposition of the full system. The resulting hybrid stochastic system
specifications are generally not ``executable'', since they do not necessarily permit the incremental simulation of the
system variables. Such a simulation requires compiling the dependency relations existing between the system variables.
Another issue involves finding the most likely internal states of a stochastic system from a set of observations. We provide
a small set of primitives for transforming hybrid systems, which allows the solution of the two problems of incremental
simulation and estimation of stochastic systems within a common framework. The complete model is called CSS ( a Calculus
of Stochastic Systems), and is implemented by the Sig language, derived from the Signal synchronous language. Our results
are applicable to pattern recognition problems formulated in terms of Markov random fields or hidden Markov models
(HMMs), and to the automatic generation of diagnostic systems for industrial plants starting from their risk analysis.
<br>

<b> Keywords: </b>
        
}
}

@ARTICLE{benveniste94b,
  AUTHOR = {Benveniste, A.},
  TITLE = {Synchronous Languages Provide Safety in Reactive  Systems Design},
  JOURNAL = {Control Engineering},
  YEAR = {1994},
  PAGES = {87--89},
  MONTH = septembre
}

@INPROCEEDINGS{benveniste94c,
 AUTHOR  = {Benveniste, A.  and Gautier, T.  and {Le Guernic}, P.  and Berry, G.  and Mignard, F.  and Caspi, P.  and Halbwachs, N.  and Couronné, P. and  Dupont, F.  and  {Le Maire}, C.  and  {Paris}, J.P.  and  {Sorel}, Y.},
 BOOKTITLE = {RTS'94},
 PAGES= {105-122},
 PUBLISHER   = {Teknea},
 TITLE= {Synchronous technology for real-time systems},
 YEAR = {1994},
 THEME  = {gen},
 URL  = {ftp://ftp.irisa.fr/local/signal/publis/articles/RTS-94:gen.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>
        
}
}

@INPROCEEDINGS{benveniste94d,
 AUTHOR      = {Benveniste, A.  and {Levy}, B.C.  and  {Fabre}, E.  and {Le Guernic}, P. },
 BOOKTITLE   = {3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
 MONTH= septembre,
 NOTE = {Lecture Notes in Computer Science 863},
 PAGES= {149-169},
 PUBLISHER   = {Springer-Verlag},
 TITLE= {A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems},
 YEAR = {1994}
}


@TECHREPORT{bournai94a,
 AUTHOR  = {Bournai, P.  and Lavarenne, C.  and {Le Guernic}, P.  and Maffeis, O.  and Sorel, Y.},
 INSTITUTION = {Inria},
 MONTH = mars,
 NUMBER = {2206},
 TITLE = {Interface SIGNAL-SynDEx},
 YEAR = {1994},
 URL  = {ftp://ftp.inria.fr/INRIA/publication/RR/RR-2206.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>

        
}
}

@TECHREPORT{e_marchand94a,
 AUTHOR  = {Marchand, E.  and {Rutten}, E.  and {Chaumette}, F. },
 INSTITUTION = {Inria},
 MONTH= novembre,
 NUMBER  = {2383},
 TITLE= {Applying the Synchronous Approach to Real Time Active Visual Reconstruction},
 YEAR = {1994} ,
 URL   =  {ftp://ftp.inria.fr/INRIA/publication/RR/RR-2383.ps.gz}
  ABSTRACT = { In this paper, we apply the synchronous
approach to real time active visual reconstruction.
It illustrates the adequateness of signal, a
synchronous data flow programming language and
environment, for the specification of a system
dealing with various domains such as robot control,
computer vision and programmation of hierarchical
parallel automaton. More precisely, one application
consists in the 3D structure estimation of a set of
geometrical primitives using an active vision
paradigm. At the level of camera motion control, the
visual servoing approach (a closed loop with
respect to vision data) is specified and
implemented in \sc Signal as a function from sensor
inputs to control outputs. Furthermore, the 3D
reconstruction method is based on the ``structure
from controlled motion'' approach (constraining
camera motion for optimal estimation). Its
specification is made in parallel to visual servoing,
and involves the delay mechanism of \signal\ for the
specification of filters. This reconstruction involves
focusing on each object; we thus present a
perception strategy for connecting up several
estimations, using tasks hierarchies interruption
and time intervals in \signal. The integration of
these techniques is validated experimentally by
their implementation on a robotic cell, from which
we present experimental results. 
<br>

<b> Keywords: </b>SYNCHRONOUS
LANGUAGE,REAL-TIME,VISUAL
SERVOING,STRUCTURE FROM CONTROLLED
MOTION,PERCEPTION STRATEGY

        
}
}

@TECHREPORT{gautier94a,
 AUTHOR  = {Gautier, T.  and {Le Guernic}, P.  and  Dupont, F. },
 INSTITUTION = {Irisa},
 MONTH= juin,
 NUMBER  = {832},
 TITLE= {SIGNAL V4 : manuel de référence},
 YEAR = {1994},
 URL  = {ftp://ftp.irisa.fr/local/signal/publis/research_reports/PI832-94:v4_manual.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>

        
}
}


@TECHREPORT{gautier94b,
 AUTHOR  = {Gautier, T.  and  {Le Guernic}, P.  and Maffeis, O. },
 INSTITUTION = {Inria},
 MONTH= octobre,
 NUMBER  = {2364},
 TITLE= {For a New Real-Time Methodology},
 YEAR = {1994},
 URL = {ftp://ftp.irisa.fr/techreports/1994/PI-870.ps.gz}
  ABSTRACT = { This paper motivates the use of a
synchronous methodology to program, to verify and
to implement real-time applications. The main
features of the synchronous language \signal\ are
presented and some methodological principles are
proposed. \signal\ programming is illustrated
through the development of a realistic application, a
complex digital watch. Then, an overview of the
software environment associated with \signal\ is
presented. This environment encompasses formal
verification as well as implementation tools to infer
reliable real-time implementations on various
architectures including distributed ones. All these
tools are acting on a unique but polymorphic
abstract program representation, namely
Synchronous-Flow Dependence Graphs, which
provides the \signal\ software design environment
with a great homogeneity. 
<br>

<b> Keywords: </b>REACTIVE AND REAL-TIME
SYSTEMS,SYNCHRONOUS APPROACH OF
TIME, THE SIGNAL
LANGUAGE,SPECIFICATION/PROGRAMMING
METHODOLOGY, SOFTWARE DESIGN
ENVIRONMENT,SYNCHRONOUS-FLOW
DEPENDENCE GRAPHS, COMPUTER-AIDED
FORMAL VERIFICATION IMPLEMENTATION

        
}
}

@INPROCEEDINGS{gautier94c,
  AUTHOR = {Gautier, T. and {Le Guernic}, P.},
  BOOKTITLE = {Proceedings of {RENNES} Sister Cities Computer Science Research Centers Workshop},
  PAGES  = {168-175},
  MONTH  = avril,
  PUBLISHER = {IRISA},
  TITLE  = {L'environnement de programmation SIGNAL},
  YEAR= {1994},
  CONFNAT = true,
  THEME  = {gen_distr},
  URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/RENNES-91:gen_distr.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>

        
}
}

@TECHREPORT{houssais94a,
 AUTHOR  = {Houssais, B.  and {Le Borgne}, M. and {Le Guernic}, P.},
 INSTITUTION = {Irisa},
 MONTH= juin,
 TITLE= {Cours de programmation en langage temps-réel SIGNAL},
 YEAR = {1994}
}

@INPROCEEDINGS{maffeis94a,
 AUTHOR= {Maffeis, O. and {Le Guernic}, P.},
 BOOKTITLE   = {Int. Conference on Parallel Architectures and Compilation Techniques},
 MONTH= august,
 PAGES= {237-246},
 PUBLISHER   = {IFIP A-50, North-Holland},
 TITLE= {From Signal to fine-grain parallel implementations},
 YEAR = {1994}
}

@INPROCEEDINGS{maffeis94b,
 AUTHOR  = {Maffeis, O.  and {Le Guernic}, P. },
 BOOKTITLE = {3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
 MONTH= septembre,
 NOTE = {Lecture Notes in Computer Science 863},
 PAGES= {547-566},
 PUBLISHER = {Springer-Verlag},
 TITLE= {Distributed Implementation of Signal: Scheduling & Graph Clustering},
 YEAR = {1994},
 THEME = {distr},
 URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/FTRTFT-94:distr.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>

        
}
}

@TECHREPORT{maffeis94c,
 AUTHOR  = {Maffeis, O.  and {Le Guernic}, P.},
 INSTITUTION = {Ercim},
 MONTH= fevrier,
 NUMBER  = {02/94-R029},
 TITLE= {From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations},
 YEAR = {1994}
}

@TECHREPORT{marchand94,
 AUTHOR = {Marchand, H.  and {Le Borgne}, M. },
 INSTITUTION = {Irisa},
 MONTH = mars,
 NUMBER = {797},
 TITLE= {Typage des graphes de décisions ternaires},
 YEAR = {1994},
 URL  = {ftp://ftp.irisa.fr/techreports/1994/PI-797.ps.gz}
  ABSTRACT = { 

Dans ce rapport, nous allons étudier le problème de la représentation des formes polynomiales sous forme de graphes de
décisions ternaires typés : TDD typés. Après avoir présenté brièvement les travaux antérieurs sur les TDD (ternary
decision diagram), nous allons montrer comment il est possible de typer ces TDD tout en s'attachant à conserver la
canonicité de ceux ci. On proposera ensuite une étude comparative entre les deux modes de représentations. Cette étude
permettra de montrer l'interêt du typage à l'aide de permutations pour les fonctions polynomiales de base. On verra par la
suite différentes méthodes visant à améliorer la représentation en mémoire des TDD. 

<br> <br>

<b> Keywords: </b>

        
}
}

@INPROCEEDINGS{rutten94b,
 AUTHOR  = {Rutten, E.  and {Le Guernic}, P.},
 ADDRESS  = {Orlando, Florida (USA)},
 BOOKTITLE = {Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems},
 MONTH= juin,
 TITLE= {Sequencing data flow tasks in SIGNAL},
 YEAR = {1994},
 DATE = {21},
 THEME = {task},
 URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/acm94:task.ps.gz}
  ABSTRACT = { 
Real-time applications
involve the sequencing of
different modes of 
continuous interaction with the environment.
This suggests a hybrid language
with data flow 
and sequencing constructs.
To this purpose, we introduce 
the notion of time interval
into the real-time declarative 
data flow language Signal, which is instant-based.
Associating an execution interval with a data flow process 
specifies a task.
Patterns for the sequencing of tasks using time intervals
feature parallelism and preemption.
They are described at the programming language level,
as an extension to Signal.
<br>

<b> Keywords: </b>

        
}
}

@INPROCEEDINGS{rutten94c,
 AUTHOR  = {Rutten, E.  and Marchand, E.  and Chaumette, F.},
 ADDRESS  = {University of Maelardalen, Vasteraa s (Sweden)},
 BOOKTITLE = {Proceedings of the 6th Euromicro Workshop on Real Time Systems},
 MONTH= juin,
 PAGES= {80-84},
 PUBLISHER = {IEEE Publ.},
 TITLE= {The sequencing of data flow tasks in Signal: application to active vision in robotics},
 YEAR = {1994},
 DATE = {15-17},
 THEME = {task},
 URL = {ftp://ftp.irisa.fr/local/signal/publis/articles/erts94:task.ps.gz}
  ABSTRACT = { 
Many applications of real time systems feature a combination of
``continuous'' (possibly sampled) and
discrete (sequencing and task control) behaviors,
both reactive to the evolutions of the execution environment.
In particular, robotics applications involve
 the programming of the control functions for each task,
and the sequencing of such tasks at a higher level.

In the framework of the real time synchronized data-flow language Signal,
we propose extensions based on time intervals, 
enabling the specification of tasks, 
and of their suspension or abortion
for their sequencing in reaction to discrete events.
This paper illustrates the application of these constructs to 
active vision in robotics, where successive phases have to be sequenced,
each associated with a particular control law,
in order to recognize a complex environment.
<br>

<b> Keywords: </b>

        
}
}

@INPROCEEDINGS{wolinski94a,
 AUTHOR= {Wolinski, C.  and Belhadj, M.},
 ADDRESS= {Nimes},
 BOOKTITLE= {North Atlantic Test Workshop NATW'94},
 TITLE= {High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits},
 YEAR = {1994},
 THEME= {archi},
 URL= {ftp://ftp.irisa.fr/local/signal/publis/articles/erts94:task.ps.gz}
  ABSTRACT = { 
<br>

<b> Keywords: </b>

        
}
}


@MISC{mrs94,
  AUTHOR = {Marchand, H.  and Rutten, E.  and Samaan, M.},
  BOOKTITLE = {contrat EDF, rapport d'avancement T0+12},
  TITLE  = {Description, spécification et validation d'un automatisme de poste de transformation électrique},
  MONTH = decembre,
  YEAR= {1994}
}