EN FR
EN FR


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
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 11L. Besnard, A. Bouakaz, T. Gautier, P. L. Guernic, Y. Ma, J.-P. Talpin, H. Yu.

    Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony, in: Science of Computer Programming, July 2014, 20 p.

    https://hal.inria.fr/hal-01095010
  • 12J.-P. Talpin, J. Brandt, M. Gemünde, K. Schneider, S. Shukla.

    Constructive Polychronous Systems, in: Science of Computer Programming, September 2014, 20 p.

    https://hal.inria.fr/hal-01095004
  • 13Z. Yang, K. Hu, D. Ma, J.-P. Bodeveix, L. Pi, J.-P. Talpin.

    From AADL to timed abstract state machine: a certified model transformation, in: Journal of Systems and Software, July 2014, 20 p.

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

International Conferences with Proceedings

  • 14A. Bouakaz, T. Gautier.

    An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs, in: International Conference on Formal Methods and Models for System Design, Lausanne, Switzerland, 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), IEEE Press, October 2014. [ DOI : 10.1109/MEMCOD.2014.6961838 ]

    https://hal.inria.fr/hal-01088205
  • 15A. Bouakaz, T. Gautier, J.-P. Talpin.

    Earliest-Deadline First Scheduling of Multiple Independent Dataflow Graphs, in: 2014 IEEE Workshop on Signal Processing Systems (SiPS), Belfast, United Kingdom, October 2014.

    https://hal.inria.fr/hal-01092606
  • 16I. F. d. l. Messelière, P. Jouvelot, J.-P. Talpin.

    A constraint-solving approach to Faust program type checking, in: Constraint Programming meets Verification, Lyon, France, Constraint Programming meets Verification, The 20th International Conference on Principles and Practice of Constraint Programming, September 2014.

    https://hal.inria.fr/hal-01094998
  • 17V. C. Ngo, J.-P. Talpin, T. Gautier.

    Precise deadlock detection for polychronous data-flow specifications, in: ESLsyn - DAC 2014, San Francisco, United States, May 2014. [ DOI : 10.1109/ESLsyn.2014.6850379 ]

    https://hal.inria.fr/hal-01086843
  • 18K. Sun, L. Besnard, T. Gautier.

    Optimized Distribution of Synchronous Programs via a Polychronous Model, in: Formal Methods and Models for System Design (MEMOCODE'14), Lausanne, Switzerland, October 2014, pp. 42 - 51. [ DOI : 10.1109/MEMCOD.2014.6961842 ]

    https://hal.inria.fr/hal-01088953
  • 19H. Yu, J.-P. Talpin, S. Shukla, P. Joshi, S. Shiraishi.

    Towards an architecture-centric approach dedicated to model-based virtual integration for embedded software systems, in: Workshop on Architecture Centric Virtual Integration, Valencia, Spain, Workshop on Architecture Centric Virtual Integration, CEUR Workshop Proceedings, September 2014.

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

Internal Reports

  • 20L. Besnard, E. Borde, P. Dissaux, T. Gautier, P. Le Guernic, J.-P. Talpin.

    Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL), April 2014, no RT-0446, 27 p.

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

Other Publications

  • 21V. C. Ngo, J.-P. Talpin, T. Gautier.

    Translation Validation for Clock Transformations in a Synchronous Compiler, December 2014.

    https://hal.inria.fr/hal-01087795
  • 22V. C. Ngo, J.-P. Talpin, T. Gautier.

    Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler, November 2014.

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