Previous | 
Home
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.
Awards
Our paper on "Polychronous automata" [13] received the Best Paper Award at the TASE'15 conference.
Best Paper Award:
[13]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 ]
https://hal.archives-ouvertes.fr/hal-01240440