Major publications by the team in recent years
  • 1L. Besnard, T. Gautier, P. Le Guernic, J.-P. Talpin.

    Compilation of Polychronous Data Flow Equations, in: Synthesis of Embedded Software, S. K. Shukla, J.-P. Talpin (editors), Springer, 2010, pp. 1-40. [ DOI : 10.1007/978-1-4419-6400-7_1 ]

  • 2A. Bouakaz, J.-P. Talpin.

    Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks, in: International Workshop on Software and Compilers for Embedded Systems, St. Goar, Germany, June 2013, pp. 58-67. [ DOI : 10.1145/2463596.2463600 ]

  • 3C. Brunette, J.-P. Talpin, A. Gamatié, T. Gautier.

    A metamodel for the design of polychronous systems, in: The Journal of Logic and Algebraic Programming, 2009, vol. 78, no 4, pp. 233 - 259, IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. [ DOI : 10.1016/j.jlap.2008.11.005 ]

  • 4A. Gamatié, T. Gautier, P. Le Guernic, J.-P. Talpin.

    Polychronous Design of Embedded Real-Time Applications, in: ACM Transactions on Software Engineering and Methodology (TOSEM), April 2007, vol. 16, no 2.

  • 5A. Gamatié, T. Gautier.

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems, in: IEEE Transactions on Parallel and Distributed Systems, 2010, vol. 21, no 5, pp. 641-657. [ DOI : 10.1109/TPDS.2009.125 ]

  • 6A. Gamatié, T. Gautier, P. Le Guernic.

    Synchronous design of avionic applications based on model refinements, in: Journal of Embedded Computing (IOS Press), 2006, vol. 2, no 3-4, pp. 273-289.

  • 7P. Le Guernic, J.-P. Talpin, J.-C. Le Lann.

    Polychrony for system design, in: Journal of Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, June 2003, vol. 12, no 03.

  • 8D. Potop-Butucaru, Y. Sorel, R. de Simone, J.-P. Talpin.

    From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations, in: Fundamenta Informaticae, January 2011, vol. 108, no 1-2, pp. 91–118.

  • 9J.-P. Talpin, J. Ouy, T. Gautier, L. Besnard, P. Le Guernic.

    Compositional design of isochronous systems, in: Science of Computer Programming, February 2012, vol. 77, no 2, pp. 113-128. [ DOI : 10.1016/j.scico.2010.06.006 ]

  • 10H. Yu, J. Prashi, J.-P. Talpin, S. K. Shukla, S. Shiraishi.

    Model-Based Integration for Automotive Control Software, in: Digital Automation Conference, San Francisco, United States, ACM, June 2015.

Publications of the year

Articles in International Peer-Reviewed Journals

  • 11T. Gautier, C. Guy, A. Honorat, P. Le Guernic, J.-P. Talpin, L. Besnard.

    Polychronous Automata and their Use for Formal Validation of AADL Models, in: Frontiers of Computer Science, 2017, forthcoming. [ DOI : 10.1007/s11704-017-6134-5 ]

  • 12K. Hu, T. Zhang, L. Shang, Z. Yang, J.-P. Talpin.

    Parallel Code Generation from Synchronous Specifications, in: Journal of Software, November 2017, vol. 28, pp. 1-15. [ DOI : 10.13328/j.cnki.jos.005056 ]


Invited Conferences

  • 13J.-P. Talpin.

    Compositional methods for CPS design (keynote abstract), in: 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications, Changsha, China, Springer, October 2017.


International Conferences with Proceedings

  • 14A. Honorat, H. N. Tran, L. Besnard, T. Gautier, J.-P. Talpin, A. Bouakaz.

    ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems, in: International Conference on Real-Time Networks and Systems, Grenoble, France, October 2017, pp. 1-10. [ DOI : 10.1145/3139258.3139267 ]

  • 15S. Lunel, B. Boyer, J.-P. Talpin.

    Compositional proofs in differential dynamic logic dL, in: 17th International Conference on Application of Concurrency to System Design, Zaragoza, Spain, June 2017.

  • 16O. Sankur, J.-P. Talpin.

    An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP, in: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, Sweden, Lecture Notes in Computer Science, April 2017, vol. 10206.


Scientific Books (or Scientific Book chapters)

  • 17L. Besnard, T. Gautier, P. Le Guernic, C. Guy, J.-P. Talpin, B. Larson, E. Borde.

    Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard, in: Cyber-Physical System Design from an Architecture Analysis Viewpoint, Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, January 2017. [ DOI : 10.1007/978-981-10-4436-6_3 ]

  • 18S. Nakajima, J.-P. Talpin, M. Toyoshima, H. Yu.

    Cyber-Physical System Design from an Architecture Analysis Viewpoint, Communications of NII Shonan Meetings, Springer, January 2017. [ DOI : 10.1007/978-981-10-4436-6 ]