 |
|
|
||
|---|---|---|
| hal-00862485v1
Chapitre d'ouvrage
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
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
Model Reduction from Partial Observations International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩  |
||
| hal-02520043v1
Article dans une revue
SciPy 1.0: fundamental algorithms for scientific computing in Python Nature Methods, 2020, 17, pp.261-272. ⟨10.1038/s41592-019-0686-2⟩  |
||
| hal-00481288v1
Communication dans un congrès
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
Computing the Pessimism of Inclusion Functions Reliable Computing, Springer Verlag, 2007, 13 (6), pp.489-504 |
||
| hal-00847250v1
Article dans une revue
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
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⟩  |
||
|
|
||