Publications of Thierry Gautier

Load the BibTeX file

Academic Journals

  1. Yue Ma, Thierry Gautier, Jean-Pierre Talpin, Paul Le Guernic, Huafeng Yu. Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone. Journal Européen des Systèmes Automatisés, November 2011. details pdf
  2. Abdoulaye Gamatie, Thierry Gautier. The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Transactions on Parallel and Distributed Systems, 21(5), 2010. details
  3. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Paul Le Guernic. Compositional design of isochronous systems. Science of Computer Programming, 2010. details
  4. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Applications. ACM Transactions on Software Engineering and Methodology (TOSEM), 2007. details
  5. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Synchronous Design of Avionic Applications based on Model Refinements. Journal of Embedded Computing, 2007. details
  6. Jean-René Beauvais, Eric Rutten, Thierry Gautier, Paul Le Guernic, Yan-Mei Tang. Modelling Statecharts and Activitycharts as Signal equations. ACM Transactions on Software Engineering and Methodology, 10(4), 2001. details
  7. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991. details ps
  8. P. Le Guernic, B. Chéron, T. Gautier, C. Le Maire. Développer en langage Signal. Annales des Télécommunications, 46(1):13-24, January 1991. details ps

Book Chapters

  1. Loic Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Compilation of Polychronous Data Flow Equations. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010. details
  2. Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. A Module Language for Typing Signal Programs by Contracts. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010. details
  3. L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche. Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example. In Intensional Programming II, Based on the Papers at ISLIP '99, M. Gergatsoulis, P. Rondogiannis (eds.), pp. 149-167, World Scientific, 2000. details ps
  4. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I Smarandache. Projet CAIRN: conception d'architectures à partir de SIGNAL et ALPHA. In C.T.I. COMETE, CODESIGN Conception conjointe logiciel-matériel, pp. 147-169, Eyrolles, Collection Technique et Scientifique des Télécommunications, 1998. details ps
  5. 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 (eds.), pp. 413-438, 1991. details ps

