Bibliography

Publications of the year

1S. Lunel.

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

https://tel.archives-ouvertes.fr/tel-02102687

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, n^o 4, pp. 677-697. [ DOI : 10.1007/s11704-017-6134-5 ]

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

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

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

Home