37 résultats  enregistrer la recherche


  • 1
  • 2
hal-01236504v1  Communication dans un congrès
Benoît DesrochersSimon LacroixLuc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem
IROS 2015, Sep 2015, Hambourg, Germany
hal-01708026v1  Communication dans un congrès
Yannick DevilleAlain DevilleSimon RebeyrolAli Mansour. Analytical performance analysis for blind quantum source separation with time-varying coupling
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
hal-01878163v1  Communication dans un congrès
Benjamin ValesSteven MarguetRomain Créach’cadecLaurent SohierJean-François Ferrero et al.  Numerical & Experimental Study of a Modified Arcan Device in Dynamic: Application to Bonded Joints
Euradh 2016, the 11th European Adhesion Conference and Adhesion '16, the 13th International Conference on the Science and Technology of Adhesion and Adhesives, Sep 2016, Glasgow, United Kingdom
hal-01878169v1  Communication dans un congrès
Benjamin ValesSteven MarguetRomain Créach’cadecLaurent SohierJean-François Ferrero et al.  Numerical Study of an Arcan Tensile Compression Shear Test in Dynamic: Application to Bonded Joints
Complas XIII, the 13th International Conference on Computational Plasticity, Sep 2015, Barcelone, Spain
...
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⟩
hal-00635533v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems
SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-00635897v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems
IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
hal-00636878v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolJean-Charles Roger. Reducing State Explosion with Context Modeling for Model-Checking
HASE'11, Nov 2011, Boca Ranton, United States
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
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-01182607v1  Communication dans un congrès
Benoît DesrochersSimon LacroixLuc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 9p
hal-00662030v1  Chapitre d'ouvrage
Christian LexcellentM. Lamine BoubakarChristophe BouvetSylvain Calloch. Modelling Shape Memory Alloy Behaviour under Proportional Loading and Anisothermal Conditions
Mechanics, Models and Methods in Civil Engineering, Springer, Vol. 61/2012, pp. 163-174, 2012, Lecture Notes in Applied and Computational Mechanics, ⟨10.1007/978-3-642-24638-8⟩
hal-00497879v1  Article dans une revue
Mostapha TarfaouiPapa-Birame GningFrancis Collombet. Residual strength of damaged glass/epoxy tubular structures.
Journal of Composite Materials, SAGE Publications, 2007, 41 (18), pp.2165-2182. ⟨10.1177/0021998307074144⟩
...
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
inria-00545185v1  Communication dans un congrès
Vincent GibiatAbril PadillaValentin EmiyaLionel Cros. Phase characterization of soundscapes
149th Meeting of the Acoustical Society of America, May 2005, Vancouver, Canada
hal-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
hal-01206286v1  Communication dans un congrès
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Exact minimization of L0-norm-based criteria for moderate-size inverse problems through mixed-integer programming
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
  • 1
  • 2