International Conferences

  1. Huafeng Yu, Jean-Pierre Talpin, Lo\"\ic Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, United Kingdom, July 2011. details download
  2. Yue Ma, Huafeng Yu, Thierry Gautier, Jean-Pierre and Besnard, Lo\"\ic Talpin, Paul Le Guernic. System Synthesis from AADL using Polychrony. In Electronic System Level Synthesis Conference, June 2011. details pdf
  3. Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loic Besnard, Thierry Gautier, Paul Le Guernic, Andreas Toom, Odile Laurent. System-level Co-simulation of Integrated Avionics Using Polychrony. In ACM Symposium On Applied Computing, TaiChung, Taiwan, Province Of China, March 2011. details download
  4. Huafeng Yu, Jean-Pierre Talpin, Lo@c Besnard, Thierry Gautier, Frederic Mallet, Charles Andre, Robert De Simone. Polychronous Analysis of Timing Constraints in UML MARTE. In IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, Espagne Parador of Carmona, 2010. details
  5. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Alexandre Cortier. Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. In Proceedings of the 2010 10th International Conference on Application of Concurrency to System Design, ACSD '10, Pages 137-146, 2010. details
  6. Yue Ma, Jean-Pierre Talpin, Thierry Gautier. Interpretation of AADL Behavior Annex into Synchronous Formalism using SSA. In Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology, Pages 2361-2366, 2010. details
  7. Julio C. Peralta, Thierry Gautier, Loic Besnard, Paul Le Guernic. LTSs for translation validation of (multi-clocked) Signal specifications. In Proceedings of the 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Pages 199-208, 2010. details
  8. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. In Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems, AVOCS '10, Pages 168-183, 2010. details
  9. L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, F. Maraninchi. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), to appear in Electronic Communications of the EASST, 2009. details
  10. J.C Peralta, T. Gautier. Towards SMV model checking of Signal (multi-clocked) specifications. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), to appear in Electronic Communications of the EASST, Pages 171-185, 2009. details
  11. Y. Ma, J.-P. Talpin, S. Shukla, T. Gautier. Distributed simulation of AADL specifications in a polychronous model of computation. In International Conference on Embedded Software and Systems (ICESS'09), 2009. details
  12. Y. Glouche, P. Le Guernic, J.-P Talpin, T. Gautier. A Boolean algebra of contracts for logical assume-guarantee reasoning. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), to appear in ENTCS (Electronic Notes in Theoretical Computer Science), November 2009. details
  13. Y. Glouche, J.-P. Talpin, P. Le Guernic, T. Gautier. A module language for typing by contracts. In Proceedings of the First NASA Formal Methods Symposium (NFM'09), E. Denney, D. Giannakopoulou, C. S. P\uas\uareanu (eds.), Pages 86-95, April 2009. details
  14. Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard. An Interval-Based Solution for Static Analysis in the SIGNAL Language. In Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2008), Proceedings, Pages 182-190, Belfast, Northern Ireland, 2008. details
  15. Y. Ma, J.P. Talpin, T. Gautier. Virtual prototyping AADL architectures in a polychronous model of computation. In ACM-IEEE Conference on Methods and Models for Codesign, 2008. details
  16. Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. Analysis of periodic clock relations in polychronous systems. In IFIP, Distributed Embedded Systems: Design, Middleware and Ressources (DIPES'08), Volume 271, Milano, September 2008. details
  17. Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. Polychronous mode automata. In Embedded Software Conference, ACM Press, September 2006. details
  18. Christian Brunette, R Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A modeling paradigm for integrated modular avionics design. In Software Engineering and Advanced Application, IEEE Press, September 2006. details
  19. Christian Brunette, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier. Modeling multi-clocked data-flow programs using the Generic Modeling Environment. In Synchronous Languages, Applications, and Programming, Elsevier, March 2006. details
  20. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Toward Static Analysis of SIGNAL Programs using Interval Techniques. In Synchronous Languages, Applications, and Programming, SLAP 2006, Florence Maraninchi, Marc Pouzet (eds.), Vienna, Austria, March 2006. details
  21. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Dealing with Real-Time Issues within the Polychronous Framework. In Proceedings of the 17th Euromicro Conference on Real Time Systems (ECRTS'05), Work-in-Progress Session, Palma de Mallorca, Balearic Islands - Spain, July 2005. details
  22. Laurent Rioux, Thierry Saunier, Sebastien Gérard, A Radermacher, Robert De Simone, Thierry Gautier, Yves Sorel, J Forget, Jean-Luc Dekeyser, A Cuccuru, C Dumoulin, Charles André. MARTE: A New OMG Profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. In DAC 2005 Workshop UML for SoC Design, UML-SoC'05, Anaheim CA, USA, June 2005. details
  23. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Conception Synchrone d'Applications Avioniques par Raffinement de Modèles. In Proc. of the 13th International Conference on Real-time Systems (RTS'2005), Paris - France, April 2005. details
  24. A. Gamatié, T. Gautier, P. Le Guernic. An Example of Synchronous Design of Embedded Real-Time Systems based on IMA. In Proceedings of the 10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA'2004), Gothenburg, Sweden, August 2004. details
  25. Abdoulaye Gamatié, Thierry Gautier. Modeling of Modular Avionics Architectures Using the Synchronous Language SIGNAL. In Proceedings of the Work In Progress session, 14th Euromicro Conference on Real Time Systems, ECRTS'02, Pages 25-28, June 2002. details
  26. 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
  27. I. Smarandache, T. Gautier, P. Le Guernic. Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1364-1383, Toulouse, France, October 1999. details ps
  28. L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche. Design of a multi-formalism application and distribution in a data-flow context: an example. In Proceedings of The 12th International Symposium on Languages for Intensional Programming, ISLIP' 99, NCSR Demokritos, Athens, Greece, June 1999. details ps
  29. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier. Une modélisation de StateCharts et ActivityCharts en Signal. In Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, March 1999. details ps
  30. 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, February 1999. details ps
  31. 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
  32. 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
  33. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten. A translation of Statecharts into Signal. In Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), Pages 52-62, Aizu-Wakamatsu, Japan, March 1998. details ps
  34. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache. Le projet Cairn : vers la conception d'architectures à partir de Signal et Alpha. In Actes des Séminaires Action Scientifique - Codesign, 1997. details
  35. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic. An ML-like module system for the synchronous language Signal. In European Conference on Parallel Processing (Euro-Par'97), Pages 1244-1253, August 1997. details ps
  36. Proj. ASAR, P. Aubry, M. Belhadj, TH. Gautier, P. Le Guernic, P. Quinton, C. Dezan, M. Israël, J. Benzakki, T. Bouguerba, F. Rousseau, M. Auguin, C. Carrière, G. Cogniat, G. Durrieu, M. Lemaître, E. Martin, O. Sentieys, J.L. Philippe, L. Rideau. Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de Centaur : ASAR. In Quatrième Symposium Architectures Nouvelles de Machines, Pages 51-62, Irisa, Rennes, February 1996. details
  37. P. Aubry, T. Gautier. GC: the Data-Flow Graph Format of Synchronous Programming. In Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), ACM Sigplan Notices, Volume 30, Pages 83-93, March 1995. details ps
  38. 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
  39. Proj. Asar, P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, T. Bouguerba, C. Carrière, G. Durrieu, T. Gautier, M. Israël, P. Le Guernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O. Sentieys. Framework and Multi-Formalism: the ASAR Project. In Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brésil), November 1994. details
  40. Proj. Asar, P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, T. Bouguerba, C. Carrière, G. Durrieu, T. Gautier, M. Israël, P. Le Guernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O. Sentieys. Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project. In Proceedings of the Third International Workshop on Hardware/Software Codesign, Pages 25-32, Grenoble, September 1994. details ps
  41. T. Gautier, P. Le Guernic. L'environnement de programmation SIGNAL. In Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, Pages 168-175, April 1994. details ps
  42. P. Le Guernic, T. Gautier. Programming real time applications with SIGNAL. In Proceedings of the first European Control Conference, C. Commault (ed.), Pages 1666-1671, 1991. details
  43. T. Gautier, P. Le Guernic. L'environnement de programmation SIGNAL. In Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, Pages 168-175, April 1991. details
  44. Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Real-Time Applications with SIGNAL. In ARTIST Survey of Programming Languages, Alan Burns (ed.), 0. details ppt

