Publications

• Chapitre d'ouvrage

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin, Dorian Petit

Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

• Article dans une revue

Évaluation de requêtes mobiles basée sur une infrastructure de services

Marie Thilliez, Mikael Desertot

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013, Numéro Spécial "Social, Localisation et Mobilité : de nouveaux enjeux pour la gestion des données", 18 (1), pp.107-123. ⟨hal-03517866⟩

• Article dans une revue

Embedded Holonic Fault Diagnosis of Complex Transportation Systems

Antoine Le Mortellec, Joffrey Clarhaut, Yves Sallez, Thierry Berger, Damien Trentesaux

The use of electronic equipment and embedded computing technologies in modern complex transportation systems continues to grow in a highly competitive market, in which product maintainability and availability is vital. These technological advances also make fault diagnosis and maintenance…

Engineering Applications of Artificial Intelligence, 2013, 26 (1), pp.227-240. ⟨10.1016/j.engappai.2012.09.008⟩. ⟨hal-03041257⟩

• Article dans une revue

Sharing with Caution: Managing Parking Spaces in Vehicular Networks

Thierry Delot, Sergio Ilarri, Sylvain Lecomte, Nicolas Cenerario

By exchanging events in a vehicular ad hoc network (VANET), drivers can receive interesting information while driving. For example, they can be informed of available parking spaces in their vicinity. A suitable protocol is needed to disseminate the events efficiently within the area where they are…

Mobile Information Systems, 2013, 9 (1), pp.69-98. ⟨10.1155/2013/703830⟩. ⟨hal-03594510⟩

• Article dans une revue

Effect of the forming process on the microstructure of aluminium parts for collective transports

Bandiougou Diawara, Jeremie Bouquerel, Jean Bernard Vogt, Denis Najjar, Mirentxu Dubar

The topic of the current work is an investigation of the microstructure of 6082 Aluminium alloy in artificial aged condition (T6 condition) before and after cold forging test. Aluminium is an essential choice when working on the lightening of metallic structures. Different levels of plastic strain…

MATEC Web of Conferences, 2013, MATEC Web of Conferences, 7, pp.1003. ⟨10.1051/matecconf/20130701003⟩. ⟨hal-02279311⟩

• Article dans une revue

Bone texture analysis is correlated with three-dimensional microarchitecture and mechanical properties of trabecular bone in osteoporotic femurs

Thomas Le Corroller, Martine Pithioux, Fahmi Chaari, Benoit Rosa, Sebastien Parratte, Boris Maurel, Jean-Noël Argenson, Pierre Champsaur, Patrick Chabrand

Fracture of the proximal femur is a major public health problem in elderly persons. It has recently been suggested that combining texture analysis and bone mineral density measurement improves the failure load prediction in human femurs. In this study, we aimed to compare bone texture analysis with…

Journal of Bone and Mineral Metabolism, 2013, 31 (1), pp.82-88. ⟨10.1007/s00774-012-0375-z⟩. ⟨hal-01438690⟩

• Communication dans un congrès

Intelligent Products: A Spinal Column to Handle Information Exchanges in Supply Chains

Damien Trentesaux, Bernard Grabot, Yves Sallez

This paper outlines some practical problems linked to information exchange occurring in nowadays supply chains, with a special emphasis on the aeronautical sector. The Intelligent Product paradigm is presented as an adequate solution to address some of these problems and to provide rapid gains…

20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.452-459, ⟨10.1007/978-3-642-41263-9_56⟩. ⟨hal-01449753⟩

• Article dans une revue

Influence of the roughness of sandblasted surface on the measurement of hardness by nanoindentation, Influence de l’amplitude de la rugosité de surfaces sablées sur la mesure de dureté par nanoindentation

Hsin Shen Ho, Yang Xia, Julie Marteau, Maxence Bigerelle

Nanoindentation tests are often used to characterize the surface mechanical properties of materials. However, this technique lacks repeatability: when different zones of the same specimen are tested, there can be large differences between the nanoindentation curves. One of the main causes is the…, Les essais de nanoindentation sont souvent utilisés pour caractériser les propriétés mécaniques des matériaux en proche surface. Cependant, cette technique manque de reproductibilité : une même réponse mécanique est difficilement obtenue par les essais de nanoindentation sur différentes zones de la…

Matériaux et Techniques, 2013, 101 (3), pp.305. ⟨10.1051/mattech/2013070⟩. ⟨hal-02968730⟩

• Communication dans un congrès

Interactive tabletops as new supports for collective diagnosis ?

Christophe Kolski, Yoann Lebrun, Bako Rajaonah, Sophie Lepreux, René Mandiau

The central question described in this paper concerns the possible use of interactive tabletops as new supports for collective diagnosis. A model called Collective Diagnosis Architecture (CDA) is proposed. An innovative application developed on two interactive tabletops equipped with RFID…

Foundations and Applications of Human-Machine Interaction, 10th Workshop on Human-Machine Systems, Oct 2013, Berlin, Germany. pp.167-172. ⟨hal-03384077⟩

• Article dans une revue

When motor simulation of disequilibrium increases postural stability

Loïc Heurley, Emilie Simoneau-Buessinger, Sebastien Leteneur, Denis Brouillet

Computer Methods in Biomechanics and Biomedical Engineering, 2013, 16 (1), pp.44-45. ⟨10.1080/10255842.2013.815900⟩. ⟨hal-03062943⟩