Passer au contenu
  ESPRESSO  
 

Sélection de publications

Document Actions

  •  B. Bouyssounouse, J. Sifakis (editors). Embedded Systems Design. The ARTIST Roadmap for Research and Development, Thierry Gautier, contributor, Springer, Lecture Notes in Computer Science, Vol. 3436, 2005.
  • T. P. Amagbegnon, L. Besnard, P. Le Guernic. Implementation of the Data-flow Synchronous Language Signal, in: Proceedings of the ACM Symposium on Programming Languages Design and Implementation (PLDI'95), ACM, 1995, p. 163–173.
  • A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony, in: CONCUR'99, Concurrency Theory, 10th International Conference, J. C. M. Baeten, S. Mauw (editors), Lecture Notes in Computer Science, Springer, August 1999, vol. 1664, p. 162–177.
  • A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone. The Synchronous Languages Twelve Years Later, in: Proceedings of the IEEE Special issue on Modeling and Design of Embedded Systems, 2003, vol. 91(1).
  • A. Benveniste, P. Le Guernic, C. Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics, in: Science of Computer Programming, 1991, vol. 16, p. 103-149.
  • A. Gamatié, T. Gautier. Synchronous Modeling of Avionics Applications using the SIGNAL Language, in: Proceedings of the 9th IEEE Real-time/Embedded technology and Applications symposium (RTAS'03), Washington D.C., USA, IEEE Press, May 2003.
  • A. Gamatié, T. Gautier, P. Le Guernic, J.-P. Talpin.
        Polychronous Design of Embedded Real-Time Applications, in: ACM Transactions on Software Engineering and Methodology (TOSEM), 2006.
  • A. Gamatié, T. Gautier, P. Le Guernic, J.-P. Talpin. Polychronous Design of Embedded Real-Time Applications, in: ACM Transactions on Software Engineering and Methodology (TOSEM), 2007.
  • T. Gautier, P. Le Guernic. Code generation in the SACRES project, in: Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Huntingdon, UK, F. Redmill, T. Anderson (editors), Springer, February 1999, p. 127–149.
  • [10] A. Kountouris, C. Wolinski. High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs, in: Proceedings of the EUROMICRO'99, Milan, Italie, IEEE Computer Society Press, August 1999.
  • 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 (editors), 1991, p. 413–438.
  • P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal, in: Proceedings of the IEEE, Septembre 1991, vol. 79, no 9, p. 1321–1336.
  • P. Le Guernic, J.-P. Talpin, J.-C. Le Lann. Polychrony for system design, in: Journal of Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, 2003.
  • H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment, in: Discrete Event Dynamic System: Theory and Applications, October 2000, vol. 10, no 4, p. 347–368.
  • J.-P. Talpin, P. Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design, in: Formal Methods in System Design, 2006.