EN FR
EN FR


previous Previous | up Home


Bibliography

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 ]

    http://hal.inria.fr/inria-00540493
  • 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 ]

    https://hal.inria.fr/hal-00916487
  • 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 ]

    http://www.sciencedirect.com/science/article/pii/S1567832608000957
  • 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.

    http://doi.acm.org/10.1145/1217295.1217298
  • 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 ]

    http://hal.inria.fr/inria-00522794
  • 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.

    http://hal.archives-ouvertes.fr/hal-00541523
  • 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.

    http://hal.inria.fr/docs/00/07/18/71/PDF/RR-4715.pdf
  • 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.

    http://dl.acm.org/citation.cfm?id=2362088.2362094
  • 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 ]

    http://hal.archives-ouvertes.fr/hal-00768341
  • 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.

    https://hal.inria.fr/hal-01148905
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 ]

    https://hal.inria.fr/hal-01411257
  • 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 ]

    https://hal.inria.fr/hal-01644290

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.

    https://hal.inria.fr/hal-01615148

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 ]

    https://hal.inria.fr/hal-01615142
  • 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.

    https://hal.inria.fr/hal-01615140
  • 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.

    https://hal.archives-ouvertes.fr/hal-01431472

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 ]

    https://hal.inria.fr/hal-01615143
  • 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 ]

    https://hal.inria.fr/hal-01615144


previous Previous | up Home