Polychrony

Publications (selection)

Books

Abdoulaye Gamatié. Designing Embedded Systems with the SIGNAL Programming Language. Springer, 2010. (see also errata)

Introductory papers

Loïc Besnard, Thierry Gautier, Paul Le Guernic, and Jean-Pierre Talpin. Compilation of Polychronous Data Flow Equations. In Synthesis of Embedded Software, Sandeep K. Shukla and Jean-Pierre Talpin, Eds, Springer, 2010, 1-40.
Paul Le Guernic, Jean-Pierre Talpin, and Jean-Christophe Le Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, World Scientific, April 2003 (also available as INRIA Research Report 4715, 2003).
Abdoulaye Gamatié and Thierry Gautier. The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Transactions on Parallel and Distributed Systems, 21(5): 641-657, May 2010.
Paul Le Guernic, Thierry Gautier, Michel Le Borgne, and Claude Le Maire. Programming Real-Time Applications with Signal. Proceedings of the IEEE, 79(9): 1321-1336, Special section ``Another look at Real-time programming'', September 1991.
Thierry Gautier, Paul Le Guernic, and Jean-Pierre Talpin. Polychronous Design of Real-Time Applications with Signal. In ARTIST Survey of Programming Languages, A. Burns, Ed., http://www.artist-embedded.org/artist/ARTIST-Survey-of-Programming.html, 2008.
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, and Hervé Marchand. The Signal declarative synchronous language: controller synthesis & systems/architecture design. 40th IEEE Conference on Decision and Control, 2001.
Thierry Gautier, Paul Le Guernic, and Olivier Maffeïs. For a New Real-Time Methodology. INRIA Research Report 2364, 1994.
Paul Le Guernic and Thierry Gautier. Data-Flow to von Neumann: the Signal approach. In Advanced Topics in Data-Flow Computing, J.-L. Gaudiot and L. Bic, Eds, Prentice-Hall, 1991, 413-438 (also available as INRIA Research Report 1229, 1990).
Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, 91(1): 64-83, Special issue on Modeling and Design of Embedded Systems, January 2003.

