Rapports de recherche

2011

  1. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Research Report INRIA, No 0, Mars 2011. details download

2010

  1. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Rapport de recherche INRIA, Juin 2010. details

2008

  1. Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier. A boolean algebra of contracts for logical assume-guarantee. Rapport de recherche INRIA, 2008. details

2007

  1. Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. 2007. details download

2005

  1. Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionic Design. Rapport de recherche INRIA, No 5715, Octobre 2005. details
  2. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. Rapport de recherche INRIA, No 5509, Mars 2005. details

2002

  1. Eric Rutten, Hervé Marchand. Using discrete control synthesis for safe robot programming. Rapport de recherche INRIA, 2002. details
  2. Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. Rapport de recherche Irisa, No 0, Décembre 2002. details

2001

  1. Mirabelle Nebut, Sophie Pinchinat, Paul Le Guernic. A Model for the Verification of Static Synchronous Data-flow Specifications. Rapport de recherche Irisa, No 1402, 2001. details ppt
  2. Jean-Pierre Talpin. A simplified account of region inference. rr Inria, No 4104, Septembre 2001. details ppt

2000

  1. B. Caillaud, J. P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard. BDL: a semantics backbone for UML dynamic diagrams. Rapport de recherche Inria, No 4003, Septembre 2000. details ps
  2. B. Caillaud, J.P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard. BDL: a semantics backbone for UML dynamic diagrams. rr Inria, No 4003, Septembre 2000. details ps
  3. H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Rapport de recherche CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, Septembre 2000. details ps
  4. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. Pre-order semantics of UML state machines. Rapport de recherche Irisa, No 1336, Juin 2000. details ps
  5. J.P Talpin. Rapport de recherche Irisa, No 1305, Mars 2000. details ps
  6. J. P. Talpin. Synchronous modeling and asynchronous deployment of mobile processes. rr Inria, No 3893, Mars 2000. details ps

1999

  1. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Rapport de recherche Irisa, No 1289, Décembre 1999. details ps
  2. A. Benveniste, P. Caspi, S. Tripakis. Distributing synchronous programs on a loosely synchronous, distributed architecture. Rapport de recherche Irisa, No 1289, Décembre 1999. details ps
  3. J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic Normal Forms for desynchronization. Rapport de recherche Irisa, No 1288, Décembre 1999. details ps
  4. S. Tudoret. Signal-Simulink : Hybrid System Co-simulation. Rapport de recherche Linköping, No 20, Décembre 1999. details download
  5. S. Pinchinat, H. Marchand, M. Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Rapport de recherche Irisa, No 1279, Novembre 1999. details ps
  6. M. Kerboeuf, D. Nowak, J.-P. Talpin. The steam-boiler problem in SIGNAL-COQ. Rapport de recherche Irisa / Inria-Rennes, No 3773, Octobre 1999. details ps
  7. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Rapport de recherche Irisa, No 1271, Octobre 1999. details ps
  8. J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of synchronous transition systems. Rapport de recherche Irisa, No 1269, Octobre 1999. details ps
  9. A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony. Rapport de recherche Irisa, No 1233, Mars 1999. details ps

1998

  1. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. Rapport de recherche Irisa / Inria-Rennes, No 3448, Juillet 1998. details ps
  2. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. Rapport de recherche CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, Juillet 1998. details ps
  3. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. A translation of Statecharts and Activitycharts into Signal equations. Rapport de recherche Irisa / Inria-Rennes, No 3397, Avril 1998. details ps
  4. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. BDL, a language of distributed reactive objects. Rapport de recherche Irisa / Inria-Rennes, No 3353, Février 1998. details ps

1997

  1. M. Allemand, F. Bodin, A. Kountouris, P. Le Guernic, J.C. Le Lann, A. Seznec, C. Wolinski. A Synchronous Approach for Hardware Design. Rapport de recherche Irisa, No 1131, 1997. details ps
  2. A. Benveniste, P. Le Guernic, P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. Rapport de recherche Irisa / Inria-Rennes, No 3310, Novembre 1997. details ps
  3. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Rapport de recherche Irisa, No 1125, Octobre 1997. details ps
  4. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Rapport de recherche Irisa, No 1124, Septembre 1997. details ps
  5. D. Nowak, J.P. Talpin, T. Gautier. Un système de modules avancé pour Signal. Rapport de recherche Irisa / Inria-Rennes, No 3176, Juin 1997. details ps
  6. I. Smarandache, P. Le Guernic. A Canonical Form for Affine Relations in Signal. Rapport de recherche Irisa / Inria-Rennes, No 3097, Février 1997. details ps

