Accéder directement au contenu Accéder directement à la navigation


hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-01394059v1  Article dans une revue
Cédric HerzetAngélique DrémeauPatrick Héas. Model Reduction from Partial Observations
International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩
hal-00481288v1  Communication dans un congrès
Alexandre GoldsztejnLuc Jaulin. Inner and Outer Approximations of Existentially Quantified Equality Constraints
Twelfth International Conference on Principles and Practice of Constraint Programming, Sep 2006, France. pp.198-212, ⟨10.1007/11889205_16⟩
...
hal-00481319v1  Article dans une revue
Gilles ChabertLuc Jaulin. Computing the Pessimism of Inclusion Functions
Reliable Computing, Springer Verlag, 2007, 13 (6), pp.489-504
hal-00847250v1  Article dans une revue
Charles AudetPierre HansenFrédéric MessineJordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
hal-00847259v1  Article dans une revue
Charles AudetJordan Ninin. Maximal perimeter, diameter and area of equilateral unit-width convex polygons
Journal of Global Optimization, Springer Verlag, 2013, 56 (3), pp.1007-1016. ⟨10.1007/s10898-011-9780-4⟩