Toutes les publications

Load the BibTeX file

Thèses de doctorat

  1. Y. Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation. Thèse, 2010. details download
  2. Y. Glouche. Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués. Thèse, 2009. details download
  3. J. Ouy. Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS. Thèse, 2008. details
  4. A. Gamatié. Modélisation polychrone et évaluation de systèmes temps réel. Thèse, Mai 2004. details
  5. Mickaël Kerboeuf. Orientation objet d'un calcul de processus synchrones. Thèse de l'Université de Rennes 1, IFSIC, Décembre 2002. details
  6. Mirabelle Nebut. Réactions synchrones : spécification et analyse. Thèse de l'Université de Rennes 1, IFSIC, Novembre 2002. details
  7. Jean-Christophe Le Lann. Simulation et synthèse de circuits s'appuyant sur le Modèle Synchrone. Thèse de l'Université de Rennes 1, IFSIC, Mars 2002. details
  8. Y. Wang. UML et technologie synchrone pour les systèmes réactifs distribués. Thèse de l'Ifsic, Université de Rennes 1, Décembre 2001. details
  9. F. Jiménez. Conception sûre des automatismes industriels : modélisation synchrone de langages d'automates programmables de la norme CEI-61131-3. Thèse de l'Université de Rennes 1, IFSIC, Mars 2001. details
  10. C. Wolinski. Conception conjointe matériels/logiciels. Habilitation à diriger des recherches de l'Ifsic, Université de Rennes 1, Septembre 2000. details
  11. C. Wolinski. Conception conjointe matériels/logiciels. Habilitation à diriger des recherches de l'Ifsic, Université de Rennes 1, Septembre 2000. details
  12. E. Rutten. Programmation sûre des systèmes de contrôle/commande: le séquencement de tâches flot de données dans les langages réactifs. Habilitation à diriger des recherches de l'Ifsic, Université de Rennes1, Décembre 1999. details ps
  13. D. Nowak. Spécification et preuve de systèmes réactifs. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1999. details ps
  14. J.R. Beauvais. Modélisation de StateCharts en Signal pour la conception de systèmes critiques temps-réel. Thèse de l'Université de Rennes 1, IFSIC, Janvier 1999. details ps
  15. A. Kountouris. Outils pour la validation temporelle et l'optimisation de programmes synchrones. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1998. details ps
  16. I. Smarandache. Transformations affines d'horloges: application au codesign de systèmes temps-réel en utilisant les langages Signal et Alpha. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1998. details ps
  17. P. Aubry. Mises en oeuvre distribuées de programmes synchrones. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. details ps
  18. H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. details ps
  19. D. Chauveau. Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea. Thèse de l'Université de Rennes 1, Décembre 1996. details ps
  20. T. Amagbegnon. Forme canonique arborescente deshorloges de Signal. Thèse de l'université de Rennes 1, Novembre 1995. details ps
  21. G. Paller. RAFAEL: An Intelligent, Multi-Target Signal-Flow compiler. Thèse de l'Université Technique de Budapest, Septembre 1995. details
  22. M. Belhadj. Conception d'architectures en utilisant Signal et VHDL. Thèse de l'Université de Rennes I, IFSIC, Décembre 1994. details ps
  23. M. Le Borgne. Systèmes dynamiques sur des corps finis. Thèse de l'Université de Rennes I, IFSIC, Septembre 1993. details
  24. O. Maffeis. Ordonnancements de graphes de flots synchrones ; application à la mise en oeuvre de SIGNAL. Thèse de l'Université de Rennes I, IFSIC, Janvier 1993. details
  25. B. Dutertre. Spécification et preuve de systèmes dynamiques. Thèse de l'Université de Rennes I, IFSIC, Décembre 1992. details
  26. L. Besnard. Compilation de Signal: horloges, dépendances, environnements. Thèse de l'Université de Rennes I, IFSIC, Septembre 1992. details
  27. B. Chéron. Transformations syntaxiques de Programmes Signal. Thèse de l'Université de Rennes I, IFSIC, Septembre 1991. details
  28. C. Le Maire. Environnement de Programmation Synchrone en Reconnaissance de la Parole. Thèse de l'université de Rennes1, Décembre 1990. details
  29. B. Le Goff. Inférence de contrôle hiérarchique : application au temps réel. Thèse de l'Université de Rennes I, IFSIC, 1989. details

Livres

  1. Sandeep K. Shukla, Jean-Pierre Talpin (eds.). Synthesis of Embedded Software. Springer, 2010. details
  2. C. Heitmeyere, J.P. Talpin (eds.). Proceedings of the 2nd. ACM-IEEE conference on methods and models for codesign. IEEE Press, 2004. details download
  3. R. Gupta, P. Le Guernic, S. Shukla, J.P. Talpin (eds.). Formal Methods and Models for System Design. Kluwer Academic Publishers, 2004. details
  4. C. Samson, M. Le Borgne, B. Espiau. Robot Control. The Task Function Approach. 22, Oxford engineering science series, 22, Clarendon Press, Oxford, 1991. details

