Publications

• Article dans une revue

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Kenza Kraibi, Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

The verification of safety properties of critical systems, such as railway signaling systems, is better achieved by formal reasoning. Event-B as a formal method, allows to get safe and reliable systems. Nevertheless, modeling with Event-B method requires some knowledge on mathematical logic and set…

Journal of Communications, 2019, 14 (10), pp.980-986. ⟨10.12720/jcm.14.10.980-986⟩. ⟨hal-02483113⟩

• Article dans une revue

On Challenges in Engineering IoT Software Systems

Rebeca Campos Motta, Káthia Marçal de Oliveira, Guilherme Horta Travassos

Contemporary software systems, such as the Internet of Things (IoT), Industry 4.0, and Smart Cities represent a technology changing that offer challenges for their construction since they are calling into question our traditional form of developing software. They are a promising paradigm for the…

Journal of Software Engineering Research and Development, 2019, 7, pp.5. ⟨10.5753/jserd.2019.15⟩. ⟨hal-03400380⟩

• Article dans une revue

Unsteady behavior in forced ow over a backward-facing step

Camila Chovet, Marc Lippert, Laurent Keirsbulck, Jean-Marc Foucaut

The unsteady behavior of a turbulent ow over a backward-facing step was investigated under controlled actuation at a Re h = 31500. Initial measurements were made changing the periodic forcing frequency St a from 0.045 to 0.453. The best forcing frequency was observed at a dimensionless frequency of…

Flow, Turbulence and Combustion, 2019, 102 (1), pp.145-165. ⟨10.1007/s10494-018-9944-0⟩. ⟨hal-02877329⟩

• Ouvrages

Service Orientation in Holonic and Multi-Agent Manufacturing

Theodor Borangiu, Damien Trentesaux, André Thomas, Sergio Cavalieri

Presents recent research on service orientation in holonic and multi-agent manufacturing. Includes selected papers from the 8th International Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing (SOHOMA’18) held in Bergamo, Italy on June 11–12, 2018. Written by experts in the…

Springer International Publishing, 803, 2019, Studies in Computational Intelligence, 978-3-030-03003-2. ⟨10.1007/978-3-030-03003-2⟩. ⟨hal-03518574⟩

• Article dans une revue

Conceptual Development of Cost Benefit Analysis based on Regional, Knowledge, and Economic Aspects of Green Building

Van Basten, Igor Crevits, Yusuf Latief, Mohammed Ali Berawi

conomic, social, and environmental sustainability comprise the general motivations in most green building developments. Deciding to spend additional costs on the optimum benefit results generally applies the cost-benefit analysis (CBA) method to evaluate green building implementation. However,…

International Journal of Technology, 2019, 10 (1), pp.81-93. ⟨10.14716/ijtech.v10i1.1791⟩. ⟨hal-03585821⟩

• Article dans une revue

Machine Learning in Production Planning and Control: A Review of Empirical Literature

Juan Pablo Usuga Cadavid, Samir Lamouri, Bernard Grabot, Arnaud Fortin

Proper Production Planning and Control (PPC) is capital to have an edge over competitors, reduce costs and respect delivery dates. With regard to PPC, Machine Learning (ML) provides new opportunities to make intelligent decisions based on data. Therefore, this paper provides an initial systematic…

IFAC-PapersOnLine, 2019, 52 (13), pp.385-390. ⟨10.1016/j.ifacol.2019.11.155⟩. ⟨hal-03467620⟩

• Article dans une revue

A rolling horizon approach for the integrated multi-quays berth allocation and crane assignment problem for bulk ports

Issam Krimi, Rachid Benmansour, Abdessamad Ait El Cadi, Laurent Deshayes, David Duvivier, Nizar Elhachemi

In this paper, an efficient rolling horizon-based heuristic is presented to solve the integrated berth allocation and crane assignment problem in bulk ports. We were guided by a real case study of a multi-terminal port, owned by our Moroccan industrial partner, under several restrictions as high…

International Journal of Industrial Engineering Computations, 2019, 10 (4), pp.577-591. ⟨10.5267/j.ijiec.2019.4.003⟩. ⟨hal-03576770⟩

• Article dans une revue

Less than one millimeter under the great toe is enough to change balance ability in elite women handball players

Frédéric Viseux, Franck Barbier, Rodolfo Parreira, Antoine Lemaire, Philippe Villeneuve, Sebastien Leteneur

Team handball is a complex intermittent sport game, which requires several motor abilities and effective postural control. Objective evaluation of stabilometric variables may be interesting to assess and improve functional parameters by postural control management. The purpose of the study was to…

Journal of Human Kinetics, 2019, 69 (1), pp.69-77. ⟨10.2478/hukin-2019-0024⟩. ⟨hal-03413188⟩

• Article dans une revue

Automated business rules and requirements to enrich product-centric information

Virginie Fortineau, Thomas Paviot, Samir Lamouri

Current PLM or BIM based information systems suffer from a lack of checking components for business rules. One reason is the misunderstanding of the role and nature of business rules, and how they should be treated in a product-centric information system. This paper intends to provide both a…

Computers in Industry, 2019, 104, pp.22-33. ⟨10.1016/j.compind.2018.10.001⟩. ⟨hal-03468401⟩

• Communication dans un congrès

Variable neighborhood search for the set union knapsack problem

Bernard Gendron, Said Hanafi, Raca Todosijević

The set-union knapsack problem (SUKP) is a generalization of knapsack problem where an item corresponds to a set of elements. SUKP has various applications including information security systems. We propose a variable neighborhood search for the SUKP and the computational results on a set of…