Section: Highlights of the Year

Highlights of the Year

TEA became an Inria project-team in 2015 and developed new and promising collaborations with Mitsubishi, on factory automations, with UCSD on refinement type theory and with UCSD-UCLA again, on time synchronisation protocols verificaton.

We published a paper in the automotive session of the 52nd. Digital Automation Conference (core A*) on our project with Toyota ITC [19] as well as two patents filed with the USPTO.


Our paper on "Polychronous automata" [13] received the Best Paper Award at the TASE'15 conference.

Best Paper Award:
P. Le Guernic, T. Gautier, J.-P. Talpin, L. Besnard.

Polychronous Automata, in: TASE 2015, 9th International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China, IEEE Computer Society, September 2015, pp. 95-102. [ DOI : 10.1109/TASE.2015.21 ]