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
XML PDF e-pub
PDF e-Pub


Publications of the year

Doctoral Dissertations and Habilitation Theses

S. Lunel.
Parallelism and modular proof in differential dynamic logic, Université Rennes 1, January 2019.

Articles in International Peer-Reviewed Journals

T. 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

J.-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 ]
H. 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

S. 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, - Long version of an article accepted to the conference FM'19.
H. 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 ]