| emsoft | participants

Sylvie Putot

Program Committees:
2018, 2019, and 2020
.

EMSOFT 2018: 18th International Conference on Embedded Software

Discrete Choice in the Presence of Numerical Uncertainties

Debasmita Lohar, Eva Darulova, Sylvie Putot, and Eric Goubault

EMSOFT 2017: 17th International Conference on Embedded Software

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, and Nikolas Stott

EMSOFT 2015: 15th International Conference on Embedded Software

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, and Nikolas Stott