Invited talks

Working group on set-based methods for automation

• On the Parallelepiped Method and Higher Order Methods (2008)
• A New Containment Method For Rigorous Shadowing (2007)
• Inner and Outer Approximations of Existentially Quantified Equality Constraints (2006)
• Inner approximation of vector valued function ranges (2005)
• Definition and Application of AE-extensions: The Modal Interval Theory Revisited (2005)
• Estimation of AE-solution sets of square linear interval systems (2004)
• Verified Projection of Solution Set of Parametric Systems of Equations (2004)
• Introduction to Modal Intervals (2001)

• Definition and Application of AE-extensions: The Modal Interval Theory Revisited (2005)
• Verified Projection of Solution Set of Parametric Systems of Equations (2003)

• A New Containment Method For Rigorous Shadowing, CWI (December 2007)
• Interval Analysis: From Theory to Applications, ISTIA (May 2007)

• L'analyse par intervalles, théeorie et applications, CEA - Ecole Polytechnique (June 2007)
• Introduction to Interval Analysis, Thales Aerospace (January 2006)
• AE-extensions: Theory and Applications, Dassault Aviation (2005)

• A New Containment Method For Rigorous Shadowing, FRAC 2007
• A New Containment Method For Rigorous Shadowing, SCICADE 2007
• A branch and prune algorithm for the approximation of non-linear AE-solution sets, SAC 2006
• Modal intervals revisited: a mean-value extension to generalized intervals, QCP 2005
• Verified Projection of Solution Set of Parametric Systems of Equations, COCOS 2003