Research Papers

Research Papers on Esterel


 

 

  • An implementation of Constructive Synchronous Programs in POLIS:
    G. Berry, E. M. Sentovich (Cadence). ellens@cadence.com

    Formal Methods in System Design 17 (2): 165-191.
    © Kluwer Academic Publishers, October 2000.

The Polis System system that currently uses Esterel as its input specification model

  • Hardware-Software Codesign of Embedded Systems : The Polis Approach
    F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone. A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, B. Tabbara. Kluwer Academic Publishers, 1997.

Using Esterel to generate protocols (INRIA Rodeo project):

  • Generating Efficient Protocol Code from an Abstract Specification
    C. Castelluccia, Walid Dabbous and Sean O’Malley to appear in ACM SIGCOMM ’96.
  • Tailored Protocol Development Using Esterel
    C. Castelluccia, I. Chrisment, W. Dabbous, C. Diot,C. Huitema, E. Siegel and R. DeSimone INRIA Technical report 2374, INRIA Sophia-Antipolis, October 1994.

Two papers on Esterel in robotics:

  • A Synchronous Approach for Control Sequencing in Robotics Applications
    Bernard Espiau, Eve Coste-Maniere. Proc. IEEE International Workshop on Intelligent Motion, pp 503-508, Istambul, Turkey, 1990.
  • A Programming and Simulation Tool for Robotics Workcells
    Eve Coste-Maniere, B. Faverjon. Proc. International Conference on Automation, Robotics, and Computer Vision, Singapore, 1990.

Man-machine interaction devices from INRIA:

  • Research Programming the Behavior of Graphical Objects Using Esterel
    D. Clement, J. Incerpi. TAPSOFT’89, Springer VerlagLNCS 352, 1989.