Publications de Albert Benveniste

Articles de Journaux

1. A. Benveniste, B. Caillaud, P. Le Guernic.
   Compositionality in dataflow synchronous languages: specification & distributed code generation.  Information and Computation, 1999.
2. A. Benveniste.
   Compositional and Uniform Modelling of Hybrid Systems.  IEEE Transactions on Automatic Control, 43(4), Avril 1998. (postscript)
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, Décembre 1995. (postscript)
4. A. Benveniste.
   Synchronous Languages Provide Safety in Reactive Systems Design.  Control Engineering, pages 87--89, Septembre 1994.
5. A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine.
   A Denotational Theory of Synchronous Reactive Systems.  Information and Computation, 99(2):192-230, Août 1992. (postscript)
6. 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, Décembre 1991.
7. 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, Septembre 1991.
8. A. Benveniste, G. Berry.
   Real-time systems designs and programming.  Proc. of the IEEE, 79(9):1270-1282, Septembre 1991.
9. A. Benveniste, P. Le Guernic.
   Hybrid Dynamical Systems and the Signal Programming Language.  IEEE Trans. Automat. Control, 35:535-546, Mai 1990.

Conférences Internationales

1. S. Turodet, S. Nadjm-Tehrani, A. Benveniste, J.E. Strömberg.
   Co-simulation of Hybrid Systems: Signal-Simulink.  Proceedings of 6th international school and symposium on Formal Techniques in Real-time and Fault-tolerant Systems, Springer, Lecture Notes in Computer Science, Septembre 2000.
2. 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), Août 2000.
3. 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, Mars 2000. (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, Août 1999.
5. A. Benveniste, C. Jard, S. Gaubert.
   Algebraic techniques for timed systems.  CONCUR'98 Concurrency Theory, 9th International Conference, D. Sangiorgi, R. de Simone (eds.), Springer, Lecture Notes in Computer Science 1466, Nice, Septembre 1998. (postscript)
6. 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, Septembre 1998. (postscript) (abstract)
7. A. Benveniste, S. Gaubert, C. Jard.
   Monotone rationale series and max-plus algebraic models of real-time systems.  Proceedings of the Fourth Workshop on Discrete Event Systems, IEE, Cagliari, Italy, Août 1998. (postscript)
8. A. Benveniste.
   Synchronous languages and reactive system design.  Proceedings of the 9th IFAC-INCOM'98, Nancy, Juin 1998.
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), Mai 1998. (postscript) (abstract)
10. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon.
    BDL, a language of distributed reactive objects.  International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), IEEE Press, Avril 1998. (postscript)
11. 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.
12. A. Benveniste.
    Compositional and uniform modelling of hybrid systems.  Proc. of IEEE-CDC, Kobe, 1996.
13. 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, Septembre 1994.
14. 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)
15. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical Systems over Galois Fields.  Proc. of the Second European Control Conference (ECC93), Juin 1993.
16. 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.
17. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Hybrid Systems : the Signal Approach.  Hybrid Systems, LNCS 736 Springer, 1993.
18. 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.
19. A. Benveniste.
    Constructive Probability and the Signalea language : building and handling random process via programming.  Workshop on theory of Hybrid Systems, Octobre 1992.
20. 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, Février 1992.
21. 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.
22. 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, Mars 1991.

Conférences Nationales

1. D. Chauveau, A. Benveniste, B.C. Levy, P. Le Guernic.
   Simulation et estimation de systèmes stochastiques.  Cinquième atelier d'évaluation de performances, Février 1995.

Rapports de recherche

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, No4003, Septembre 2000. (postscript) (abstract)
2. Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
   Pre-order semantics of UML state machines.  Rapport de Recherche Irisa, No1336, Juin 2000. (postscript) (abstract)
3. A. Benveniste, P. Caspi.
   Distributing synchronous programs on a loosely synchronous, distributed architecture.  Rapport de Recherche Irisa, No1289, Décembre 1999. (postscript) (abstract)
4. J.-P. Talpin, A. Benveniste, B. Caillaud, P. LeGuernic.
   Hierarchic Normal Forms for desynchronization.  Rapport de Recherche Irisa, No1288, Décembre 1999. (postscript) (abstract)
5. J.-P. Talpin, A. Benveniste, P. LeGuernic.
   Asynchronous deployment of synchronous transition systems.  Rapport de Recherche Irisa, No1269, Octobre 1999. (postscript) (abstract)
6. A. Benveniste, B. Caillaud, P. Le Guernic.
   From synchrony to asynchrony.  Rapport de Recherche Irisa, No1233, Mars 1999. (postscript) (abstract)
7. 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, No3353, Février 1998. (postscript) (abstract)
8. A. Benveniste, P. Le Guernic, P. Aubry.
   Compositionality in dataflow synchronous languages: specification & code generation.  Rapport de Recherche Irisa / Inria-Rennes, No3310, Novembre 1997. (postscript) (abstract)
9. 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, No837, Juillet 1994. (postscript) (abstract)
10. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
    Data-flow Synchronous Languages.  Rapport de Recherche Irisa / Inria-Rennes, No2089, Octobre 1993. (postscript) (abstract)
11. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Signal as a model for Real-Time and Hybrid Systems.  Rapport de Recherche irisa, No624, Janvier 1992.
12. A. Benveniste.
    Constructive Probability and the Signalea : language: building and handling random processes via programming.  Rapport de Recherche Inria, No1532, Octobre 1991.
13. A. Benveniste, G. Berry.
    The Synchronous Approach to Reactive and Real-Time Systems.  Rapport de Recherche Irisa, No581, Avril 1991.

Divers

1. 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, Novembre 1998.
2. 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, Juin 1998.
3. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre.
   A Calculus of Stochastic Systems and the Signalea formalism.  Mai 1996.
4. 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, Juin 1993.

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