Publications

Affichage de 2451 à 2460 sur 5364


  • Chapitre d'ouvrage

Foreword

Tim A. Majchrzak, Paolo Traverso, Karl-Heinz Krempels, Valérie Monfort

This book contains the proceedings of the 13th International Conference on Web Information Systems and Technologies (WEBIST 2017), which was organized and sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC). The conference was held in…

Proceedings of the 13th International Conference on Web Information Systems and Technologies, 1, , 2017, 978-989758246-2. ⟨hal-03666598⟩

  • Communication dans un congrès

Train timetable rearrangement facing infrastructure maintenance activities

Luis Diego Arenas Pimentel, Paola Pellegrini, Said Hanafi, Joaquin Rodriguez

Maintenance activities are necessary to maintain the functionality of the railway infrastructure. Commonly, the maintenance activities are planned first. Then, the timetable is elaborated respecting the unavailability periods caused by the former. However, unplanned maintenance activities may have…

ROADEF 2017, 18ème conférence de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2017, Metz, France. 2p. ⟨hal-01469801v2⟩

  • Communication dans un congrès

Multi-Physic Analysis of Electrical Machines: Hybrid Electro-Magneto-Aero-ThermalModeling

Oualid Messal, Louis Lambourg, Frédéric Dubas, Souad Harmand, Afef Kedous-Lebouc, Christian Chillet

ICEMS 2017 : 19th International Conference on Electrical Machines and Systems, 2017, San Francisco, United States. ⟨hal-02330493⟩

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

Lu
Ma
Me
Je
Ve
Sa
Di
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
Effacer
Lu
Ma
Me
Je
Ve
Sa
Di
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4
5
6
Effacer