Publicaciones

• 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

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⟩

• 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⟩

• 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⟩

• 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⟩

• Communication dans un congrès

Effects of 12 months of resistance training versus endurance training on bone mineral density in young overweight men

Rawad El Hage, C. El-Khouri, J. Matta, F. Frenn, Ghassan Maalouf, M. Rizkallah, Antonio Pinti, Eric Watelain, Hechmi Toumi, E. Lespesailles

WCO-IOF-ESCEO, 2017, Florence, Italy. ⟨hal-03462120⟩

• Article dans une revue

Reducing the Toxicity Risk in Antibiotic Prescriptions by Combining Ontologies with a Multiple Criteria Decision Model

Souhir Ben Souissi, Mourad Abed, Lahcen Elhiki, Philippe Fortemps, Marc Pirlot

We consider the risk of adverse drug events caused by antibiotic prescriptions. Antibiotics are the second most common cause of drug related adverse events and one of the most common classes of drugs associated with medical malpractice claims. To cope with this serious issue, physicians rely on...

AMIA .. Annual Symposium proceedings [electronic resource] / AMIA Symposium. AMIA Symposium., 2017, pp.1625-1634. ⟨hal-03666537⟩

• Article dans une revue

Mock-up Study of the Effect of Wall distance on the Thermal Rating of Power Cables in Ventilated Tunnels

Fahd Boukrouche, Christophe Moreau, Julien Pellé, François Beaubert, Souad Harmand, Olivier Moreau

Power transmission through power cables installed in ventilated tunnels is increasingly used worldwide and offers a complex thermal environment. Established correlations currently in use have been deduced from a nonfully developed turbulent flow and the effect of the proximity to a tunnel wall is...

IEEE Transactions on Power Delivery, 2017, 32 (6), pp.2453 - 2461. ⟨10.1109/TPWRD.2016.2629285⟩. ⟨hal-03461856⟩