Publications

• Article dans une revue

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clément, Sebastian Lamelas, Thomas Durieux, Daniel Le Berre, Martin Monperrus

We propose NOPOL, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a patch with a conditional expression as output. The test suite is required to contain passing test…

IEEE Transactions on Software Engineering, 2017, 43 (1), pp.34-55. ⟨10.1109/TSE.2016.2560811⟩. ⟨hal-01285008v2⟩

• Article dans une revue

Vers une Ingénierie Avancée de la Sécurité des SI d'entreprise, Towards an advanced enterprise it security engineering

Wilson Goudalo, Christophe Kolski, Frédéric Vanderhaegen

In our era of the service industry, information systems play a prominent role. They even hold a vital position for businesses, organizations and individuals. Information systems are confronted with new security threats on an ongoing basis; these threats become more and more sophisticated and of…

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2017, 22 (1), pp.65-107. ⟨10.3166/ISI.22.1.65-107⟩. ⟨hal-03280530⟩

• Article dans une revue

Experimental study of the cooling performance of phase change material with discrete heat sources – Continuous and intermittent regimes

Salma Gharbi, Souad Harmand, Sadok Ben Jabrallah

This paper presents an experimental investigation of phase change material (PCM, Plastic paraffin) behavior in a rectangular enclosure with three discrete heat sources flush-mounted on the right vertical wall. The remaining walls of the cavity are adiabatic. Maximizing the critical time (time…

Applied Thermal Engineering, 2017, 111, pp.103-111. ⟨10.1016/j.applthermaleng.2016.06.109⟩. ⟨hal-03456388⟩

• Rapport

Caractérisation de l’éco-conduite pour la conduite de tramways

Salvatore La Delfa, Rudy Dahyot, Simon Enjalbert, Philippe Polet, Sébastien Lefebvre, Denis Miglianico, Frédéric Vanderhaegen, Richard Kaczmarek

[Rapport de recherche] Université de valenciennes et du Hainaut-Cambrésis. 2017. ⟨hal-03423304⟩

• Article dans une revue

Refinements of some Pachpatte and Bihari inequalities on time scales

Bacem Ben Nasser, Khaled Boukerrioua, Michael Defoort, Mohamed Djemai, Mohamed Ali Hammami

In this study, some generalizations and refinements of some inequalities of Pachpatte and Bellman-Bihari types are established on arbitrary time domains using the time scale theory. The obtained results unify continuous and discrete inequalities and extend some results known in the literature. The…

Nonlinear Dynamics and Systems Theory, 2017, 17 (4), pp.388-401. ⟨hal-03429974⟩

• Article dans une revue

Towards increased systems resilience: New challenges based on dissonance control for human reliability in Cyber-Physical&Human Systems

Frédéric Vanderhaegen

This paper discusses concepts and tools for joint human and cyber-physical-systems analysis and control in the view of increasing the whole system resilience. More precisely, it details new challenges for human reliability based on dissonance control of Cyber-Physical&Human Systems (CPHS) to…

Annual Reviews in Control, 2017, 44, pp.316-322. ⟨10.1016/j.arcontrol.2017.09.008⟩. ⟨hal-03429318⟩

• Article dans une revue

Quantitative analysis of galling in cold forging of a commercial Al-Mg-Si alloy

Kevin Le Mercier, Mirentxu Dubar, Katia Mocellin, André Dubois, Laurent Dubar

Multiple upsetting-sliding tests are performed at sliding velocities in the range of 20-200 mm.s-1 and at different plastic deformations to reproduce the local contact conditions experienced at the tool/workpiece interface during cold forging of a 6082 aluminium alloy. An original approach, able to…

Procedia Engineering, 2017, International Conference on the Technology of Plasticity, ICTP 2017, 17-22 September 2017, Cambridge, United Kingdom, 207, pp.2298-2303. ⟨10.1016/j.proeng.2017.10.998⟩. ⟨hal-03456447⟩

• Article dans une revue

An Improved Downlink MC-CDMA System for Efficient Image Transmission

Mohammed Sofiane Bendelhoum, Ali Djebbari, Ismail Boukli Hacene, Abdelmalik Taleb-Ahmed

Image compression is an essential stage of the data archiving and transmitting process, as it reduces the number of bits and the time required to complete the transmission. In this article, a study of image transmission over the Multi-Carrier Code Division Multiple Access (MC-CDMA) downlink system…

Journal of Telecommunications and Information Technology, 2017, 4, pp.5-16. ⟨10.26636/jtit.2017.110917⟩. ⟨hal-03666580⟩

• Article dans une revue

Asymptotically necessary and sufficient conditions for Takagi–Sugeno models using generalized non-quadratic parameter-dependent controller design

Raymundo Márquez Borbόn, Thierry-Marie Guerra, Miguel Bernal, Alexandre Kruszewski

Results in this paper generalize recent approaches on non-quadratic controller design for Takagi–Sugeno models based on a matrix transformation. Conditions thus obtained depend on a single parameter which allows an efficient search of feasible solutions via linear matrix inequalities; moreover,…

Fuzzy Sets and Systems, 2017, 306, pp.48 - 62. ⟨10.1016/j.fss.2015.12.012⟩. ⟨hal-01410325⟩

• Communication dans un congrès

Experimental characterisation of multi-sheet, multi-material spot-welded assemblies under pure and combined I/II loading conditions

Rim Chtourou, Fahmi Chaari, Grégory Haugou, Nicolas Leconte, Eric Markiewicz, Bassem Zouari

Resistance spot welding (RSW) of multiple sheets (more than two) and combining multiple materials (i.e. different steel grades) are increasingly employed with the growing demand of safety and lightweight vehicle structures. Despite that, the mechanical strength and rupture of such a new generation…, Une nouvelle génération d’assemblages trois tôles multi-matériaux soudés par point a été récemment introduite dans la conception de la caisse en blanc des véhicules automobiles, pour améliorer la sécurité et contribuer également à l’allégement structural. Malgré l’utilisation croissante de ces…

CFM 2017 - 23ème Congrès Français de Mécanique, Aug 2017, Lille, France. ⟨hal-03465311⟩