Publicaciones

• 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

Frequency based indicator for driver differentiation during steering exercises

François Gabrielli, Jessica Schiro, Philippe Pudlo, Franck Barbier, Mohamed Djemai

AMSE, Journal of the Association for the Advancement of Modelling and Simulation Techniques in Enterprises, 2013, 73 (3), pp.34-45. ⟨hal-03468608⟩

• 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

On Riemann and Weyl compatible tensors

Ryszard Deszcz, Małgorzata Głogowska, Jan Jełowicki, Miroslava Petrović-Torgašev, Georges Zafindratafa

We investigate semi-Riemannian manifolds satisfying some curvature conditions. Those conditions are strongly related to pseudosymmetry.

Publications de l'Institut Mathématique., 2013, 94 (108), pp.111-124. ⟨10.2298/PIM1308111D⟩. ⟨hal-03146560⟩

• Article dans une revue

Proust architecte et couturier : la somme et la compilation

Emanuele Arioli

Bulletin d'informations proustiennes, 2013, 43, pp.29-37. ⟨hal-02475870⟩

• Article dans une revue

Unified Driver Model simulation and its application to the automotive, rail and maritime domains

Pietro Carlo Cacciabue, Simon Enjalbert, Håkan Söderberg, Andreas Tapani

This paper describes the implementation of a model of a driver into a computerised numerical simulation. The model is developed to capture the essential characteristics and common aspects of cognition and behaviour of a human being in control of a “vehicle” in different surface transport systems,...

Transportation Research Part F: Traffic Psychology and Behaviour, 2013, 21, pp.315-327. ⟨10.1016/j.trf.2013.09.020⟩. ⟨hal-03509701⟩

• Ouvrages

Ergonomie des Systèmes Homme-machine

Patrick Millot

Patrick Millot. Hermès science publications. Lavoisier, 386 pp., 2013, 978-2-7462-3920-3. ⟨hal-03467984⟩

• Article dans une revue

Robust Approximation of Singularly Perturbed Delay Differential Equations by the hp Finite Element Method

Serge Nicaise, Xenophontos Christos

Abstract. We consider the finite element approximation of the solution to a singularly perturbed second order differential equation with a constant delay. The boundary value problem can be cast as a singularly perturbed transmission problem, whose solution may be decomposed into a smooth part, a...

Computational Methods in Applied Mathematics, 2013, 13 (1), pp.21-37. ⟨10.1515/cmam-2012-0001⟩. ⟨hal-03212509⟩

• Article dans une revue

Armouring solutions against high velocity impact using 2D laminates and 3D warp interlock composites

Benjamin Provost, François Boussu, Daniel Coutellier, Daniel Vallée, Fabien Rondot, Julien Nussbaum

Since the emergence of the first armoured vehicles on battlefields, armour shield was mainly centred on conventional metallic materials, widespread solutions nowadays. For a long time, weight reduction in armoured protection, which represents the largest part of the vehicle’s overall weight, has...

Journal of Industrial Textiles, 2013, ⟨10.1177/1528083713498914⟩. ⟨hal-03644392⟩

• Chapitre d'ouvrage

Context-Aware MDA Approach for Content Personalization in User Interface Development

Káthia Marçal de Oliveira, Firas Bacha, Mourad Abed

Progressions and Innovations in Model-Driven Software Engineering, pp.88-105, 2013. ⟨hal-03379056⟩