On the Existence of Principal Differential Ideals for Polynomial Derivations: Recent Advances and Computational Aspects
-
June 19, 2025,
MAX Team Seminar.
Ecole Polytechnique, Palaiseau, France.
Slides
-
May 26, 2025,
DART XIII.
Chinese Academy of Science, Beijing, China.
Slides
The Quest For An Algebraic Characterization for Q-matrices
-
November 15, 2024,
PolSys Seminar.
LIP6, Sorbonne Universite, Paris.
Slides
A Companion Darboux Polynomial for Parametric Linear ODE
-
September 02, 2024,
CASC 2024.
Rennes University.
Slides
Linear Hybrid Systems are Hard: The Case of Linear Complementarity Systems
-
November 24, 2023,
Proofs Algorithms Seminar.
LIX, Ecole Polytechnique, Palaiseau.
Slides
-
October 17, 2023,
Chinese Academy of Sciences, Beijing, China.
Slides
Automated Generation of Algebraic Invariants for Dynamical Systems
-
May 13, 2016,
Séminaire de géométrie et algèbre effectives (IRMAR).
Rennes, France.
Slides
-
November 10, 2014,
hosted by Patrick Cousot.
NYU, NY, USA.
Slides
-
September 10, 2014,
hosted by Bernhard Beckert.
KIT, Karlsruhe, Germany.
Slides
-
April 03, 2014,
hosted by Eric Goubault.
CEA, Saclay, France.
Slides
-
April 01, 2014,
hosted by Antoine Miné.
ENS, Paris, France.
Slides
-
November 21, 2013,
CMACS AVACS Workshop.
CMU, PA, USA.
Slides
Hierarchy of Proof Rules for Checking Semi-algebraic Invariant Sets
-
April 24, 2017,
hosted by Saman Zonouz.
Rutgers University, NJ, USA.
Slides
-
September 06, 2016,
Dagstuhl Seminar: Robustness in Cyber-Physical Systems.
Wadern, Germany.
Slides
-
June 11, 2015,
VORACE Workshop.
Toulouse, USA.
Slides
Constrained Affine Sets-Abstract Domain
-
March 12, 2013,
hosted by Arnaud Venet.
NASA Ames, CA, USA.
Slides