Articles de journaux

  1. Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Fundamenta Informaticae, 2011. details
  2. 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, Novembre 2011. details pdf
  3. 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
  4. Imran Quadri, Huafeng Yu, Abdoulaye Gamatie Samy, Meftali and Jean-Luc Dekeyser, Eric Rutten. Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems, 2010. details
  5. Huafeng Yu, Abdoulaye Gamatie, Eric Rutten, Jean-Luc Dekeyser. Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design. Knowledge Engineering Review, Accepted for publication, 2010. details
  6. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Paul Le Guernic. Compositional design of isochronous systems. Science of Computer Programming, 2010. details
  7. Imran Rafiq Quadri, Abdoulaye Gamatie, Samy Meftali, Jean-Luc Dekeyser, Huafeng Yu, …ric Rutten. Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems, Septembre 2010. details
  8. D. Potop-Butucaru, R. De Simone, J.-P. Talpin. The synchronous hypothesis and polychronous languages. 2009. details
  9. B. Jose, B. Xue, S. Shukla, J.-P. Talpin. 2009. details
  10. 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
  11. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Synchronous Design of Avionic Applications based on Model Refinements. Journal of Embedded Computing, 2007. details
  12. Lionel Morel. Array Iterators in Lustre: from a language extension to its exploitation in validation. EURASIP Journal of Embedded Computing, 2007. details
  13. Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, 2006. details
  14. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. Validating Families of Latency Insensitive Protocols. IEEE Transactions on Computers, 55(11):1391-1401, 2006. details
  15. Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep Shukla. ARH: service-oriented architecture for validating system-level designs. IEEE Transactions on Computer-Aided Design, 25(8):1458-1474, 2006. details
  16. Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, Special Issue on formal methods for GALS design, 2005. details
  17. Jean-Pierre Talpin, Paul Le Guernic, Sandeep Shukla, Rajesh Gupta. Compositional behavioral modeling of embedded systems and conformance checking. International Journal on Parallel processing, special issue on testing of embedded systems, 2005. details
  18. Dimitru Potop-Butucaru, Robert De Simone, Jean-Pierre Talpin. The synchronous hypothesis and synchronous languages. Embedded Systems Handbook, 2005. details
  19. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. XFM :An Incremental Methodology for Developing Formal Models. ACM Transactions on Design Automation of Electronic Systems (TODAES) Special Issue on Validation of Large Systems, Octobre 2005. details
  20. J.P. Talpin, P. Le Guernic, S. K. Shukla, R. Gupta, F. Doucet. Formal refinement checking in a system-level design methodology. Fundamenta Informaticae, 2004. details
  21. M. Kerboeuf, J.P. Talpin. Encapsulation and behavioural inheritance in a synchronous model of computation for embedded system services adaptation. Journal of Logics and Algebraic Programming, 2004. details
  22. 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
  23. Paul Le Guernic, Jean-Pierre Talpin, J.-C. Le Lann. Polychrony for system design. Journal of Circuits, Systems and Computers. Special Issue on Application Specific Hardware Design, 2002. details
  24. Apostolos Kountouris, Christophe Wolinski, Jean-Christophe Le Lann. High-Level Synthesis Using Hierarchical Conditional Dependency Graphs in the CODESIS System. EUROMICRO Journal of Systems Architecture on Modern Methods and Tools in Digital System Design, 2001. details
  25. 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
  26. Hervé Marchand, Eric Rutten, Michel Le Borgne, Mazen Samaan. Formal Verification of Programs specified with Signal: Application to a power transformer Station Controller. Science of Computer Programming, 41(1):85-104, Août 2001. details
  27. A. Kountouris, C. Wolinski, J.C. Le Lann. High-Level Synthesis Using Hierarchical Conditional Dependency Graphs in the CODESIS System. EUROMICRO Journal of Systems Architecture on Modern Methods and Tools in Digital System Design, 2000. details
  28. H Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM Journal on Control and Optimization, 39(2):512-532, 2000. details
  29. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. Science of Computer Programming, 2000. details
  30. A. Kountouris, C. Wolinski, J.C. Le Lann. High-Level Synthesis Using Hierarchical Conditional Dependency Graphs in the CODESIS System. EUROMICRO Journal of Systems Architecture on Modern Methods and Tools in Digital System Design, 2000. details
  31. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic System: Theory and Applications, 10(4):325-346, Octobre 2000. details
  32. H. Marchand, M. Samaan. Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. IEEE Transaction on Software Engineering, 26(8):729-741, Août 2000. details
  33. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3. Revue de l'électricité et de l'électronique (SEE), (3):60-68, Mars 2000. details
  34. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST de la norme CEI 1131-3. Revue de l'électricité et de l'électronique (SEE), (3):60-68, Mars 2000. details
  35. A. Benveniste, B. Caillaud, P. Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 1999. details
  36. O. Kouchnarenko, S. Pinchinat. Intensional approachs for symbolic methods. Electronic Notes in Theoretical Computer Science, 18, 1998. details ps
  37. A. Benveniste. Compositional and Uniform Modelling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4), Avril 1998. details ps
  38. E. Marchand, E. Rutten, H. Marchand, F. Chaumette. Specifying and verifying active vision-based robotic systems with the Signal environment. Int. Journal of Robotics Research, 17(4):418-432, Avril 1998. details ps
  39. O. Kouchnarenko, P. Schnoebelen. A Model for Recursive-Parallel Programs. Electronic Notes in Theoretical Computer Science, 5, 1997. details
  40. M. Tofte, J.P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1997. details
  41. E. Rutten, E. Marchand, F. Chaumette. An experiment with reactive data-flow tasking in active robot vision. Software - Practice & Experience, 27(5):599-621, Mai 1997. details ps
  42. E. Marchand, E. Rutten, F. Chaumette. From data-flow task to multi-tasking: Applying the synchronous approach to active vision in robotics. IEEE Trans. on Control Systems Technology, 5(2):200-216, Mars 1997. details ps
  43. 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, Décembre 1995. details ps
  44. F. Laroussinie, S. Pinchinat, P. Schnoebelen. Translation Results for Modal Logics of Reactive Systems. Theoretical Computer Science, 40(1), Mars 1995. details
  45. A. Benveniste. Synchronous Languages Provide Safety in Reactive Systems Design. Control Engineering, pages 87-89, Septembre 1994. details
  46. A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine. A Denotational Theory of Synchronous Reactive Systems. Information and Computation, 99(2):192-230, Août 1992. details ps
  47. 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, Décembre 1991. details
  48. 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, Septembre 1991. details
  49. A. Benveniste, G. Berry. Real-time systems designs and programming. Proc. of the IEEE, 79(9):1270-1282, Septembre 1991. details
  50. 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, Septembre 1991. details ps
  51. 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, Janvier 1991. details ps
  52. A. Benveniste, P. Le Guernic. Hybrid Dynamical Systems and the Signal Programming Language. IEEE Trans. Automat. Control, 35:535-546, Mai 1990. details

Chapitres de livres

  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. A. Cortier, L. Besnard, J.-P. Bodeveix, J. Buisson, F. Dagnat, M. Filali, G. Garcia, J. Ouy, M. Pantel, A. Rugina, M. Strecker, J.-P. Talpin. Synoptic : a domain-specific modeling language for space on-board application software. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010. details
  4. J.P. Talpin, P. Le Guernic. Algebraic theory for behavioral type inference, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004. details
  5. J.P. Talpin, D. Berner, S. Shukla, P. Le Guernic, A. Gamatié, R. Gupta. Behavioral type inference for compositional system design, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004. details
  6. D. Berner, S. Suhaib, S. Shukla, J.P. Talpin. Capturing formal specifications into abstract models, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004. details
  7. 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
  8. 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
  9. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. Signal- the specification of a generic, verified production cell controller. In Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chap. 7, pp. 115-129, Lecture Notes in Computer Science, Springer Verlag, Janvier 1995. details
  10. 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

