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