Publications

• Article dans une revue

Second-Order Consistencies

Christophe Lecoutre, Stéphane Cardon, Julien Vion

In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a full picture of the relationships existing between four basic second-order consistencies, namely path consistency (PC…

Journal of Artificial Intelligence Research, 2011, 40, pp.175-219. ⟨10.1613/jair.3180⟩. ⟨hal-00868193⟩

• Autre publication scientifique

Modélisation par l’approche bond graphe d’un système hybride. Application à un convertisseur multicellulaire

Milka Uzunova, Belkacem Ould Bouamama, Mohamed Djemai

2011. ⟨hal-02020921⟩

• Communication dans un congrès

Comparative study between AZERTY-type and K- Hermes virtual keyboards dedicated to users with cerebral palsy

Yohan Guerrier, Maxime Baas, Christophe Kolski, Franck Poirier

The aim of this paper is to compare two virtual keyboards for people with cerebral palsy; many of these users have difficulty performing actions using their upper limbs due to large numbers of unwanted movements. The first is a classical QWERTY type keyboard, called Clavicom NG. The second is the K…

Universal Access in Human-Computer Interaction: Users Diversity, 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Proceedings, Part II, Lecture Notes in Computer Science, Jul 2011, Orlando (FL), United States. pp.310-319, ⟨10.1007/978-3-642-21663-3_33⟩. ⟨hal-00816612⟩

• Communication dans un congrès

Méthode des Champs Virtuels pour la caractérisation de modèles de comportement viscoplastiques

Delphine Notta-Cuvier, Bertrand Langrand, Eric Markiewicz, Franck Lauro

See http://hal.archives-ouvertes.fr/docs/00/59/29/25/ANNEX/r_27O4XU5R.pdf

10e colloque national en calcul des structures, May 2011, Giens, France. pp.Clé USB. ⟨hal-00592925⟩

• Communication dans un congrès

Modélisation de la mise en forme et d impact de structures multi-matériaux par éléments finis de type solide-coque

Seddik Shiri, Hakim Naceur, Jean-Marc Roelandt

See http://hal.archives-ouvertes.fr/docs/00/59/28/17/ANNEX/r_MAEHMJ1I.pdf

10e colloque national en calcul des structures, May 2011, Giens, France. pp.Clé USB. ⟨hal-00592817⟩

• Article dans une revue

A Model-Driven Approach for Hybrid Power Estimation in Embedded Systems Design

Chiraz Trabelsi, Rabie Ben Atitallah, Samy Meftali, Jean-Luc Dekeyser, Abderrazek Jemai

As technology scales for increased circuit density and performance, the management of power consumption in system-on-chip (SoC) is becoming critical. Today, having the appropriate electronic system level (ESL) tools for power estimation in the design flow is mandatory. The main challenge for the…

EURASIP Journal on Embedded Systems, 2011, 2011-03-14 (1), ⟨10.1155/2011/569031⟩. ⟨hal-00784427⟩

• Chapitre d'ouvrage

Sliding Mode Based Analysis and Identification of Vehicle Dynamics

Hocine Imine, Leonid Fridman, Hassan Shraim, Mohamed Djemai

Vehicles are complex mechanical systems with strong nonlinear characteristics and which can present some uncertainties due to their dynamic parameters such as masses, inertias, suspension springs, tires side slip coefficients, etc. A vehicle is composed of many parts, namely the unsprung mass, the…

Sliding Mode Based Analysis and Identification of Vehicle Dynamics, SPRINGER VERLAG, 104p, bibliogr., appendix., 2011, ⟨10.1007/978-3-642-22224-5⟩. ⟨hal-00971709⟩

• Communication dans un congrès

A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification

Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

LINDI 2011, 2011, Budapest, Hungary. pp.CDROM. ⟨hal-00838049⟩

• Communication dans un congrès

Experimental Investigation and Finite Element Analysis of Dynamic Behavior and Damage of Glass/Epoxy Tubular Structures

Mostapha Tarfaoui, Papa-Birame Gning

ICCST/8, Mar 2011, Kuala Lumpur, Malaysia. ⟨hal-00626980⟩

• Communication dans un congrès

Toward Generic and Adaptive Avionic Test Systems

George Afonso, Rabie Ben Atitallah, Nicolas Belanger, Martial Rubio, Jean-Luc Dekeyser, Stephan Stilkerich

In the manufacturing process, the test phase is considered the most important challenge for designers of safety-critical avionic systems found in modern helicopters. Indeed, these systems often operate in uncertain conditions and they must provide safety, fault tolerance, and deterministic timing…

NASA/ESA Conference on Adaptive Hardware and Systems, 2011, San Diego, United States. ⟨hal-00842398⟩