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 ]


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 ]

  • 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 ]


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.

  • 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 ]