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


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

[1]
S. Lunel.
Parallelism and modular proof in differential dynamic logic, Université Rennes 1, January 2019.
https://tel.archives-ouvertes.fr/tel-02102687

Articles in International Peer-Reviewed Journals

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

Invited Conferences

[3]
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 ]
https://hal.inria.fr/hal-02193635
[4]
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 ]
https://hal.inria.fr/hal-02193662

International Conferences with Proceedings

[5]
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, https://arxiv.org/abs/1907.02881 - Long version of an article accepted to the conference FM'19.
https://hal.inria.fr/hal-02193642
[6]
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 ]
https://hal.inria.fr/hal-02193639