Reasoning About Dynamical Systems Using Invariants: Achievements and Challenges (CPS V&V I&F Workshop) |
CMU, Pittsburgh |
USA |
December 2014 |
[slides] |
Characterization and Automated Computation of Invariant Algebraic Sets for Algebraic Differential Equations |
NYU, New York |
USA |
November 2014 |
[slides] |
Characterization and Automated Computation of Invariant Algebraic Sets
for Algebraic Differential Equations |
KIT, Karlsruhe |
Germany |
September 2014 |
[slides] |
Characterizing Algebraic Invariants by Differential Radical Invariants |
ENS, Paris |
France |
April 2014 |
[slides] |
Characterizing Algebraic Invariants by Differential Radical Invariants |
CEA, Saclay |
France |
April 2014 |
[slides] |
Characterizing Algebraic Invariants by Differential Radical Invariants (CMACS-AVACS Workshop) |
CMU, Pittsburgh |
USA |
November 2013 |
[slides] |
Static Analysis of Numerical Programs Constrained Affine Sets-Abstract Domain |
NASA, Silicon Valley |
USA |
March 2013 |
[slides] |