Model-driven engineering

Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, and Thierry Gautier. A metamodel for the design of polychronous systems. Journal of Logic and Algebraic Programming, 78(4): 233-259, Elsevier, April 2009.
Christian Brunette, Jean-Pierre Talpin, Loïc Besnard, and Thierry Gautier. Modeling multi-clocked data-flow programs using the Generic Modeling Environment. Synchronous Languages, Applications, and Programming, SLAP 2006, F. Maraninchi and M. Pouzet, Eds, Vienna University of Technology, Austria, March 2006.
Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, and Abdoulaye Gamatié. Polychronous mode automata. Proceedings of the 6th ACM & IEEE International conference on Embedded software (EMSOFT '06), ACM Press, October 2006, 83-92.
Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, and Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionics Design. Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA '06), IEEE Computer Society, 2006, 134-141 (extended version available as INRIA Research Report 5715, 2005).

Architecture and OS modeling, Avionics applications

Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, and Jean-Pierre Talpin. Polychronous design of embedded real-time applications. ACM Transactions on Software Engineering and Methodology (TOSEM), 16(2), April 2007 (also available as INRIA Research Report 5509, 2005).
Abdoulaye Gamatié, Thierry Gautier, and Paul Le Guernic. Synchronous design of avionic applications based on model refinements. Journal of Embedded Computing, 2(3-4): 273-289, IOS Press, 2006.
Abdoulaye Gamatié, Thierry Gautier, and Paul Le Guernic. An Example of Synchronous Design of Embedded Real-Time Systems based on IMA. In 10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA'2004), Gothenburg, Sweden, August 2004.
Abdoulaye Gamatié, Thierry Gautier, and Loïc Besnard. Modeling of Avionics Applications and Performance Evaluation Techniques using the Synchronous Language SIGNAL. Electronic Notes in Theoretical Computer Science, 88: 87-103, Elsevier B.V., October 2004, Proceedings of SLAP 2003: Synchronous Languages, Applications and Programming, A Satellite Workshop of ECRTS 2003, Porto, Portugal.
Abdoulaye Gamatié and Thierry Gautier. Synchronous Modeling of Avionics Applications using the SIGNAL Language. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), IEEE Computer Society, May 2003, 144-151.
Abdoulaye Gamatié and Thierry Gautier. The SIGNAL Approach to the Design of System Architectures. In Proceedings of 10th IEEE Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2003), Huntsville, Alabama, USA, April 2003, IEEE Computer Society, 80-88.
Abdoulaye Gamatié and Thierry Gautier. Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language. INRIA Research Report 4678, 2002 (short version in Proceedings of the Work In Progress session, 14th Euromicro Conference on Real Time Systems, ECRTS'02, Vienna, Austria, June 2002, 25-28).
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, and Stavros Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Proc. of 2002 Conference on Embedded Software, EMSOFT'02, J. Sifakis and A. Sangiovanni-Vincentelli, Eds, LNCS vol. 2491, 252-265, Springer.

System design

Jean-Pierre Talpin and Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. In Formal Methods in System Design, 28(2): 131-151, Special Issue on formal methods for GALS design, Kluwer Academic Publishers, 2006.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, and Rajesh Gupta. A compositional behavioral modeling framework for embedded system design and conformance checking. International Journal of Parallel Programming, 33(6): 613-643, Kluwer Academic Publishers, 2005.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Frédéric Doucet, and Rajesh Gupta. Formal Refinement Checking in a System-level Design Methodology. Fundamenta Informaticae, 62(2): 243-273, Special Issue on Applications of Concurrency to System Design, IOS Press, 2004.
David Berner, Jean-Pierre Talpin, Paul Le Guernic, and Sandeep Kumar Shukla. Modular Design Through Component Abstraction. In Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2004), Washington DC, USA, September 2004, ACM Press, 202-211.
Jean-Pierre Talpin, David Berner, Sandeep Shukla, Paul Le Guernic, Abdoulaye Gamatié, and Rajesh Gupta. Behavioral type inference for system design. In Formal Methods and Models for System Design, R. Gupta, P. Le Guernic, S.K. Shukla and J.-P. Talpin, Eds, Kluwer Academic Publishers, 2004, 245-282 (also available as Behavioral type inference for compositional system design, INRIA Research Report 5141, 2004).
Jean-Pierre Talpin, David Berner, Sandeep Kumar Shukla, Paul Le Guernic, Abdoulaye Gamatié, and Rajesh Gupta. A Behavioral Type Inference System for Compositional System-on-Chip Design. In Fourth International Conference on Application of Concurrency to System Design (ACSD'04), Hamilton, Canada, June 2004, IEEE Computer Society, 47-56.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Rajesh Gupta, and Frédéric Doucet. Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. In Proceedings of the Third International Conference on Application of Concurrency to System Design (ACSD '03), Guimarães, Portugal, June 2003, IEEE Computer Society, 9-19.
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Rajesh Gupta, and Frédéric Doucet. Polychrony for refinement-based design. In Design, Automation and Test in Europe Conference and Exposition (DATE 2003), Munich, Germany, March 2003, IEEE Computer Society.

Synchrony/Asynchrony, Distribution

