accueil

 carte
 

Publications of Paul LeGuernic


haut

 

Journals

  1. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
    Synthesis of Discrete-Event Controllers based on the Signal Environment.  Discrete Event Dynamic System: Theory and Applications, 10(4):325-346, October 2000. (abstract)
  2. A. Benveniste, B. Caillaud, P. Le Guernic.
    Compositionality in dataflow synchronous languages: specification & distributed code generation.  Information and Computation, 1999.
  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, 2(152):171-217, December 1995. (postscript)
  4. A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine.
    A Denotational Theory of Synchronous Reactive Systems.  Information and Computation, 99(2):192-230, August 1992. (postscript)
  5. A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic.
    A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems.  Theoretical Computer Science, 152(2):171-217, December 1991.
  6. A. Benveniste, P. Le Guernic, C. Jacquemot.
    Synchronous programming with events and relations: the SIGNAL language and its semantics.  Science of Computer Programming, 16(2):103-149, September 1991.
  7. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Proceedings of the IEEE, 79(9):1321-1336, September 1991. (postscript)
  8. P. Le Guernic, B. Chéron, T. Gautier, C. Le Maire.
    Développer en langage Signal.  Annales des Télécommunications, 46(1-2):13-24, January 1991. (postscript) (abstract)
  9. A. Benveniste, P. Le Guernic.
    Hybrid Dynamical Systems and the Signal Programming Language.  IEEE Trans. Automat. Control, 35:535-546, May 1990.

haut

 

Book Chapter

  1. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I Smarandache.
    Projet CAIRN: conception d'architectures à partir de SIGNAL et ALPHA.  in C.T.I. COMETE, CODESIGN Conception conjointe logiciel-matériel, pages 147-169, Eyrolles, Collection Technique et Scientifique des Télécommunications, 1998. (postscript)
  2. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
    Signal- the specification of a generic, verified production cell controller.  in Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chapter 7, pages 115-129, Springer Verlag, Lecture Notes in Computer Science, January 1995.
  3. P. Le Guernic, T. Gautier.
    Data-Flow to von Neumann: the Signal approach.  in Advanced Topics in Data-Flow Computing, J.L. Gaudiot, L. Bic (eds.), pages 413-438, 1991. (postscript)

haut

 

