Publications of Albert Benveniste

Load the BibTeX file

Academic Journals

  1. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, special issue on Embedded Systems, 2002. details
  2. A. Benveniste, B. Caillaud, P. Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 1999. details
  3. A. Benveniste. Compositional and Uniform Modelling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4), April 1998. details ps
  4. 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. details ps
  5. A. Benveniste. Synchronous Languages Provide Safety in Reactive Systems Design. Control Engineering, pages 87-89, September 1994. details
  6. 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. details ps
  7. 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. details
  8. 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. details
  9. A. Benveniste, G. Berry. Real-time systems designs and programming. Proc. of the IEEE, 79(9):1270-1282, September 1991. details
  10. A. Benveniste, P. Le Guernic. Hybrid Dynamical Systems and the Signal Programming Language. IEEE Trans. Automat. Control, 35:535-546, May 1990. details

International Conferences

  1. A. Benveniste, P. Caspi, Le Guernic Guernic P, H. Marchand, Jean-Pierre Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Proc. of 2002 Conference on Embedded Software (EMSOFT'02), J. Sifakis, A. Sangiovanni-Vincentelli (eds.), LNCS, Volume 2491, October 2002. details
  2. Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand. The Signal declarative synchronous language: controller synthesis & systems/architecture design. In 40th IEEE Conference on Decision and Control, December 2001. details
  3. A. Benveniste. Some synchronization issues when designing embedded systems from components. In First International Workshop on Embedded Software (EMSOFT'2001), Lecture Notes in Computer Science, vol 2211, August 2001. details
  4. S. Tudoret, S. Nadjm-Tehrani, A. Benveniste, J. E. Strömberg. Co-simulation of Hybrid Systems: Signal-Simulink. In Proceedings of 6th international school and symposium on Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science, September 2000. details
  5. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. Compilation and distribution of state machines using Spots. In 16th IFIP World Computer Congress (WCC'2000), August 2000. details ps
  6. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. A semantics of UML state-machines using synchronous pre-order transition systems. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), March 2000. details ps
  7. A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conferenc, Volume 1664 of LNCS, J.C.M. Baeten, S. Mauw (eds.), Pages 162-177, August 1999. details
  8. A. Benveniste, C. Jard, S. Gaubert. Algebraic techniques for timed systems. In CONCUR'98 Concurrency Theory, 9th International Conference, D. Sangiorgi, R. de Simone (eds.), Lecture Notes in Computer Science 1466, Nice, September 1998. details ps
  9. A. Benveniste, M. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier. Safety Critical Embedded Systems Design: the SACRES approach. In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998. details ps
  10. A. Benveniste, S. Gaubert, C. Jard. Monotone rationale series and max-plus algebraic models of real-time systems. In Proceedings of the Fourth Workshop on Discrete Event Systems, Cagliari, Italy, August 1998. details ps
  11. A. Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, June 1998. details
  12. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten. Distributed code generation of dataflow synchronous programs: the SACRES approach. In Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), May 1998. details ps
  13. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. BDL, a language of distributed reactive objects. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), April 1998. details ps
  14. A. Benveniste, P. Le Guernic, P. Aubry. Compositionality in dataflow synchronous languages: specification and code generation. In Proceedings of the 1997 Workshop on Compositionality, W.P. de Roever and A. Pnueli Eds, Malente, Germany, 1997. details
  15. A. Benveniste. Compositional and uniform modelling of hybrid systems. In Proc. of IEEE-CDC, Kobe, 1996. details
  16. D. Chauveau, A. Benveniste, B.C. Levy, P. Le Guernic. Simulation et estimation de systèmes stochastiques. In Cinquième atelier d'évaluation de performances, February 1995. details
  17. A. Benveniste, T. Gautier, P. Le Guernic, G. Berry, F. Mignard, P. Caspi, N. Halbwachs, P. Couronné, F. Dupont, C. Le Maire, J.P. Paris, Y. Sorel. Synchronous technology for real-time systems. In RTS'94, Pages 105-122, 1994. details ps
  18. 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. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Pages 149-169, September 1994. details
  19. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs. Data-flow Synchronous Languages. In Proc of the 1993 REX symposium: Ten decades of concurrency, a perspective, 1993. details
  20. A. Benveniste, M. Le Borgne, P. Le Guernic. Hybrid Systems : the Signal Approach. In Hybrid Systems, 1993. details
  21. B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic. Discrete Event Systems and Synchronous Languages: an example. In Proc of the IFAC 1993 World Congress, 1993. details
  22. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical Systems over Galois Fields. In Proc. of the Second European Control Conference (ECC93), June 1993. details
  23. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical systems over Galois fields and DEDS Control Problems. In Proc. of the 30th IEEE conference on Decision and Control, Pages 1505-1510, 1992. details
  24. A. Benveniste. Constructive Probability and the Signalea language : building and handling random process via programming. In Workshop on theory of Hybrid Systems, October 1992. details
  25. A. Benveniste, M. Le Borgne, P. Le Guernic. SIGNAL as a model for real-time and hybrid systems. In Proceedings of European Symposium on Programming (ESOP '92), B. Krieg-Brueckner (ed.), Pages 20-38, February 1992. details
  26. M. Le Borgne, A. Benveniste, P. Le Guernic. Polynomial dynamical systems over finite fields. In Algebraic Computing in control, Volume 165, Pages 212-222, March 1991. details

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, No 4003, September 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, September 2000. details ps
  3. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. Pre-order semantics of UML state machines. Research Report Irisa, No 1336, June 2000. details ps
  4. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research Report Irisa, No 1289, December 1999. details ps
  5. J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic Normal Forms for desynchronization. Research Report Irisa, No 1288, December 1999. details ps
  6. A. Benveniste, P. Caspi, S. Tripakis. Distributing synchronous programs on a loosely synchronous, distributed architecture. Rapport de recherche Irisa, No 1289, December 1999. details ps
  7. J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of synchronous transition systems. Research Report Irisa, No 1269, October 1999. details ps
  8. A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony. Research Report Irisa, No 1233, March 1999. details ps
  9. 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, No 3353, February 1998. details ps
  10. A. Benveniste, P. Le Guernic, P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. Research Report Irisa / Inria-Rennes, No 3310, November 1997. details ps
  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, No 837, July 1994. details ps
  12. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs. Data-flow Synchronous Languages. Research Report Irisa / Inria-Rennes, No 2089, October 1993. details ps
  13. A. Benveniste, M. Le Borgne, P. Le Guernic. Signal as a model for Real-Time and Hybrid Systems. Research Report irisa, No 624, January 1992. details
  14. A. Benveniste. Constructive Probability and the Signalea : language: building and handling random processes via programming. Research Report Inria, No 1532, October 1991. details
  15. A. Benveniste, G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. Research Report Irisa, No 581, April 1991. details

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

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to 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.

Last update Thu Mar 1 13:57:50 2012

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