Conférences internationales

  1. Huafeng Yu, Y. Ma, Y. Glouche, J.-P. Talpin, L. Besnard and T. Gautier, P. Le Guernic, A. Toom, O. Laurent. System-level Co-simulation of Integrated Avionics Using Polychrony. In Proceedings of the 26th ACM Symposium On Applied Computing (SAC'11), 2011. details
  2. Zhibin Yang, Jean-Paul Bodeveix, Lei Pi, D. Ma, Jean-Pierre Talpin. Two formal semantics for a subset of the AADL. In UML&AADL workshop at the IEEE International Conference on Engineering of Complex Computer Systems, 2011. details
  3. Jens Brandt, Michael Gemunde, Klaus Schneider, Sandeep Shukla, Jean-Pierre Talpin. Integrating System Descriptions by Clocked Guarded Actions. In Forum on Design Languages, Septembre 2011. details
  4. 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, Juillet 2011. details download
  5. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. In Electronic System Level Synthesis Conference, San Diego, California, United States, Juin 2011. details download
  6. 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, Juin 2011. details pdf
  7. Adnan Bouakaz, Isabelle Puaut, Erven Rohou. Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation. In The 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Chicago, United States, Avril 2011. details download
  8. 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, Mars 2011. details download
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. E. Vecchie, J.-P. Talpin, S. Boisgerault. A higher-order extension for imperative synchronous languages. In Software and Compilers for Embedded Systems, SCOPES'10, Pages 168-183, 2010. details
  15. D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P Talpin. Clock-driven distributed real-time implementation of endochronous synchronous programs. In Embedded Software Conference (EMSOFT'09), 2009. details
  16. 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), à paraître in Electronic Communications of the EASST, 2009. details
  17. 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), à paraître in Electronic Communications of the EASST, Pages 171-185, 2009. details
  18. D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P. Talpin. From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations. In Application of Concurrency to System Design (ACSD'09), 2009. details
  19. 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
  20. 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), à paraître in ENTCS (Electronic Notes in Theoretical Computer Science), Novembre 2009. details
  21. 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, Avril 2009. details
  22. E. Vecchie, J.-P. Talpin, K. Schneider. Separate compilation and execution of imperative synchronous modules. In Design Analysis and Test in Europe (DATE'09), Avril 2009. details
  23. 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
  24. B. Jose, S. Shukla, H. Patel, J.P. Talpin. On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications. In ACM-IEEE Conference on Methods and Models for Codesign, 2008. details
  25. 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
  26. 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, Septembre 2008. details
  27. Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic. Separate compilation of polychronous specifications. In Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007. details
  28. P. Bostrm, L. Morel, M. Walden. Stepwise development of Simulink models using the refinement calculus framework. In International Colloquium on Theoretical Aspects of Computing, 2007. details
  29. Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems. In Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007. details
  30. Sandeep Shukla, Sihed Suhaib, Deepak Mathaikutty, Jean-Pierre Talpin. On the polychronous approach to embedded software design. In Next generation design and verification methodologies for distributed embedded systems, 2007. details
  31. S Suhaib, D Mathiakutty, Sandeep Shukla, Jean-Pierre Talpin. Polychronous methodology for system design, a true concurrency approach. In High-level design, validation and test workshop, IEEE Press, Novembre 2006. details
  32. Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. Polychronous mode automata. In Embedded Software Conference, ACM Press, Septembre 2006. details
  33. 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, Septembre 2006. details
  34. Loïc Besnard, Hervé Marchand, Eric Rutten. The Sigali Tool Box Environment. In WODES'06, 8th International Workshop on Discrete Event Systems, Sessions on Software Tools for DES, Ann Arbor, Michigan, USA, Juillet 2006. details
  35. François Vernadat, Christian Percebois, Patrick Farail, R Vingerhoes, Alain Rossignol, Jean-Pierre Talpin, David Chemouil. The Topcased project - a toolkit in open-source for critical application and system development. In International Space System Engineering Conference, Eurospace, Mai 2006. details
  36. 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, Mars 2006. details
  37. 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, Mars 2006. details
  38. Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard. Automated translation of C/C++ programs into a synchronous formalism. In Engineering of Computer Based Systems, IEEE Press, Mars 2006. details
  39. Jean-Pierre Talpin, Sandeep Shukla. Automated clock inference for stream function-based system level specifications. In High-level design, validation and test workshop (HLDVT), IEEE Press, 2005. details
  40. Jean-Pierre Talpin, Dimitru Potop-Butucaru, Julien Ouy, Benoit Caillaud. From multi-clocked synchronous specifications to latency-insensitive systems. In Embedded Software Conference (EMSOFT), ACM Press, 2005. details
  41. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. Validating Families of Latency Insensitive Protocols. In To be published in Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT), Napa Valley, California, USA, Novembre 2005. details
  42. David Berner, Hiren Patel, Deepak Mathaikutty, Sandeep Shukla. Automated Extraction of Structural Information from SystemC-based IP for Validation. In Proc. of 6th International Workshop on Microprocessor Test and Verification (MTV'05), Austin Texas, USA, Novembre 2005. details
  43. Jean Bézivin, Christian Brunette, Régis Chevrel, Frédéric Jouault, Ivan Kurtev. Bridging the \textscGeneric \textscModeling \textscEnvironment and the \textscEclipse \textscModeling \textscFramework. In Proc. of the 4th workshop in Best Practices for Model Driven Software Development, OOPSLA, Octobre 2005. details
  44. David Berner, Hiren Patel, Deepak Mathaikutty, Jean-Pierre Talpin, Sandeep Shukla. SystemCXML: An Extensible SystemC Front End Using XML. In Proceedings of the Forum on specification and design languages (FDL), Lausanne, Switzerland, Septembre 2005. details
  45. Frederic Doucet, Massimiliano Menarini, Ingolf Kruger, Jean-Pierre Talpin, Rajesh Gupta. A verification approach for GALS integration of synchronous components. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, Juillet 2005. details
  46. Syed Suhaib, David Berner, Deepak Mathaikutty, Jean-Pierre Talpin, Sandeep Shukla. A Functional Programming Framework for Latency Insensitive Protocol Validation. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, Juillet 2005. details
  47. Julien Ouy. A survey of desynchronization in a polychronous model of computation. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, Juillet 2005. details
  48. 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, Juillet 2005. details
  49. 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, Juin 2005. details
  50. 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, Avril 2005. details
  51. D. Berner, J.P. Talpin, P. Le Guernic, S. K Shukla. Modular design through component abstraction. In International conference on compilers, architectures and synthesis for embedded systems, 2004. details
  52. J.P. Talpin, D. Berner, S. K. Shukla, A. Gamatié, P. Le Guernic, R. Gupta. A behavioral type inference system for compositional system-on-chip design. In Application of Concurrency to System Design, 2004. details
  53. M. Mousavi, P. Le Guernic, J.P. Talpin, S. Shukla, T. Basten. Modeling and validation of asynchronous systems in synchronous frameworks. In Design Analysis and Test Europe, 2004. details
  54. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. Extreme Formal Modeling (XFM) for Hardware Models. In 5th International Workshop on Microprocessor Test and Verification, Septembre 2004. details
  55. 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, Août 2004. details
  56. Mirabelle Nebut. Un langage d'horloge pour analyser et spécifier les réactions synchrones. In Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL'03), 2003. details
  57. Jean-Pierre Talpin, Paul Le Guernic, S. K. Shukla, R. Gupta, F. Doucet. A polychronous model for high-level component-based system design. In Digital Automation and Test Europe, Mars 2003. details
  58. 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, Octobre 2002. details
  59. 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, Juin 2002. details
  60. Mirabelle Nebut. A Clock Language to Specify and Analyze Synchronous Data-Flow Specifications. In Actes de l'école d'été Movep'02, MOdélisation et Vérification des systèmes PArallèles, Nantes, France, Juin 2002. details
  61. Mirabelle Nebut, Sophie Pinchinat. A Decidable Clock Language for Synchronous Specifications. In Synchronous Languages, Applications, and Programming (SLAP'02), Volume 65, Grenoble, France, Avril 2002. details
  62. H. Marchand, L. Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. In 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Janvier 2002. details
  63. F. Jiménez, E. Rutten. A synchronous model of IEC 61131 PLC languages in Signal. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, ECRTS'01, June 13th-15th, 2001, Delft, The Netherlands, Pages 135-142, 2001. details
  64. 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, Décembre 2001. details
  65. Hervé Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Décembre 2001. details
  66. K. Kuchcinski, C. Wolinski. Synthesis of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs and Constraint Logic Programming. In Proceedings of EUROMICRO'01, Varsovie, Pologne, Septembre 2001. details
  67. 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, Août 2001. details
  68. L. Helouet, P. Le Maigat. Decomposition of Message Sequence Charts. In Workshop on SDL and MSC, SAM'00, Pages 47-60, 2000. details ps
  69. F. Jiménez, E. Rutten. Hybrid simulation of IEC-61131 PLC programs using Signal and Simulink. In Proceedings of the 4th International Conference on Automation of Mixed Processes, ADPM'00, 18-19 September 2000, Dortmund, Germany, Pages 171-176, 2000. details
  70. Y. Wang. Compilation of state-machines using Behavior Expression. In Workshop PhDOOS 2000 in 14th European Conference on Object-Oriented Programming, 2000. details
  71. L. Helouet, P. Le Maigat. Decomposition of Message Sequence Charts. In Workshop on SDL and MSC, SAM'00, Pages 47-60, 2000. details ps
  72. A. Kountouris, C. Wolinski. Efficient Scheduling of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs in CODESIS System. In Proceedings of EUROMICRO'00, Pages 222-229, Maastricht, The Netherlands, Septembre 2000. details
  73. A. Kountouris, C. Wolinski. Hierarchical Conditional Dependency Graphs as a Unifying Design Representation in the CODESIS High-Level Synthesis System. In Proceedings of ISSS'00, Pages 66-71, Madrid, Spain, Septembre 2000. details
  74. A. Kountouris, C. Wolinski. Efficient Scheduling of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs in CODESIS System. In Proceedings of EUROMICRO'00, Pages 222-229, Maastricht, The Netherlands, Septembre 2000. details
  75. A. Kountouris, C. Wolinski. Hierarchical Conditional Dependency Graphs as a Unifying Design Representation in the CODESIS High-Level Synthesis System. In Proceedings of ISSS'00, Pages 66-71, Madrid, Spain, Septembre 2000. details
  76. 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, Septembre 2000. details
  77. M. Kerboeuf, D. Nowak, J. P. Talpin. The steam-boiler problem in SIGNAL-COQ. In International Conference on Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, Août 2000. details ps
  78. P. Le Maigat, L. Helouet. A (max,+) Approach for time in Message Sequence Charts. In Workshop on DES, WODES'00, Pages 83-92, Ghent, Belgium, Août 2000. details ps
  79. S. Pinchinat, H. Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, Août 2000. details ps
  80. 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), Août 2000. details ps
  81. M. Kerboeuf, D. Nowak, J. P. Talpin. The steam-boiler problem in SIGNAL-COQ. In International Conference on Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, Août 2000. details ps
  82. P. Le Maigat, L. Helouet. A $(\max,+)$ Approach for time in Message Sequence Charts. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 83-92, Ghent, Belgium, Août 2000. details ps
  83. M. Nebut. Calcul d'horloges et valeurs. In MOVEP'2k MOdelling and VErification of Parallel processes, F. Cassez, C. Jard, B. Rozoy, M. Ryan (eds.), Pages 199-202, Nantes, Juin 2000. details
  84. H. Marchand, S. Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, Juin 2000. details ps
  85. M. Nebut. Calcul d'horloges et valeurs. In MOVEP'2k MOdelling and VErification of Parallel processes, F. Cassez, C. Jard, B. Rozoy, M. Ryan (eds.), Pages 199-202, Nantes, Juin 2000. details
  86. 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), Mars 2000. details ps
  87. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle. In Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, Novembre 1999. details ps
  88. H. Marchand, M. Samaan. On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, Octobre 1999. details ps
  89. 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, Octobre 1999. details ps
  90. 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, Août 1999. details
  91. F. Besson, T. Jensen, J.-P. Talpin. Timed polyhedra analysis for synchronous languages. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS volume 1664, Août 1999. details ps
  92. A. Kountouris, C. Wolinski. High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs. In Proceedings of the EUROMICRO'99, Milan, Italie, Août 1999. details
  93. J.C. Le Lann, C. Wolinski. Load Balancing and Functional Unit Assignment in High-Level Synthesis. In Proceedings of the SCI'99/ISAS'99, Orlando, Floride, Août 1999. details
  94. D. Nowak, J.P. Talpin, P. Le Guernic. Synchronous Structures. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS, Août 1999. details ps
  95. F. Jiménez, E. Rutten. A synchronous model of the PLC programming language ST. In Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, Pages 21-24, York, England, Juin 1999. details ps
  96. 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, Juin 1999. details ps
  97. 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, Mars 1999. details ps
  98. 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évrier 1999. details ps
  99. A. Kountouris, C. Wolinski. Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification. In 12th International Conference on VLSI Design, Goa, India, Janvier 1999. details
  100. A. Kountouris, C. Wolinski. Combining Speculative Execution and Conditional Resource Sharing to Efficiently Schedule Conditional Behaviors. In ASP-DAC'99, Hong Kong, Janvier 1999. details
  101. A. Kountouris, C. Wolinski. False Path Analysis based on a Hierarchical Control Representation. In Proceedings of ISSS'98, Hsinchu, Taiwan, R.O.C, Décembre 1998. details ps
  102. S. Pinchinat, E. Rutten, R.K. Shyamasundar. Taxonomy and expressiveness of preemption : a syntactic approach. In Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, Décembre 1998. details ps
  103. J.P. Talpin, D. Nowak. A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. In International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'98), Décembre 1998. details ps
  104. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, Octobre 1998. details ps
  105. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for Discrete-Event Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, Octobre 1998. details ps
  106. 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, Septembre 1998. details ps
  107. 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, Septembre 1998. details ps
  108. J.C. Le Lann. Operand Isolation Using Signal Clock Calculus. In Proceedings of the 1st UK Low-Power Workshop, Sheffield, UK, Septembre 1998. details
  109. H. Marchand, M. Le Borgne. Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998. details ps
  110. D. Nowak, J.R. Beauvais, J.P. Talpin. Co-Inductive Axiomatization of a Synchronous Language. In Theorem Proving in Higher Order Logics (TPHOLs'98), Pages 387-399, Septembre 1998. details ps
  111. 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, Août 1998. details ps
  112. O. Kouchnarenko, S. Pinchinat. Labeling Automata with Polynomials. In Proceedings of the International Workshop on Reasoning about Actions (joint to ESSLLI'98), Saarbrueken, Germany, Août 1998. details ps
  113. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. In the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency, Brno, Czech Republic, Août 1998. details
  114. A. Kountouris, C. Wolinski. Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing. In Proceedings of Euromicro'98, Vasteras, Sweden, Août 1998. details ps
  115. H. Marchand, M. Le Borgne. On the Optimal Control of Polynomial Dynamical Systems over Z/pZ. In 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, Août 1998. details ps
  116. A. Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, Juin 1998. details
  117. P. Le Guernic, S. Machard, E. Rutten. Répartition de programmes Signal. In Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, Juin 1998. details ps
  118. 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), Mai 1998. details ps
  119. 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), Avril 1998. details ps
  120. 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, Mars 1998. details ps
  121. J.C. Le Lann. Génération automatique de code VHDL à partir de Signal. In Journées AAA98, CEA, Saclay, Janvier 1998. details
  122. 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
  123. 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
  124. S. Pinchinat, J.V. Echague. SOS specifications and Compositional ST-semantics. In XXIII Conferencia Latinoamericana de Informatica, Valparaiso, Chili, Novembre 1997. details ps
  125. Ph. Baufreton, X. Méhaut, E. Rutten. Embedded Systems in Avionics and the Sacres Approach. In Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Septembre 1997. details ps
  126. Ph. Baufreton, H. Granier, X. Méhaut, E. Rutten. The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers. In Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Présentation invitée, Septembre 1997. details ps
  127. O. Kouchnarenko, P. Schnoebelen. A Formal Framework for the Analysis of Recursive-Parallel Programs. In Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia, Pages 45-59, Septembre 1997. details
  128. A. Kountouris, C. Wolinski. A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language. In Proceedings of MWSCAS'97, Sacramento, Août 1997. details ps
  129. 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, Août 1997. details ps
  130. I. Smarandache, P. Le Guernic. Affine Transformations in Signal and Their Applications in the Specification and Validation of Real-Time Systems. In Transformation-Based Reactive Systems Development, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, Mai 1997. details ps
  131. J.P. Talpin. Reactive types. In International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), Avril 1997. details ps
  132. Ph. Baufreton, X. Méhaut, E. Rutten. L'approche Sacres pour les systèmes embarqués à sécurité critique. In Actes du Salon Real-Time Systems RTS'97, Paris, Pages 101-118, Janvier 1997. details ps
  133. A. Benveniste. Compositional and uniform modelling of hybrid systems. In Proc. of IEEE-CDC, Kobe, 1996. details
  134. A. Kountouris. Safe and Efficient Elimination of Infeasible Execution Paths in WCET Estimation. In Proceedings of the International Workshop in R/T Computing Systems and Applications (RTCSA'96), Seoul, South Korea, Novembre 1996. details ps
  135. P. Le Guernic, E. Rutten. Experiments with the synchronous methodology illustrating its support of predictability. In Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, Pages 81-86, Canela/Gramado, RS, Brazil, Novembre 1996. details ps
  136. P. Aubry, P. Le Guernic. On the desynchronization of synchronous applications. In Proceedings of the 11th International Conference on Systems Engineering, ICSE'96, Las Vegas, Nevada (USA), Juillet 1996. details ps
  137. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, Juillet 1996. details ps
  138. H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL. In Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, Mars 1996. details ps
  139. 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, Février 1996. details
  140. A. Kountouris, P. Le Guernic. Profiling of SIGNAL Programs and its application in the timing evaluation of design implementations. In Proceedings of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, Pages 6-6, HP Labs, Bristol, UK, Février 1996. details ps
  141. P. Aubry, P. Le Guernic, S. Machard. Synchronous distribution of SIGNAL programs. In Proc. of the 29th Hawaii International Conference on System Sciences, Volume 1, Pages 656-665, Janvier 1996. details ps
  142. T. Amagbegnon, L. Besnard, P. Le Guernic. Implementation of the Data-flow Synchronous Language Signal. In Programming Languages Design and Implementation, Pages 163-173, 1995. details ps
  143. S. Pinchinat, E. Rutten, R.K. Shyamasundar. Preemption primitives in reactive languages (a preliminary report). In Proceedings of the Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, Décembre 1995. details ps
  144. J.V. Echagüe, Z. Habbas, S. Pinchinat. Structural Operational Semantics for True Concurrency. In Proc. of the 15th International Conference of the Chilean Computer Science Society, SCCC'95, Arica, Chili, Novembre 1995. details
  145. G. Paller, C. Wolinski. SPRINGPLAY A New Class of Compile-Time Scheduling Algorithm for Heterogeneous Target Architectures. In Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, Novembre 1995. details
  146. E. Rutten, P. Le Guernic. Sequencing and preempting data flow tasks. In Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, Novembre 1995. details
  147. P. Aubry, P. Le Guernic, S. Machard. Distribution synchrone de programmes Signal. In Actes des 2ème Journées des Jeunes Chercheurs en Systèmes répartis, Octobre 1995. details ps
  148. H. Marchand, E. Rutten, M. Samaan. Synchronous design of a transformer station controller in Signal. In Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, Septembre 1995. details ps
  149. E. Marchand, F. Chaumette, E. Rutten. Real time active visual reconstruction using the synchronous paradigm. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, Août 1995. details ps
  150. E. Rutten, F. Martinez. Signalgti: implementing task preemption and time intervals in the synchronous data flow language Signal. In Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, Juin 1995. details ps
  151. EP-ATR Project. Signal: a formal design environment for real time systems. In Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, AA arhus, Denmark, Lecture Notes in Computer Science 915, Mai 1995. details
  152. 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, Mars 1995. details ps
  153. 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, Février 1995. details
  154. M. Belhadj. VHDL & SIGNAL: A Cooperative Approach. In International Conference on Simulation and Hardware Description Languages, Western Simulation Multi-Conference, Pages 76-81, Tempe, Arizona (USA), 1994. details
  155. M. Belhadj. Using VHDL for Link to Synthesis Tools. In North Atlantic Test Workshop NATW'94, Nimes, 1994. details ps
  156. 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
  157. C. Wolinski, M. Belhadj. High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits. In North Atlantic Test Workshop NATW'94, Nimes, 1994. details ps
  158. 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), Novembre 1994. details
  159. 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, Septembre 1994. details ps
  160. 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, Septembre 1994. details
  161. O. Maffeis, P. Le Guernic. Distributed Implementation of Signal: Scheduling & Graph Clustering. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Pages 547-566, Septembre 1994. details ps
  162. O. Maffeis, P. Le Guernic. From Signal to fine-grain parallel implementations. In Int. Conference on Parallel Architectures and Compilation Techniques, Pages 237-246, Août 1994. details
  163. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), Juin 1994. details ps
  164. E. Rutten, E. Marchand, F. Chaumette. The sequencing of data flow tasks in Signal: application to active vision in robotics. In Proceedings of the 6th Euromicro Workshop on Real Time Systems, Pages 80-84, University of Maelardalen, Vasteraa s (Sweden), Juin 1994. details ps
  165. T. Gautier, P. Le Guernic. L'environnement de programmation SIGNAL. In Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, Pages 168-175, Avril 1994. details ps
  166. 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
  167. A. Benveniste, M. Le Borgne, P. Le Guernic. Hybrid Systems : the Signal Approach. In Hybrid Systems, 1993. details
  168. 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
  169. O. Maffeis, P. Le Guernic. Combining Dependability with Architectural Adaptability by means of the Signal Language. In 3rd Int. Workshop on Static Analysis, Volume 724 of LNCS, Pages 99-110, 1993. details
  170. C. Wolinski, T. Cholet, D. Derrien, J.P. Guillou, P. Leali, A. Riboult. Architecture for Signal programs execution. In Nordic Transputer Conference, NTUG'93, Pages 99-110, Copenhague, Danemark, 1993. details
  171. M. Belhadj, A. Kerihuel, R. McConnell. Une comparaison des approches pour la conception des circuits synchrones et asynchrones. In Journées des jeunes chercheurs en architecture de machines, Décembre 1993. details
  172. M. Belhadj, R. McConnell, P. Le Guernic. A Framework for Macro- and Micro-Time to Model VHDL Attributes. In Proceedings of the European Design and Automation Conference with EURO-VHDL '93, Hamburg, FRG, R. Camposano (ed.), Pages 520-525, Septembre 1993. details
  173. M. Le Borgne. Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language. In Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, Juin 1993. details ps
  174. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic. Dynamical Systems over Galois Fields. In Proc. of the Second European Control Conference (ECC93), Juin 1993. details
  175. 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
  176. P. Le Guernic. The Signal Environment. In Algorithms and Parallel VLSI Architectures II, Pages 347-358, 1992. details
  177. O. Maffeis, P. Le Guernic. Graphes dynamiques : Ordonnancement statique maximal qualitatif. In Outils d'aide à la conception et à la programmation d'architectures dédiées au traitemnt du signal et de l'image, actes de conférences Adéquation Algortihmes Architectures, Pages 97-111, 1992. details
  178. . From Timed to Hybrid Systems. In Real-Time: Theory in Practice, J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (eds.), Pages 47-484, 1992. details
  179. A. Benveniste. Constructive Probability and the Signalea language : building and handling random process via programming. In Workshop on theory of Hybrid Systems, Octobre 1992. details
  180. B. Dutertre, M. Le Borgne, P. Le Guernic. The Cat and Mouse in the synchronous paradigm. In Joint Worshop on Discrete Event Systems (WODES'92), Pages 117-120, Août 1992. details
  181. 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, Février 1992. details
  182. B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 1991. details
  183. P. Le Guernic. Specification and verification of parallel systems. In Proceedings of the French-Israel Workshop on formal verification for hardware and software, 1991. details
  184. 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
  185. . On the Learnability of Infinitary Regular Sets. In 4th Annual Workshop on Computational Learning Theory, L.G. Valiant, M.K. Warmuth (eds.), Pages 128-136, 1991. details
  186. . Simulation Experiments with an Artificial Worm. In Proc. 2nd Eurographics Workshop on Animation and Simulation, Pages 215-221, 1991. details
  187. T. Gautier, P. Le Guernic. L'environnement de programmation SIGNAL. In Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, Pages 168-175, Avril 1991. details
  188. M. Le Borgne, A. Benveniste, P. Le Guernic. Polynomial dynamical systems over finite fields. In Algebraic Computing in control, Volume 165, Pages 212-222, Mars 1991. details
  189. . Tight Bounds on the Complexity of Cascaded Decomposition of Automata. In Proc. 31st Annual Symposium on Foundations of Computer Science, Pages 672-682, 1990. details
  190. F. Jiménez, E. Rutten. Pages 171-176, 0. details
  191. 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
  192. S. Donikian, E. Rutten. Reactivity, concurrency, data flow and hierarchical preemption for behavioral animationn. In Proceedings of the 5th Eurographics Workshop on Programming Paradigms in Graphics. R.C. Veltkamp, E.H. Blake (eds.), Programming Paradigms in Graphics, Springer, Computer Science, 169 Maastricht, the Netherlands, Septembre 0. details ps

Rapports de recherche

  1. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Research Report INRIA, No 0, Mars 2011. details download
  2. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Rapport de recherche INRIA, Juin 2010. details
  3. Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier. A boolean algebra of contracts for logical assume-guarantee. Rapport de recherche INRIA, 2008. details
  4. Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. 2007. details download
  5. Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionic Design. Rapport de recherche INRIA, No 5715, Octobre 2005. details
  6. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. Rapport de recherche INRIA, No 5509, Mars 2005. details
  7. Eric Rutten, Hervé Marchand. Using discrete control synthesis for safe robot programming. Rapport de recherche INRIA, 2002. details
  8. Abdoulaye Gamatié, Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. Rapport de recherche Irisa, No 0, Décembre 2002. details
  9. Mirabelle Nebut, Sophie Pinchinat, Paul Le Guernic. A Model for the Verification of Static Synchronous Data-flow Specifications. Rapport de recherche Irisa, No 1402, 2001. details ppt
  10. Jean-Pierre Talpin. A simplified account of region inference. rr Inria, No 4104, Septembre 2001. details ppt
  11. B. Caillaud, J. P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard. BDL: a semantics backbone for UML dynamic diagrams. Rapport de recherche Inria, No 4003, Septembre 2000. details ps
  12. H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Rapport de recherche CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, Septembre 2000. details ps
  13. B. Caillaud, J.P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard. BDL: a semantics backbone for UML dynamic diagrams. rr Inria, No 4003, Septembre 2000. details ps
  14. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. Pre-order semantics of UML state machines. Rapport de recherche Irisa, No 1336, Juin 2000. details ps
  15. J.P Talpin. Rapport de recherche Irisa, No 1305, Mars 2000. details ps
  16. J. P. Talpin. Synchronous modeling and asynchronous deployment of mobile processes. rr Inria, No 3893, Mars 2000. details ps
  17. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Rapport de recherche Irisa, No 1289, Décembre 1999. details ps
  18. J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic Normal Forms for desynchronization. Rapport de recherche Irisa, No 1288, Décembre 1999. details ps
  19. S. Tudoret. Signal-Simulink : Hybrid System Co-simulation. Rapport de recherche Linköping, No 20, Décembre 1999. details download
  20. A. Benveniste, P. Caspi, S. Tripakis. Distributing synchronous programs on a loosely synchronous, distributed architecture. Rapport de recherche Irisa, No 1289, Décembre 1999. details ps
  21. S. Pinchinat, H. Marchand, M. Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Rapport de recherche Irisa, No 1279, Novembre 1999. details ps
  22. M. Kerboeuf, D. Nowak, J.-P. Talpin. The steam-boiler problem in SIGNAL-COQ. Rapport de recherche Irisa / Inria-Rennes, No 3773, Octobre 1999. details ps
  23. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Rapport de recherche Irisa, No 1271, Octobre 1999. details ps
  24. J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of synchronous transition systems. Rapport de recherche Irisa, No 1269, Octobre 1999. details ps
  25. A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony. Rapport de recherche Irisa, No 1233, Mars 1999. details ps
  26. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. Rapport de recherche Irisa / Inria-Rennes, No 3448, Juillet 1998. details ps
  27. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. Rapport de recherche CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, Juillet 1998. details ps
  28. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier. A translation of Statecharts and Activitycharts into Signal equations. Rapport de recherche Irisa / Inria-Rennes, No 3397, Avril 1998. details ps
  29. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. BDL, a language of distributed reactive objects. Rapport de recherche Irisa / Inria-Rennes, No 3353, Février 1998. details ps
  30. M. Allemand, F. Bodin, A. Kountouris, P. Le Guernic, J.C. Le Lann, A. Seznec, C. Wolinski. A Synchronous Approach for Hardware Design. Rapport de recherche Irisa, No 1131, 1997. details ps
  31. A. Benveniste, P. Le Guernic, P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. Rapport de recherche Irisa / Inria-Rennes, No 3310, Novembre 1997. details ps
  32. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Rapport de recherche Irisa, No 1125, Octobre 1997. details ps
  33. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Rapport de recherche Irisa, No 1124, Septembre 1997. details ps
  34. D. Nowak, J.P. Talpin, T. Gautier. Un système de modules avancé pour Signal. Rapport de recherche Irisa / Inria-Rennes, No 3176, Juin 1997. details ps
  35. I. Smarandache, P. Le Guernic. A Canonical Form for Affine Relations in Signal. Rapport de recherche Irisa / Inria-Rennes, No 3097, Février 1997. details ps
  36. A. Kountouris, C. Wolinski. A real-time hw/sw co-design approach based on the language and its environment. Rapport de recherche Irisa, No 1053, Octobre 1996. details ps
  37. G. Paller, C. Wolinski. Springplay : répartition et ordonnancement de tâches pour leur exécution en « pipeline ». Rapport de recherche Irisa, No 1052, Octobre 1996. details ps
  38. D. Chauveau, M. Bons. Simulation d'un circuit électro-domestique en Signal. Rapport de recherche Irisa, No 971, Novembre 1995. details ps
  39. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Rapport de recherche Irisa, No 917, Mars 1995. details ps
  40. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Rapport de recherche Irisa, No 916, Mars 1995. details ps
  41. E. Marchand, E. Rutten, F. Chaumette. Applying the Synchronous Approach to Real Time Active Visual Reconstruction. Rapport de recherche Inria, No 2383, Novembre 1994. details ps
  42. T. Gautier, P. Le Guernic, O. Maffeis. For a New Real-Time Methodology. Rapport de recherche Inria, No 2364, Octobre 1994. details ps
  43. 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. Rapport de recherche Irisa, No 837, Juillet 1994. details ps
  44. T. Amagbegnon, L. Besnard, P. Le Guernic. Arborescent Canonical Form of Boolean Expressions. Rapport de recherche Inria, No 2290, Juin 1994. details ps
  45. T. Gautier, P. Le Guernic, F. Dupont. SIGNAL V4 : manuel de référence. Rapport de recherche Irisa, No 832, Juin 1994. details ps
  46. B. Houssais, M. Le Borgne, P. Le Guernic. Cours de programmation en langage temps-réel SIGNAL. Rapport de recherche Irisa, Juin 1994. details
  47. P. Bournai, C. Lavarenne, P. Le Guernic, O. Maffeis, Y. Sorel. Interface SIGNAL-SynDEx. Rapport de recherche Inria, No 2206, Mars 1994. details ps
  48. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Rapport de recherche Irisa, No 797, Mars 1994. details ps
  49. O. Maffeis, P. Le Guernic. From Synchronous-Flow Dependence Graphs to Reliable and Efficient Implementations. Rapport de recherche Ercim, No 2, Février 1994. details
  50. B. Dutertre, M. Le Borgne. Control of Polynomial Dynamic Systems: an Example. Rapport de recherche Inria, No 2193, Janvier 1994. details ps
  51. E. Marchand, F. Chaumette, E. Rutten. Stratégie perceptive d'un environnement statique dans un contexte de vision active. Rapport de recherche Irisa, No 775, Novembre 1993. details ps
  52. E. Rutten, P. Le Guernic. Sequencing data flow tasks in SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2120, Novembre 1993. details ps
  53. A. Benveniste, P. Caspi, P. Le Guernic, N. Halbwachs. Data-flow Synchronous Languages. Rapport de recherche Irisa / Inria-Rennes, No 2089, Octobre 1993. details ps
  54. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. SIGNAL manual. Rapport de recherche Irisa / Inria-Rennes, No 1969, Septembre 1993. details ps
  55. P. Bournai, P. Le Guernic. Un environnement graphique pour le langage SIGNAL. Rapport de recherche Irisa / Inria-Rennes, No 2040, Septembre 1993. details ps
  56. C. Wolinski, M. Belhadj. Vers la synthèse automatique de programmes SIGNAL. Rapport de recherche Irisa, No 746, Juillet 1993. details ps
  57. C. Wolinski, T. Cholet, D. Derrien, J.P. Guillou, P. Leali, A. Riboult. Une architecture pour l'exécution d'applications SIGNAL. Rapport de recherche Irisa, No 704, Février 1993. details
  58. T. Gautier, P. Le Guernic. Signal V4: Manuel de Référence. Rapport de recherche Irisa, 1992. details
  59. O. Maffeis, B. Cheron, P. Le Guernic. Transformations du graphe des programmes Signal. Rapport de recherche Irisa, No 619, Novembre 1992. details
  60. A. Benveniste, M. Le Borgne, P. Le Guernic. Signal as a model for Real-Time and Hybrid Systems. Rapport de recherche irisa, No 624, Janvier 1992. details
  61. O. Maler, Z. Manna, A. Pnueli. From Timed to Hybrid Systems. Rapport de recherche Stanford University, No 0, Janvier 1992. details
  62. B. Delyon, O. Maler. On Fault-Tolerant Symbolic Computations. Rapport de recherche Irisa, No 615, Novembre 1991. details
  63. A. Benveniste. Constructive Probability and the Signalea : language: building and handling random processes via programming. Rapport de recherche Inria, No 1532, Octobre 1991. details
  64. B. Dutertre, P. Le Guernic. Description et simulation d'un système de passage niveau en SIGNAL. Rapport de recherche Inria, No 1437, Mai 1991. details
  65. A. Benveniste, G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. Rapport de recherche Irisa, No 581, Avril 1991. details
  66. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with Signal. Rapport de recherche Irisa, No 582, Avril 1991. details
  67. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic. Manuel SIGNAL. Rapport de recherche Irisa, No 575, Février 1991. details

Divers

  1. F. Dupont, L. Besnard, J.-P Talpin. Outillage du langage de modélisation Synoptic en vue de la simulation. Deliverable SPa4, Projet ANR Spacify, 2009. details
  2. J. Ouy, J.-P Talpin. Transformation de modèles Synoptic vers Signal/SME. Deliverable SPa4b, Projet ANR Spacify, 2009. details
  3. L. Besnard, T. Gautier, J.-P Talpin. Code generation strategies for Synoptic using the Polychrony platform. Deliverable SPa5b, Projet ANR Spacify, 2009. details
  4. Object Management Group Management Group. A UML Profile for MARTE, Beta 1. Document n. ptc/07-08-04, 2007. details download
  5. 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
  6. Julio Peralta. Bridging Signal with the CADP model checker, a preliminary study. Deliverable F342, 2007. details
  7. . UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (RT/E-ML. Octobre 2004. details
  8. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Mars 2004. details pdf
  9. SafeAir team team. Final report. 2002. details
  10. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. Décembre 2002. details
  11. L. Besnard, T. Gautier, Q. Pan, C. Macabiau, Y. Sorel. SIGNAL-SynDEx translation, V1.0. Juin 2002. details
  12. B. Houssais. The Synchronous Programming Language SIGNAL, A Tutorial. Avril 2002. details
  13. H. Marchand. Utilisation de Signal/Sigali pour la synthèse de séquences d'attaque et la simulation + Synthèse de systèmes hérarchiques. Rapport de convention CASTOR, 2001. details
  14. 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. Mars 2001. details
  15. . Design and Implementation of Architecture Components. Février 2001. details
  16. . Component performance evaluation. Février 2001. details
  17. 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. Juin 2000. details
  18. T. Gautier, P. Le Guernic. SCADE-SIGNAL languages Compatibility. Mai 2000. details
  19. S. Pinchinat, H. Marchand, M. Le Borgne. Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Esprit project 22703: Syrf, Octobre 1999. details
  20. T. Gautier, X. Méhaut. SSL Implementation: DC+ => SSL translation. Esprit project EP 20897: Sacres, Novembre 1998. details
  21. 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, Novembre 1998. details
  22. S. Pinchinat, O. Kouchnarenko, H. Marchand, M. Le Borgne. Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation. Esprit project 22703: Syrf, Octobre 1998. details
  23. Syrf Consortium. Deliverable 4/5.1 - Integrating synchrony & asynchrony: fundamentals. Esprit project 22703: Syrf, Octobre 1998. details
  24. Syrf Consortium. Deliverable 4/5.2 - Integrating synchrony & asynchrony: distributed code generation. Esprit project 22703: Syrf, Octobre 1998. details
  25. 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, Juin 1998. details
  26. Sacres Consortium. Task I1.1A: StateMate integration - the stm2dcplus translator. Esprit project EP 20897: Sacres, Avril 1998. details
  27. 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, Avril 1998. details
  28. Sacres Consortium. The Declarative Code DC+, Version 1.4. Esprit project EP 20897: Sacres, Novembre 1997. details ps
  29. H. Marchand, M. Le Borgne. Systèmes dynamiques polynomiaux sous observations partielles. Rapport de fin de contrat, Convention Inria - EdF No P33L99/6A1821/EP819, Octobre 1997. details
  30. Sacres Consortium. Deliverable Report C2.A: Mapping Code To Architecture. Esprit project EP 20897: Sacres, Septembre 1997. details
  31. Sacres Consortium. Deliverable Report I3.B: SacresSystem Architecture Definition. Esprit project EP 20897: Sacres, Septembre 1997. details
  32. P. Bournai, M. Le Borgne, H. Marchand, P. Le Guernic. Démonstrateur de synthèse de systèmes d'automatismes décrits en Signal. Rapport de fin de contrat, Convention Inria - EdF No 196C5030031307 01 1, Juillet 1997. details
  33. Sacres Consortium. DC+ syntactic level: specification. Esprit project EP 20897: Sacres, Avril 1997. details
  34. Sacres Consortium. DC+ graph level: specification. Esprit project EP 20897: Sacres, Avril 1997. details
  35. Sacres Consortium. Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems. Esprit project EP 20897: Sacres, Avril 1997. details
  36. Sacres Consortium. The Semantics Foundations of Sacres. Esprit project EP 20897: Sacres, Avril 1997. details
  37. Sacres Consortium. Deliverable Report C1.A: Code Generation. Esprit project EP 20897: Sacres, Février 1997. details
  38. H. Marchand. Intégration de Sigali dans l'environnement Signal. Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1996. details
  39. H. Marchand, M. Le Borgne. Extension de la théorie de synthèse de contrôleurs sur des systèmes dynamiques polynômiaux. Convention Inria - EdF No M64/7C8321/E5/11, Juin 1996. details
  40. 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. Juin 1996. details
  41. Sacres Consortium. Deliverable Report B2.A: Architecture Baseline. Mai 1996. details
  42. Sacres Consortium. The Declarative Code DC+, version 1.2. Mai 1996. details
  43. Sacres Consortium. Deliverable Report B3.A: New Technologies Baseline. Mai 1996. details
  44. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre. A Calculus of Stochastic Systems and the Signalea formalism. Mai 1996. details
  45. Sacres Consortium. Deliverable Report B1.A: Requirements Baseline. Février 1996. details
  46. M. Le Borgne, H. Marchand. Méthodologie de conception d'automatismes séquentiels. Convention Inria - EdF No M64/7C8321/E5/11, Novembre 1995. details
  47. H. Marchand, M. Le Borgne, M. Samaan. Méthodes de vérification et de synthèse sur des systèmes dynamiques polynômiaux, appliquées au modèle physique d'un poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Juillet 1995. details
  48. H. Marchand, E. Rutten, M. Samaan. Description, spécification et validation d'un automatisme de poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994. details
  49. 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, Juin 1993. details
  50. L. Besnard, M. Moy, F. Maraninchi, J.-P. Talpin. 0. details download

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:58:05 2012

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