Invited talks

Working group on set-based methods for automation

• A Parallelotope Method For the Simulation of Nonlinear Hybrid Systems (2010)
• On the Interval Matrix Exponentiation (2009)
• Search Strategies for an Anytime Usage of the Branch and Prune Algorithm (2009)
• A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions (2008)
• 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)

• Tinkerbell is Chaotic, Waseda University, Tokyo, Japan (October 2009)
• A New Containment Method For Rigorous Shadowing, CWI, Amsterdam, Netherlands (December 2007)
• Interval Analysis: From Theory to Applications, ISTIA, Angers, France (May 2007)
• Definition and Application of AE-extensions: The Modal Interval Theory Revisited, INRIA (2005)
• Verified Projection of Solution Set of Parametric Systems of Equations, INRIA (2003)

• 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)

• Including Ordinary Differential Equations Based Constraints in the Standard CP Framework, SWIM 2010
• Box Consistency Through Adaptive Shaving, SAC 2010
• Search Strategies for an Anytime Usage of the Branch and Prune Algorithm, SWIM 2009
• A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions, CP 2008
• 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