International Conferences

  1. Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
    Compilation and distribution of state machines using Spots.  16th IFIP World Computer Congress (WCC'2000), August 2000.
  2. Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
    A semantics of UML state-machines using synchronous pre-order transition systems.  International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), IEEE Press, March 2000. (postscript) (abstract)
  3. I. Smarandache, T. Gautier, P. Le Guernic.
    Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.  World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, pages 1364-1383, Toulouse, France, October 1999. (postscript) (abstract)
  4. A. Benveniste, B. Caillaud, P. Le Guernic.
    From synchrony to asynchrony.  CONCUR'99, Concurrency Theory, 10th International Conferenc, Volume 1664 of LNCS, J.C.M. Baeten, S. Mauw (eds.), Springer Verlag, pages 162-177, August 1999.
  5. D. Nowak, J.P. Talpin, P. Le Guernic.
    Synchronous Structures.  Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS, Springer Verlag, August 1999. (postscript) (abstract)
  6. T. Gautier, P. Le Guernic.
    Code generation in the SACRES project.  Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Springer, Huntingdon, UK, February 1999. (postscript) (abstract)
  7. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
    A Design Environment for Discrete-Event Controllers based on the SIGNAL Language.  1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 770-775, San Diego, California, USA, October 1998. (postscript) (abstract)
  8. A. Benveniste, (AVECM. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier).
    Safety Critical Embedded Systems Design: the SACRES approach.  Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998. (postscript) (abstract)
  9. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten.
    Distributed code generation of dataflow synchronous programs: the SACRES approach.  Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), May 1998. (postscript) (abstract)
  10. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten.
    A translation of Statecharts into Signal.  Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), IEEE Publ., pages 52-62, Aizu-Wakamatsu, Japan, March 1998. (postscript) (abstract)
  11. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic.
    An ML-like module system for the synchronous language Signal.  European Conference on Parallel Processing (Euro-Par'97), Springer-Verlag, LNCS 1300, pages 1244-1253, August 1997. (postscript) (abstract)
  12. I. Smarandache, P. Le Guernic.
    Affine Transformations in Signal and Their Applications in the Specification and Validation of Real-Time Systems.  Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Springer-Verlag, LNCS 1231, May 1997. (postscript)
  13. A. Benveniste, P. Le Guernic, P. Aubry.
    Compositionality in dataflow synchronous languages: specification and code generation.  Proceedings of the 1997 Workshop on Compositionality, W.P. de Roever and A. Pnueli Eds., Malente, Germany, 1997.
  14. P. Le Guernic, E. Rutten.
    Experiments with the synchronous methodology illustrating its support of predictability.  Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, pages 81-86, Canela/Gramado, RS, Brazil, November 1996. (postscript) (abstract)
  15. P. Aubry, P. Le Guernic.
    On the desynchronization of synchronous applications.  Proceedings of the 11th International Conference on Systems Engineering, ICSE'96, University of Nevada, Las Vegas, Nevada (USA), July 1996. (postscript)
  16. A. Kountouris, P. Le Guernic.
    Profiling of SIGNAL Programs and its application in the timing evaluation of design implementations.  Proceedings of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, IEE, pages 6-6, HP Labs, Bristol, UK, February 1996. (postscript)
  17. P. Aubry, P. Le Guernic, S. Machard.
    Synchronous distribution of SIGNAL programs.  Proc. of the 29th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Volume 1, pages 656-665, January 1996. (postscript)
  18. E. Rutten, P. Le Guernic.
    Sequencing and preempting data flow tasks.  Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, November 1995.
  19. T. Amagbegnon, L. Besnard, P. Le Guernic.
    Implementation of the Data-flow Synchronous Language Signal.  Programming Languages Design and Implementation, ACM, pages 163-173, 1995. (postscript)
  20. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
    Framework and Multi-Formalism: the ASAR Project.  Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brésil), November 1994.
  21. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
    Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project.  Proceedings of the Third International Workshop on Hardware/Software Codesign, IEEE Computer Society Press, pages 25-32, Grenoble, September 1994. (postscript)
  22. 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.  3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, pages 149-169, September 1994.
  23. O. Maffeis, P. Le Guernic.
    Distributed Implementation of Signal: Scheduling & Graph Clustering.  3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag, pages 547-566, September 1994. (postscript)
  24. O. Maffeis, P. Le Guernic.
    From Signal to fine-grain parallel implementations.  Int. Conference on Parallel Architectures and Compilation Techniques, IFIP A-50, North-Holland, pages 237-246, August 1994.
  25. E. Rutten, P. Le Guernic.
    Sequencing data flow tasks in SIGNAL.  Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), June 1994. (postscript) (abstract)
  26. A. Benveniste, T. Gautier, P. Le Guernic, G. Berry, F. Mignard, P. Caspi, N. Halbwachs, P. Couronné, F. Dupont, C. LeMaire, J.P. Paris, Y. Sorel.
    Synchronous technology for real-time systems.  RTS'94, Teknea, pages 105-122, 1994. (postscript)
  27. M. Belhadj, R. McConnell, P. Le Guernic.
    A Framework for Macro- and Micro-Time to Model VHDL Attributes.  Proceedings of the European Design and Automation Conference with EURO-VHDL '93, Hamburg, FRG, R. Camposano (ed.), IEEE Computer Society Press, pages 520--525, September 1993.
  28. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical Systems over Galois Fields.  Proc. of the Second European Control Conference (ECC93), June 1993.
  29. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
    Data-flow Synchronous Languages.  Proc of the 1993 REX symposium: Ten decades of concurrency, a perspective, LNCS Springer, 1993.
  30. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Hybrid Systems : the Signal Approach.  Hybrid Systems, LNCS 736 Springer, 1993.
  31. B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic.
    Discrete Event Systems and Synchronous Languages: an example.  Proc of the IFAC 1993 World Congress, 1993.
  32. O Maffeïs, P. Le Guernic.
    Combining Dependability with Architectural Adaptability by means of the Signal Language.  3rd Int. Workshop on Static Analysis, Volume 724 of LNCS, pages 99-110, 1993.
  33. B. Dutertre, M. Le Borgne, P. Le Guernic.
    The Cat and Mouse in the synchronous paradigm.  Joint Worshop on Discrete Event Systems (WODES'92), pages 117-120, August 1992.
  34. A. Benveniste, M. Le Borgne, P. Le Guernic.
    SIGNAL as a model for real-time and hybrid systems.  Proceedings of European Symposium on Programming (ESOP '92), B. Krieg-Brueckner (ed.), LNCS 582. Springer, pages 20-38, February 1992.
  35. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical systems over Galois fields and DEDS Control Problems.  Proc. of the 30th IEEE conference on Decision and Control, pages 1505-1510, 1992.
  36. P. Le Guernic.
    The Signal Environment.  Algorithms and Parallel VLSI Architectures II, Elsevier Science Publisher B.V., pages 347-358, 1992.
  37. M. Le Borgne, A. Benveniste, P. Le Guernic.
    Polynomial dynamical systems over finite fields.  Algebraic Computing in control, G. Jacob et F. Lamnabhi-lagarrigue, Volume 165, pages 212-222, March 1991.
  38. P. Le Guernic.
    Specification and verification of parallel systems.  Proceedings of the French-Israel Workshop on formal verification for hardware and software, 1991.
  39. P. Le Guernic, T. Gautier.
    Programming real time applications with SIGNAL.  Proceedings of the first European Control Conference, C. Commault (ed.), pages 1666-1671, 1991.

haut

 

National Conferences

  1. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier.
    Une modélisation de StateCharts et ActivityCharts en Signal.  Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, March 1999. (postscript) (abstract)
  2. P. Le Guernic, S. Machard, E. Rutten.
    Répartition de programmes Signal.  Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, June 1998. (postscript) (abstract)
  3. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache.
    Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha.  Actes des Séminaires Action Scientifique - Codesign, 1997.
  4. PROJ. ASAR, (P. Aubry, M. Belhadj, TH. Gautier, P. Le Guernic, P. Quinton, C. Dezan, M. Israël, J. M.Benzakki, T. Bouguerba, F. Rousseau, M. Auguin, C. Carrière, Cogniat, G. G.Durrieu, M. Lemaître, E. Martin, O. Sentieys, J.L. Philippe, L. Rideau).
    Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de Centaur : ASAR.  Quatrième Symposium Architectures Nouvelles de Machines, pages 51-62, Irisa, Rennes, February 1996.
  5. P. Aubry, P. Le Guernic, S. Machard.
    Distribution synchrone de programmes Signal.  Actes des 2ème Journées des Jeunes Chercheurs en Systèmes répartis, October 1995. (postscript)
  6. D. Chauveau, A. Benveniste, B.C. Levy, P. Le Guernic.
    Simulation et estimation de systèmes stochastiques.  Cinquième atelier d'évaluation de performances, February 1995.
  7. T. Gautier, P. Le Guernic.
    L'environnement de programmation SIGNAL.  Proceedings of RENNES, IRISA, pages 168-175, April 1994. (postscript)
  8. O Maffeïs, P. Le Guernic.
    Graphes dynamiques : Ordonnancement statique maximal qualitatif.  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, pages 97-111, 1992.
  9. T. Gautier, P. Le Guernic.
    L'environnement de programmation SIGNAL.  Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, pages 168-175, April 1991.

haut

 

Research reports

  1. Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
    Pre-order semantics of UML state machines.  Research report Irisa, No1336, June 2000. (postscript) (abstract)
  2. J.-P. Talpin, A. Benveniste, B. Caillaud, P. LeGuernic.
    Hierarchic Normal Forms for desynchronization.  Research report Irisa, No1288, December 1999. (postscript) (abstract)
  3. J.-P. Talpin, A. Benveniste, P. LeGuernic.
    Asynchronous deployment of synchronous transition systems.  Research report Irisa, No1269, October 1999. (postscript) (abstract)
  4. A. Benveniste, B. Caillaud, P. Le Guernic.
    From synchrony to asynchrony.  Research report Irisa, No1233, March 1999. (postscript) (abstract)
  5. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier.
    A translation of Statecharts and Activitycharts into Signal equations.  Research report Irisa / Inria-Rennes, No3397, April 1998. (postscript) (abstract)
  6. A. Benveniste, P. Le Guernic, P. Aubry.
    Compositionality in dataflow synchronous languages: specification & code generation.  Research report Irisa / Inria-Rennes, No3310, November 1997. (postscript) (abstract)
  7. I. Smarandache, P. Le Guernic.
    A Canonical Form for Affine Relations in Signal.  Research report Irisa / Inria-Rennes, No3097, February 1997. (postscript) (abstract)
  8. M. Allemand, F. Bodin, A. Kountouris, P. Le Guernic, J.C. LeLann, A. Seznec, C. Wolinski.
    A Synchronous Approach for Hardware Design.  Research report Irisa, No1131, 1997. (postscript) (abstract)
  9. P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
    The Signal data flow methodology applied to a production cell.  Research report Irisa, No917, March 1995. (postscript) (abstract)
  10. T. Gautier, P. LeGuernic, O. Maffeis.
    For a New Real-Time Methodology.  Research report Inria, No2364, October 1994. (postscript) (abstract)
  11. 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.  Research report Irisa, No837, July 1994. (postscript) (abstract)
  12. T. Amagbegnon, L. Besnard, P. Le Guernic.
    Arborescent Canonical Form of Boolean Expressions.  Research report Inria, No2290, June 1994. (postscript) (abstract)
  13. T. Gautier, P. Le Guernic, F. Dupont.
    SIGNAL V4 : manuel de référence.  Research report Irisa, No832, June 1994. (postscript)
  14. B. Houssais, M. Le Borgne, P. Le Guernic.
    Cours de programmation en langage temps-réel SIGNAL.  Research report Irisa, June 1994.
  15. P. Bournai, C. Lavarenne, P. Le Guernic, O. Maffeis, Y. Sorel.
    Interface SIGNAL-SynDEx.  Research report Inria, No2206, March 1994. (postscript)
  16. O. Maffeis, P. Le Guernic.
    From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations.  Research report Ercim, No02/94-R029, February 1994.
  17. E. Rutten, P. Le Guernic.
    Sequencing data flow tasks in SIGNAL.  Research report Irisa / Inria-Rennes, No2120, November 1993. (postscript) (abstract)
  18. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
    Data-flow Synchronous Languages.  Research report Irisa / Inria-Rennes, No2089, October 1993. (postscript) (abstract)
  19. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic.
    SIGNAL manual.  Research report Irisa / Inria-Rennes, No1969, September 1993. (postscript) (abstract)
  20. P. Bournai, P. Le Guernic.
    Un environnement graphique pour le langage SIGNAL.  Research report Irisa / Inria-Rennes, No2040, September 1993. (postscript) (abstract)
  21. O. Maffeis, B. Cheron, P. Le Guernic.
    Transformations du graphe des programmes Signal.  Research report Irisa, No619, November 1992.
  22. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Signal as a model for Real-Time and Hybrid Systems.  Research report irisa, No624, January 1992.
  23. T. Gautier, P. Le Guernic.
    Signal V4: Manuel de Référence.  Research report Irisa, 1992.
  24. B. Dutertre, P. Le Guernic.
    Description et simulation d'un système de passage niveau en SIGNAL.  Research report Inria, No1437, May 1991.
  25. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Research report Irisa, No582, April 1991.
  26. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic.
    Manuel SIGNAL.  Research report Irisa, No575, February 1991.

haut

 

Misc

  1. T. Le Sergent, J.L. Camus, F. Dupont, T. Gautier, P. Le Guernic, H. Hungar, K. Winkelmann, O. Shtrichman, M. Cohen.
    ASDE V0.9 specification.  June 2000.
  2. T. Gautier, P. Le Guernic.
    SCADE-SIGNAL languages Compatibility.  May 2000.
  3. A. Benveniste, H. Brix, W. Damm, F. Dupont, A. Grazebrook, H. Holberg, P. Le Guernic, J. Rowlands, E. Rutten, E. Sefton, K. Winkelmann.
    The Sacres design methodology for safety critical systems.  Esprit project EP 20897: Sacres, November 1998.
  4. A. Benveniste, T. Gautier, F. Jiménez, P. Le Guernic, S. Machard, E. Rutten.
    Méthodes de distribution de code Signal et Dc+.  Convention INRIA - EdF P33/6A4575/EP871, June 1998.
  5. J.R. Beauvais, R. Houdebine, P. LeGuernic, E. Rutten, T. Gautier.
    Task I1.1A: StateMate integration - A translation of Statecharts and Activitycharts into Signal equations.  Esprit project EP 20897: Sacres, April 1998.
  6. P. Bournai, M. Le Borgne, H. Marchand, P. Le Guernic.
    Démonstrateur de synthèse de systèmes d'automatismes décrits en Signal.  Rapport de fin de contrat, Convention Inria - EdF No 196C5030031307 01 1, July 1997.
  7. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache.
    Le projet CAIRN: vers la conception d'architectures à partir de Signal\ et Alpha.  June 1996.
  8. J-P. Paris, G. Berry, F. Mignard, P. Couronné, P. Caspi, N. Halbwachs, Y. Sorel, A. Benveniste, T. Gautier, P. Le Guernic, F. Dupont, C. Le Maire.
    Projet synchrone : les formats communs des langages synchrones.  Rapport technique IRISA No 157, June 1993.
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Webmaster : epatr_webmaster@irisa.fr
Ces pages sont créées automatiquement par le
programme bib2html du projet Vista de l'IRISA-INRIA Rennes 		vista