Thesis Publication

Houndji, Vinasetan Ratheil. Cost-based filtering algorithms for a capacitated lot sizing problem and the constrained arborescence problem, prom. : Wolsey, Laurence ; Schaus, Pierre ; Hounkonnou, Norbert, 31/05/2017.

http://hdl.handle.net/2078.1/186333

Lebrun, David. Reaping the benefits of IPv6 segment routing, prom. : Bonaventure, Olivier, 19/10/2017.

http://hdl.handle.net/2078.1/191759

Sommer, Felix. Social network analysis using graphs, applications in clustering and recommender systems, prom. : Fouss, François, 27/10/2017.

http://hdl.handle.net/2078.1/193828

Busard, Simon. Symbolic model checking of multi-modal logics : uniform strategies and rich explanations, prom. : Pecheur, Charles, 03/07/2017.

http://hdl.handle.net/2078.1/186372

Cappart, Quentin. Verification of railway interlocking systems and optimisation of railway traffic, prom. : Schaus, Pierre, 19/12/2017.

http://hdl.handle.net/2078.1/192702

Melchior, Jérémie. A model-based approach for dynamically distributing graphical user interfaces based on their properties, graphs, and scenarios, prom. : Vanderdonckt, Jean ; Van Roy, Peter, 19/01/2016.

http://hdl.handle.net/2078.1/171110

Paul, Ruma Rani. Building distributed systems for high-stress environments using reversibility and phase-awareness, prom. : Van Roy, Peter ; Vlassov, Vladimir, 11/10/2016.

http://hdl.handle.net/2078.1/178916

Dejemeppe, Cyrille. Constraint programming algorithms and models for scheduling applications, prom. : Deville, Yves ; Schaus, Pierre, 30/09/2016.

http://hdl.handle.net/2078.1/178078

Kalavri, Vasiliki. Performance optimization techniques and tools for distributed graph processing, prom. : Vlassov, Vladimir ; Van Roy, Peter, 10/10/2016.

http://hdl.handle.net/2078.1/178915

Liu, Ying. Towards elastic high-performance geo-distributed storage in the cloud, prom. : Van Roy, Peter ; Vlassov, Vladimir, 03/10/2016.

http://hdl.handle.net/2078.1/178914

Beuvens, François. UsiGesture : a structured method for engineering pen-based gestures in graphical user interfaces, prom. : Vanderdonckt, Jean, 13/10/2016.

http://hdl.handle.net/2078.1/187267

Brognaux, Sandrine. Expressive speech synthesis : research and system design with hidden Markov models , prom. : Saerens, Marco ; Dutoit, Thierry ; Beaufort, Richard, 14/12/2015.

http://hdl.handle.net/2078.1/169213

Paul, Jérôme. Feature selection from heterogeneous biomedical data, prom. : Dupont, Pierre, 29/06/2015.

http://hdl.handle.net/2078.1/165076

Bui, Quoc Trung. Modelling and solving complex combinatorial optimization problems : quorumcast routing, elementary shortest path, elementary longest path and agricultural land allocation, prom. : Deville, Yves ; Pham, Quang Dung, 08/12/2015.

http://hdl.handle.net/2078.1/169210

Mairy, Jean-Baptiste. Propagators for table constraints, prom. : Deville, Yves, 29/04/2015.

http://hdl.handle.net/2078.1/160844

Carpent, Xavier. RFID authentication and time-memory trade-offs, prom. : Avoine, Gildas, 18/03/2015.

http://hdl.handle.net/2078.1/157885

García Díez, Silvia. Randomized shortest paths and their applications, prom. : Saerens, Marco, 01/10/2015.

http://hdl.handle.net/2078.1/165618

Branders, Samuel. Regression, classification and feature selection from survival data : modeling of hypoxia conditions for cancer prognosis, prom. : Dupont, Pierre ; Feron, Olivier, 24/09/2015.

