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-00821955v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
...
hal-00428952v1  Article dans une revue
Gilles ChabertLuc Jaulin. A Priori Error Analysis and Spring Arithmetic
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
hal-01122023v1  Communication dans un congrès
Luc JaulinJordan NininGilles ChabertStéphane Le MenecMohamed Saad Ibn Seddik et al.  Computing capture tubes
SCAN 2014, Université de Wurzburg, Sep 2014, Wurzburg, Germany
...
hal-00865381v1  Article dans une revue
Julien MercadalZoé DreyCharles Consel. Denotational Semantics of A User-Oriented, Domain-Specific Language
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
...
hal-00428957v1  Article dans une revue
Gilles ChabertLuc Jaulin. Contractor Programming
Artificial Intelligence, Elsevier, 2009, 173, pp.1079-1100. ⟨10.1016/j.artint.2009.03.002⟩
hal-00650333v1  Communication dans un congrès
Jan SliwkaLuc JaulinMartine CeberioVladik Kreinovich. Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots
IEEE SMC 2011, Oct 2011, Anchorage, United States. 978-1-4577-0653-0/11/©2011 IEEE p. 2333-2337
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-00518507v1  Article dans une revue
Alexandre GoldsztejnLuc Jaulin. Inner approximation of the range of vector-valued functions
Reliable Computing, Springer Verlag, 2010, pp.1-23
...
hal-00428967v1  Communication dans un congrès
Gilles ChabertLuc JaulinXavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization
CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210
...
hal-00428970v1  Communication dans un congrès
Gilles ChabertLuc Jaulin. Hull Consistency Under Monotonicity
CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195
hal-00540746v1  Communication dans un congrès
Armelle PrigentPhilippe DhaussyRoux Olivier. Systèmes Informatiques de Confince, Objectifs Zéro-Défaut
Systèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
...
hal-01194742v1  Communication dans un congrès
Jordan NininGilles Chabert. Global Optimization based on Contractor Programming
XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80
hal-01206286v1  Communication dans un congrès
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Programmation mixte en nombres entiers pour l’approximation parcimonieuse de signaux
ROADEF 2015, 16ème congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2015, Marseille, France
hal-01609704v1  Communication dans un congrès
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Optimisation exacte de critères parcimonieux en norme L0 par programmation mixte en nombres entiers
GRETSI 2015, XXVe Colloque GRETSI - Traitement du Signal et des Images, Sep 2015, Lyon, France
...
hal-01254856v1  Article dans une revue
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