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

Experimental validation and critical analysis of inverse method in mass transfer using electrochemical sensor

Emna Berrich, Fethi Aloui, Jack Legrand

Rehimi et al. [1] numerically studied the frequency response of an electrochemical probe. They applied an inverse sequential algorithm of the convection diffusion equation to simulated periodic mass transfer signals in order to determine the wall shear rate. This paper presents an experimental…

Experimental Thermal and Fluid Science, 2013, 44, pp. 253-263. ⟨10.1016/j.expthermflusci.2012.07.001⟩. ⟨hal-03520746⟩

• Chapitre d'ouvrage

Seamless Context Adaptation on a Service-Oriented Framework

Dana Popovici, Mikael Desertot, Sylvain Lecomte

This article describes an easy, efficient way to manage context-aware applications with the help of metadata. We rely on CATS, our proposition for an application framework embedded on mobile devices. It is designed to host applications conforming to the SOA principles for achieving a flexible and…

Mobile Wireless Middleware, Operating Systems, and Applications, 65, Springer Berlin Heidelberg, pp.207-220, 2013, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ⟨10.1007/978-3-642-36660-4_15⟩. ⟨hal-03624642⟩

• Article dans une revue

Variable neighborhood search for the travelling deliveryman problem

Nenad Mladenovic, Dragan Urošević, Said Hanafi

A travelling deliveryman needs to find a tour such that the total waiting time of all the customers he has to visit is minimum. The deliveryman starts his tour at a depot, travelling at constant velocity. In this paper we suggest a general variable neighborhood search based heuristic to solve this…

4OR: A Quarterly Journal of Operations Research, 2013, 11 (1), pp.57-73. ⟨10.1007/s10288-012-0212-1⟩. ⟨hal-03594522⟩

• 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

Analysis of inverse method applied on sandwich probes

Emna Berrich, Fethi Aloui, Jack Legrand

Parallel plate disks (PPD) are often used for analyzing the effect of small amplitude oscillations with different frequencies. These devices allow the imposing of a well-known flow kinematics. Mass transfer problems and, particularly, convection-diffusion problems relating wall shear rate to mass…

Journal of Fluids Engineering, 2013, 135 (1), ⟨10.1115/1.4007888⟩. ⟨hal-03521107⟩

• Article dans une revue

L'effet de deux types d'entrainement sur la vitesse de marche des personnes âgées MCI

L. Combourieu, Alexandra Perrot, F. Bloch, Eric Watelain, M.-L. Seux, G. Kemoun

Neurophysiologie Clinique = Clinical Neurophysiology, 2013, 44 (1), pp.122-123. ⟨10.1016/j.neucli.2013.10.045⟩. ⟨hal-03534129⟩

• Article dans une revue

Using the BCD model for risk analysis

Karima Sedki, Philippe Polet, Frédéric Vanderhaegen

In this paper, we are interested in addressing risk analysis. We propose an influence diagram-based approach that focuses on a Benefit, Cost, Deficit (BCD) model. The BCD model is proposed for studying the intentional deviant behaviors of human operators in a system. In this model, the consequences…

Engineering Applications of Artificial Intelligence, 2013, 26 (9), pp.2172-2183. ⟨10.1016/j.engappai.2013.06.009⟩. ⟨hal-03405576⟩

• Article dans une revue

Benchmarking Flexible Job-Shop Scheduling and Control Systems

Damien Trentesaux, Cyrille Pach, Abdelghani Bekrar, Yves Sallez, Thierry Berger, Thérèse Bonte, Paulo Leitão, José Barbosa

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this…

Control Engineering Practice, 2013, 21 (9), pp.1204-1225. ⟨10.1016/j.conengprac.2013.05.004⟩. ⟨hal-03405597⟩

• Rapport

Déploiement des concepts de la Coopération Homme-Machine dans l’inspection filtrage aéroportuaire

Igor Crevits, Frédéric Vanderhaegen

[Rapport de recherche] LAMIH, Valenciennes; CHM. 2013. ⟨hal-03467548⟩