http://hdl.handle.net/2078.1/165617

Castro Mejia, Sergio. A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language, prom. : Mens, Kim, 08/09/2014.

http://hdl.handle.net/2078.1/151203

Detal, Gregory. Evaluating and improving the deployability of Multipath TCP, prom. : Bonaventure, Olivier, 26/03/2014.

http://hdl.handle.net/2078.1/142829

Paasch, Christoph. Improving Multipath TCP, prom. : Bonaventure, Olivier, 24/11/2014.

http://hdl.handle.net/2078.1/152824

Combéfis, Sébastien. A formal framework for the analysis of human-machine interactions, prom. : Pecheur, Charles, 20/11/2013.

http://hdl.handle.net/2078.1/135942

Kabasele Tenday Ndonda, Jean-Marie G.. A framework for integrating security in software development projects, prom. : Lobelle, Marc ; Quisquater, Jean-Jacques, 30/08/2013.

http://hdl.handle.net/2078.1/133574

le Clément de Saint Marcq, Vianney. Castor : a constraint-based SPARQL engine with active filter processing, prom. : Deville, Yves ; Solnon, Christine, 16/12/2013.

http://hdl.handle.net/2078.1/137713

Cardozo Álvarez, Nicolás. Identification and management of inconsistencies in dynamically adaptive software systems, prom. : Mens, Kim ; D'Hondt, Theo, 03/09/2013.

http://hdl.handle.net/2078.1/133879

Massen, Florence. Optimization approaches for vehicle routing problems with Black Box Feasibility, prom. : Deville, Yves, 12/09/2013.

http://hdl.handle.net/2078.1/133880

Martin, Tania. Privacy in RFID systems, prom. : Avoine, Gildas, 19/06/2013.

http://hdl.handle.net/2078.1/132580

Vander Meulen, José. Combining partial order reduction with symbolic model checking, prom. : Pecheur, Charles, 19/04/2012.

http://hdl.handle.net/2078.1/110724

Vanbever, Laurent. Methods and techniques for disruption-free network reconfiguration, prom. : Bonaventure, Olivier, 04/10/2012.

http://hdl.handle.net/2078.1/115347

Ho, Trong-Viet. Traffic engineering techniques for data center networks, prom. : Deville, Yves ; Bonaventure, Olivier, 17/10/2012.

http://hdl.handle.net/2078.1/116990

Leroy, Damien. Allowing IP networks to be securely renumbered and shared, prom. : Bonaventure, Olivier, 15/02/2011.

http://hdl.handle.net/2078.1/70743

Damas, Christophe. Analyzing multi-view models of software systems, prom. : van Lamsweerde, Axel, 30/11/2011.

http://hdl.handle.net/2078.1/95703

Mouthuy, Sébastien. Constraint-based very large-scale neighborhood search, prom. : Deville, Yves ; Van Hentenryck, Pascal, 23/09/2011.

http://hdl.handle.net/2078.1/90777

Barré, Sébastien. Implementation and assessment of modern host-based multipath solutions, prom. : Bonaventure, Olivier, 02/11/2011.

http://hdl.handle.net/2078.1/94331

Pham, Quang Dung. LS(Graph): a constraint-based local search framework for constrained optimum tree and path problems on graphs, prom. : Deville, Yves, 02/03/2011.

http://hdl.handle.net/2078.1/70746

Saucez, Damien. Mechanisms for interdomain traffic engineering with LISP, prom. : Bonaventure, Olivier, 11/10/2011.

http://hdl.handle.net/2078.1/92231

Lambeau, Bernard. Synthesizing multi-view models of software systems, prom. : van Lamsweerde, Axel ; Dupont, Pierre, 30/11/2011.

http://hdl.handle.net/2078.1/95702

Van den Schrieck, Virginie. Improving internal BGP routing, prom. : Bonaventure, Olivier, 08/12/2010.

http://hdl.handle.net/2078.1/69072