accueil

carte
 

Publications of Albert Benveniste


haut

 

Journals

  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), April 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, December 1995. (postscript)
  4. A. Benveniste.
    Synchronous Languages Provide Safety in Reactive Systems Design.  Control Engineering, pages 87--89, September 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, August 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, December 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, September 1991.
  8. A. Benveniste, G. Berry.
    Real-time systems designs and programming.  Proc. of the IEEE, 79(9):1270-1282, September 1991.
  9. A. Benveniste, P. Le Guernic.
    Hybrid Dynamical Systems and the Signal Programming Language.  IEEE Trans. Automat. Control, 35:535-546, May 1990.

haut

 

International Conferences

  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, September 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), August 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, March 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, August 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, September 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, September 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, August 1998. (postscript)
  8. A. Benveniste.
    Synchronous languages and reactive system design.  Proceedings of the 9th IFAC-INCOM'98, Nancy, June 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), May 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, April 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, September 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), June 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, October 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, February 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, March 1991.

haut

 

National Conferences

  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, February 1995.

haut

 

Research reports

  1. B. Caillaud, J.P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard.
    BDL: a semantics backbone for UML dynamic diagrams.  Research report Inria, No4003, September 2000. (postscript) (abstract)
  2. 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)
  3. A. Benveniste, P. Caspi.
    Distributing synchronous programs on a loosely synchronous, distributed architecture.  Research report Irisa, No1289, December 1999. (postscript) (abstract)
  4. J.-P. Talpin, A. Benveniste, B. Caillaud, P. LeGuernic.
    Hierarchic Normal Forms for desynchronization.  Research report Irisa, No1288, December 1999. (postscript) (abstract)
  5. J.-P. Talpin, A. Benveniste, P. LeGuernic.
    Asynchronous deployment of synchronous transition systems.  Research report Irisa, No1269, October 1999. (postscript) (abstract)
  6. A. Benveniste, B. Caillaud, P. Le Guernic.
    From synchrony to asynchrony.  Research report Irisa, No1233, March 1999. (postscript) (abstract)
  7. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon.
    BDL, a language of distributed reactive objects.  Research report Irisa / Inria-Rennes, No3353, February 1998. (postscript) (abstract)
  8. 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)
  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.  Research report Irisa, No837, July 1994. (postscript) (abstract)
  10. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs.
    Data-flow Synchronous Languages.  Research report Irisa / Inria-Rennes, No2089, October 1993. (postscript) (abstract)
  11. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Signal as a model for Real-Time and Hybrid Systems.  Research report irisa, No624, January 1992.
  12. A. Benveniste.
    Constructive Probability and the Signalea : language: building and handling random processes via programming.  Research report Inria, No1532, October 1991.
  13. A. Benveniste, G. Berry.
    The Synchronous Approach to Reactive and Real-Time Systems.  Research report Irisa, No581, April 1991.

haut

 

Misc

  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, November 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, June 1998.
  3. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre.
    A Calculus of Stochastic Systems and the Signalea formalism.  May 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, 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