Jean-Pierre Talpin, Dimitru Potop-Butucaru, Julien Ouy, and Benoît Caillaud. From Multi-clocked Synchronous Processes to Latency-insensitive Modules. In Proceedings of the EMSOFT 2005, The Fifth ACM International Conference on Embedded Software, Jersey City, New Jersey, USA, ACM Press, 2005, 282-285 (extended version available as Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications, INRIA Research Report 5610, 2005).
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla, and Twan Baster. Modeling and Validation of Globally Asynchronous Design in Synchronous Frameworks. In Proceedings of the Conference on Design Automation and Test in Europe (DATE '04), Paris, France, IEEE Computer Society, February 2004, 384-389 (also available as INRIA Research Report 4935, 2003).
Albert Benveniste. Some synchronization issues when designing embedded systems from components. In Embedded Software, Proceedings of the First International Workshop, EMSOFT 2001, T.A. Henzinger and C.M. Hirsch, Eds, LNCS vol. 2211, 32-49, Springer-Verlag, 2001.
Albert Benveniste, Benoît Caillaud, and Paul Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163(1): 125-171, 2000.
Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, and Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. INRIA Research Report 3822, 1999.
Albert Benveniste, Benoît Caillaud, and Paul Le Guernic. From Synchrony to Asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conference, J.C.M. Baeten and S. Mauw, Eds, LNCS vol. 1664, 162-177, Springer-Verlag, 1999 (also available as INRIA Research Report 3641, 1999).
Thierry Gautier and Paul Le Guernic. Code generation in the SACRES project. Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Huntingdon, UK, Springer, 1999, 127-149.
Pascal Aubry, Paul Le Guernic, and Sylvain Machard. Synchronous distribution of Signal programs. In Proceedings of the 29th Hawaii International Conference on System Sciences, vol. 1: Software Technology and Architecture, Maui, Hawaii, IEEE Computer Society, January 1996, 656-665.
Olivier Maffeïs and Paul Le Guernic. Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS vol. 863, Springer-Verlag, 1994, 547-566.

Compilation techniques (Clock Calculus...), Transformation of programs (profiling...)

Loïc Besnard, Thierry Gautier, Paul Le Guernic, and Jean-Pierre Talpin. Compilation of Polychronous Data Flow Equations. In Synthesis of Embedded Software, Sandeep K. Shukla and Jean-Pierre Talpin, Eds, Springer, 2010.
Julio C. Peralta, Thierry Gautier, Loïc Besnard, and 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), Grenoble, July 2010, IEEE Computer Society, 199-208.
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, and Robert De Simone. Polychronous Analysis of Timing Constraints in UML MARTE. 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010), Carmona, Spain, May 2010, IEEE, 145-151.
Tochéou Pascalin Amagbegnon, Loïc Besnard, and Paul Le Guernic. Implementation of the Data-flow Synchronous Language Signal. In Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation (PLDI '95), ACM SIGPLAN Notices, 30(6): 163-173, 1995.
Tochéou Pascalin Amagbegnon, Loïc Besnard, and Paul Le Guernic. Arborescent Canonical Form of Boolean Expressions. INRIA Research Report 2290, 1994.
Apostolos A. Kountouris and Paul Le Guernic. Profiling of SIGNAL programs and its application in the timing evaluation of design implementations. In IEE Colloquium on the Hardware-Software Cosynthesis for Reconfigurable, Feb. 22 1996, HP Labs, Bristol, UK, 6/1-6/9.

Formal Verification, Contracts

Michel Le Borgne, Hervé Marchand, Éric Rutten, and Mazen Samaan. Formal Verification of Signal programs: Application to a Power Transformer Station Controller. In Algebraic Methodology and Software Technology, Proceedings of the 5th International Conference, AMAST '96, LNCS vol. 1101, Springer-Verlag, 1996, 271-285 (new version: ``Formal verification of programs specified with Signal: application to a power transformer station controller'' in Science of Computer Programming, 41(1): 85-104, 2001).
Michel Le Borgne. Dynamical systems over Galois fields: Applications to DES and to the Signal Language. In Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, June 1993.
Julio C. Peralta, Thierry Gautier, Loïc Besnard, and 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), Grenoble, July 2010, IEEE Computer Society, 199-208.
Julio C. Peralta and Thierry Gautier. Towards SMV Model Checking of Signal (multi-clocked) Specifications. Electronic Communication of the European Association of Software Science and Technology, 23, 2009, Automated Verification of Critical Systems 2009.
Yann Glouche, Thierry Gautier, Paul Le Guernic, and Jean-Pierre Talpin. A Module Language for Typing SIGNAL Programs by Contracts. In Synthesis of Embedded Software, Sandeep K. Shukla and Jean-Pierre Talpin, Eds, Springer, 2010, 147-171.
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, and Thierry Gautier. A Boolean Algebra of Contracts for Assume-guarantee Reasoning. Electronic Notes in Theoretical Computer Science, 263: 111-127, June 2010, Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Eindhoven, The Netherlands, November 2009, M. Sun and B. Schätz, Eds.
Mirabelle Nebut and Sophie Pinchinat. A Framework to Analyse Synchronous Data-Flow Specifications. IRISA Report 1402, 2001.
Frédéric Besson, Thomas Jensen, and Jean-Pierre Talpin. Polyhedral Analysis for Synchronous Languages. In Static Analysis: Proceedings of the 6th International Symposium, SAS'99 Venice, Italy, September 1999, LNCS vol. 1694, Springer-Verlag, 51-68.
David Nowak, Jean-René Beauvais, and Jean-Pierre Talpin. Co-inductive Axiomatization of a Synchronous Language. In Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs '98,Canberra, Australia, Sept.-Oct. 1998, LNCS vol. 1479, Springer-Verlag, 387-399.
Mickaël Kerbœuf, David Nowak, and Jean-Pierre Talpin. Formal proof of a polychronous protocol for loosely time-triggered architectures. In Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 2003, LNCS vol. 2885, Springer, 359-374.
Mickaël Kerbœuf, David Nowak, and Jean-Pierre Talpin. Specification and Verification of a Steam-Boiler with Signal-Coq. In Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 2000, LNCS vol. 1869, Springer, 356-371.
Mickaël Kerbœuf, David Nowak, and Jean-Pierre Talpin. The Steam Boiler Controller Problem in Signal-Coq. INRIA Research Report 3773, 1999.