1996

  1. A. Kountouris, C. Wolinski. A real-time hw/sw co-design approach based on the language and its environment. Rapport de recherche Irisa, No 1053, Octobre 1996. details ps
  2. G. Paller, C. Wolinski. Springplay : répartition et ordonnancement de tâches pour leur exécution en « pipeline ». Rapport de recherche Irisa, No 1052, Octobre 1996. details ps

1995

  1. D. Chauveau, M. Bons. Simulation d'un circuit électro-domestique en Signal. Rapport de recherche Irisa, No 971, Novembre 1995. details ps
  2. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Rapport de recherche Irisa, No 917, Mars 1995. details ps
  3. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Rapport de recherche Irisa, No 916, Mars 1995. details ps

1994

  1. E. Marchand, E. Rutten, F. Chaumette. Applying the Synchronous Approach to Real Time Active Visual Reconstruction. Rapport de recherche Inria, No 2383, Novembre 1994. details ps
  2. T. Gautier, P. Le Guernic, O. Maffeis. For a New Real-Time Methodology. Rapport de recherche Inria, No 2364, Octobre 1994. details ps
  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. Rapport de recherche Irisa, No 837, Juillet 1994. details ps
  4. T. Amagbegnon, L. Besnard, P. Le Guernic. Arborescent Canonical Form of Boolean Expressions. Rapport de recherche Inria, No 2290, Juin 1994. details ps
  5. T. Gautier, P. Le Guernic, F. Dupont. SIGNAL V4 : manuel de référence. Rapport de recherche Irisa, No 832, Juin 1994. details ps
  6. B. Houssais, M. Le Borgne, P. Le Guernic. Cours de programmation en langage temps-réel SIGNAL. Rapport de recherche Irisa, Juin 1994. details
  7. P. Bournai, C. Lavarenne, P. Le Guernic, O. Maffeis, Y. Sorel. Interface SIGNAL-SynDEx. Rapport de recherche Inria, No 2206, Mars 1994. details ps
  8. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Rapport de recherche Irisa, No 797, Mars 1994. details ps
  9. O. Maffeis, P. Le Guernic. From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations. Rapport de recherche Ercim, No 2, Février 1994. details
  10. B. Dutertre, M. Le Borgne. Control of Polynomial Dynamic Systems: an Example. Rapport de recherche Inria, No 2193, Janvier 1994. details ps

1993

  1. E. Marchand, F. Chaumette, E. Rutten. Stratégie perceptive d'un environnement statique dans un contexte de vision active. Rapport de recherche Irisa, No 775, Novembre 1993. details ps
  2. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2120, Novembre 1993. details ps
  3. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs. Data-flow Synchronous Languages. Rapport de recherche Irisa / Inria-Rennes, No 2089, Octobre 1993. details ps
  4. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. SIGNAL manual. Rapport de recherche Irisa / Inria-Rennes, No 1969, Septembre 1993. details ps
  5. P. Bournai, P. Le Guernic. Un environnement graphique pour le langage SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2040, Septembre 1993. details ps
  6. C. Wolinski, M. Belhadj. Vers la synthèse automatique de programmes SIGNAL. Rapport de recherche Irisa, No 746, Juillet 1993. details ps
  7. C. Wolinski, T. Cholet, D. Derrien, J.P. Guillou, P. Leali, A. Riboult. Une architecture pour l'exécution d'applications SIGNAL. Rapport de recherche Irisa, No 704, Février 1993. details

1992

  1. T. Gautier, P. Le Guernic. Signal V4: Manuel de Référence. Rapport de recherche Irisa, 1992. details
  2. O. Maffeis, B. Cheron, P. Le Guernic. Transformations du graphe des programmes Signal. Rapport de recherche Irisa, No 619, Novembre 1992. details
  3. A. Benveniste, M. Le Borgne, P. Le Guernic. Signal as a model for Real-Time and Hybrid Systems. Rapport de recherche irisa, No 624, Janvier 1992. details
  4. O. Maler, Z. Manna, A. Pnueli. From Timed to Hybrid Systems. Rapport de recherche Stanford University, No 0, Janvier 1992. details

1991

  1. B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. Rapport de recherche Irisa, No 615, Novembre 1991. details
  2. A. Benveniste. Constructive Probability and the Signalea : language: building and handling random processes via programming. Rapport de recherche Inria, No 1532, Octobre 1991. details
  3. B. Dutertre, P. Le Guernic. Description et simulation d'un système de passage niveau en SIGNAL. Rapport de recherche Inria, No 1437, Mai 1991. details
  4. A. Benveniste, G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. Rapport de recherche Irisa, No 581, Avril 1991. details
  5. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Rapport de recherche Irisa, No 582, Avril 1991. details
  6. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. Manuel SIGNAL. Rapport de recherche Irisa, No 575, Février 1991. details

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:58:06 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.