Project-Team Tea
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 2T. 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, August 2019, vol. 13, no 4, pp. 677-697. [ DOI : 10.1007/s11704-017-6134-5 ]
    https://hal.inria.fr/hal-01411257

Invited Conferences

  • 3J.-P. Talpin, J.-J. Marty, S. Narayan, D. Stefan, R. Gupta.
    Towards verified programming of embedded devices, in: DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Florence, Italy, IEEE, March 2019, pp. 1445-1450. [ DOI : 10.23919/DATE.2019.8715067 ]
    https://hal.inria.fr/hal-02193635
  • 4H. Zhan, Q. Lin, S. Wang, J.-P. Talpin, X. Xu, N. Zhan.
    Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow, in: UTP 2019 - 7th International Symposium on Unifying Theories of Programming, Porto, Portugal, October 2019, pp. 1-20. [ DOI : 10.1007/978-3-030-31038-7_6 ]
    https://hal.inria.fr/hal-02193662

International Conferences with Proceedings

  • 5S. Lunel, S. Mitsch, B. Boyer, J.-P. Talpin.
    Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic, in: FM 2019 - 23rd International Symposium on Formal Methods, Porto, Portugal, October 2019, pp. 1-22, https://arxiv.org/abs/1907.02881 - Long version of an article accepted to the conference FM'19.
    https://hal.inria.fr/hal-02193642
  • 6H. N. Tran, A. Honorat, J.-P. Talpin, T. Gautier, L. Besnard.
    Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-bank Memory, in: ICECCS 2019 - 24th International Conference on Engineering of Complex Computer Systems, Hong Kong, China, IEEE, November 2019, pp. 114-123. [ DOI : 10.1109/ICECCS.2019.00020 ]
    https://hal.inria.fr/hal-02193639

previous Previous | up Home