Architecture design, GALS

Frédéric Doucet, Massimiliano Menarini, Ingolf Kruger, Jean-Pierre Talpin, and Rajesh Gupta. A Verification Approach for GALS Integration of Synchronous Components. Electronic Notes in Theoretical Computer Science, 146(2): 105-131, January 2006, Elsevier B.V., Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS 2005).
Krzysztof Kuchcinski and Christophe Wolinski. Global approach to assignment and scheduling of complex behaviors based on HCDG and constraint programming. Journal of Systems Architecture, 49(12-15): 489-503, December 2003, Elsevier B.V.
Apostolos A. Kountouris and Christophe Wolinski. Efficient Scheduling of Conditional Behaviors for High-Level Synthesis. ACM Transactions on Design Automation of Electronic Systems (TODAES), 7(3): 380-412, 2002.
Apostolos A. Kountouris and Christophe Wolinski. Hierarchical Conditional Dependency Graphs as a Unifying Design Representation in the CODESIS High-Level Synthesis System. In Proceedings of the 13th International Symposium on System Synthesis, ISSS '00, Madrid, Spain, September 2000, IEEE Computer Society, 66-71.
Michel Allemand, François Bodin, Apostolos Kountouris, Paul Le Guernic, Jean-Christophe Le Lann, André Seznec, and Christophe Wolinski. A Synchronous Approach for Hardware Design. IRISA Report 1131, 1997.
Apostolos A. Kountouris and Christophe Wolinski. A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language. In Proceedings of the 40th Midwest Symposium on Circuits and Systems, MWSCAS '97, Sacramento, CA, USA, August 1997, IEEE, 1095-1098.
Apostolos Kountouris and Christophe Wolinski. A Real-Time HW/SW Co-Design Approach Based on the Signal Language and its Environment . INRIA Research Report 3046, 1996.
Krzysztof Wolinski and Mohammed Belhadj. High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits. In The Third Annual Atlantic Test Workshop, ATW '94, Nîmes, June 1994, IEEE.
Mohammed Belhadj. VHDL & Signal: A Cooperative Approach. In International Conference on Simulation and Hardware Description Languages (ICSHDL), Proceedings of the 1994 Western Multiconference, Tempe, Arizona (USA), January 1994, Society for Computer Simulation, 76-81.
Mohammed Belhadj. Using VHDL for Link to Synthesis Tools. In The Third Annual Atlantic Test Workshop, ATW '94, Nîmes, June 1994, IEEE.

Plug-in of languages and formalisms into Signal/Polychrony

Yue Ma, Jean-Pierre Talpin, and Thierry Gautier. Interpretation of AADL Behavior Annex into synchronous formalism using SSA. In CIT 2010, International Symposium on Advanced Topics on Embedded Systems and Applications (ESA2010), Bradford (UK), June-July 2010, IEEE Computer Society, 2361-2366.
Kenneth Johnson, Loïc Besnard, Thierry Gautier, and Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. In AVOCS '10, Proceedings of the 10th International Workshop on Automated Verification of Critical Systems and the Rodin User and Developer Workshop, Düsseldorf (Germany), September 2010, 168-183 (also available as INRIA Research Report 7320, 2010).
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, and Florence Maraninchi. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electronic Communication of the European Association of Software Science and Technology, 23, 2009, Automated Verification of Critical Systems 2009.
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, and Alexandre Cortier. Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. In ACSD '10, Proceedings of the 2010 10th International Conference on Application of Concurrency to System Design, Braga (Portugal), June 2010, IEEE Computer Society, 137-146 (also available as INRIA Research Report 7036, 2009).
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, and Loïc Besnard. Automated Translation of C/C++ Models into a Synchronous Formalism. In Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06, Potsdam, Germany, March 2006, IEEE Computer Society, 426-436.
Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, and Paul Le Guernic. Hard real-time implementation of embedded software in JAVA. In Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 2003, LNCS vol. 2952, Springer, 33-47 (also available as INRIA Research Report 5020, 2003).
Jean-Pierre Talpin, Bruno Le Dez, Abdoulaye Gamatié, Paul Le Guernic, and David Berner. Component-based engineering of real-time JAVA applications on a polychronous design platform. INRIA Research Report 4744, 2003.
Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, and Yan-Mei Tang. Modelling Statecharts and Activitycharts as Signal equations. ACM Transactions on Software Engineering and Methodology (TOSEM), 10(4): 397-451, October 2001.
Fernando Jiménez-Fraustro and Éric 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, ECRTS 1999, York, England, June 1999, IEEE Computer Society, 21-24.

