Members
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


Section: Highlights of the Year

Highlights of the Year

Awards

Best Paper Award:
[29]
X. Allamigeon, S. Gaubert, E. Goubault, S. Putot, N. Stott.
A scalable algebraic method to infer quadratic invariants of switched systems, in: International Conference on Embedded Software (EMSOFT'2015), Amsterdam, Netherlands, Alain Girault, Inria, Grenoble, France and Nan Guan, Northeastern University, China, October 2015. [ DOI : 10.1109/EMSOFT.2015.7318262 ]
https://hal.inria.fr/hal-01249320