Research Reports

  1. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Research Report INRIA, June 2010. details
  2. Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier. A boolean algebra of contracts for logical assume-guarantee. Research Report INRIA, 2008. details
  3. Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionic Design. Research Report INRIA, No 5715, October 2005. details
  4. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. Research Report INRIA, No 5509, March 2005. details
  5. Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. Research Report Irisa, No 0, December 2002. details
  6. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. A translation of Statecharts and Activitycharts into Signal equations. Research Report Irisa / Inria-Rennes, No 3397, April 1998. details ps
  7. D. Nowak, J.P. Talpin, T. Gautier. Un système de modules avancé pour Signal. Research Report Irisa / Inria-Rennes, No 3176, June 1997. details ps
  8. T. Gautier, P. Le Guernic, O. Maffeis. For a New Real-Time Methodology. Research Report Inria, No 2364, October 1994. details ps
  9. T. Gautier, P. Le Guernic, F. Dupont. SIGNAL V4 : manuel de référence. Research Report Irisa, No 832, June 1994. details ps
  10. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. SIGNAL manual. Research Report Irisa / Inria-Rennes, No 1969, September 1993. details ps
  11. T. Gautier, P. Le Guernic. Signal V4: Manuel de Référence. Research Report Irisa, 1992. details
  12. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Research Report Irisa, No 582, April 1991. details
  13. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. Manuel SIGNAL. Research Report Irisa, No 575, February 1991. details

Misc

  1. L. Besnard, T. Gautier, J.-P Talpin. Code generation strategies for Synoptic using the Polychrony platform. Deliverable SPa5b, Projet ANR Spacify, 2009. details
  2. Erik Herzog, Eldad Palachi, Masoud Zarkari, Thierry Gautier, Susanne Graf, Michael Winokur, Vered Gafni. Assessment of Existing Standards. Deliverable D.2.5.1, 2007. details
  3. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. March 2004. details pdf
  4. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. December 2002. details
  5. L. Besnard, T. Gautier, Q. Pan, C. Macabiau, Y. Sorel. SIGNAL-SynDEx translation, V1.0. June 2002. details
  6. T. Le Sergent, J.L. Camus, F. Dupont, T. Gautier, P. Le Guernic, H. Hungar, K. Winkelmann, O. Shtrichman, M. Cohen. ASDE V1.0 specification. March 2001. details
  7. T. Le Sergent, J. L. Camus, F. Dupont, T. Gautier, P. Le Guernic, H. Hungar, K. Winkelmann, O. Shtrichman, M. Cohen. ASDE V0.9 specification. June 2000. details
  8. T. Gautier, P. Le Guernic. SCADE-SIGNAL languages Compatibility. May 2000. details
  9. T. Gautier, X. Méhaut. SSL Implementation: DC+ => SSL translation. Esprit project EP 20897: Sacres, November 1998. details
  10. 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
  11. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. Task I1.1A: StateMate integration - A translation of Statecharts and Activitycharts into Signal equations. Esprit project EP 20897: Sacres, April 1998. details
  12. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache. Le projet CAIRN: vers la conception d'architectures à partir de Signal et Alpha. June 1996. details
  13. 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:51 2012

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