Controller Synthesis

Hervé Marchand and Éric Rutten. Task-level programming for control systems using discrete control synthesis. INRIA Research Report 4389, 2002.
Hervé Marchand and Éric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS '02), Vienna, Austria, June 2002,IEEE Computer Society, 241-248.
Hervé Marchand, Patricia Bournai, Michel Le Borgne, and Paul Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic Systems: Theory and Applications, 10(4): 325-346, October 2000.
Hervé Marchand and Mazen Samaan. Incremental Design of a Power Transformer Station Controller using a Controller Synthesis Methodology. IEEE Transactions on Software Engineering, 26(8): 729-741, August 2000.
Hervé Marchand and Michel Le Borgne. The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods. INRIA Research Report 3790, 1999.
Hervé Marchand, Patricia Bournai, Michel Le Borgne, and Paul Le Guernic. A Design Environment for Discrete-Event Controllers based on the Signal Language. In Proceedings of the 1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), San Diego, California, USA, October 1998, IEEE Computer Society, 770-775.
Bruno Dutertre and Michel Le Borgne. Control of Polynomial Dynamic Systems: an Example. INRIA Research Report 2193, 1994.

Formal semantics

Paul Le Guernic, Jean-Pierre Talpin, and Jean-Christophe Le Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, World Scientific, April 2003 (also available as INRIA Research Report 4715, 2003).
Albert Benveniste, Paul Le Guernic, Yves Sorel, and Michel Sorine. A denotational theory of synchronous reactive systems. Information and Computation, 99(2): 192-230, August 1992.
Paul Le Guernic and Thierry Gautier. Data-Flow to von Neumann: the Signal approach. In Advanced Topics in Data-Flow Computing, J.-L. Gaudiot and L. Bic, Eds, Prentice-Hall, 1991, 413-438 (also available as INRIA Research Report 1229, 1990).
Albert Benveniste, Paul Le Guernic, and Christian Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16(2): 103-149, September 1991.
Paul Le Guernic, and Albert Benveniste. Real-Time, Synchronous, Data-Flow Programming: the Language SIGNAL and its Mathematical Semantics. INRIA Research Report 620, 1987.

Some other applications

Mickaël Kerbœuf and Jean-Pierre Talpin. Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation. The Journal of Logic and Algebraic Programming, 63(2): 241-269, Special Issue on Process Algebra and System Architecture, 2005.
Loïc Besnard, Patricia Bournai, Thierry Gautier, Nicolas Halbwachs, Simin Nadjm-Tehrani, and Annie 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 and P. Rondogiannis, Eds, World Scientific, 2000, 149-167.
Irina M. Smarandache, Thierry Gautier, and Paul Le Guernic. Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. In FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, September 1999, LNCS vol. 1709, Springer, 1364-1383.
Éric Marchand, Éric Rutten, Hervé Marchand, and François Chaumette. Specifying and verifying active vision-based robotic systems with the Signal environment. The International Journal of Robotics Research, 17(4): 418-432, April 1998.
Éric P. Rutten, Éric Marchand, and François Chaumette. An experiment with reactive data-flow tasking in active robot~vision. Software - Practice & Experience, 27(5): 599-621, May 1997.
Tochéou Pascalin Amagbegnon, Paul Le Guernic, Hervé Marchand, and Éric Rutten. The Signal data flow methodology applied to a production cell. INRIA Research Report 2522, 1995.
Stéphane Donikian and Éric Rutten. Reactivity, concurrency, data-flow and hierarchical preemption for behavioural animation. In Programming Paradigms in Graphics, Proceedings of the Eurographics Workshop, Maastricht, The Netherlands, September 1995, Springer, 137-153.

For other publications:

consult the ESPRESSO team WEB site.

Copyright Notice: Files available from this page are generally preprints of published material. Permissions to reprint, republish, reuse any copyrighted component of this material must be obtained from the referenced Publishers.