- UCL Home
- Research institutes
- ICTEAM
- Computing science engineering
- Research Area
- Research Publication
Research Publication
Publications INGI
2017
6th issue of Experimental Software and Toolkits (EST-6). In: Science of Computer Programming (SCICO), Vol. 134, p. 1-112 (2017).
2017
Fahrenberg, Uli ; Legay, Axel. A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories. In: SOFSEM 2017: Theory and Practice of Computer Science, , p. pp 49-61 (2017). doi:10.1007/978-3-319-51963-0_5.
2017
Françoisse, Kevin ; Kivimäki, Ilkka ; Mantrach, Amin ; Rossi, Fabrice ; Saerens, Marco. A bag-of-paths framework for network data analysis. In: Neural Networks, Vol. 90, p. 90-111 (2017). doi:10.1016/j.neunet.2017.03.010.
2017
Ésik, Zoltán ; Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras. In: Acta Cybernetica, Vol. 23, no.1, p. 203-228 (2017). doi:10.14232/actacyb.23.1.2017.13.
2017
Ésik, Zoltán ; Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions. In: Acta Cybernetica, Vol. 23, no.1, p. 229-268 (2017). doi:10.14232/actacyb.23.1.2017.14.
2017
Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto ; Marazza, Marco ; Senni, Valerio ; Legay, Axel ; Quilbeuf, Jean ; Etzien, Christoph. An Application of SMC to continuous validation of heterogeneous systems. In: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, Vol. 4, no. 10, p. 152154 (2017). doi:10.4108/eai.1-2-2017.152154.
2017
Jaafar, Fehmi ; Lozano, Angela ; Guéhéneuc, Yann-Gaël ; Mens, Kim. Analyzing software evolution and quality by extracting Asynchrony change patterns. In: Journal of Systems and Software, Vol. 131, p. 311-322 (2017). doi:10.1016/j.jss.2017.05.047.
2017
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for quantitative specifications. In: Soft Computing, Vol. 22, no.4, p. 1139-1158 (2017). doi:10.1007/s00500-017-2519-5.
2017
Mens, Kim ; Capilla, Rafael ; Hartmann, Herman ; Kropf, Thomas. Contextual Variability Modeling. In: IEEE Software, Vol. 34, p. 58-88 (2017).
2017
Antichi, Gianni ; Castro, Ignacio ; Chiesa, Marco ; Fernandes, Eder L. ; Lapeyrade, Remy ; Kopp, Daniel ; Han, Jong Hun ; Bruyere, Marc ; Dietzel, Christoph ; Gusat, Mitchell ; Moore, Andrew W. ; Owezarski, Philippe ; Uhlig, Steve ; Canini, Marco. ENDEAVOUR: A Scalable SDN Architecture For Real-World IXPs. In: IEEE Journal on Selected Areas in Communications, Vol. 35, p. 2553-2562 (2017). doi:10.1109/jsac.2017.2760398.
2017
Biondi, Fabrizio ; Josse, Sébastien ; Legay, Axel ; Sirvent, Thomas. Effectiveness of Synthesis in Concolic Deobfuscation. In: Computers and Security, Vol. 70, p. 500-515 (2017). doi:10.1016/j.cose.2017.07.006.
2017
Van Cauwelaert, Sascha ; Schaus, Pierre. Efficient Filtering for the Resource-Cost AllDifferent Constraint. In: Constraints, Vol. 22, no.4, p. 493–511 (Octobre 2017). doi:10.1007/s10601-017-9269-y.
2017
Barazzutti, Raphael ; Felber, Pascal ; Mercier, Hugues ; Onica, Emanuel ; Riviere, Etienne. Efficient and Confidentiality-Preserving Content-Based Publish/Subscribe with Prefiltering. In: IEEE Transactions on Dependable and Secure Computing, Vol. 14, no.3, p. 308-325 (2017). doi:10.1109/tdsc.2015.2449831.
2017
Metongnon, Lionel ; Sadre, Ramin. Fast and efficient probing of heterogeneous IoT networks. In: International Journal of Network Management, Vol. SPECIAL ISSUE PAPER, p. e1997 (2017). doi:10.1002/nem.1997.
2017
Ngo, Van Chan ; Legay, Axel. Formal verification of probabilistic SystemC models with statistical model checking : Formal verification of probabilistic SystemC models with statistical model checking. In: Journal of Software: Evolution and Process, Vol. 30, no.3, p. e1890 (2017). doi:10.1002/smr.1890.
2017
Guest editors’ introduction to the 6th issue of Experimental Software and Toolkits (EST-6). In: Science of Computer Programming, Vol. 134, no.6th issue of Experimental Software and Toolkits (EST-6), p. 1-3 (1 February 2017). doi:10.1016/j.scico.2016.11.001.
2017
Derval, Guillaume ; Régin, Jean-Charles ; Schaus, Pierre. Improved filtering for the bin-packing with cardinality constraint. In: Constraints, Vol. 23, p. 251–271 (2018). doi:10.1007/s10601-017-9278-x.
2017
Castro, Sergio ; Mens, Kim ; Moura, Paulo. JPC: A library for categorising and applying inter-language conversions between Java and Prolog. In: Science of Computer Programming, Vol. 134, no. 6th issue of Experimental Software and Toolkits (EST-6), p. 75-99 (2017). doi:10.1016/j.scico.2015.11.008.
2017
Aoga, John ; Guns, Tias ; Schaus, Pierre. Mining Time-constrained Sequential Patterns with Constraint Programming. In: Constraint Journal, Vol. 22, no.3, p. 1-23 (2017). doi:10.1007/s10601-017-9272-3.
2017
Guns, Tias ; Dries, Anton ; Nijssen, Siegfried ; Tack, Guido ; De Raedt, Luc. MiningZinc: A declarative framework for constraint-based mining. In: Artificial Intelligence, Vol. 244, p. 6-29 (2017). doi:10.1016/j.artint.2015.09.007.
2017
Mens, Kim ; Capilla, Rafael ; Hartmann, Herman ; Kropf, Thomas. Modeling and Managing Context-Aware Systems’ Variability. In: IEEE Software, Vol. 34, p. 58-63 (2017). doi:10.1109/MS.2017.4121225.
2017
Sommer, Félix ; Fouss, François ; Saerens, Marco. Modularity-driven kernel k-means for community detection. In: Lecture Notes in Computer Science - ICANN 2017 International Conference on Artificial Neural Networks, Vol. 10614, p. 423-433 (2017). doi:10.1007/978-3-319-68612-7_48.
2017
Elkhatib, Yehia ; Porter, Barry ; Ribeiro, Heverson B. ; Zhani, Mohamed Faten ; Qadir, Junaid ; Riviere, Etienne. On Using Micro-Clouds to Deliver the Fog. In: IEEE Internet Computing, Vol. 21, no.2, p. 8-15 (2017). doi:10.1109/mic.2017.35.
2017
Ha, Quang Minh ; Deville, Yves ; Quang Dung Pham. On the Min-cost Traveling Salesman Problem with Drone. In: Transportation Research. Part C: Emerging Technologies. doi:10.1016/j.trc.2017.11.015 (Accepté/Sous presse).
2017
Kathiravelu, Pradeeban ; Sharma, Ashish ; Galhardas, Helena ; Van Roy, Peter ; Veiga, Luís. On-demand big data integration. A hybrid ETL approach for reproducible scientific research. In: Distributed and Parallel Databases, Vol. 37, no. 37, p. 273-295 (2019).
2017
Vissicchio, Stefano ; Vanbever, Laurent ; Cittadini, Luca ; Xie, Geoffrey G. ; Bonaventure, Olivier. Safe Update of Hybrid SDN Networks. In: IEEE/ACM Transactions on Networking, Vol. 25, no.3, p. 1649-1662 (2017). doi:10.1109/tnet.2016.2642586.
2017
Le Van, Thanh ; Nijssen, Siegfried ; van Leeuwen, Matthijs ; De Raedt, Luc. Semiring Rank Matrix Factorization. In: IEEE Transactions on Knowledge & Data Engineering, Vol. 29, no.8, p. 1737-1750 (2017). doi:10.1109/TKDE.2017.2688374.
2017
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Samih, Hamza ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Statistical Prioritization for Software Product Line Testing: an Experience Report. In: Software & Systems Modeling.
2017
Bonaventure, Olivier. The April 2017 Issue. In: ACM SIGCOMM Computer Communication Review, Vol. 47, no.2, p. 1-1 (2017). doi:10.1145/3089262.3089263.
2017
Bessiere, Christian ; De Raedt, Luc ; Guns, Tias ; Kotthoff, Lars ; Nanni, Mirco ; Nijssen, Siegfried ; O'Sullivan, Barry ; Paparrizou, Anastasia ; Pedreschi, Dino ; Simonis, Helmut. The Inductive Constraint Programming Loop. In: IEEE Intelligent Systems, Vol. 32, no.5, p. 44-52 (18-10-2017). doi:10.1109/MIS.2017.3711637.
2017
Bonaventure, Olivier. The January 2017 issue. In: ACM SIGCOMM Computer Communication Review, Vol. 47, no.1, p. 1-3 (2017). doi:10.1145/3041027.3041028.
2017
Bonaventure, Olivier. The July 2017 issue. In: ACM SIGCOMM Computer Communication Review, Vol. 47, no.3, p. 1-1 (2017). doi:10.1145/3138808.3138809.
2017
Bonaventure, Olivier. The October 2017 Issue. In: ACM SIGCOMM Computer Communication Review, Vol. 47, no.5, p. 1-1 (2017). doi:10.1145/3155055.3155056.
2017
Bonaventure, Olivier ; Paasch, Christoph ; Detal, Gregory. Use Cases and Operational Experience with Multipath TCP. In: Request for Comments, Vol. 1, no. 8041, p. 1-30. doi:10.17487/RFC8041.
2017
Lanet, Jean-Louis ; Le Bouder, Hélène ; Benattou, Mohammed ; Legay, Axel. When Time Meets Test. In: International Journal of Information Security, p. 395-409 (2017). doi:10.1007/s10207-017-0371-3.
2017
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. WoodStock : un programme-joueur générique. In: Revue d'intelligence artificielle, Vol. 31, no.3, p. 281-310 (2017). doi:10.3166/ria.31.281-310.
2016
Cardona, Juan Camilo ; Vissicchio, Stefano ; Lucente, Paolo ; Francois, Pierre. "I Can’t Get No Satisfaction": Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests. In: IEEE Transactions on Network and Service Management, Vol. PP, no.99, p. 1-14 (To appear).
2016
Lovinfosse, Pierre ; Koopmansch, Benjamin ; Lambert, Frederic ; Jodogne, Sébastien ; Kustermans, Gaelle ; Hatt, Mathieu ; Visvikis, Dimitris ; Seidel, Laurence ; Polus, Marc ; Albert, Adelin ; Delvenne, Philippe ; Hustinx, Roland. 18F-FDG PET/CT imaging in rectal cancer: relationship with the RAS mutational status. In: The British Journal of Radiology, Vol. 89, no.1063, p. 20160212 (2016). doi:10.1259/bjr.20160212.
2016
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. A Tag Contract Framework for Modeling Heterogeneous Systems. In: Science of Computer Programming.
2016
Nouri, Ayoub ; Bozga, Marius ; Molnos, Anca ; Legay, Axel ; Bensalem, Saddek. ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. In: ACM Transactions on Embedded Computing Systems (TECS), p. 1-26 (2016). doi:10.1145/2885498.
2016
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems. In: Information Sciences.
2016
Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles. Automatic Detection of Potential Automation Surprises for ADEPT Models. In: IEEE Transactions on Human-Machine Systems, Vol. 46, no. 2, p. 267-278 (2016). doi:10.1109/THMS.2015.2424851.
2016
Biondi, Fabrizio ; Josse, Sébastien ; Legay, Axel. Bypassing Malware Obfuscation with Dynamic Synthesis. In: ERCIM News, no. 106 (2016).
2016
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean. Command-based importance sampling for statistical model checking. In: Theoretical Computer Science, Vol. 649, p. 1 - 24 (2016).
2016
Sommer, Félix ; Fouss, François ; Saerens, Marco. Comparison of Graph Node Distances on Clustering Tasks. In: Lecture Notes in Computer Science - ICANN 2016 International Conference on Artificial Neural Networks, Vol. 9886, p. 192-201 (2016). doi:10.1007/978-3-319-44778-0_23.
2016
Onica, Emanuel ; Felber, Pascal ; Mercier, Hugues ; Riviere, Etienne. Confidentiality-Preserving Publish/Subscribe : A Survey. In: ACM Computing Surveys, Vol. 49, no.2, p. 1-43 (2016). doi:10.1145/2940296.
2016
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. In: Theory of Computing Systems, Vol. 15, p. 1-26 (2016). doi:10.1145/2885752.
2016
Bui, Quoc Trung ; Deville, Yves ; Pham, Quang Dung. Exact methods for solving the elementary shortest and longest path problems. In: Annals of Operations Research, Vol. 238, no.1, p. 1-36 (2016). doi:10.1007/s10479-016-2116-5.
2016
Barbosa, Rafael Ramos Regis ; Sadre, Ramin ; Pras, Aiko. Exploiting traffic periodicity in industrial control networks. In: International Journal of Critical Infrastructure Protection, Vol. 13, p. 52-62 (2016). doi:10.1016/j.ijcip.2016.02.004 (Accepté/Sous presse).
2016
Lovinfosse, Pierre ; Janvary, Zsolt Levente ; Coucke, Philippe ; Jodogne, Sébastien ; Bernard, Claire ; Hatt, Mathieu ; Visvikis, Dimitris ; Jansen, Nicolas ; Duysinx, Bernard ; Hustinx, Roland. FDG PET/CT texture analysis for predicting the outcome of lung cancer treated by stereotactic body radiation therapy. In: European Journal of Nuclear Medicine and Molecular Imaging, Vol. 43, no. 8, p. 1453-1460 (2016). doi:10.1007/s00259-016-3314-8.
2016
Schmidt, Ricardo de O. ; Sadre, Ramin ; Hendriks, Luuk. Flow-Based Network Management: A Report from the IRTF NMRG Workshop. In: Journal of Network and Systems Management, Vol. 24, no.3, p. 746-753 (2016). doi:10.1007/s10922-016-9365-0.
2016
Aoga, John ; Dagba, Theophile K. ; Fanou, Codjo C.. Integration of Yoruba language into MaryTTS. In: International Journal of Speech Technology, Vol. 19, no.1, p. 151-158 (2016). doi:10.1007/s10772-016-9334-8.
2016
Chiesa, Marco ; Dietzel, C. ; Antichi, G. ; Bruyére, M. ; Castro, I. ; Gusat, M. ; King, T. ; Moore, A.W. ; Nguyen, T.D. ; Owezarski, P. ; Uhlig, S. ; Canini, M.. Inter-domain networking innovation on steroids: Empowering IXPs with SDN capabilities. In: IEEE Communications Magazine, Vol. 54, no.10, p. 102-108 (2016). doi:10.1109/MCOM.2016.7588277.
2016
Saucez, Damien ; Iannone, Luigi ; Bonaventure, Olivier. Locator/ID Separation Protocol (LISP) Threat Analysis. In: Request for Comments, Vol. 7835, no.1, p. 1-19 (May 2016). doi:10.17487/RFC7835.
2016
Cordero Fuertes, Juan Antonio. Multi-Path TCP Performance Evaluation in Dual-Homed (Wired/Wireless) Devices. In: Journal of Network and Computer Applications, Vol. in press, no.in press, p. in press (2016). doi:10.1016/j.jnca.2016.05.004 (Accepté/Sous presse).
2016
Bonaventure, Olivier ; SungHoon, Seo. Multipath TCP Deployments. In: IETF Journal, Vol. 12, no.2, p. 24-27 (November 2016).
2016
De Coninck, Quentin ; Baerts, Matthieu ; Hesmans, Benjamin ; Bonaventure, Olivier. Observing Real Smartphone Applications over Multipath TCP. In: IEEE Communications Magazine, Vol. 54, no. 3, p. 88--93. doi:10.1109/MCOM.2016.7432153.
2016
Tran, Viet Hoang ; De Coninck, Quentin ; Hesmans, Benjamin ; Sadre, Ramin ; Bonaventure, Olivier. Observing real Multipath TCP traffic. In: Computer Communications, Vol. 94, no. ?, p. 114–122 (15 November 2016). doi:10.1016/j.comcom.2016.01.014 (Accepté/Sous presse).
2016
Chiesa, Marco ; Nikolaevskiy, I. ; Mitrovic, S. ; Gurtov, A. ; Madry, A. ; Schapira, M. ; Shenker, S.. On the Resiliency of Static Forwarding Tables. In: IEEE-ACM Transactions on Networking, Vol. PP, no.99, p. 1-14 (2016). doi:10.1109/TNET.2016.2619398.
2016
Kim Jin, Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Boudjadar, Abdeldjalil ; Nyman, Ulrik ; Larsen Kim, Guldstrand ; Lee, Insup ; Choi, Jin-Young. Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In: ACM SIGBED Review, Vol. 13, no. 3, p. 41-48 (2016). doi:10.1145/2983185.2983192.
2016
Avoine, Gildas ; Carpent, Xavier ; Hernandez-Castro, Julio. Pitfalls in ultralightweight authentication protocol designs. In: IEEE Transactions on Mobile Computing, Vol. 15, no.9, p. 2317-2332 (2016). doi:10.1109/tmc.2015.2492553.
2016
Le Van, Thanh ; van Leeuwen, Matthijs ; Carolina Fierro, Ana ; De Maeyer, Dries ; Van den Eynden, Jimmy ; Verbeke, Lieven ; De Raedt, Luc ; Marchal, Kathleen ; Nijssen, Siegfried. Simultaneous discovery of cancer subtypes and subtype features by molecular data integration. In: Bioinformatics, Vol. 32, no.17, p. i445-i454 (2016). doi:10.1093/bioinformatics/btw434.
2016
Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking with Change Detection. In: Foundations for Mastering Change.
2016
Bonnet, François ; Défago, Xavier ; Nguyen, Thanh Dang ; Potop-Butucaru, Maria. Tight bound on mobile Byzantine Agreement. In: Theoretical Computer Science, Vol. 609, p. 361-373 (2016). doi:10.1016/j.tcs.2015.10.019 (Soumis).
2016
Chiesa, Marco ; Kindler, Guy ; Schapira, Michael. Traffic Engineering With Equal-Cost-MultiPath: An Algorithmic Perspective. In: IEEE-ACM Transactions on Networking, Vol. PP, no.99, p. 1-14 (11 October 2016). doi:10.1109/TNET.2016.2614247.
2016
Kivimäki, Ilkka ; Lebichot, Bertrand ; Saramäki, Jari ; Saerens, Marco. Two betweenness centrality measures based on Randomized Shortest Paths. In: Scientific Reports, Vol. 2016, no.6, p. 1-15 (2016). doi:10.1038.
2016
Jafri, Nisrine ; Legay, Axel ; Lanet, Jean-Louis. Vulnerability Prediction Against Fault Attacks. In: ERCIM News.
2015
Mouthuy, Sébastien ; Massen, Florence ; Van Hentenryck, Pascal ; Deville, Yves. A Multi-Stage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time-Windows. In: Journal of Transportation Science, Vol. 49, no.2, p. 223-238 (May 2015). doi:10.1287/trsc.2014.0558.
2015
Guimaraes, Vinicius Tavares ; Freitas, Carla Maria Dal Sasso ; Sadre, Ramin ; Rockenbach Tarouco, Liane Margarida ; Zambenedetti Granville, Lisandro. A Survey on Information Visualization for Network and Service Management. In: IEEE Communications Surveys & Tutorials, (24 Juli 2015). doi:10.1109/COMST.2015.2450538.
2015
Branders, Samuel ; Dupont, Pierre. A balanced hazard ratio for risk group evaluation from survival data. In: Statistics in Medicine, Vol. 34, no.17, p. 2528-2543 (2015). doi:10.1002/sim.6505.
2015
Bagnulo, Marcelo ; Paasch, Christoph ; Got, Fernando ; Bonaventure, Olivier ; Raiciu, Costin. Analysis of Residual Threats and Possible Fixes for Multipath TCP (MPTCP). In: Request for Comments, no. 7430, p. 1-19. doi:10.17487/RFC7430.
2015
Vandaele, R. ; Marée, R. ; Coucke, P. ; Lenaerts, E. ; Gulyban, A. ; Lallemand, F. ; Geurts, P. ; Jodogne, Sébastien ; Martinive, P.. Automated landmarks detection for rigid registration between the simulation-CT and the treatment CBCT. In: Radiotherapy and Oncology, Vol. 115, no.1, p. S834-S835 (2015). doi:10.1016/s0167-8140(15)41521-x.
2015
Lombard, Catherine ; André, Floriane ; Paul, Jérôme ; Wanty, Catherine ; Vosters, Olivier ; Bernard, Pierre ; Pilette, Charles ; Dupont, Pierre ; Sokal, Etienne ; Smets, Françoise. Clinical Parameters vs Cytokine Profiles as Predictive Markers of IgE-Mediated Allergy in Young Children.. In: PLoS One, Vol. 10, no. 7, p. e0132753 [1-12] (2015). doi:10.1371/journal.pone.0132753.
2015
Clad, Francois ; Vissicchio, Stefano ; Merindol, Pascal ; Francois, Pierre ; Pansiot, Jean-Jacques. Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations. In: IEEE-ACM Transactions on Networking, Vol. 23, no. 5, p. 1373-1386 (Oct 2015). doi:10.1109/TNET.2014.2332101.
2015
Garcia Lopez, Pedro ; Montresor, Alberto ; Epema, Dick ; Datta, Anwitaman ; Higashino, Teruo ; Iamnitchi, Adriana ; Barcellos, Marinho ; Felber, Pascal ; Riviere, Etienne. Edge-centric Computing : Vision and Challenges. In: ACM SIGCOMM Computer Communication Review, Vol. 45, no.5, p. 37-42 (2015). doi:10.1145/2831347.2831354.
2015
Colombo, Alessio ; Fontanelli, Daniele ; Legay, Axel ; Palopoli, Luigi ; Sedwards, Sean. Efficient customisable dynamic motion planning for assistive robots in complex human environments. In: Journal of ambient intelligence and smart environments, p. 617-634 (2015). doi:10.3233/AIS-150338.
2015
Wang, Ching-Wei ; Huang, Cheng-Ta ; Hsieh, Meng-Che ; Li, Chung-Hsing ; Chang, Sheng-Wei ; Li, Wei-Cheng ; Vandaele, Remy ; Maree, Raphael ; Jodogne, Sébastien ; Geurts, Pierre ; Chen, Cheng ; Zheng, Guoyan ; Chu, Chengwen ; Mirzaalian, Hengameh ; Hamarneh, Ghassan ; Vrtovec, Tomaz ; Ibragimov, Bulat. Evaluation and Comparison of Anatomical Landmark Detection Methods for Cephalometric X-Ray Images: A Grand Challenge. In: IEEE Transactions on Medical Imaging, Vol. 34, no.9, p. 1890-1900 (2015). doi:10.1109/tmi.2015.2412951.
2015
Oquendo, Flavio ; Legay, Axel. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. In: ERCIM News, no. 102 (2015).
2015
Oquendo, Flavio ; Legay, Axel ; Drira, Khalil. GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. In: ERCIM News, no. 102 (2015).
2015
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. General game playing with stochastic CSP. In: Constraints, Vol. 21, no. 1, p. 95-114 (2015). doi:10.1007/s10601-015-9199-5.
2015
Lauwerys, Bernard ; Hernández-Lobato, Daniel ; Gramme, Pierre ; Ducreux, Julie ; Dessy, Adrien ; Focant, Isabelle ; Ambroise, Jérôme ; Bearzatto, Bertrand ; Nzeusseu Toukap, Adrien ; Van den Eynde, Benoît ; Elewaut, Dirk ; Gala, Jean-Luc ; Durez, Patrick ; Houssiau, Frédéric ; Helleputte, Thibault ; Dupont, Pierre. Heterogeneity of synovial molecular patterns in patients with arthritis. In: PLoS One, Vol. 10, no. 4, p. e0122104 [1-18] (2015). doi:10.1371/journal.pone.0122104.
2015
Schmidt, Ricardo de Oliveira ; Sadre, Ramin ; Sperotto, Anna ; van den Berg, Hans ; Pras, Aiko. Impact of Packet Sampling on Link Dimensioning. In: IEEE Transactions on Network and Service Management, Vol. 12, no.3, p. 392-405 (2015). doi:10.1109/TNSM.2015.2436365.
2015
Paul, Jérôme ; Dupont, Pierre. Inferring statistically significant features from random forests. In: Neurocomputing, Vol. 150, no.part B, p. 471–480 (20 February 2015). doi:10.1016/j.neucom.2014.07.067.
2015
Paul, Jérôme ; D'Ambrosio, Roberto ; Dupont, Pierre. Kernel methods for heterogeneous feature selection. In: Neurocomputing, Vol. 169, p. 187-195 (2015). doi:10.1016/j.neucom.2014.12.098.
2015
Drago, Idilio ; Hofstede, Rick ; Sadre, Ramin ; Sperotto, Anna ; Pras, Aiko. Measuring Cloud Service Health Using NetFlow/IPFIX: The WikiLeaks Case. In: Journal of Network and Systems Management, Vol. 23, no.1, p. 58-88 (2015). doi:10.1007/s10922-013-9278-0.
2015
Vissicchio, Stefano ; Cittadini, Luca ; Di Battista, Giuseppe. On iBGP Routing Policies. In: IEEE-ACM Transactions on Networking, Vol. 23, no. 1, p. 227-240 (Feb 2015). doi:10.1109/TNET.2013.2296330.
2015
Panzacchi, Manuela ; Van Moorter, Bram ; Strand, Olav ; Saerens, Marco ; Kivimäki, Ilkka. Predicting the continuum between corridors and barriers to animal movements using Step Selection Functions and Randomized Shortest Paths. In: Journal of Animal Ecology, p. 32-42 (2015). doi:10.1111/1365-2656.12386.
2015
David, Alexandre ; Larsen Kim, Guldstrand ; Legay, Axel ; Nyman, Ulrik ; Traonouez, Louis-Marie ; Wasowski, Andrzej. Real-Time Specifications. In: Software Tools for Technology Transfer (STTT), Vol. 17, no. 1, p. 17-45 (2015). doi:10.1007/s10009-013-0286-x.
2015
Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. In: Information and Computation, Vol. 242, no.0, p. 128-156 (2015). doi:10.1016/j.ic.2015.03.014.
2015
Cardozo Alvarez, Nicolás ; Gonzalez Montesinos, Sebastian Andres ; Van Der Straeten, Ragnhild ; Mens, Kim ; Vallejos, Jorge ; D’Hondt, Theo. Semantics for Consistent Activation in Context-Oriented Systems. In: Information and Software Technology, Vol. 58, p. 71-94 (February 2015). doi:10.1016/j.infsof.2014.10.002.
2015
D'Argenio, Pedro ; Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Smart Sampling for Lightweight Verification of Markov Decision Processes. In: International Journal on Software Tools for Technology Transfer, Vol. 17, no. 4, p. 469-484 (2015). doi:10.1007/s10009-015-0383-0.
2015
De Visscher, Ruben ; Delouille, Véronique ; Dupont, Pierre ; Deledalle, Charles-Alban. Supervised classification of solar features using prior information. In: Journal of Space Weather and Space Climate, Vol. 5, no.A34, p. 1-12 (2015). doi:10.1051/swsc/2015033.
2015
Maldonado, Walther ; Marlier, Patrick ; Felber, Pascal ; Lawall, Julia ; Muller, Gilles ; Riviere, Etienne. Supporting Time-Based QoS Requirements in Software Transactional Memory. In: ACM Transactions on Parallel Computing, Vol. 2, no.2, p. 1-30 (2015). doi:10.1145/2779621.
2015
Peresini, Peter ; Kuzniar, Maciej ; Canini, Marco ; Venzano, Daniele ; Kostic, Dejan ; Rexford, Jennifer. Systematically Testing OpenFlow Controller Applications. In: Computer Networks, Vol. 92, no. 2, p. 270-286 (Dec 2015). doi:10.1016/j.comnet.2015.03.019.
2015
Lozano Rodriguez, Angela ; Mens, Kim ; Kellens, Andy. Usage Contracts: Offering Immediate Feedback on Violations of Structural Source-code Regularities. In: Science of Computer Programming, Vol. 105, p. 73–91. doi:10.1016/j.scico.2015.01.004.
2015
Legay, Axel ; Quilbeuf, Jean ; Oquendo, Flavio. Verifying Systems-of-Systems with Statistical Model Checking. In: ERCIM News, no. 103 (2015).
2014
Boidot, Romain ; Branders, Samuel ; Helleputte, Thibault ; Illan Rubio, Laila ; Dupont, Pierre ; Feron, Olivier. A generic cycling hypoxia-derived prognostic gene signature: application to breast cancer profiling.. In: OncoTarget, Vol. 5, no.16, p. 6947-63 (2014).
2014
Cordero Fuertes, Juan Antonio ; Yi, Jiazi ; Clausen, Thomas. An Adaptive Jitter Mechanism for Reactive Route Discovery in Sensor Networks. In: Sensors, Vol. 14, no.8, p. 14440-14471 (August 2014). doi:10.3390/s140814440.
2014
Dainotti, A. ; Squarcella, C. ; Aben, E. ; Claffy, K.C. ; Chiesa, Marco ; Russo, M. ; Pescape, A.. Analysis of country-wide internet outages caused by censorship. In: IEEE-ACM Transactions on Networking, Vol. 22, no.6, p. 1964-1977 (2014). doi:10.1109/TNET.2013.2291244.
2014
Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel. Analyzing critical decision-based processes. In: IEEE Transactions on Software Engineering, Vol. 99, p. 1-28 (2014). doi:10.1109/TSE.2014.2312954.
2014
Castro Mejia, Sergio ; Mens, Kim ; Moura, Paulo. Automatic Integration of Hybrid Java-Prolog Entities with LogicObjects. In: Association of Logic Programming. Newsletter, Vol. 27, no. 4 (31.12.2014).
2014
Moura, Giovane ; Sadre, Ramin ; Pras, Aiko. Bad neighborhoods on the internet. In: IEEE Communications Magazine, Vol. 52, no.7, p. 132-139 (2014). doi:10.1109/mcom.2014.6852094.
2014
Bensalem, Saddek ; Bozga, Marius ; Legay, Axel ; Nguyen, Thanh-Hung ; Sifakis, Joseph ; Yan, Rongjie. Component-based Verification using Incremental design and Invariants. In: Software & Systems Modeling, p. 427-451 (2014). doi:10.1007/s10270-014-0410-8.
2014
Paasch, Christoph ; Bonaventure, Olivier. Decoupled from IP, TCP is at last able to support multihomed hosts. In: ACM Queue (Print) : tomorrow's computing today, Vol. 12, no. 2 (2014).
2014
Hofstede, Rick ; Celeda, Pavel ; Trammell, Brian ; Drago, Idilio ; Sadre, Ramin ; Sperotto, Anna ; Pras, Aiko. Flow Monitoring Explained: From Packet Capture to Data Analysis With NetFlow and IPFIX. In: IEEE Communications Surveys and Tutorials, Vol. 16, no.4, p. 2037-2064 (2014). doi:10.1109/COMST.2014.2321898.
2014
Sadre, Ramin ; Sperotto, Anna ; Hofstede, Rick ; Brownlee, Nevil. Flow-based Approaches in Network Management: Recent Advances and Future Trends : FLOW-BASED APPROACHES IN NETWORK MANAGEMENT. In: International Journal of Network Management, Vol. 24, no. 4, p. 219-220 (2014). doi:10.1002/nem.1872.
2014
Fahrenberg, Uli ; Legay, Axel. General quantitative specification theories with modal transition systems. In: Acta Informatica, p. 261-295 (2014). doi:10.1007/s00236-014-0196-8.
2014
Ferreira Filho Joao, Bosco ; Barais, Olivier ; Acher, Mathieu ; Le Noir, Jérôme ; Legay, Axel ; Baudry, Benoit. Generating Counterexamples of Model-based Software Product Lines. In: Software Tools for Technology Transfer (STTT).
2014
van den Brand, M.G.J. ; Kienle, Holger M. ; Mens, Kim. Guest editors’ introduction to the 4th issue of Experimental Software and Toolkits (EST-4). In: Science of Computer Programming, Vol. 79, p. 1-5 (January 2014). doi:10.1016/j.scico.2012.12.005 (Accepté/Sous presse).
2014
Dzyuba, Vladimir ; Leeuwen, Matthijs van ; Nijssen, Siegfried ; De Raedt, Luc. Interactive learning of pattern rankings. In: International Journal on Artificial Intelligence Tools, Vol. 23, no.06, p. 1460026 (2014). doi:10.1142/S0218213014600264.
2014
Chiesa, Marco ; Lospoto, G. ; Rimondini, M. ; Di Battista, G.. Intra-domain routing with pathlets. In: Computer Communications, Vol. 46, no. n.a., p. 76-86 (2014). doi:10.1016/j.comcom.2014.03.011.
2014
Biondi, Fabrizio ; Legay, Axel ; Nielsen Bo, Friis ; Wasowski, Andrzej. Maximizing Entropy over Markov Processes. In: Journal of Logical and Algebraic Methods in Programming.
2014
Ho, Trong Viet ; Deville, Yves ; Bonaventure, Olivier. Multi-objective traffic engineering for data center networks. In: Computer Networks, Vol. 65, p. 167–182 (2014). doi:10.1016/j.comnet.2014.03.018.
2014
Paasch, Christoph ; Bonaventure, Olivier. Multipath TCP. In: Communications of the ACM, Vol. 57, no. 4, p. 51-57 (2014). doi:10.1145/2578901.
2014
Angelini, P. ; Bruckdorfer, T. ; Chiesa, Marco ; Frati, F. ; Kaufmann, M. ; Squarcella, C.. On the area requirements of Euclidean minimum spanning trees. In: Computational Geometry: Theory and Applications, Vol. 47, no. 2 PART A, p. 200-213 (2014). doi:10.1016/j.comgeo.2012.10.011.
2014
Vissicchio, Stefano ; Vanbever, Laurent ; Bonaventure, Olivier. Opportunities and Research Challenges of Hybrid Software Defined Networks. In: Computer Communications Review, Vol. 44, no. 2, p. 1-6. doi:10.1145/2602204.2602216.
2014
Mairy, Jean-Baptiste ; van Hentenryck, Pascal ; Deville, Yves. Optimal and efficient filtering algorithms for table constraints. In: Constraints : an international journal, Vol. 19, no.1, p. 77-120 (2014). doi:10.1007/s10601-013-9156-0.
2014
Biondi, Fabrizio ; Legay, Axel ; Malacaria, Pasquale ; Wąsowski, Andrzej. Quantifying Information Leakage of Randomized Protocols. In: Theoretical Computer Science, p. 68-87 (2014). doi:10.1007/978-3-642-35873-9_7.
2014
Delahaye, Benoit ; Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel. Refinement and Difference for Probabilistic Automata. In: Logical Methods in Computer Science, p. LMCS-2013-936 (2014).
2014
Larsen Kim, Guldstrand ; Legay, Axel ; Traonouez, Louis-Marie ; Wąsowski, Andrzej. Robust Synthesis for Real Time Systems. In: Theoretical Computer Science, Vol. 515, p. 96-122 (2014). doi:10.1016/j.tcs.2013.08.015.
2014
Canini, Marco ; Feldmann, Anja ; Levin, Dan ; Schaffert, Fabian ; Schmid, Stefan. Software-Defined Networks: Incremental Deployment with Panopticon. In: Computer, Vol. 47, no.11, p. 56-60 (Nov. 2014). doi:10.1109/MC.2014.330.
2014
Nouri, Ayoub ; Bensalem, Saddek ; Bozga, Marius ; Delahaye, Benoit ; Jegourel, Cyrille ; Legay, Axel. Statistical model checking QoS properties of systems with SBIP. In: International Journal on Software Tools for Technology Transfer, p. 171-185 (2014). doi:10.1007/s10009-014-0313-6.
2014
Delahaye, Benoit ; Larsen Kim, Guldstrand ; Legay, Axel. Stuttering for Abstract Probabilistic Automata. In: Journal of Logic and Algebraic Programming, p. 1-19 (2014). doi:10.1016/j.jlap.2013.05.006.
2014
Canini, Marco ; Jungers, Raphaël M.. The Software Defined Network revolution. In: ERCIM News, Vol. 97, p. 18-19 (2014).
2014
Senelle, Mathieu ; Garcia Diez, Silvia ; Mantrach, Amin ; Shimbo, Masashi ; Saerens, Marco ; Fouss, François. The Sum-over-Forests density index: identifying dense regions in a graph. In: IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 36, no. 6, p. 1268-1274 (2014). doi:10.1109/TPAMI.2013.227.
2014
Fahrenberg, Uli ; Legay, Axel. The quantitative linear-time–branching-time spectrum. In: Theoretical Computer Science, p. 54-69 (2014). doi:10.1016/j.tcs.2013.07.030.
2014
Allamigeon, Xavier ; Legay, Axel ; Fahrenberg, Uli ; Katz, Ricardo ; Gaubert, Stéphane. Tropical Fourier–Motzkin elimination, with an application to real-time verification. In: International Journal of Algebra and Computation (IJAC), Vol. 24, no. 5, p. 569-607 (2014). doi:10.1142/S0218196714500258.
2014
Avoine, Gildas ; Coisel, Iwen ; Martin, Tania. Untraceability model for RFID. In: IEEE Transactions on Mobile Computing, Vol. 99 (2014). doi:10.1109/TMC.2013.161.
2014
Lallemand, François ; Lakosi, Ferenc ; Hustinx, Roland ; Withofs, Nadia ; Meunier, Paul ; Tshibanda, Luaba ; Jodogne, Sébastien ; Coucke, Philippe ; Martinive, Philippe. Utilisation de l'imagerie fonctionnelle en radiothérapie. In: Revue médicale de Liège, Vol. 69, no.S1, p. 20-28 (2014).
2013
Cordero Fuertes, Juan Antonio. A Probabilistic Study of the Delay caused by Jittering in Wireless Flooding. In: Wireless Personal Communications : an international journal, Vol. 73, no. 3, p. 415-439 (2013). doi:10.1007/s11277-013-1195-8.
2013
Cailliau, Antoine ; van Lamsweerde, Axel. Assessing Requirements-Related Risks Through Probabilistic Goals and Obstacles. In: Requirements Engineering, p. 1-18 (2013). doi:10.1007/s00766-013-0168-5.
2013
Schaus, Pierre ; Régin, Jean-Charles . Bound-consistent spread constraint. In: EURO Journal on Computational Optimization, (2013) (Accepté/Sous presse).
2013
Deville, Yves ; Van Hentenryck, Pascal ; Mairy, Jean-Baptiste. Domain consistency with forbidden values. In: Constraints : an international journal, Vol. 18, no.3, p. 377-403 (2013). doi:10.1007/s10601-012-9135-x.
2013
Mampaey, Michael ; Nijssen, Siegfried ; Feelders, Ad ; Konijn, Rob ; Knobbe, Arno. Efficient algorithms for finding optimal binary features in numeric and nominal labeled data. In: Knowledge and Information Systems, Vol. 42, no.2, p. 465-492 (2013). doi:10.1007/s10115-013-0714-y.
2013
Shand, M ; Bryant, S. ; Previdi, S. ; Filsfils, C. ; François, Pierre ; Bonaventure, Olivier. Framework for loop-free convergence using the ordered forwarding information base (oFIB) approach. In: Internet Engineering Task Force, no. 6976, p. 1-28 (2013).
2013
Hernandez Lobato, Daniel ; Hernandez Lobato, José Miguel ; Dupont, Pierre. Generalized spike-and-slab priors for bayesian group feature selection using expectation propagation. In: Journal of Machine Learning Research, Vol. 14, p. 1891-1945 (2013).
2013
Clad, François ; Mérindol, Pascal ; Pansiot, Jean-Jacques ; François, Pierre ; Bonaventure, Olivier. Graceful convergence in link-state IP Networks: a lightweight algorithm ensuring minimal operational impact. In: IEEE-ACM Transactions on Networking, Vol. 22, no. 1, p. 300-312 (2013). doi:10.1109/TNET.2013.2255891.
2013
Combéfis, Sébastien ; Van den Schrieck, Virginie ; Nootens, Alexis. Growing algorithmic thinking through interactive problems to encourage learning programming. In: Olympiads in Informatics, Vol. 7, p. 3-13 (2013).
2013
Blockeel, Hendrik ; Kersting, Kristian ; Nijssen, Siegfried ; Železný, Filip. Guest editor’s introduction: special issue of the ECML PKDD 2013 journal track. In: Data Mining and Knowledge Discovery, Vol. 27, no.3, p. 291-293 (2013). doi:10.1007/s10618-013-0332-z.
2013
Blockeel, Hendrik ; Kersting, Kristian ; Nijssen, Siegfried ; Železný, Filip. Guest editor’s introduction: special issue of the ECML PKDD 2013 journal track. In: Machine Learning, Vol. 93, no.1, p. 1-3 (2013). doi:10.1007/s10994-013-5400-5.
2013
Grandjean, Marie ; Sermeus, Alexandra ; Branders, Samuel ; Defresne, Florence ; Dieu, Marc ; Dupont, Pierre ; Raes, Martine ; De Ridder, Mark ; Feron, Olivier. Hypoxia integration in the serological proteome analysis unmasks tumor antigens and fosters the identification of anti-phospho-eEF2 antibodies as potential cancer biomarkers. In: PLoS One, Vol. 8, no. 10, p. e76508 [1-10] (2013). doi:10.1371/journal.pone.0076508.
2013
Vissicchio, Stefano ; Vanbever, Laurent ; Pelsser, Cristel ; Cittadini, Luca ; François, Pierre ; Bonaventure, Olivier. Improving network agility with seamless BGP reconfigurations. In: IEEE-ACM Transactions on Networking, Vol. 21, no. 3, p. 990-1002 (2013). doi:10.1109/TNET.2012.2217506.
2013
Avoine, Gildas. L'informatique ubiquitaire : une menace pour la vie privée ?. In: MISC, no. HS 8, p. 44-49 (2013).
2013
Iannone, Luigi ; Saucez, Damien ; Bonaventure, Olivier. Locator/ID Separation Protocol (LISP) Map-Versioning. In: Internet Engineering Task Force (IETF), , no.6834 , p. 1-22 (2013).
2013
Avoine, Gildas ; Kim, Chong Hee. Mutual Distance Bounding Protocols. In: IEEE Transactions on Mobile Computing, Vol. 12, no.5, p. 830 - 839 (2013). doi:10.1109/TMC.2012.47.
2013
Jodogne, Sébastien ; Sobczak, S. ; Devillers, M. ; Lenaerts, E. ; Martinive, P. ; Coucke, P.. Orthanc - Lightweight, scriptable DICOM server for medical image management in radiotherapy. In: Radiotherapy and Oncology, Vol. 106, no.1, p. S491 (2013). doi:10.1016/s0167-8140(15)33607-0.
2013
Van Cauwelaert, Sascha ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter. Practical Uses of Constraint Programming in Music using Relation Domains. In: Emille journal, Vol. 10, p. 21-31 (2013).
2013
Detal, Gregory ; Paasch, Christoph ; van der Linden, Simon ; Mérindol, Pascal ; Avoine, Gildas ; Bonaventure, Olivier. Revisiting flow-based load balancing : Stateless path selection in data center networks. In: Computer Networks, Vol. 57, no. 5, p. 1204–1216 (2013). doi:10.1016/j.comnet.2012.12.011.
2013
Ford, Alan ; Raiciu, Costin ; Handley, Mark ; Bonaventure, Olivier. TCP Extensions for Multipath Operation with Multiple Addresses. In: Internet Engineering Task Force (IEFT), , no.6824, p. 1-65 (2013).
2013
Lee, John Aldo ; Renard, Emilie ; Bernard, G. ; Dupont, Pierre ; Verleysen, M.. Type 1 and 2 mixtures of Kullback-Leibler divergences as cost functions in dimensionality reduction based on similarity preservation. In: Neurocomputing, Vol. 112, no. 1, p. 92-108 (2013). doi:10.1016/j.neucom.2012.12.036.
2013
Coisel, Iwen ; Martin, Tania. Untangling RFID privacy models. In: International Journal of Computer Networks and Communications, Vol. 2013, p. 1-23 (2013). doi:10.1155/2013/710275.
2013
Guns, Tias ; Nijssen, Siegfried ; De Raedt, Luc. k-Pattern set mining under constraints. In: IEEE Transactions on Knowledge & Data Engineering, Vol. 25, no.2, p. 402-418 (2013). doi:10.1109/TKDE.2011.204.
2012
Françoisse, Kevin ; Fouss, François ; Saerens, Marco. A Link-Analysis-Based Discriminant Analysis for Exploring Partially Labeled Graphs. In: Pattern Recognition Letters, Vol. 34, no. 2, p. 146–154 (2013). doi:10.1016/j.patrec.2012.07.025.
2012
Kiv, Sodany ; Wautelet, Yves ; Kolp, Manuel. An Integration Architecture for Component-Based System Development Centered on Agents. In: Transactions on Computational Collective Intelligence, Vol. 8, p. 121-147 (2012). doi:10.1007/978-3-642-34645-3_6.
2012
Bonaventure, Olivier ; Handley, Mark ; Raiciu, Costin. An Overview of Multipath TCP. In: ;login:, Vol. 37, no. 5, p. 17-23 (2012).
2012
Fouss, François ; Françoisse, Kevin ; Yen, Luh ; Pirotte, Alain ; Saerens, Marco. An experimental investigation of kernels on graphs for collaborative recommendation and semisupervised classification. In: Neural Networks, Vol. 31, p. 53-72 (2012). doi:10.1016/j.neunet.2012.03.001.
2012
Lopez, Xavier Moles ; Debeir, Olivier ; Maris, Calliope ; Rorive, Sandrine ; Roland, Isabelle ; Saerens, Marco ; Salmon, Isabelle ; Decaestecker, Christine. Clustering methods applied in the detection of Ki67 hot-spots in whole tumor slide images: An efficient way to characterize heterogeneous tissue-based biomarkers. In: Cytometry. Part A, Vol. 81A, no. 9, p. 765-775 (2012). doi:10.1002/cyto.a.22085.
2012
Mouthuy, Sébastien ; Van Hentenryck, Pascal ; Deville, Yves. Constraint-Based Very Large-Scale Neighborhood Search. In: Constraints : an international journal, Vol. 17, no. 2, p. 87-122 (2012).
2012
Saucez, Damien ; Iannone, Luigi ; Bonaventure, Olivier ; Farinacci, Dino. Designing a Deployable Future Internet: the Locator/Identifier Separation Protocol (LISP) case. In: IEEE Internet Computing, Vol. 16, no. 6, p. 14-21 (2012). doi:10.1109/MIC.2012.98.
2012
Pham Quang, Dung ; Deville, Yves ; Van Hentenryck, Pascal . LS(Graph): a constraint-based local search for constraint optimization on trees and paths. In: Constraints : an international journal, Vol. 17, p. 1-52 (2012). doi:10.1007/s10601-012-9124-0.
2012
Vanbever, Laurent ; Vissicchio, Stefano ; Pelsser,, Cristel ; François, Pierre ; Bonaventure, Olivier. Lossless migrations of link-state IGPs. In: IEEE-ACM Transactions on Networking, Vol. 20, no. 6, p. 1842 - 1855 (2012). doi:10.1109/TNET.2012.2190767.
2012
Seront, Emmanuel ; Rottey, S. ; Sautois, B. ; Kerger, Joseph ; D'Hondt, Lionel ; Verschaeve, V. ; Canon, J.-L. ; Dopchie, C. ; Vandenbulcke, J. M. ; Whenham, N. ; Goeminne, J. C. ; Clausse, M. ; Verhoeven, D. ; Glorieux, P. ; Branders, Samuel ; Dupont, Pierre ; Schoonjans, J. ; Feron, Olivier ; Machiels, Jean-Pascal. Phase II study of everolimus in patients with locally advanced or metastatic transitional cell carcinoma of the urothelial tract: clinical activity, molecular response,and biomarkers. In: Annals of Oncology, Vol. 23, no. 10, p. 2663-2670 (2012). doi:10.1093/annonc/mds057.
2012
Avoine, Gildas ; Bingol, Muhammed Ali ; Carpent, Xavier ; Yalcin, Siddika Berna Ors. Privacy-friendly authentication in RFID systems : on sub-linear protocols based on symmetric-key cryptography. In: IEEE Transactions on Mobile Computing, no. Issue: 99, p. 1-14 (2012). doi:10.1109/TMC.2012.174.
2012
Avoine, Gildas ; Carpent, Xavier ; Martin, Benjamin. Privacy-friendly synchronized ultralightweight authentication protocols in the storm. In: Journal of Network and Computer Applications, Vol. 35, no. 2, p. 826-843 (2012). doi:10.1016/j.jnca.2011.12.001.
2012
Walkinshaw, Neil ; Lambeau, Bernard ; Damas, Christophe ; Bogdanov, Kirill ; Dupont, Pierre. STAMINA: A Competition to Encourage the Development and Assessment of Software Model Inference Techniques. In: Empirical Software Engineering : an international journal, Vol. 18, no.4, p. 791-824 (2013). doi:10.1007/s10664-012-9210-3.
2012
Pham Quang, , Dung ; Deville, Yves. Solving the quorumcast routing problem by constraint programming . In: Constraints : an international journal, Vol. 17, p. 1-23 (2012). doi:10.1007/s10601-012-9125-z.
2012
Helleputte, Thibault. Strategic overview of personalised medicine. In: International Pharmaceutical Industry, Vol. 4, no. 2, p. 58-62 (2012).
2012
Combéfis, Sébastien ; le Clément de Saint Marcq, Vianney. Teaching programming and algorithm design with Pythia : a Web-Based learning platform. In: Olympiads in Informatics, Vol. 6, p. 31-43 (2012).
2012
Renkens, Joris ; Van den Broeck, Guy ; Nijssen, Siegfried. k-Optimal: a novel approximate inference algorithm for ProbLog. In: Machine Learning, Vol. 89, no.3, p. 215-231 (2012). doi:10.1007/s10994-012-5304-9.
2011
Yen, Luh ; Saerens, Marco ; Fouss, François. A Link Analysis Extension of Correspondence Analysis for Mining Relational Databases. In: IEEE Transactions on Knowledge and Data Engineering, Vol. 23, no.4, p. 481-495 (2011). doi:10.1109/TKDE.2010.142.
2011
Avoine, Gildas ; Bingöl, Muhammed Ali ; Kardas, Süleyman ; Lauradoux, Cédric ; Martin, Benjamin. A framework for analyzing RFID distance bounding protocols. In: Journal of Computer Security, Vol. 19, no. 2, p. 289-317 (Avril 2011). doi:10.3233/JCS-2010-0408.
2011
Garcia Diez, Silvia ; Fouss, François ; Shimbo, Masashi ; Saerens, Marco. A sum-over-paths extension of edit distances accounting for all sequence alignments. In: Pattern Recognition, Vol. 44, no.6, p. 1172-1182 (2011). doi:10.1016/j.patcog.2010.11.020.
2011
Mérindol, Pascal ; François, Pierre ; Bonaventure, Olivier ; Cateloin, Stéphane ; Pansiot, Jean-Jacques. An efficient algorithm to enable path diversity in link state routing networks. In: computer networks, Vol. 2011, no. 55, p. 1132–1149 (5). doi:10.1016/j.comnet.2010.11.005.
2011
Wermelinger, Michel ; Yu, Yijun ; Lozano rodriguez, Angela ; Capiluppi, Andrea. Assessing architectural evolution: a case study. In: Empirical Software Engineering : an international journal, Vol. 16, no. 5, p. 623-666 (2011). doi:10.1007/s10664-011-9164-x.
2011
Combéfis, Sébastien ; Leroy, Damien. Belgian Olympiads in Informatics: the story of launching a national contest. In: Olympiads in Informatics, Vol. 5, p. 131-139 (2011).
2011
Cittadini, Luca ; Rimondini, Massimo ; Vissicchio, Stefano ; Corea, Matteo ; Di Battista, Giuseppe. From theory to practice: efficiently checking BGP configurations for guaranteed convergence. In: IEEE Transactions on Network and Service Management, Vol. 8, no. 4, p. 387 - 400 (2011). doi:10.1109/TNSM.2011.110311.100109.
2011
Poese, Ingmar ; Uhlig, Steve ; Kaafar, Mohamed Ali ; Donnet, Benoit ; Gueye, Bamba. IP geolocation databases : unreliable ?. In: ACM SIGCOMM Computer Communication Review, Vol. 41, no. 2, p. 1-4 (2011). doi:10.1145/1971162.1971171.
2011
Barré, Sébastien ; Ronan, John ; Bonaventure, Olivier. Implementation and evaluation of the Shim6 protocol in the Linux kernel. In: Computer Communications, Vol. 34, no. 14, p. 1685–1695 (2011). doi:10.1016/j.comcom.2011.03.005.
2011
Iannone, Luigi ; Saucez, Damien ; Bonaventure, Olivier. Implementing the Locator/ID Separation Protocol: Design and experience. In: Computer Networks, Vol. 55, no.4, p. 948–958 (2011). doi:10.1016/j.comnet.2010.12.017.
2011
Kim, Chong Hee. Improved differential fault analysis on AES key schedule. In: IEEE Transactions on Information Forensics and Security, Vol. 99, p. 1-10 (2011). doi:10.1109/TIFS.2011.2161289.
2011
Raiciu, Costin ; Barré, Sébastien ; Pluntke, Christopher ; Greenhalgh, Adam ; Wischik, Damon ; Handley, Mark. Improving Datacenter performance and robustness with multipath TCP. In: Computer Communications Review, Vol. 41, no. 4, p. 1-12 (2011). doi:10.1145/2018436.2018467.
2011
Guns, Tias ; Nijssen, Siegfried ; De Raedt, Luc. Itemset mining: a constraint programming perspective. In: Artificial Intelligence, Vol. 175, no.12-13, p. 1951-1983 (2011). doi:10.1016/j.artint.2011.05.002.
2011
Piater, Justus ; Jodogne, Sébastien ; Detry, Renaud ; Kraft, Dirk ; Krüger, Norbert ; Kroemer, Oliver ; Peters, Jan. Learning visual representations for perception-action systems. In: The International Journal of Robotics Research, Vol. 30, no.3, p. 294-307 (2010). doi:10.1177/0278364910382464.
2011
Saucez, Damien ; Bonaventure, Olivier. Performance based traffic control with IDIPS. In: Computer Communications Review, Vol. 41, no. 4, p. 436-437 (August). doi:10.1145/2043164.2018508.
2011
Kim, Chong Hee ; Avoine, Gildas. RFID distance bounding protocols with mixed challenges. In: IEEE Transactions on Wireless Communications, Vol. 11, no. 5, p. 1818-1626 (2011). doi:10.1109/TWC.2011.030411.101158.
2011
Avoine, Gildas. RFID for newbies, sauce security. In: Hakin 9 : IT security magazine, Vol. 6, no. 8, p. 14-19 (2011).
2011
Decraene, Bruno ; François, Pierre ; Pelsser, Cristel ; Ahmad, Zubair ; Elizondo Armengol, Antonio José. Requirements for the Graceful Shutdown of BGP Sessions. In: Internet Engineering Task Force: RFC, no. 6198, p. 1-21 (2011).
2011
Van der Linden, Simon ; Detal, Gregory ; Bonaventure, Olivier. Revisiting next-hop selection in multipath networks. In: Computer Communications Review, Vol. 41, no. 4, p. 420-421 (August). doi:10.1145/2043164.2018499.
2011
Leroy, Damien ; Detal, Gregory ; Cathalo, Julien ; Manulis, Mark ; Koeune, François ; Bonaventure, Olivier. SWISH: Secure WiFi sharing. In: Computer Networks, Vol. 55, no. 7, p. 1614-1630 (Mai 2011). doi:10.1016/j.comnet.2011.01.012.
2011
Kim, Chong Hee. Security analysis of YKHL distance bounding protocol with adjustable false acceptance rate. In: IEEE Communications Letters, , p. 1-3 (2011).
2011
Mantrach, Amin ; van Zeebroeck, Nicolas ; Francq, Pascal ; Shimbo, Masashi ; Bersini, Hugues ; Saerens, Marco. Semi-supervised classification and betweenness computation on large, sparse, directed graphs. In: Pattern Recognition, Vol. 44, no. 6, p. 1212-1224 (2011). doi:10.1016/j.patcog.2010.11.019.
2011
van Lamsweerde, Axel. The Humble Humorous Researcher : A Tribute to Michel Sintzoff. In: Formal Aspects of Computing : applicable formal methods, Vol. 23, no. 3, p. 239–242 (2011).
2011
Marchetta, Pietro ; Mérindol, Pascal ; Donnet, Benoit ; Pescapé, Antonio ; Pansiot, Jean-Jacques. Topology discovery at the router level : a new hybrid tool targeting ISP networks. In: IEEE Journal on Selected Areas in Communications, Vol. 29, no. 9, p. 1-11 (2011). doi:10.1109/JSAC.2011.111003.
2011
Cittadini, Luca ; Di Battista, Giuseppe ; Rimondini, Massimo ; Vissicchio, Stefano. Wheel + Ring = Reel: the impact of route filtering on the stability of policy routing. In: IEEE-ACM Transactions on Networking, Vol. 19, no.4, p. 1085 - 1096 (2011). doi:10.1109/TNET.2011.2106798.
2010
Van Roy, Stéphane ; Oestges, Claude ; Horlin, Francois ; De Doncker, Philippe. A Comprehensive Channel Model for UWB Multisensor Multiantenna Body Area Networks. In: IEEE Transactions on Antennas and Propagation, Vol. 58, no. 1, p. 163-170 (2010). doi:10.1109/TAP.2009.2036280.
2010
Donnet, Benoit ; Gueye , Bamba ; Ali Kaafar, Mohamed. A survey on network Coordinates systems,design, and security. In: IEEE Communications Surveys and Tutorials, Vol. 12, no. 4, p. 488-503 (2010). doi:10.1109/SURV.2010.032810.00007.
2010
Camacho, Diego Ordonez ; Mens, Kim ; van den Brand, Mark ; Vinju, Jurgen. Automated generation of program translation and verification tools using annotated grammars. In: Science of Computer Programming, Vol. 75, no. 1-2, p. 3-20 (2010). doi:10.1016/j.scico.2009.10.003.
2010
Van den Schrieck, Virginie ; François, Pierre ; Bonaventure, Olivier. BGP Add-Paths: The Scaling/Performance Tradeoffs. In: IEEE Journal on Selected Areas in Communications, Vol. 28, no. 8, p. 1299-1307 (2010). doi:10.1109/JSAC.2010.101007.
2010
Castro Mejia, Sergio ; De Roover, Coen ; Kellens, Andy ; Lozano Rodriguez, Angela ; Mens, Kim ; D’Hondt, Theo. Diagnosing and correcting design inconsistencies in source code with logical abduction. In: Science of Computer Programming, Vol. 76, no. 12, p. 1113-1129 (2011). doi:10.1016/j.scico.2010.09.001.
2010
Cittadini, Luca ; Mühlbauer, Wolfgang ; Uhlig, Steve ; Bush, Randy ; François, Pierre ; Maennel, Olaf. Evolution of internet address space deaggregation: myths and reality. In: IEEE Journal on Selected Areas in Communications, Vol. 28, no. 8, p. 1238-1249 (2010). doi:10.1109/JSAC.2010.101002.
2010
Muehlbauer, Wolfgang ; Uhlig, Steve ; Feldmann, Anja ; Maennel, Olaf ; Quoitin, Bruno ; Fu, Bingjie. Impact of routing parameters on route diversity and path inflation. In: Computer Networks, Vol. 54, no. 14, p. 2506-2518 (2010). doi:10.1016/j.comnet.2010.04.006.
2010
Donnet, Benoit ; Baynat, Bruno ; Friedman, Timur. Improving retouched Bloom filter for trading off selected false positives against false negatives. In: Computer Networks, Vol. 54, no. 18, p. 3373-3387 (2010). doi:10.1016/j.comnet.2010.07.003.
2010
Jakab, Lorand ; Cabellos-Aparicio, Albert ; Coras, Florin ; Saucez, Damien ; Bonaventure, Olivier. LISP-TREE: A DNS Hierarchy to Support the LISP Mapping System. In: IEEE Journal on Selected Areas in Communications, Vol. 28, no. 8, p. 1332-1343 (2010). doi:10.1109/JSAC.2010.101011.
2010
Avoine, Gildas ; Martin, Tania ; Szikora, Jean-Pierre. Lire son passe navigo en un clin d'oeil. In: Multi-System and Internet Security Cookbook - MISC, Vol. 48, no. 2, p. 74-82 (2010).
2010
Dries, Anton ; De Raedt, Luc ; Nijssen, Siegfried. Mining predictive k-CNF expressions. In: IEEE Transactions on Knowledge & Data Engineering, Vol. 22, no.5, p. 743-748 (2010). doi:10.1109/TKDE.2009.152.
2010
Nijssen, Siegfried ; Fromont, Elisa. Optimal constraint-based decision tree induction from itemset lattices. In: Data Mining and Knowledge Discovery, Vol. 21, no.1, p. 9-51 (2010). doi:10.1007/s10618-010-0174-x.
2010
Faust, Karoline ; Dupont, Pierre ; Callut, Jerome ; van Helden, Jacques. Pathway discovery in metabolic networks by subgraph extraction. In: Bioinformatics, Vol. 26, no. 9, p. 1211-1218 (2010). doi:10.1093/bioinformatics/btq105.
2010
Zampelli, Stephane ; Deville, Yves ; Solnon, Christine. Solving subgraph isomorphism problems with constraint programming. In: Constraints : an international journal, Vol. 15, no. 3, p. 327-353 (2010). doi:10.1007/s10601-009-9074-3.
2010
Delvenne, Jean-Charles ; Yaliraki, S. N. ; Barahona, M.. Stability of graph communities across time scales. In: Proceedings of the National academy of sciences of the United States of America, Vol. 107, no. 29, p. 12755-12760 (2010). doi:10.1073/pnas.0903215107.
2010
Claffy, kc ; Aben , Emile ; Augé , Jordan ; Beverly , Robert ; Bustamante , Fabian ; Donnet, Benoit ; Friedman , Timur ; Fomenkov , Marina ; Haga , Peter ; Luckie , Matthew ; Shavitt , Yuvall. The 2nd workshop on active internet measurements (AIMS2) report. In: Computer Communications Review, Vol. 40, no. 5, p. 53-58 (2010).
2009
Nguyen, Tai ; Kolp, Manuel ; Penserini, Loris. A development framework for component-based agent-oriented business services. In: International Journal of Agent-Oriented Software Engineering, Vol. 3, no. 2/3, p. 328-367 (2009). doi:10.1504/IJAOSE.2009.023642.
2009
Briquet, Cyril ; Dalem, Xavier ; Jodogne, Sébastien ; de Marneffe, Pierre-Arnoul. P2P file sharing for P2P computing. In: Multiagent and Grid Systems, Vol. 5, no.2, p. 137-164 (2009). doi:10.3233/mgs-2009-0124.
2009
Ramon, Jan ; Nijssen, Siegfried. Polynomial-delay enumeration of monotonic graph classes. In: Journal of Machine Learning Research, Vol. 10, p. 907-929 (2009).
2009
Leroy, Damien ; Bonaventure, Olivier. Preparing network configurations for IPv6 renumbering. In: International Journal of Network Management, Vol. 19, no. 5, p. 415-426 (2009). doi:10.1002/nem.717.
2008
Wautelet, Yves ; Schinckus, Christophe ; Kolp, Manuel. A modern epistemological reading of agent orientation. In: International Journal of Intelligent Information Technologies, Vol. 4, no. 3, p. 46-57 (2008). doi:10.4018/jiit.2008070103.
2007
Jodogne, Sébastien ; Piater, J. H.. Closed-Loop Learning of Visual Control Policies. In: Journal of Artificial Intelligence Research, Vol. 28, no.1, p. 349-391 (2007). doi:10.1613/jair.2110.
2007
Haeri, Seyed Hossein ; Abolhassani, Hassan ; Qazvinian, Vahed ; Hariri, Babak Bagheri. Coincidence-Based Scoring of Mappings in Ontology Alignment. In: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol. 11, no.7, p. 803-816 (2007). doi:10.20965/jaciii.2007.p0803.
2006
Abolhassani, Hassan ; Haeri, Seyed Hossein ; Hariri, Babak Bagheri. On Ontology Alignment Experiments. In: On Ontology Alignment Experiments, Vol. 3, no.3, p. 1-19 (2006).
2006
Kazius, Jeroen ; Nijssen, Siegfried ; Kok, Joost ; Bäck, Thomas ; IJzerman, Adriaan P.. Substructure mining using elaborate chemical representation. In: Journal of Chemical Information and Modeling, Vol. 46, no.2, p. 597-605 (2006). doi:10.1021/ci0503715.
2017
Oquendo, Flavio ; Drira, Khalil ; Legay, Axel ; Batista, Thais. Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017) : 32nd ACM SIGAPP Symposium On Applied Computing : 32nd ACM SIGAPP Symposium On Applied Computing, 2017.
2016
Fouss, François ; Saerens, Marco ; Shimbo, Masashi. Algorithms and Models for Network Data and Link Analysis, Cambridge University Press, 2016. 9781107125773. 543 p.
2016
Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, éd. Bessiere, Christian ; De Raedt, Luc ; Kotthoff, Lars ; Nijssen, Siegfried ; O'Sullivan, Barry ; Pedreschi, Dino (Lecture Notes in Computer Science; 10101), Springer, 2016. 9783319501369 ; 9783319501376. 349 p.
2016
Oquendo, Flavio ; Ali Babar, Muhammad ; Drira, Khalil ; Legay, Axel. Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016.
2015
Courtois, Pierre J.. Vitold Belevitch (1921-1999) Essai de “Réminiscience” (Acteurs pour l'Université), Academia: Paris, France, 2015. 978-2-8061-0162-4. 290 p.
2015
Courtois, Pierre-Jacques.. Vitold Belevitch (1921-1999). Essai de Reminiscience, Editions ACADEMIA: Louvain-la-Neuve, 2015. 978-2-8061-0162-4. 290 p.
2014
Constraints, optimization and data (Dagstuhl Seminar 14411), éd. De Raedt, Luc ; Nijssen, Siegfried ; O'Sullivan, Barry ; Sebag, Michèle (Dagstuhl Reports), 2014.
2014
Experimental Software and Toolkits (EST 4): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDeTT-3 2010), éd. Mens, Kim ; Van den Brand, Mark ; Kienle, Holger, Experimental Software and Toolkits (EST 4): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDeTT-3 2010) (79), Elsevier, 2014. 278 p.
2013
Formal Methods for Industrial Critical Systems, éd. Dierkes, Michael ; Pecheur, Charles (Lecture notes in computer sciences; 8187), Springer: Heidelberg, 2013. 978-3-642-41009-3. 212 p.
2013
Lightweight cryptography for security and privacy, éd. Avoine, Gildas ; Orhun, Kara (lecture notes in computer sciences; 8162), Springer: Berlin, 2013. 978-3-642-40391-0. X, 143 p.
2013
Machine learning and knowledge discovery in databases, European Conference, ECML PKDD 2013, Proceedings, Part I, éd. Blockeel, Hendrik ; Kersting, Kristian ; Nijssen, Siegfried ; Zelezny, Filip (Lecture Notes in Computer Science; 8188), Springer, 2013. 978-3-642-40988-2.
2013
Machine learning and knowledge discovery in databases, European Conference, ECML PKDD 2013, Proceedings, Part II, éd. Blockeel, Hendrik ; Kersting, Kristian ; Nijssen, Siegfried ; Zelezny, Filip (Lecture Notes in Computer Science; 8189), Springer, 2013. 978-3-642-40991-2.
2013
Machine learning and knowledge discovery in databases, European Conference, ECML PKDD 2013, Proceedings, Part III, éd. Blockeel, Hendrik ; Kersting, Kristian ; Nijssen, Siegfried ; Zelezny, Filip (Lecture Notes in Computer Science; 8190), Springer, 2013. 978-3-642-40994-3.
2013
Privacy and security in wireless sensor networks: protocols, algorithms, and efficient architectures, éd. Saponara, Sergio ; Solanas, Agusti ; Neri, Bruno ; Avoine, Gildas (Journal of Computer Networks and Communications; 2013), Hindawi Publishing Corporation, 2013. doi:10.1155/2013/528750.
2013
Recent advances in networking, éd. Haddadi, Hamed ; Bonaventure, Olivier, ACM SIGCOMM, 2013. 465 p.
2012
Bonaventure, Olivier. Computer Networking : Principles, Protocols and Practice, 2012. 278 p.
2012
Proceedings of the ECML PKDD workshop on instant interactive data mining, éd. Vreeken, Jilles ; Tatti, Nikolaj ; Goethals, Bart ; Dries, Anton ; van Leeuwen, Matthijs ; Nijssen, Siegfried (Workshop of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD)). Bristol, UK, 2012.
2012
Proceedings of the International Workshop on Context-Oriented Programming , éd. Appeltauer, Malte ; Gonzalez Montesinos, Sebastian Andres ; Hirschfeld, Robert ; Masuhara, Hidehiko ; Vallejos, Jorge , ACM: New York,USA, 2012. 978-1-4503-1276-9.
2011
Constraint programming meets machine learning and data mining (Dagstuhl Seminar 11201), éd. De Raedt, Luc ; Nijssen, Siegfried ; O'Sullivan, Barry ; Van Hentenryck, Pascal (Dagstuhl Reports), 2011.
2010
Experimental Software and Toolkits (EST 3): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDETT 2008), éd. Van den Brand, Mark ; Mens, Kim, Experimental Software and Toolkits (EST 3): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDeTT 2008) (75; 4), Elsevier, 2010. 78 p.
2010
Combéfis, Sébastien. Latex how to, Première édition, UKO publications: Louvain-la-neuve, 2010. 978-1-4467-0831-6. 201 p.
2009
van Lamsweerde, Axel. Requirements Engineering: From System Goals to UML Models to Software Specifications, Wiley, 2009. 978-0-470-01270-3. 712 p.
2008
ERCIM Symposium on Software Evolution 2007, éd. Mens, Tom ; Mens, Kim ; Van Paesschen, Ellen ; D'Hondt, Maja, Proceedings of the Third International ERCIM Symposium on Software Evolution - EVOL 2007 (Electronic Communications of the EASST; 8), Electronic Communications of the EASST, 2008. 260 p. doi:10.14279/tuj.eceasst.8.
2007
Passive and Active Network Measurement, éd. Uhlig, Steve ; Papagiannaki, Konstantina ; Bonaventure, Olivier (Lecture Notes in Computer Science; 4427), Springer: Louvain-la-Neuve, 2007. 978-3-540-71617-4. XII, 274 p. p.
2017
Maudoux, Guillaume ; Pecheur, Charles ; Combéfis, Sébastien. Learning Safe Interactions and Full-Control. In: Benjamin Weyers, Philippe Palanque, Judy Bowen et Alan Dix, Formal Methods in Human Computer Interactions, 2017. doi:10.1007/978-3-319-51838-1_11.
2017
Cardozo Alvarez, Nicolás ; Mens, Kim ; Clarke, Siobhán. Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems. In: Carlo, David, Holger and Rogério, Software Engineering for Self-Adaptive Systems 3: Assurances (Lecture Notes in Computer Science; 9640), Springer, 2017 (Accepté/Sous presse).
2016
Dries, Anton ; Guns, Tias ; Nijssen, Siegfried ; Babaki, Behrouz ; Le Van, Thanh ; Negrevergne, Benjamin ; Paramonov, Sergey ; De Raedt, Luc. Modeling in MiningZinc. In: Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi, Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach (Lecture Notes in Computer Science; 10101), Springer, 2016, p. 257-281. 978-3-319-50137-6. doi:10.1007/978-3-319-50137-6_10.
2016
Grossi, Valerio ; Guns, Tias ; Monreale, Anna ; Nanni, Mirco ; Nijssen, Siegfried. Partition-Based Clustering Using Constraint Optimization. In: Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi, Data mining and constraint programming - Foundations of a Cross-Disciplinary Approach (Lecture Notes in Computer Science; 10101), Springer, 2016, p. 282-299. 978-3-319-50137-6. doi:10.1007/978-3-319-50137-6_11.
2016
Bessiere, Christian ; De Raedt, Luc ; Guns, Tias ; Kotthoff, Lars ; Nanni, Mirco ; Nijssen, Siegfried ; O'Sullivan, Barry ; Paparrizou, Anastasia ; Pedreschi, Dino ; Simonis, Helmut. The Inductive Constraint Programming Loop: Extended Abstract. In: Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi, Constraint programming and Data Mining - Foundations of a Cross-Disciplinary Approach (Lecture Notes in Computer Science; 10101), Springer, 2016, p. 303-309. 978-3-319-50137-6. doi:10.1007/978-3-319-50137-6_12.
2014
Nijssen, Siegfried ; Zimmermann, Albrecht. Constraint-based pattern mining. In: Charu Aggarwal and Jiawei Han, Frequent pattern mining, Springer, 2014, p. 147-163. 978-3-319-07820-5. doi:10.1007/978-3-319-07821-2.
2014
Deru, Laurent ; Dawans, Sébastien ; Ocaña, Mathieu ; Quoitin, Bruno ; Bonaventure, Olivier. Redundant Border Routers for Mission-Critical 6LoWPAN Networks. In: Lecture Notes in Electrical Engineering : Real-World Wireless Sensor Networks, Langendoen K., Hu W., Ferrari F., Zimmerling M., Mottola L., 2014, p. 195-203. 9783319030708. doi:10.1007/978-3-319-03071-5_20.
2014
Mens, Kim ; Lozano Rodriguez, Angela. Source Code-Based Recommendation Systems. In: Robillard, M.P., Maalej, W., Walker, R.J., Zimmermann, Th. (Eds.), Recommendation Systems in Software Engineering, Springer-Verlag: Berlin Heidelberg, 2014, 93-130. 978-3-642-45134-8. doi:10.1007/978-3-642-45135-5_5.
2014
Zimmermann, Albrecht ; Nijssen, Siegfried. Supervised pattern mining and applications to classification. In: Charu Aggarwal and Jiawei Han, Frequent Pattern Mining, Springer, 2014, p. 425-442. 978-3-319-07820-5.
2013
Cordero Fuertes, Juan Antonio ; Yi, Jiazi ; Clausen, Thomas Heide ; Baccelli, Emmanuel. Enabling multihop communication in spontaneous wireless networks. In: Hamed Haddadi, Olivier Bonaventure (Editors), Recent Advances in Networking, 2013, p. 414-458.
2013
Avoine, Gildas ; Carpent, Xavier ; Martin, Benjamin ; Martin, Tania. La sécurité du sans-contact et ses spécificités. In: Carte à puce, vecteur de système de confiance, Hermès: Paris, 2013 (Soumis).
2013
Cordero Fuertes, Juan Antonio. Los regímenes árabes contra Internet durante la ‘primavera árabe’: los casos de Egipto, Libia y Siria. In: Requena Miguel (edt), Seguridad y conflictos: una perspectiva multidisciplinar, INSTITUTO UNIVERSITARIO GENERAL GUTIÉRREZ MELLADO – UNED 2012 , 2013, p. 367-404. 978-84-616-2476-8.
2013
Raiciu, Costin ; Iyengar, Janardhan ; Bonaventure, Olivier. Recent Advances in Reliable Transport Protocols. In: Hamed Haddadi, Olivier Bonaventure (Editors), Recent Advances in Networking, ACM SIGCOMM, 2013, p. 60-107.
2013
Saucez, Damien ; Iannone, Luigi ; Bonaventure, Olivier. The Map-and-Encap Locator/Identifier Separation Paradigm : A Security Analysis. In: Mohamed Boucadair and David Binet, Solutions for Sustaining Scalability in Internet Growth, IGI Global, 2013, p. 148-163. 9781466643055. doi:10.4018/978-1-4666-4305-5,.
2012
Dries, Anton ; Nijssen, Siegfried ; De Raedt, Luc. BiQL: A query language for analyzing information networks. In: Michael R. Berthold, Bisociative Knowledge Discovery - An Introduction to Concept, Algorithms, Tools, and Applications (Lecture Notes in Computer Science; 7250), 2012, p. 147-165. 978-3-642-31829-0.
2012
Milgrom, Elie ; Deville, Yves. L'informatique en FSA / à l'EPL. In: Directeur éditorial Marcel Crochet, Des Écoles Spéciales à l'EPL 50 ans de science et de technologie à l'UCL, 2012. 978-2-87558-092-4.
2012
Bainomugisha, Engineer ; Cadiz Rodriguez, Alfredo Jaime ; Costanza, Pascal ; De Meuter, Wolfgang ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; Vallejos, Jorge ; Van Cutsem, Tom. Language engineering for mobile software. In: edited by Paulo Alencar and Donald Cowan, the Handbook of Research on Mobile Software Engineering: Design, Implementation and Emergent Applications, IGI Global, 2012. 978-1-61520-655-1. doi:10.4018/978-1-61520-655-1.
2011
Avoine, Gildas ; Quisquater, Jean-Jacques. Passport security. In: Tilborg, Henk C.A., Jajodia, Sushil (Eds.), Encyclopedia of Cryptography and Security, 2nd ed., Springer: Berlin, 2011, p. 913-916. 978-1-4419-5905-8.
2011
Avoine, Gildas. RFID Security. In: Tilborg, Henk C.A., Jajodia, Sushil (Eds.), Encyclopedia of Cryptography and Security, 2nd ed., Springer: Berlin, 2011, p. 1044-1045. 978-1-4419-5905-8.
2011
Courtois, Pierre-Jacques. The Belgian Electronic Mathematical Machine (1951-1962). An Account.. In: Cliff Jones & John Lloyd, ed., Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday (Lecture Notes in Computer Science; 6875), Springer-Verlag, 2011. 978-3-642-24541-1. doi:10.1007/978-3-642-24541-1_16.
2010
Fouss, François. Collaborative-recommendation systems and link analysis. In: Pascal Francq, Collaborative Search and Communities of Interest: Trends in Knowledge Sharing and Assessment, 2010. 978-1-6152-0841-8.
2010
Nijssen, Siegfried. Constraint-based mining. In: Claude Sammut et Geoffrey I. Webb, Encyclopedia of Machine Learning, 2010, p. 221-225. 978-0-387-30768-8. doi:10.1007/978-0-387-30164-8_164.
2010
Bringmann, Björn ; Nijssen, Siegfried ; Zimmermann, Albrecht. From local patterns to classification models. In: Sašo DžeroskiBart GoethalsPanče Panov, Inductive Databases and Constraint-Based Data Mining, 2010, p. 127-154. 978-3-319-50137-6. doi:10.1007/978-1-4419-7738-0_6.
2010
Besson, Jérémy ; Boulicaut, Jean-François ; Guns, Tias ; Nijssen, Siegfried. Generalizing itemset mining in a constraint programming setting. In: Saso Dzeroski, Bart Goethals, Pance Panov, Inductive Databases and Constraint-Based Data Mining, 2010. 978-1-4419-7737-3. doi:10.1007/978-1-4419-7738-0_5.
2010
King, Ross D. ; Schierz, Amanda C. ; Clare, Amanda ; Rowland, Jem J. ; Sparkes, Andrew ; Nijssen, Siegfried ; Ramon, Jan. Inductive queries for a drug designing robot scientist. In: Sašo DžeroskiBart GoethalsPanče Panov, Inductive Databases and Constraint-Based Data Mining, 2010. 978-3-319-50137-6. doi:10.1007/978-1-4419-7738-0_18.
2010
Fouss, François. Introduction to recommender systems. In: Pascal Francq, Collaborative search and communities of interest [electronic resource] : trends in knowledge sharing and assessment, 2010. 9781615208425. doi:10.4018/978-1-61520-841-8.
2010
Wautelet, Yves ; Kolp, Manuel. Monitoring a Multi-Agent System Evolution through Iterative Development. In: Rossitza Setchi (ed.) et al., Knowledge-Based and Intelligent Information and Engineering Systems : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I (Lecture notes in computer science; 6276), Springer: Berlin, 2010, pp 209-219. 978-3-642-15387-7. doi:10.1007/978-3-642-15387-7_25.
2010
Avoine, Gildas ; Junod, Pascal ; Oechslin, Philippe. Sécurité informatique - Cours et exercices corrigés. In: Vuibert, Sécurité informatique - Cours et exercices corrigés, Vuibert: Paris, 2010, XII, 286 p.. 978-2-7117-4860-0.
2010
Van Roy, Peter. The CTM approach for teaching and learning programming. In: Thomas S Clary, Horizons in Computer Science Research. Volume 2, Nova Science Publishers, 2010, p. 1-26. 978-1-61761-439-2.
2010
Nijssen, Siegfried. Tree mining. In: Claude Sammut et Geoffrey I. Webb, Encyclopedia of Machine Learning, 2010, p. 991-999. 978-0-387-30768-8. doi:10.1007/978-0-387-30164-8_851.
2009
Wautelet, Yves ; Schinckus, Christophe ; Kolp, Manuel. A Modern Epistemological Reading of Agent Orientation. In: Vijayan Sugumaran, Methodological Advancements in Intelligent Information Technologies: Evolutionary Trends, 2009, p. 43-55. 978-1-60566-970-0.
2009
Kolp, Manuel ; Wautelet, Yves ; Kiv, Sodany ; Tran, Thi Ai Vi. Engineering Software Systems with Social-Driven Templates. In: Vijayan Sugumaran, Methodological Advancements in Intelligent Information Technologies: Evolutionary Trends, 2009, p. 1-29. 978-1-60566-970-0.
2009
Kolp, Manuel ; Faulkner, Stéphane ; Wautelet, Yves. Social Structure Based Design Patterns for Agent-Oriented Software Engineering . In: Pierre F. Tiako, Software Applications: Concepts, Methodologies, Tools, and Applications, 2009, p. 773-796. 1-60566-060-4.
2008
Lambeau, Bernard ; Damas, Christophe ; Dupont, Pierre. State-merging DFA Induction Algorithms with Mandatory Merge Constraints. In: 9th International Colloquium on Grammatical Inference (ICGI), Springer-Verlag, 2008, p. 139-153. 978-3-540-88008-0.
2007
Schaus, Pierre ; Deville, Yves ; Dupont, Pierre ; Regin, Jean-Charles. Simplification and extension of the SPREAD Constraint. In: Benhamou, Frédéric; Jussien, Narendra; O'Sullivan, Barry (Ed. by), Trends in Constraint Programming, 2007, p. 95-99. 978-1-905209-97-2.
2007
Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. Symmetry breaking in subgraph pattern matching. In: Frédéric Benhamou,Narendra Jussien,Barry O'Sullivan, Trends in Constraint Programming, 2007, p. 203-218. 978-1-905209-97-2.
2006
Bolla, Raffaele ; Bruschi, Roberto ; Canini, Marco ; Rapetto, Matteo. A High Performance IP Traffic Generation Tool Based On The Intel IXP2400 Network Processor. In: Franco Davoli, Sergio Palazzo, Sandro Zappatore, Distributed Cooperative Laboratories: Networking, Instrumentation, and Measurements (Signals and Communication Technology), Springer US, 2006, p. 127-142. 978-0-387-29811-5. doi:10.1007/0-387-30394-4_10.
2006
Dupont, Pierre. Noisy Sequence Classification with Smoothed Markov Chains. In: CAp 2006, Conférence d'Apprentissage, Presses Universitaires de Grenoble, 2006, p. 187-201. 2-7061-1372-3.
2017
Busard, Simon ; Pecheur, Charles. A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Eighth International Symposium on Games, Automata, Logics and Formal Verification (Roma, Italy, du 20/09/2017 au 22/09/2017). In: Proceedings of Eighth International Symposium on Games, Automata, Logics and Formal Verification, Open Publishing Association, 2017. 2075-2180. doi:10.4204/EPTCS.256.18.
2017
Meiklejohn, Christopher. A Certain Tendency of the Database Community. Salon des Refusés workshop (colocated with
2017
Lebichot, Bertrand ; Braun, Fabian ; Caelen, Olivier ; Saerens, Marco. A graph-based, semi-supervised, credit card fraud detection system. 5th International Workshop on Complex Networks and their Applications (Milan, Italy, du 30/11/2016 au 02/12/2016). In: Complex Networks & Their Applications V, Proceedings of the 5th International Workshop on Complex Networks and their Applications (Studies in Computational Intelligence; 693), Springer International Publishing, 2017. 978-3-319-50900-6, p. 721-733. doi:10.1007/978-3-319-50901-3.
2017
Kabasele Ndonda, Gorby ; Sadre, Ramin. A low-delay SDN-based countermeasure to eavesdropping attacks in industrial control systems. Network Function Virtualization and Software Defined Networks (NFV-SDN), 2017 IEEE Conference (Berlin, Germany, du 06/11/2017 au 08/11/2017). In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), 2017, IEEE, 2017. 978-1-5386-3286-4. doi:10.1109/NFV-SDN.2017.8169840.
2017
Aoga, John ; Guns, Tias ; Schaus, Pierre. Algorithme Efficace pour la Fouille de Séquences Fréquentes avec la Programmation par Contraintes. Treizièmes Journées Francophones de Programmation par Contraintes (Montreuil-sur-mer,, du 13/06/2017 au 15/06/2017).
2017
Given-Wilson, Thomas ; Jafri, Nisrine ; Lanet, Jean-Louis ; Legay, Axel. An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. 2017 IEEE Trustcom/BigDataSE/ICESS (Sydney, Australia, du 01/08/2017 au 04/08/2017). In: 2017 IEEE Trustcom/BigDataSE/ICESS, IEEE, 2017. 9781509049066. doi:10.1109/Trustcom/BigDataSE/ICESS.2017.250.
2017
Kunnappilly, Ashalatha ; Legay, Axel ; Margaria, Tiziana ; Seceleanu, Cristina ; Steffen, Bernhard ; Traonouez, Louis-Marie. Analyzing Ambient Assisted Living Solutions: A Research Perspective. 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS) (Palma de Mallorca, Spain, du 04/04/2017 au 06/04/2017). In: 2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS), IEEE, 2017. 9781509063772. doi:10.1109/DTIS.2017.7930168.
2017
Li, Zhongmiao ; Lopes, Antonia ; Gil Martinez, Richard ; Rodrigues, Luís . Augure: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources. 16th IEEE International Symposium on Network Computing and Applications (NCA 2017) (Cambridge, MA, du 30/10/2017 au 01/11/2017). doi:10.1109/NCA.2017.8171336.
2017
Devroey, Xavier ; Perrouin, Gilles ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation. ICST 2017 - International Conference on Software Testing, Verification and Validation (du 13/03/2017 au 13/03/2017).
2017
Vandaele, Rémy ; Lallemand, François ; Martinive, Philippe ; Gulyban, Akos ; Jodogne, Sébastien ; Coucke, Philippe ; Geurts, Pierre ; Marée, Raphaël. Automated Multimodal Volume Registration based on Supervised 3D Anatomical Landmark Detection. International Conference on Computer Vision Theory and Applications (Porto, Portugal, du 27/2/2017 au 1/3/2017). In: Proc. of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2017. 978-989-758-226-4, p. 333-340. doi:10.5220/0006153803330340.
2017
Le Charlier, Baudouin ; Khong, Minh Thanh ; Lecoutre, Christophe ; Deville, Yves. Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. Twenty-Sixth International Joint Conference on Artificial Intelligence (Melbourne, Australia, du 19/8/2017 au 26/8/2017). In: International Joint Conference on Artificial Intelligence. Proceedings, Vol. 1, p. 681-687 (2017). doi:10.24963/ijcai.2017/95. doi:10.24963/ijcai.2017/95.
2017
Mens, Kim ; Cardozo, Nicolas ; Dumas, Bruno ; Cleve, Anthony. Beyond Context-Oriented Software. 9th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2016) (Bergen, Norway, du 11/07/2016 au 13/07/2016). In: CEUR Workshop Proceedings, Vol. Vol-1791, no.February 2017, p. 5-16 (8 February, 2017).
2017
Cachucho, Ricardo ; Nijssen, Siegfried ; Knobbe, Arno. Biclustering multivariate time series . Intelligent Data Analysis (London, UK). In: Advances in Intelligent Data Analysis XVI - 16th International Symposium, IDA 2017, Proceedings, 2017.
2017
Maudoux, Guillaume. Bringing Incremental Builds to Continuous Integration. SaTToSE -- Seminar Series on Advanced Techniques & Tools for Software Evolution (Madrid (Spain), du 07/06/2017 au 09/06/2017).
2017
Sutra, Pierre ; Riviere, Etienne ; Cotes, Cristian ; Artigas, Marc Sanchez ; Lopez, Pedro Garcia ; Bernard, Emmanuel ; Burns, William ; Zamarreno, Galder. CRESON: Callable and Replicated Shared Objects over NoSQL. 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) (Atlanta, GA, USA, du 5/6/2017 au 8/6/2017). In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), IEEE, 2017. 978-1-5386-1792-2. doi:10.1109/icdcs.2017.239.
2017
Picek, Stjepan ; Heuser, Annelie ; Jovic, Alan ; Legay, Axel. Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks. AFRICACRYPT 2017 - International Conference on Cryptology in Africa (du 24/05/2017 au 26/05/2017). In: Progress in Cryptology - AFRICACRYPT 2017 Lecture Notes in Computer Science, Springer International Publishing: Cham, 2017. 9783319573380. doi:10.1007/978-3-319-57339-7_4.
2017
Latour, Anna ; Babaki, Behrouz ; Dries, Anton ; Kimmig, Angelika ; Van den Broeck, Guy ; Nijssen, Siegfried. Combining stochastic constraint optimization and probabilistic programming: from knowledge compilation to constraint solving. Principles and Practice of Constraint Programming (Melbourne, Australia). In: Principles and Practice of Constraint Programming - 22nd International Conference, Proceedings, 2017.
2017
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. Constraint-Based Symmetry Detection in General Game Playing. Twenty-Sixth International Joint Conference on Artificial Intelligence (Melbourne, Australia, du 19/8/2017 au 26/8/2017). In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence Main track, 2017. 978-0-9992411-0-3, p. 280-287. doi:10.24963/ijcai.2017/40.
2017
Schaus, Pierre ; Aoga, John ; Guns, Tias. CoverSize: A Global Constraint for Frequency-based Itemset Mining. Principles and Practice of Constraint Programming - CP (Melbourne, Australia, du 28/08/2017 au 01/09/2017). In: the 23rd International Conference on Principles and Practice of Constraint Programming, Vol. LNCS 10416, p. 1-18 (2017). In: Principles and Practice of Constraint Programming - CP, Springer: Berlin Heidelberg, 2017.
2017
Nguyen, Thanh Dang ; Chiesa, Marco ; Canini, Marco. Decentralized Consistent Updates in SDN. Symposium on SDN Research (Santa Clara, CA, USA, du 03/04/2017 au 04/04/2017). In: Proceedings of the Symposium on SDN Research - SOSR '17, ACM Press, 2017. 978-1-4503-4947-5. doi:10.1145/3050220.3050224.
2017
Lebrun, David. Demo: IPv6 Segment Routing to the End Host: A Linux Kernel Implementation. Symposium on SDN Research (Santa Clara, CA, USA). In: Proceedings of the Symposium on SDN Research, 2017. 978-1-4503-4947-5. doi:10.1145/3050220.3060605.
2017
Carvajal Gomez, Raziel ; Gonzalez-Herrera, Inti ; Bromberg, Yerom-David ; Reveillere, Laurent ; Riviere, Etienne. Density and Mobility-Driven Evaluation of Broadcast Algorithms for MANETs. 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) (Atlanta, GA, USA, du 5/6/2017 au 8/6/2017). In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), IEEE, 2017. 978-1-5386-1792-2. doi:10.1109/icdcs.2017.240.
2017
Paul, Ruma Rani ; Melchior, Jérémie ; Van Roy, Peter ; Vlassov, Vladimir. Designing Distributed Applications Using a Phase-Aware, Reversible System. 1st IEEE International Conference on Edge Computing (Honolulu, Hawaii, du 25/06/2017 au 30/06/2017).
2017
Paul, Ruma Rani ; Melchior, Jérémie ; Van Roy, Peter ; Vlassov, Vadimir. Designing robust distributed systems with weakly interacting feedback structures. CodeMesh 2017 (London, UK, du 08/11/2017 au 09/11/2017).
2017
Tokponnon, Mahoukpego Parfait ; Lobelle, Marc. Deterministic replay support for Genode components. FOSDE Micro-Kernel Dev Room (Université Libre de Bruxelles, 04/02/2017).
2017
Demesmaeker, Florian ; Ghrab, Amine ; Nijssen, Siegfried ; Skhiri, Sabri. Discovering interesting patterns in large graph cubes. Fourth International Workshop on High Performance Big Graph Data Management, Analysis, and Mining, in conjunction with the 2017 IEEE International Conference on Big Data (IEEE BigData 2017) (Boston, MA, USA, 11/12/2017). In: Proceedings of the Fourth International Workshop on High Performance Big Graph Data Management, Analysis, and Mining, in conjunction with the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), I E E E, 2017. 978-1-5386-2715-0, p. 3322-3331. doi:10.1109/BigData.2017.8258317.
2017
Van Roy, Peter. Ditching the Data Center: How to Stop Worrying and Love the Edge. Erlang User Conference, (Stockholm, Sweden, du 08/06/2017 au 09/06/2017).
2017
Van Cauwelaert, Sascha ; Schaus, Pierre. Efficient Filtering for the Resource-Cost AllDifferent Constraint. Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint P (Padova).
2017
Rosinosky, Guillaume ; Youcef, Samir ; Charoy, François. Efficient Migration-Aware Algorithms for Elastic BPMaaS. International Conference on Business Process Management (Barcelona, Spain, du 10/09/2017 au 15/09/2017). In: Lecture Notes in Computer Science : Business Process Management, 2017. 9783319649993, p. 147-163. doi:10.1007/978-3-319-65000-5_9.
2017
Khong, Minh Thanh ; Deville, Yves ; Schaus, Pierre ; Lecoutre, Christophe. Efficient Reification of Table Constraints. International Conference on Tools with Artificial Intelligence (Boston, MA, US, du 06/11/2017 au 08/11/2017). In: International Conference on Tools with Artificial Intelligence. Proceedings, (2017).
2017
Metongnon, Lionel ; Ezin, Eugene C. ; Sadre, Ramin. Efficient probing of heterogeneous IoT networks. 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) (Lisbon, Portugal, du 8/5/2017 au 12/5/2017). In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), IEEE, 2017. 978-3-901882-89-0, p. 1052-1058. doi:10.23919/inm.2017.7987437.
2017
Van Roy, Peter ; Li, Zhongmiao ; Romano,Paolo. Enhancing Throughput of Partially Replicated State Machines via Multi-Partition Operation Scheduling. IEEE International Symposium on Network Computing and Applications (Cambridge, MA, du 30/10/2017 au 01/11/2017). doi:10.1109/NCA.2017.8171364.
2017
Tokponnon, Mahoukpego Parfait ; Lobelle, Marc ; Eugene C. Ezin. Entirely protecting operating systems against transient errors in space environment. European Dependable Computing Conference (EDCC Fast abstract) 2017 (Geneve, Suisse, du 04/09/2017 au 08/09/2017).
2017
Gay, Steven ; Hartert, Renaud ; Vissicchio, Stefano. Expect the unexpected: Sub-second optimization for segment routing. IEEE INFOCOM 2017 - IEEE Conference on Computer Communications (Atlanta, GA, USA, du 1/5/2017 au 4/5/2017). In: IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE, 2017. 978-1-5090-5336-0. doi:10.1109/infocom.2017.8056971.
2017
Li, Zhongmiao ; Van Roy, Peter. Exploiting Speculation in Partially Replicated Transactional Data Stores. ACM Symposium on Cloud Computing (SoCC '2017) (Santa Clara, CA, USA, du 25/09/2017 au 27/09/2017). doi:10.1145/3127479.3132692.
2017
Verhaeghe, Hélène ; Lecoutre, Christophe ; Deville, Yves ; Schaus, Pierre. Extending Compact-Table to Basic Smart Tables. 23rd International Conference on Principles and Practice of Constraint Programming (CP17) (Melbourne, Australia, du 28/08/2017 au 01/09/2017). In: Principles and Practice of Constraint Programming, 2017. ISBN 978-3-319-66158-2, p. 297-307.
2017
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Extending Compact-Table to Negative and Short Tables. The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (San Francisco, USA, du 04/02/2017 au 09/02/2017). In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence and the Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Vol. 5 (2017).
2017
Verhaeghe, Hélène ; Lecoutre, Christophe ; Schaus, Pierre. Extension de Compact-Table aux tables négatives et concises. Treizièmes journées Francophones de Programmation par Contraintes (JFPC17) (Montreuil-sur-Mer, France, du 13/06/2017 au 15/06/2017) (Soumis).
2017
Fahrenberg, Uli ; Legay, Axel. Featured Weighted Automata. 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) (Buenos Aires, Argentina, 27/05/2017). In: 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), IEEE, 2017. 9781538604229. doi:10.1109/FormaliSE.2017.2.
2017
Manzoor, Jawad ; Drago, Idilio ; Sadre, Ramin. How HTTP/2 is changing web traffic and how to detect it. 2017 Network Traffic Measurement and Analysis Conference (TMA) (Dublin, Ireland, du 21/6/2017 au 23/6/2017). In: 2017 Network Traffic Measurement and Analysis Conference (TMA), IEEE, 2017. 978-3-901882-95-1. doi:10.23919/tma.2017.8002899.
2017
Bukasa, Sebanjila ; Lashermes, Ronan ; Bouder, Hélène ; Lanet, Jean-Louis ; Legay, Axel. How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. 11th IFIP International Conference on Information Security Theory and Practice (WISTP) (du 28/09/2017 au 29/09/2017). In: Information Security Theory and Practice Lecture Notes in Computer Science, Springer International Publishing: Cham, 2017. 9783319935232. doi:10.1007/978-3-319-93524-9_6.
2017
Kevin, Bukasa ; Lashermes, Ronan ; Lanet, Jean-Louis ; Le Bouder, Hélène ; Legay, Axel. How TrustZone could be bypassed: Side-Channel Attacks on a modern System-on-Chip. Wistp'17, International Conference on Information Security Theory and Practice (du 28/09/2017 au 29/09/2017).
2017
Biondi, Fabrizio ; Kawamoto, Yusuke ; Legay, Axel ; Traonouez, Louis-Marie. HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis (du 03/10/2017 au 06/10/2017).
2017
Lebrun, David ; Bonaventure, Olivier. Implementing IPv6 Segment Routing in the Linux Kernel. Applied Networking Research Workshop (Prague, Czech Republic). In: Proceedings of the Applied Networking Research Workshop, 2017. 978-1-4503-5108-9. doi:10.1145/3106328.3106329.
2017
Fehri, Raed ; Vanclooster, Marnik ; Mens, Kim. Implementing an open source database to monitor water related SDG (SDG-6) in Tunisia. LOD workshop (Linked Open Data in Agriculture) (Berlin, Germany, 28/09/2017).
2017
Fehri, Raed ; Vanclooster, Marnik ; Khlifi, Slaheddine ; Mens, Kim. Implementing an open source database to monitor water-related SDG (SDG-6) in Tunisia. Scientific Days of Medjerda 2017 (Medjez el Bab, Tunisie, du 25/10/2017 au 27/10/2017). In: Proceedings, 2017, p. 318-321.
2017
Maudoux, Guillaume. Incremental Package Builds. NixCon 2017 (Munich (Germany), du 28/10/2017 au 31/10/2017).
2017
Biondi, Fabrizio ; Chadli, Mounir ; Given-Wilson, Thomas ; Legay, Axel. Information Leakage as a Scheduling Resource. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (18/09/2017).
2017
Given-Wilson, Thomas ; Legay, Axel ; Sedwards, Sean. Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust (du 09/07/2017 au 14/07/2017). In: Human Aspects of Information Security, Privacy and Trust Lecture Notes in Computer Science, Springer International Publishing: Cham, 2017. 9783319584591. doi:10.1007/978-3-319-58460-7_7.
2017
Haeri, Seyed Hossein. Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017) (Gammarth, Tunisia, du 06/04/2017 au 09/04/2017).
2017
Van Roy, Peter. LightKone Project: Lightweight Computation for Networks at the Edge . TEKK Tour Digital Wallonia (Mons, Belgium, 03/11/2017).
2017
Biondi, Fabrizio ; Déchelle, François ; Legay, Axel. MASSE: Modular Automated Syntactic Signature Extraction. ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE (du 23/10/2017 au 26/10/2017).
2017
Duchêne, Fabien ; Bonaventure, Olivier. Making multipath TCP friendlier to load balancers and anycast. 2017 IEEE 25th International Conference on Network Protocols (ICNP) (Toronto, ON, du 10/10/2017 au 13/10/2017). In: 2017 IEEE 25th International Conference on Network Protocols (ICNP), IEEE, 2017. 978-1-5090-6501-1. doi:10.1109/icnp.2017.8117545.
2017
Mens, Kim ; Duhoux, Benoît ; Cardozo Alvarez, Nicolás. Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems. Programming '17 (Brussels, Belgium, du 03/04/2017 au 06/04/2017). In: The Art, Science, and Engineering of Programming. In: Companion to the First International Conference on the Art, Science and Engineering of Programming (Programming '17), ACM: New York, 2017. 978-1-4503-4836-2. doi:10.1145/3079368.3079385.
2017
Branders, Vincent ; Schaus, Pierre ; Dupont, Pierre. Mining a sub-matrix of maximal sum. 6th International Workshop on New Frontiers in Mining Complex Patterns in conjunction with ECML-PKDD 2017 (Skopje (MK), 22/09/2017). In: Proceedings of the 6th International Workshop on New Frontiers in Mining Complex Patterns in conjunction with ECML-PKDD 2017.
2017
Morteza Karimzadeh ; Luca Valtulina ; Hans van den Berg ; Aiko Pras ; Pablo Garrido Ortiz ; Sadre, Ramin. MultiPath TCP to support user's mobility in future LTE network. 10th IFIP/IEEE Wireless and Mobile Networking Conference (WMNC). In: 10th IFIP/IEEE Wireless and Mobile Networking Conference (WMNC), 2017. 978-1-5386-1742-7. doi:10.1109/WMNC.2017.8248845.
2017
De Coninck, Quentin ; Bonaventure, Olivier. Multipath QUIC : Design and Evaluation. the 13th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '17 (Incheon, Republic of Korea, du 12/12/2017 au 15/12/2017). In: Proceedings of the 13th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '17, ACM Press, 2017. 978-1-4503-5422-6. doi:10.1145/3143361.3143370.
2017
Perrouin, Gilles ; Heymans, Patrick ; Legay, Axel ; Devroey, Xavier ; Cordy, Maxime ; Schobbens, Pierre-Yves. On Featured Transition Systems. SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics (du 11/01/2017 au 20/01/2017).
2017
Fehmi Jaafar ; Lozano, Angela ; Guéhéneuc, Yann-Gaël ; Mens, Kim. On the Analysis of Co-Occurrence of Anti-Patterns and Clones. IEEE International Conference on Software Quality, Reliability and Security (QRS 2017) (Prague, du 25/07/2017 au 29/07/2017). In: Proceedings of the 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2017. 978-1-5386-0592-9, p. 274-284. doi:10.1109/QRS.2017.38.
2017
Meiklejohn, Christopher. On the Design of Distributed Programming Models. Second Workshop on Programming Models and Languages for Distributed Computing (PMLDC 2017) (colocated with ECOOP 2017) (Barcelona, Spain, 20/06/2017).
2017
Gillard, Xavier. On the community structure of SAT-BMC problems. PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) (Turin, du 18/09/2017 au 22/09/2017).
https://www.duo.uio.no/handle/10852/57814http://hdl.handle.net/2078.1/192969
2017
Carvajal Gomez, Raziel ; Luchian, Eduard ; Ivanciu, Iustin-Alexandru ; Taut, Adrian ; Dobrota, Virgil ; Riviere, Etienne. On the impact of indirect WAN routing on geo-replicated storage. 2017 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN) (Osaka, Japan, du 12/6/2017 au 14/6/2017). In: 2017 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN), IEEE, 2017. 978-1-5386-0728-2. doi:10.1109/lanman.2017.7972171.
2017
Jodogne, Sébastien ; Lenaerts, Éric ; Marquet, Lara ; Erpicum, Charlotte ; Greimers, Roland ; Gillet, Pierre ; Hustinx, Roland ; Delvenne, Philippe. Open Implementation of DICOM for Whole-Slide Microscopic Imaging. International Conference on Computer Vision Theory and Applications (Porto, Portugal, du 27/2/2017 au 1/3/2017). In: Proc. of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2017. 978-989-758-227-1, p. 81-87. doi:10.5220/0006155100810087.
2017
Vandenbulcke, Virginie ; Ducarroz, Caroline ; Fouss, François. Personalized Collaborative Recommendations in the Mass-retailing Sector: the Impact of the Recommended Products and the Accompanying Message on Consumer Behavior. EMAC (European Marketing Academy) - 46th Annual Conference (Groningen (Netherlands), du 23/05/2017 au 26/05/2017).
2017
Legay, Axel ; Traonouez, Louis-Marie. Plasma Lab Statistical Model Checker: Architecture, Usage and Extension. SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science (du 16/01/2017 au 20/01/2017).
2017
Chiesa, Marco ; di Lallo, Roberto ; Lospoto, Gabriele ; Mostafaei, Habib ; Rimondini, Massimo ; Di Battista, Giuseppe. PrIXP: Preserving the privacy of routing policies at Internet eXchange Points. 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) (Lisbon, Portugal, du 8/5/2017 au 12/5/2017). In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), IEEE, 2017. 978-3-901882-89-0. doi:10.23919/inm.2017.7987309.
2017
Li, Guangyuan ; Jensen, Peter ; Larsen, Kim ; Legay, Axel ; Poulsen, Danny. Practical Controller Synthesis for MTL$0,∞$. International SPIN Symposium on Model Checking of Software (13/07/2017). doi:10.1145/nnnnnnn.nnnnnnn.
2017
Meiklejohn, Christopher ; Enes, Vitor ; Yoo, Junghun ; Baquero, Carlos ; Van Roy, Peter ; Bieniusa, Annette. Practical Evaluation of the Lasp Programming Model at Large Scale. 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017) (Namur, Belgium, du 09/10/2017 au 12/10/2017). doi:10.1145/3131851.3131862.
2017
Lambeau, Bernard ; Damas, Christophe ; van Lamsweerde, Axel. Process execution and enactment in medical environments. 4th International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2014 and 6th SEHC 2014 (Washington, United States, du 17/07/2014 au 18/07/2014). In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformat, Vol. 9062 LNCS, p. 145-161 (2017). doi:10.1007/978-3-319-63194-3_10.
2017
Gjøl Jensen, Peter ; Larsen, Kim ; Legay, Axel ; Poulsen, Danny. Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security (21/08/2017).
2017
Vandenbulcke, Virginie ; Ducarroz, Caroline ; Fouss, François. Recommandations collaboratives personnalisées : Quel impact sur le comportement du consommateur en grande distribution ?. 33ème Congrès International de l'AFM (Association Française du Marketing) (Tours, France, du 17/05/2017 au 19/05/2017).
2017
Sommer, Félix ; Lecron, Fabian ; Fouss, François. Recommender systems: the case of repeated interaction in matrix factorization. International Conference on Web Intelligence (Leipzig, Germany , du 23/08/2017 au 26/05/2018). In: WI'17 Proceedings of the International Conference on Web Intelligence, ACM : New York, 2017. 978-1-4503-4951-2, p. 843-847 . doi:10.1145/3106426.3106522 .
2017
Laurent, Nicolas. Red Shift: Procedural Shift-Reduce Parsing. The 10th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2017 (Vancouver, BC, Canada, du 23/10/2017 au 24/10/2017). In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, ACM Press, 2017. 978-1-4503-5525-4. doi:10.1145/3136014.3136036.
2017
Rotaru, Mihai ; Olariu, Florentin ; Onica, Emanuel ; Riviere, Etienne. Reliable messaging to millions of users with migratorydata. the 18th ACM/IFIP/USENIX Middleware Conference (Las Vegas, Nevada, du 11/12/2017 au 15/12/2017). In: Proceedings of the Industrial Track of the 18th ACM/IFIP/USENIX Middleware Conference, ACM Press, 2017. 978-1-4503-5200-0. doi:10.1145/3154448.3154449.
2017
Cappart, Quentin ; Schaus, Pierre. Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables. Integration of AI and OR Techniques in Constraint Programming: 14th International Conference (Padua, Italy, du 05/06/2017 au 08/06/2017). In: Lecture Notes in Computer Science, Vol. 10335, p. 312-327 (2017). doi:10.1007/978-3-319-59776-8_26.
2017
Cailliau, Antoine ; van Lamsweerde, Axel. Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (Buenos Aires, Argentina, du 20/5/2017 au 28/5/2017). In: Proceeding SEAMS '17 Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017. 978-1-5386-1550-8. doi:10.1109/SEAMS.2017.5.
2017
Barbosa, Manuel ; Ben Mokhtar, Sonia ; Felber, Pascal ; Maia, Francisco ; Matos, Miguel ; Oliveira, Rui ; Riviere, Etienne ; Schiavoni, Valerio ; Voulgaris, Spyros. SAFETHINGS: Data Security by Design in the IoT. 2017 13th European Dependable Computing Conference (EDCC) (Geneva, du 4/9/2017 au 8/9/2017). In: 2017 13th European Dependable Computing Conference (EDCC), IEEE, 2017. 978-1-5386-0602-5. doi:10.1109/edcc.2017.33.
2017
Chiesa, Marco ; Demmler, Daniel ; Canini, Marco ; Schapira, Michael ; Schneider, Thomas. SIXPACK : Securing Internet eXchange Points Against Curious onlooKers. International Conference on emerging Networking EXperiments and Technologies (Incheon, Republic of Korea, du 12/12/2017 au 15/12/2017). In: Proceedings of the 13th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '17, ACM Press, 2017. 978-1-4503-5422-6. doi:10.1145/3143361.3143362.
2017
Van Roy, Peter ; Bravo Gestoso, Angel. Saturn: A Distributed Metadata Service for Causal Consistency. EuroSys 2017 Conference (Belgrade, Serbia, du 23/04/2017 au 26/04/2017). doi:10.1145/3064176.3064210.
2017
Fehri, Raed ; Vanclooster, Marnik ; Mens, Kim ; Khlifi, Slaheddine. Scientific and participatory approaches to monitor water-related SDG (SDG-6) in Tunisia. Knowledge Forum on Water Security and Climate Change (UNESCO Headquarters, Paris, France, du 18/10/2017 au 20/10/2017). In: Innovative Solutions for Sustainable Water Resources Management: Book of abstracts, UNESCO: Paris, France, 2017, p. 30.
2017
Jadin, Mathieu ; Tihon, Gautier. Securing MultiPath TCP. IEEE R8 Student Paper Contest (Ohrid, Macedonia, du 07/07/2017 au 08/07/2017).
2017
Jadin, Mathieu ; Tihon, Gautier ; Pereira, Olivier ; Bonaventure, Olivier. Securing MultiPath TCP: Design & Implementation. IEEE INFOCOM 2017 (Atlanta, USA, du 01/05/2017 au 04/05/2017). In: IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, 2017. 978-1-5090-5336-0, 1-9.
2017
Saint-Guillain, Michael ; Solnon, Christine ; Deville, Yves. The Static and Stochastic VRP with Time Windows and both random Customers and Reveal Times. EvoApplications 2017. In: Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II, 2017. 978-3-319-55792-2, p. 110-127. doi:10.1007/978-3-319-55792-2_8.
2017
Houndji, Vinasetan Ratheil ; Schaus, Pierre ; Hounkonnou, Mahouton Norbert ; Wolsey, Laurence. The weighted arborescence constraint. International conference on integration of artificial intelligence and operations research techniques in constraint program (Padova, Italy, du 05/06/2017 au 08/06/2017). In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformat, Vol. 10335 LNCS, p. 185-201 (2017). doi:10.1007/978-3-319-59776-8_15.
2017
Saint-Guillain, Michael ; Solnon, Christine ; Deville, Yves. Un nouveau VRPTW static et stochastique: vers une modélisation en deux étapes plus réaliste. Treizièmes journées Francophones de Programmation par Contraintes (Accepté/Sous presse).
2017
Bravo Gestoso, Angel. Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication. 2017 USENIX Annual Technical Conference (ATC '2017) (Santa Clara, CA, USA, du 12/07/2017 au 14/07/2017).
2017
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of Interlocking Systems Using Statistical Model Checking. 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) (Singapore, du 12/01/2017 au 14/01/2017). In: 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), IEEE, 2017. 9781509046362. doi:10.1109/HASE.2017.10.
2017
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of Interlocking Systems Using Statistical Model Checking. IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) (Singapore, du 11/01/2017 au 14/01/2017). doi:10.1109/HASE.2017.10 (Accepté/Sous presse).
2016
Perrouin, Gilles ; Acher, Mathieu ; Davril, Jean-Marc ; Legay, Axel ; Heymans, Patrick. A Complexity Tale: Web Configurators. VACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16) (Austin, Texas, 15/05/2016). In: Proceedings of the 1st International Workshop on Variability and Complexity in Software Design - VACE '16, ACM Press: New York, New York, USA, 2016. 9781450341769. doi:10.1145/2897045.2897051.
2016
Mens, Kim ; Cardozo Alvarez, Nicolás ; Duhoux, Benoît. A Context-Oriented Software Architecture. 8th International Workshop on Context-Oriented Programming (COP 2016) (Rome, Italy, 19/07/2016). In: Proceedings of the 8th International Workshop on Context-Oriented Programming, ACM, 2016. 978-1-4503-4440-1, p. 7-12. doi:10.1145/2951965.2951971.
2016
Le Charlier, Baudouin ; Atindehou, Mêton Mêton. A Data Structure to Handle Large Sets of Equal Terms. SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science (Ochanomizu University, Tokyo, du 28/03/2016 au 31/03/2016). In: SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing (EPiC Series in Computing; 39), 2016, p. 81-94. doi:10.13140/RG.2.1.3164.9680.
2016
Cappart, Quentin ; Schaus, Pierre. A Dedicated Algorithm for Verification of Interlocking Systems. International Conference on Computer Safety, Reliability, and Security (Trondheim, du 21/09/2016 au 23/09/2016). In: Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Vol. 9922, p. 76-87 (04 September 2016). doi:10.1007/978-3-319-45477-1_7.
2016
De Coninck, Quentin ; Baerts, Matthieu ; Hesmans, Benjamin ; Bonaventure, Olivier. A First Analysis of Multipath TCP on Smartphones. 17th International Passive and Active Measurements Conference (Heraklion, Crete, Greece, du 31/03/2016 au 01/04/2016). In: Passive and Active Measurement (Lecture Notes in Computer Science), Springer, 2016.
2016
De Coninck, Quentin ; Baerts, Matthieu ; Hesmans, Benjamin ; Bonaventure, Olivier. A First Analysis of Multipath TCP on Smartphones. Traffic Monitoring and Analysis Workshop (Louvain-la-Neuve, Belgium, du 05/04/2016 au 08/04/2016). doi:10.1007/978-3-319-30505-9_5.
2016
Kim Jin, Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Acher, Mathieu ; Kang, Sungwon. A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems. Symposium on Applied Computing (Pisa, Italy, du 04/04/2016 au 08/04/2016). In: Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, ACM Press: New York, New York, USA, 2016. 9781450337397. doi:10.1145/2851613.2851977.
2016
Lounas, Razika ; Jafri, Nisrine ; Legay, Axel ; Mezghiche, Mohamed ; Lanet, Jean-Louis. A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS 2016 - The 11th International Conference on Risks and Security of Internet and Systems (du 05/09/2016 au 07/09/2016).
2016
Rosinosky, Guillaume ; Youcef, Samir ; Charoy, Francois. A Framework for BPMS Performance and Cost Evaluation on the Cloud. 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) (Luxembourg, Luxembourg, du 12/12/2016 au 15/12/2016). In: 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2016. 9781509014453. doi:10.1109/cloudcom.2016.0112.
2016
Quilbeuf, Jean ; Cavalcante, Everton ; Traonouez, Louis-Marie ; Oquendo, Flavio ; Batista, Thais ; Legay, Axel. A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (du 10/10/2016 au 14/10/2016). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319471655. doi:10.1007/978-3-319-47166-2_56.
2016
Chadli, Mounir ; Kim Jin, Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Naujokat, Stefan ; Steffen, Bernhard ; Larsen Kim, Guldstrand. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS (du 26/09/2016 au 28/09/2016). In: Lecture Notes in Computer Science Critical Systems: Formal Methods and Automated Verification, Springer International Publishing: Cham, 2016. 9783319459424. doi:10.1007/978-3-319-45943-1_9.
2016
Mens, Kim ; Capilla, Rafael ; Cardozo, Nicolas ; Dumas, Bruno. A Taxonomy of Context-Aware Software Variability Approaches. Workshop on Live Adaptation of Software Systems, collocated with MODULARITY 2016 conference (Malaga, Spain, du 14/03/2016 au 17/03/2016). In: MODULARITY Companion 2016 – Companion Proceedings of the 15th International Conference on Modularity, ACM, 2016. 978-1-4503-4033-5/16/03, 119-124. doi:10.1145/2892664.2892684.
2016
Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto ; Marazza, Marco ; Senni, Valerio ; Legay, Axel ; Quilbeuf, Jean ; Etzien, Christoph. An Application of SMC to continuous validation of heterogeneous systems. Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques (du 22/08/2016 au 23/08/2016).
2016
Aoga, John ; Guns, Tias ; Schaus, Pierre. An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming. In: Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part II (Lecture notes in computer science; 9852), 2016. 978-3-319-46227-1, 315-330. doi:10.1007/978-3-319-46227-1_20.
2016
Rosinosky, Guillaume ; Youcef, Samir ; Charoy, Francois. An Efficient Approach for Multi-tenant Elastic Business Processes Management in Cloud Computing Environment. 2016 IEEE 9th International Conference on Cloud Computing (CLOUD) (San Francisco, CA, USA, du 27/6/2016 au 2/7/2016). In: 2016 IEEE 9th International Conference on Cloud Computing (CLOUD), IEEE, 2016. 9781509026197. doi:10.1109/cloud.2016.0049.
2016
Haeri, Seyed Hossein ; Van Roy, Peter. An Operational Semantics for Multicasting Systems with Monotonic Values. 28th Nordic Workshop on Programming Theory (Rold StorKro (North Jutland), Denmark, du 31/10/2017 au 02/11/2016). In: Informal Proceedings of the 28th Nordic Workshop on Programming Theory, 2016.
2016
Hesmans, Benjamin ; Bonaventure, Olivier. An enhanced socket API for Multipath TCP. Applied Networking Research Workshop (Berlin). In: Proceeding ANRW '16 Proceedings of the 2016 Applied Networking Research Workshop, 2016. 978-1-4503-4443-2. doi:10.1145/2959424.2959433.
2016
Hendriks, Luuk ; de O. Schmidt, Ricardo ; Bezerra, Jeronimo A. ; Sadre, Ramin ; Pras, Aiko. Assessing the Quality of Flow Measurements from OpenFlow Devices. 8th International Workshop on Traffic Monitoring and Analysis (TMA) (Louvain-la-Neuve, du 07/04/2016 au 08/04/2016). In: Proceedings of the 8th International Workshop on Traffic Monitoring and Analysis (TMA), 2016. 978-3-901882-92-0.
2016
Cachucho, Ricardo ; Liu, Kaihua ; Nijssen, Siegfried ; Knobbe, Arno. Bipeline: A web-based visualization tool for biclustering of multivariate time series. Machine Learning and Knowledge Discovery in Databases, European Conference (Riva del Garda, Italy). In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2014, Proceedings, Part III (Lecture Notes in Computer Science; 9853), 2016. 978-3-319-46130-4, p. 12-16.
2016
Paul, Ruma ; Van Roy, Peter. Building Distributed Applications for Stressful Environments using Reversibility and Phase-Awareness. Conference on Complex Systems (CCS 2016) (Amsterdam, The Netherlands, du 19/09/2016 au 22/09/2016). doi:10.1109/ICDCS.2016.98.
2016
Brognaux, Sandrine ; François, Thomas ; Saerens, Marco. Combining manual and automatic prosodic annotation for expressive speech synthesis. 10th International Language Resources and Evaluation Conference (LREC 2016) (Portorož, Slovenia, du 23/05/2016 au 28/05/2016). In: Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016), 2016. 978-2-9517408-9-1, 3872-3879.
2016
Demeulenare, Jordan ; Hartert, Renaud ; Lecoutre, Christophe ; Perrez, Guillaume ; Perron, Laurrent ; Régin, Jean-Charles ; Schaus, Pierre. Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. Principles and Practice of Constraint Programming (Toulouse, France, September 5-9). In: Lecture Notes in Computer Science, Vol. 9892, no.9892, p. 207-223 (August 2016). doi:10.48550/arXiv.1604.06641.
2016
Krasikova, Sveta ; Carvajal Gomez, Raziel ; Riviere, Etienne ; Schiavoni, Valerio. Construction auto-organisante de tables de hachages réparties et évaluation en conditions réelles. Compas 2016 (Lorient, France).
2016
Laurent, Nicolas ; Mens, Kim. Context-Sensitive Parsing Through Stateful Parsing. Parsing@SLE workshop collocated with SLE 2016 (Amsterdam, The Netherlands, 30/10/2016). doi:10.13140/RG.2.2.21683.84004.
2016
Akkoorath, Deepthi Devaki ; Tomsic, Alejandro ; Bravo, Manuel ; Li, Zhongmiao ; Crain, Tyler . Cure: Strong Semantics Meets High Availability and Low Latency. 36th IEEE International Conference on Distributed Computer Systems (ICDCS 2016) (Nara, Japan, du 27/06/2016 au 30/06/2016).
2016
Akkoorath,Deepthi Devaki ; Tomsic,Alejandro ; Bravo Gestoso, Angel ; Li, Zhongmiao. Cure: Strong Semantics Meets High Availability and Low Latency. 36th IEEE International Conference on Distributed Computer Systems (ICDCS 2016) (Nara, Japan, du 27/06/2016 au 30/06/2016).
2016
Meiklejohn, Christopher. Declarative, Secure, Convergent Edge Computation. Off the Beaten Track (OBT 2016, colocated with POPL 2016) (St. Petersburg, Florida, 23/01/2016).
2016
Meiklejohn, Christopher ; Haeri, Seyed Hossein ; Van Roy, Peter. Declarative, sliding window aggregations for computations at the edge. 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC) (Las Vegas, NV, du 09/01/2016 au 12/01/2016). In: Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, , p. 32-37 (2016). doi:10.1109/CCNC.2016.7444727.
2016
Dagba, Théophile K. ; Aoga, John ; Fanou, Codjo C.. Design of a Yoruba Language Speech Corpus for the Purposes of Text-to-Speech (TTS) Synthesis. Asian Conference on Intelligent Information and Database Systems (Berlin, Heidelberg). In: Intelligent Information and Database Systems, Vol. 9621, no.1, p. 161-169 (2016). doi:10.1007/978-3-662-49381-6_16.
2016
Carlos Bartolomeu ; Bravo Gestoso, Angel ; Luís Rodrigues. Dynamic Adaptation of Geo-Replicated CRDTs. 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (Pisa, Italy, du 04/04/2016 au 08/04/2016).
2016
Borja Arnau de Régil Basáñez ; Meiklejohn, Christopher. Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages. AGERE 2016 Workshop (colocated with SPLASH 2016) (Amsterdam, The Netherlands, 30/10/2016).
2016
Van Cauwelaert, Sascha ; Dejemeppe, Cyrille ; Monette, Jean-Noël ; Schaus, Pierre. Efficient Filtering for the Unary Resource with Family-based Transition Times. International Conference on Principles and Practice of Constraint Programming (Toulouse, du 05/09/2016 au 09/09/2016). doi:10.1007/978-3-319-44953-1_33.
2016
Derval, Guillaume ; Schaus, Pierre. Embarrassingly Parallel Search Reengineered. Doctoral Program of the 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016) (Toulouse, France, du 05/09/2016 au 09/09/2016). In: "Doctoral Program of the 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016)", Toulouse.
2016
Sveta Krasikova ; Carvajal Gomez, Raziel ; Heverson B. Ribeiro ; Riviere, Etienne ; Valerio Schiavoni. Evaluating the Cost and Robustness of Self-organizing Distributed Hash Tables. Distributed Applications and Interoperable Systems. In: Distributed Applications and Interoperable Systems, 2016. 978-3-319-39576-0.
2016
Raphaël P. Barazzutti ; Yaroslav Hayduk ; Pascal Felber ; Riviere, Etienne. Exploiting Concurrency in Domain-Specific Data Structures: A Concurrent Order Book and Workload Generator for Online Trading. International Conference on Networked Systems. In: International Conference on Networked Systems, 2016. 978-3-319-46139-7.
2016
Haeri, Seyed Hossein ; Schupp, Sibylle. Expression Compatibility Problem. 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016) (Tokyo, Japan, du 28/03/2016 au 31/01/2017).
2016
Vissicchio, Stefano ; Cittadini, Luca. FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates. INFOCOM (San Francisco, CA, USA, du 10/04/2016 au 15/04/2016). doi:10.1109/INFOCOM.2016.7524419 (Accepté/Sous presse).
2016
Perrouin, Gilles ; Amrani, Moussa ; Acher, Mathieu ; Combemale, Benoit ; Legay, Axel ; Schobbens, Pierre-Yves. Featured model types: Towards Systematic Reuse in Modelling Language Engineering. MiSE '16 - 8th International Workshop on Modeling in Software Engineering (Austin, Texas, du 14/05/2016 au 22/05/2016). In: Proceedings of the 8th International Workshop on Modeling in Software Engineering - MiSE '16, ACM Press: New York, New York, USA, 2016. 9781450341646. doi:10.1145/2896982.2896987.
2016
Devroey, Xavier ; Perrouin, Gilles ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Featured model-based mutation analysis. ICSE '16 - 38th International Conference on Software Engineering (Austin, Texas, du 14/05/2016 au 22/05/2016). In: Proceedings of the 38th International Conference on Software Engineering - ICSE '16, ACM Press: New York, New York, USA, 2016. 9781450339001. doi:10.1145/2884781.2884821.
2016
Tilmans, Olivier ; Vissicchio, Stefano ; Vanbever, Laurent ; Rexford, Jennifer. Fibbing in action: On-demand load-balancing for better video delivery. ACM SIGCOMM 2016 (Florianopolis, Brazil, 23/08/2016). In: Proceedings of the 2016 conference on ACM SIGCOMM, ACM SIGCOMM: New York, 2016. 978-1-4503-4193-6, 619-620. doi:10.1145/2934872.2959084.
2016
Dejemeppe, Cyrille ; Devolder, Olivier ; Lecomte, Victor ; Schaus, Pierre. Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing. CPAIOR 2016: Integration of AI and OR Techniques in Constraint Programming pp 108-124 (Banff, AB, Canada, May 29 - June 1). In: Lecture Notes in Computer Science (LNCS), Vol. 9676, no.9676, p. 108-124 (2016). doi:10.1007/978-3-319-33954-2_9.
2016
Pacheco, Leandro ; Halalai, Raluca ; Schiavoni, Valerio ; Pedone, Fernando ; Riviere, Etienne ; Felber, Pascal. GlobalFS: A Strongly Consistent Multi-site File System. 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS) (Budapest, Hungary, du 26/9/2016 au 29/9/2016). In: 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), IEEE, 2016. 9781509035137. doi:10.1109/srds.2016.027.
2016
Kawamoto, Yusuke ; Biondi, Fabrizio ; Legay, Axel. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM 2016 - 21st International Symposium on Formal Methods (du 07/11/2016 au 11/11/2016).
2016
Pham, Hoang Son. Identifying Genetic Variant Combinations using Skypatterns. 7th International Workshop on Biological Knowledge Discovery and Data Mining (Porto, Portugal, du 5/09/2016 au 8/09/2016). In: Database and Expert Systems Applications 27th International Conference, 2016, Proceedings, Vol. 1, no.1, p. 44-48 (2016). doi:10.1109/DEXA.2016.024.
2016
Jegourel, Cyrille ; Larsen Kim, Guldstrand ; Legay, Axel ; Mikučionis, Marius ; Poulsen, Danny ; Sedwards, Sean. Importance Sampling for Stochastic Timed Automata. Dependable Software Engineering: Theories, Tools, and Applications (du 09/11/2016 au 11/11/2016).
2016
Renard, Emilie ; Branders, Samuel ; Absil, Pierre-Antoine. Independent component analysis to remove batch effects from merged microarray datasets. WABI 2016 (Aarhus, Denmark, August 22-24, 2016). In: Lecture Notes in Computer Science, Vol. 9838, p. 281-292 (2016). doi:10.1007/978-3-319-43681-4_23.
2016
Sun, Xiao ; Rack, Martin ; Van der Plas, G. ; Stucchi, M. ; De Vos, J. ; Absil, P. ; Raskin, Jean-Pierre ; Beyne, E.. Investigation of TSV noise coupling in 3D-ICs using an experimental validated 3D TSV circuit model including Si substrate effects and TSV capacitance inversion behavior after wafer thinning. 2016 IEEE/MTT-S International Microwave Symposium (IMS) (San Francisco, CA, du 22/5/2016 au 27/5/2016). In: 2016 IEEE MTT-S International Microwave Symposium (IMS), IEEE, 2016. 9781509006984. doi:10.1109/mwsym.2016.7540397.
2016
Olaechea, Rafael ; Fahrenberg, Uli ; Atlee, Joanne ; Legay, Axel. Long-term average cost in featured transition systems. SPLC '16 - 20th International Systems and Software Product Line Conference (Beijing, China, du 16/09/2016 au 23/09/2016). In: Proceedings of the 20th International Systems and Software Product Line Conference on - SPLC '16, ACM Press: New York, New York, USA, 2016. 9781450340502. doi:10.1145/2934466.2934473.
2016
Chiesa, Marco ; Rétvári, Gábor ; Schapira, Michael. Lying Your Way to Better Traffic Engineering. CoNEXT (Irvine, California, USA). In: Conference on emerging Networking EXperiments and Technologies, 2016. 978-1-4503-4292-6. doi:10.1145/2999572.2999585.
2016
Jonker, Mattijs ; Sperotto, Anna ; van Rijswijk-Deij, Roland ; Sadre, Ramin ; Pras, Aiko. Measuring the Adoption of DDoS Protection Services. ACM Internet Measurement Conference (IMC) (Santa Monica, California, du November 14 au November 16). In: Proceedings of the 2016 ACM Internet Measurement Conference, 2016. 978-1-4503-4526-2. doi:10.1145/2987443.2987487.
2016
Mens, Kim. Message from the Chairs of the LASSY 2016 workshop. 15th International Conference on Modularity 2016 (Málaga, Spain, du 14/03/2016 au 17/03/2016). In: MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity (Front matter), ACM, 2016. 978-1-4503-4033-5. doi:10.1145/2892664.
2016
Tilmans, Olivier ; Bühler, Tobias ; Vissicchio, Stefano ; Vanbever, Laurent. Mille-Feuille: Putting ISP traffic under the scalpel. HotNets 2016: Fifteenth ACM Workshop on Hot Topics in Networks (Atlanta, GA, USA, du 09/11/2016 au 10/11/2016). In: Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016. 978-1-4503-4661-0. doi:10.1145/3005745.3005762.
2016
Gadyatskaya, Olga ; Rydhof Hansen, René ; Larsen Kim, Guldstrand ; Legay, Axel ; Olesen, Mads ; Poulsen, Danny. Modelling Attack-defense Trees Using Timed Automata. FORMATS 2016 -14th International Conference on Formal Modelling and Analysis of Timed Systems (du 24/08/2016 au 26/08/2016). In: Lecture Notes in Computer Science Formal Modeling and Analysis of Timed Systems, Springer International Publishing: Cham, 2016. 9783319448770. doi:10.1007/978-3-319-44878-7_3.
2016
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Symmetric Communication. Theoretical Aspects of Computing – ICTAC 2016 (du 24/10/2016 au 31/10/2016). In: Theoretical Aspects of Computing – ICTAC 2016 Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319467498. doi:10.1007/978-3-319-46750-4_9.
2016
Larsen Kim, Guldstrand ; Legay, Axel. On the Power of Statistical Model Checking. 7th International Symposium, ISoLA 2016 (10/10/2016). In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319471686. doi:10.1007/978-3-319-47169-3_62.
2016
Chiesa, Marco ; Gurtov, Andrei ; Madry, Aleksander ; Mitrovic, Slobodan ; Nikolaevskiy, Ilya ; Shapira, Michael ; Shenker, Scott. On the Resiliency of Randomized Routing Against Multiple Edge Failures. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Rome, Italy). In: , 2016. 978-3-95977-013-2. doi:10.4230/LIPIcs.ICALP.2016.134.
2016
Ivanciu, Iustin-Alexandru ; Luchian, Eduard-Florentin ; Dobrota, Virgil ; Riviere, Etienne. OpenStack-based clouds as holons: A functional perspective. 2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN) (Rome, Italy, du 13/6/2016 au 15/6/2016). In: 2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN), IEEE, 2016. 9781467398824. doi:10.1109/lanman.2016.7548849.
2016
Ngo, Van ; Legay, Axel ; Joloboff, Vania. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV 2016 - 28th International Conference on Computer Aided Verification (du 17/07/2016 au 23/07/2016). In: Computer Aided Verification Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319415277. doi:10.1007/978-3-319-41528-4_5.
2016
Palmieri, Anthony ; Régin, Jean-Charles ; Schaus, Pierre. Parallel Strategies Selection. Principles and Practice of Constraint Programming (Toulouse, France, September 5-9). In: Lecture Notes in Computer Science, Vol. 9892, no.9892, p. 388-404 (August 2016). doi:10.48550/arXiv.1604.06484.
2016
Nouri, Ayoub ; Bozga, Marius ; Legay, Axel ; Bensalem, Saddek. Performance Evaluation of Complex Systems Using the SBIP Framework. he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) (06/10/2016).
2016
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (du 10/10/2016 au 14/10/2016). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319471655. doi:10.1007/978-3-319-47166-2_6.
2016
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. Programmation par contraintes stochastiques pour le General Game Playing avec informations incomplètes. Journées Francophones de Programmation par Contraintes (Montpellier, France, du 13/06/2016 au 17/06/2016) (Accepté/Sous presse).
2016
Palisse, Aurélien ; Le Bouder, Hélène ; Lanet, Jean-Louis ; Le Guernic, Colas ; Legay, Axel. Ransomware and the Legacy Crypto API. The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016 (du 05/09/2016 au 07/09/2016). In: Lecture Notes in Computer Science Risks and Security of Internet and Systems, Springer International Publishing: Cham, 2016. 9783319548753. doi:10.1007/978-3-319-54876-0_2.
2016
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Rare Events for Statistical Model Checking: An Overview. Reachability Problems (du 19/09/2016 au 21/09/2016).
2016
Paul, Ruma R. ; Van Roy, Peter ; Vlassov, Vladimir. Reversible phase transitions in a structured overlay network with churn. International conference on networked systems, NETYS (Marrakec, Morocco, du 18/05/2016 au 20/05/2016). In: Lecture Notes in Computer Science, Vol. 9944 LNCS, p. 318-333 (2016). doi:10.1007/978-3-319-46140-3_26.
2016
Alrajeh, Dalal ; van Lamsweerde, Axel ; Kramer, Jeff ; Russo, Alessandra ; Uchitel, Sebastian. Risk-driven revision of requirements models. 38th IEEE International Conference on Software Engineering (Austin, Texas, du 14/5/2016 au 22/5/2016). In: Proceedings - International Conference on Software Engineering, ACM Press, 2016. 9781450339001, p. 855-865. doi:10.1145/2884781.2884838.
2016
Aubry, François ; Lebrun, David ; Vissicchio, Stefano ; Khong, Minh Thanh ; Deville, Yves ; Bonaventure, Olivier. SCMon: Leveraging Segment Routing to Improve Network Monitoring. INFOCOM (San Francisco, California, US, du 10/04/2016 au 15/04/2016). In: INFOCOM 2016, 2016. doi:10.1109/INFOCOM.2016.7524410.
2016
Aoga, John ; Schaus, Pierre. Scalable Constraint Programming approach for Mining Frequent Sequence with gap constraints. The annual machine learning conference of Belgium and The Netherlands (BeneLearn) (Kortrijk, Belgium., du 12/09/2016 au 13/09/2016).
2016
Devroey, Xavier ; Perrouin, Gilles ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Search-based Similarity-driven Behavioural SPL Testing. VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems (Salvador, Brazil, du 27/01/2016 au 29/01/2016). In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, ACM Press: New York, New York, USA, 2016. 9781450340199. doi:10.1145/2866614.2866627.
2016
Biondi, Fabrizio ; Legay, Axel. Security and Privacy of Protocols and Software with Formal Methods. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (du 05/10/2016 au 14/10/2016).
2016
D'Argenio, Pedro ; Hartmanns, Arnd ; Legay, Axel ; Sedwards, Sean. Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. Integrated Formal Methods (du 01/06/2016 au 05/06/2016).
2016
Ter Beek Maurice, H ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea. Statistical Model Checking for Product Lines. 7th International Symposium, ISoLA 2016 (du 10/10/2016 au 14/10/2016).
2016
Ngo Van, Chan ; Legay, Axel ; Quilbeuf, Jean. Statistical Model Checking for SystemC Models. High Assurance Systems Engineering Symposium (du 06/01/2016 au 09/01/2016).
2016
Cavalcante, Everton ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Oquendo, Flavio ; Batista, Thais ; Legay, Axel. Statistical Model Checking of Dynamic Software Architectures. ECSA 2016 - 10th European Conference on Software Architecture (du 28/11/2016 au 02/12/2016).
2016
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. Stochastic Constraint Programming for General Game Playing with Imperfect Information. General Intelligence in Game-Playing Agents (New York, USA, du 09/07/2016 au 10/07/2016). In: Computer Games, 2016. 978-3-319-57969-6.
2016
Laurent, Nicolas ; Mens, Kim. Taming Context-Sensitive Languages with Principled Stateful Parsing. Software Language Engineering (SLE 2016) (Amsterdam, du 31/10/2016 au 01/11/2016). In: ACM/SIGPLAN Notices, p. 15-27. doi:10.1145/2997364.2997370.
2016
Manzoor, Jawad ; Drago, Idilio ; Sadre, Ramin. The Curious Case of Parallel Connections in HTTP/2. 12th International Conference on Network and Service Management (CNSM) (Montreal, Quebec, du 31/10/2016 au 04/11/2016). doi:10.1109/CNSM.2016.7818414.
2016
Saint-Guillain, Michael ; Papavasiliou, Anthony ; Deville, Yves ; Solnon, Christine. The Static and Stochastic VRP with Time Windows and both random Customers and Reveal Times (abstract). XIV International Conference on Stochastic Programming (Buzios, Brezil, du 24/06/2016 au 01/01/2017).
2016
Chiesa, Marco ; Nikolaevskiy, I. ; Mitrović, S. ; Panda, A. ; Gurtov, A. ; Maidry, A. ; Schapira, M. ; Shenker, S.. The quest for resilient (static) forwarding tables. IEEE International Conference on Computer Communications (San Francisco, California, USA, du 10 April 2016 au 14 April 2016). doi:10.1109/INFOCOM.2016.7524552.
2016
Paolo Viotti ; Meiklejohn, Christopher ; Marko Vukolić. Towards Property-Based Consistency Verification. PaPoC 2016 (Workshop on Principles and Practice of Consistency for Distributed Data) (colocated with EuroSys 2016) (London, UK, 18/04/2016).
2016
Nguyen, T.D. ; Chiesa, Marco ; Canini, M.. Towards decentralized fast consistent updates. Applied Networking Research Workshop (Berlin, Germany, 16 July 2016). doi:10.1145/2959424.2959435.
2016
Chiesa, Marco ; Demmler, D. ; Canini, M. ; Schapira, M. ; Schneider, T.. Towards securing internet eXchange points against curious onlooKers. Applied Networking Research Workshop (Berlin, Germany, 16 July 2016). doi:10.1145/2959424.2959427.
2016
Limbrée, Christophe ; Cappart, Quentin ; Pecheur, Charles ; Tonetta, Stefano. Verification of Railway Interlocking - Compositional Approach with OCRA. RSSR2016 (Paris, du 28/06/2016 au 30/06/2016). In: Reliability, Safety, and Security of Railway Systems, 2016. 978-3-319-33950-4. doi:10.1007/978-3-319-33951-1_10.
2016
Haeri, Seyed Hossein ; Van Roy, Peter ; Baquero, Carlos ; Meiklejohn, Christopher. Worlds of Events: Deduction with Partial Knowledge about Causality. In: Electronic Proceedings in Theoretical Computer Science, Vol. 223, no. 1, p. 113-127 (2016). doi:10.4204/EPTCS.223.8.
2015
Lozano Rodriguez, Angela ; Arévalo, Gabriela ; Mens, Kim. A Critique on Code Critics. SATToSE 2014 Seminar on Advanced Techniques and Tools for Software Evolution (L’Aquila, Italie, du 09/07/2014 au 11/07/2014). In: CEUR Workshop Proceedings, Vol. 1354, p. 49-59. doi:10.13140/RG.2.1.3751.7923.
2015
Hartert, Renaud ; Vissicchio, Stefano ; Schaus, Pierre ; Bonaventure, Olivier ; Filsfils, Clarence ; Telkamp, Thomas ; Francois, Pierre. A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks. 28th Annual Conference of the ACM Special Interest Group on Data Communication (SIGCOMM) on the applications, technologies, architectures, and protocols for computer communication (London, du 17/08/2015 au 21/08/2015). In: Proceedings of SIGCOMM 2015, 2015. 978-1-4503-3542-3. doi:10.1145/2785956.2787495.
2015
Canini, Marco ; Kuznetsov, Petr ; Levin, Dan ; Schmid, Stefan. A Distributed and Robust SDN Control Plane for Transactional Network Updates. The 34th Annual IEEE International Conference on Computer Communications (INFOCOM 2015) (Hong Kong, du 27/04/2015 au 01/05/2015). In: IEEE INFOCOM, 2015. doi:10.1109/INFOCOM.2015.7218382.
2015
Le Charlier, Baudouin ; Atindehou, Mêton Mêton. A Method to Simplify Expressions: Intuition and Preliminary Experimental Results. IWIL-2015. 11th International Workshop on the Implementation of Logics (Suva, Fiji, 23/11/2015). In: IWIL-2015. 11th International Workshop on the Implementation of Logics, 2015. sans objet.
2015
Saint-Guillain, Michael ; Deville, Yves ; Solnon, Christine. A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. Twelfth International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR'15) (Barcelone, Espagne). doi:10.1007/978-3-319-18008-3_25.
2015
Hesmans, Benjamin ; Tran, Viet Hoang ; Sadre, Ramin ; Bonaventure, Olivier. A first look at real multipath tcp traffic. 7th International Workshop on Traffic Monitoring and Analysis (Barcelona, Spain, du 23/04/2015 au 24/06/2015). In: Traffic Monitoring and Analysis, 2015. 978-3-319-17171-5. doi:10.1007/978-3-319-17172-2_16.
2015
Cachera, David ; Fahrenberg, Uli ; Legay, Axel. An ω-Algebra for Real-Time Energy Problems. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (du 12/2015 au 12/2015).
2015
Lozano Rodriguez, Angela ; Mens, Kim ; Portugal, Jawira. Analyzing Code Evolution to Uncover Relations between Bad Smells. International Conference on Software Analysis, Evolution and Reengineering (Montreal, du 02/03/2015 au 02/03/2015). In: 2015 IEEE 2nd Workshop on Patterns Promotion and Anti-patterns Prevention (PPAP 2015), IEEE, 2015. 9781467369213. doi:10.1109/PPAP.2015.7076847.
2015
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems. The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15) (20/08/2015).
2015
Derval, Guillaume ; Gego, Anthony ; Reinbold, Pierre ; Frantzen, Benjamin ; Van Roy, Peter. Automatic Grading of Programming Exercises in a MOOC Using the INGInious Platform.. EMOOCS 2015 (Third MOOC European Stakeholders Summit) (Mons, Belgium, du 18/05/2015 au 20/05/2015).
2015
Van Roy, Peter ; Derval, Guillaume ; Frantzen, Benjamin ; Gego, Anthony ; Reinbold, Pierre. Automatic grading of programming exercises in a MOOC using the INGInious platform. European MOOC Stakeholder Summit 2015 (EMOOCs 2015) (Mons, du 18/05/2015 au 20/05/2015). In: EMOOCs 2015 Proceedings Papers, 2015.
2015
Guns, Tias ; Dries, Anton ; Tack, Guido ; Nijssen, Siegfried ; De Raedt, Luc. Automatic solver chaining in MiningZinc. International Workshop on Constraint Modelling and Reformulation (Cork, Ireland). In: Proceedings of the 14th International Workshop on Constraint Modelling and Reformulation (ModRef), 2015.
2015
Reda, Waleed ; Suresh, Lalith ; Canini, Marco ; Braithwaite, Sean. BRB: BetteR Batch Scheduling to Reduce Tail Latencies in Cloud Data Stores. ACM SIGCOMM. In: ACM SIGCOMM, 2015. 978-1-4503-3542.
2015
Suresh, Lalith ; Canini, Marco ; Schmid, Stefan ; Feldmann, Anja. C3: Cutting Tail Latency in Cloud Data Stores via Adaptive Replica Selection. USENIX Conference on Networked Systems Design and Implementation. In: 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015. 978-1-931971-218.
2015
Vissicchio, Stefano ; Tilmans, Olivier ; Vanbever, Laurent ; Rexford, Jennifer. Central Control Over Distributed Routing. ACM SIGCOMM 2015 (London, UK, du 18/08/2015 au 21/08/2015). In: Proceedings of the ACM SIGCOMM 2015, 2015. 78-1-4503-3542-3/15/08. doi:10.1145/2785956.2787497.
2015
Biondi, Fabrizio ; Legay, Axel ; Quilbeuf, Jean. Comparative Analysis of Leakage Tools on Scalable Case Studies. 22nd International SPIN Workshop on Model Checking of Software (24/08/2015). In: Model Checking Software Lecture Notes in Computer Science, Springer International Publishing: Cham, 2015. 9783319234038. doi:10.1007/978-3-319-23404-5_17.
2015
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. Compiling Strategic Games with Complete Information into Stochastic CSPs. AAAI on workshop : Planning, Search, and Optimization (Austin, Texas, USA, du 25/01/2015 au 30/01/2015).
2015
Gay, Steven ; Hartert, Renaud ; Schaus, Pierre. Conflict Ordering Search for Scheduling Problems. Principles and Practice of Constraint Programming (Cork Ireland). In: Lecture Notes in Computer Science, Springer, 2015. 978-3-319-23219-5. doi:10.1007/978-3-319-23219-5_10.
2015
Briquemont, Iwan ; Bravo, Manuel ; Li, Zhongmiao ; Van Roy, Peter. Conflict-free Partially Replicated Data Types. 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015) (Vancouver, BC, du 30/11/2015 au 03/12/2015). doi:10.1109/CloudCom.2015.81.
2015
Babaki, Behrouz ; Guns, Tias ; Nijssen, Siegfried ; De Raedt, Luc. Constraint-based querying for Bayesian network exploration. Intelligent Data Analysis (Saint Etienne, France). In: Advances in Intelligent Data Analysis XIV - 14th International Symposium, IDA 2015, Proceedings (Lecture Notes in Computer Science; 9385), 2015. 978-3-319-24464-8, p. 13-24.
2015
Pierre Sutra ; Riviere, Etienne ; Pascal Felber. Construction universelle d'objets partagés sans connaissance des participants. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications.
2015
Esik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras. Developments in Language Theory - 19th International Conference (du 07/2015 au 07/2015).
2015
Esik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras for Energy Problems. Proceedings Tenth International Workshop on Fixed Points in Computer Science (du 09/2015 au 09/2015).
2015
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Distributed Verification of Rare Properties using Importance Splitting Observers. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) (du 02/09/2015 au 04/09/2015).
2015
Onica, Emanuel ; Felber, Pascal ; Mercier, Hugues ; Riviere, Etienne. Efficient Key Updates through Subscription Re-encryption for Privacy-Preserving Publish/Subscribe. the 16th Annual Middleware Conference (Vancouver, BC, Canada, du 7/12/2015 au 11/12/2015). In: Proceedings of the 16th Annual Middleware Conference on Middleware, ACM Press, 2015. 9781450336185. doi:10.1145/2814576.2814805.
2015
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Estimating Rewards & Rare Events in Nondeterministic Systems. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) (du 02/09/2015 au 04/09/2015). doi:10.14279/tuj.eceasst.72.1023.
2015
Barbette, Tom ; Soldani, Cyril ; Mathy, Laurent. Fast userspace packet processing. 2015 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS) (Oakland, CA, USA, du 7/5/2015 au 8/5/2015). In: Proceedings of ANCS 2015, 2015. 978-1-4673-6633-5, p. 5-16. doi:10.1109/ancs.2015.7110116.
2015
Aksehirli, Emin ; Nijssen, Siegfried ; van Leeuwen, Matthijs ; Goethals, Bart. Finding subspace clusters using ranked neighborhoods. International Workshop on High Dimensional Data Mining (Atlantic City, New Jersey). In: Proceedings of the 3rd International Workshop on High Dimensional Data Mining, Workshop at the 15th IEEE International Conference on Data Mining, ICDM 2015, 2015. 978-1-4673-8493-3, p. 831-838.
2015
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. General Game Playing with Stochastic CSP. Principles and Practice of Constraint Programming (Cork, Ireland, du 31/08/2015 au 04/09/2015). In: Principles and Practice of Constraint Programming: 21st International Conference, 2015. 978-3319232188, p. 727.
2015
Cailliau, Antoine ; van Lamsweerde, Axel. Handling knowledge uncertainty in risk-based requirements engineering. 2015 IEEE 23rd International Requirements Engineering Conference (RE) (Ottawa, ON, Canada, du 24/8/2015 au 28/8/2015). In: Requirements Engineering Conference (RE), 2015 IEEE 23rd International, 2015. 978-1-4673-6905-3, p. 106 - 115. doi:10.1109/RE.2015.7320413.
2015
Blair, Gordon ; Bromberg, Yérom-David ; Coulson, Geoff ; Elkhatib, Yehia ; Réveillère, Laurent ; Ribeiro, Heverson B. ; Riviere, Etienne ; Taïani, François. Holons : towards a systematic approach to composing systems of systems. the 14th International Workshop on Adaptive and Reflective Middleware (Vancouver, BC, Canada, du 7/12/2015 au 11/12/2015). In: Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware - ARM 2015, ACM Press, 2015. 9781450337335. doi:10.1145/2834965.2834970.
2015
Paul, Ruma Rani ; Van Roy, Peter ; Vlassov, Vladimir. Interaction Between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015) (Melbourne, Australia, du 14/012/2015 au 17/12/2015).
2015
Meiklejohn, Christopher ; Van Roy, Peter. Lasp: A Language for Distributed, Coordination-Free Programming. PPDP 2015 (17th International Symposium on Principles and Practice of Declarative Programming) (Siena, Italy, du 14/07/2015 au 16/07/2015).
2015
Meiklejohn, Christopher ; Van Roy, Peter. Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs. PaPoC 2015 (Workshop on Principles and Practice of Consistency for Distributed Data) (colocated with EuroSys 2015) (Bordeaux, France, 21/04/2015). In: PaPoC '15 Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, ACM: New York, NY, USA, 2015. 978-1-4503-3537-9.
2015
Lebrun, David. Leveraging IPv6 Segment Routing for Service Function Chaining. CoNEXT 2015 student workshop (Heidelberg, du 01/12/2015 au 04/12/2015). In: ACM CoNEXT Student Workshop Proceedings, 2015.
2015
Atlee Joanne, M. ; Fahrenberg, Uli ; Legay, Axel. Measuring Behaviour Interactions between Product-Line Features. 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering (du 05/2015 au 05/2015).
2015
Tran, Viet Hoang ; Sadre, Ramin ; Bonaventure, Olivier. Measuring and Modeling Multipath TCP. 9th International Conference on Autonomous Infrastructure, Management and Security (Ghent University, 22/06/2015). In: Intelligent Mechanisms for Network Configuration and Security, 1 (Lecture Notes in Computer Science; 9122), 2015. 978-3-319-20033-0, p. 66-70. doi:10.1007/978-3-319-20034-7_8.
2015
Atlee Joanne, M. ; Beidu, Sandy ; Fahrenberg, Uli ; Legay, Axel. Merging Features in Featured Transition Systems. Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (du 09/2015 au 09/2015).
2015
Dang, Huynh Tu ; Sciascia, Daniele ; Canini, Marco ; Pedone, Fernando ; Soulé, Robert. NetPaxos: Consensus at Network Speed. ACM SOSR. In: ACM SOSR, 2015. 978-1-4503-3451-8. doi:10.1145/2774993.2774999.
2015
Vissicchio, Stefano ; Cittadini, Luca ; Bonaventure, Olivier ; Xie, Geoffrey G. ; Vanbever, Laurent. On the Co-Existence of Distributed and Centralized Routing Control-Planes. INFOCOM (Hong Kong, du 26/04/2015 au 01/05/2015). In: Proceedings of INFOCOM 2015, 2015. 978-1-4673-7131-5. doi:10.1109/INFOCOM.2015.7218413.
2015
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Joining. 8th Interaction and Concurrency Experience (ICE 2015) (du 04/06/2015 au 05/06/2015).
2015
Laurent, Nicolas ; Mens, Kim. Parsing Expression Grammars Made Practical. 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015) (Pittsburg, USA, du 25/10/2015 au 27/10/2015). In: Proceedings of the International Conference on Software Language Engineering (SLE 2015), ACM: New York, 2015. 978-1-4503-3686-4, 167-172. doi:10.1145/2814251.2814265.
2015
Fahrenberg, Uli ; Legay, Axel. Partial Higher-Dimensional Automata. 6th Conference on Algebra and Coalgebra in Computer Science (du 06/2015 au 06/2015).
2015
De Coninck, Quentin ; Baerts, Matthieu ; Hesmans, Benjamin ; Bonaventure, Olivier. Poster: Evaluating Android Applications with Multipath TCP. 21st Annual International Conference on Mobile Computing and Networking (Paris, France, du 07/09/2015 au 11/12/2015). In: Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015. 978-1-4503-3619-2, p. 230-232. doi:10.1145/2789168.2795165.
2015
Le Van, Thanh ; van Leeuwen, Matthijs ; Nijssen, Siegfried ; De Raedt, Luc. Rank matrix factorisation. Knowledge Discovery and Data Mining, 19th Pacific-Asia Conference (Ho Chi Minh City, Vietnam). In: Advances in Knowledge Discovery and Data Mining, 19th Pacific-Asia Conference, PAKDD 2015, Proceedings, Part I (Lecture Notes in Computer Science; 9077), 2015. 978-3-319-18037-3, p. 734-746.
2015
Bravo, Manuel ; Romano, Paolo ; Rodrigues, Luis ; Van Roy, Peter. Reducing the Vulnerability Window in Distributed Transaction Protocols. PaPoC 2015 (Workshop on Principles and Practice of Consistency for Distributed Data) (colocated with EuroSys 2015) (Bordeaux, France, 21/04/2015).
2015
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. Résolution de SCSP avec borne de confiance pour les jeux de stratégie. Journées Francophones de Programmation par Contraintes (Bordeaux, France, du 22/06/2015 au 24/06/2015) (Accepté/Sous presse).
2015
Hesmans, Benjamin ; Detal, Gregory ; Barré, Sébastien ; Bauduin, Raphaël ; Bonaventure, Olivier. SMAPP : Towards Smart Multipath TCP-enabled APPlications. CoNEXT ’15 (Heidelberg, du 01/12/2015 au 04/12/2015). In: CoNEXT ’15, 2015. 78-1-4503-3412-9/15/12. doi:10.1145/2716281.2836113.
2015
Meiklejohn, Christopher ; Van Roy, Peter. Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. Workshop on Planetary-Scale Distributed Systems (W-PSDS 2015, colocated with SRDS 2015) (Montreal, Quebec, 28/09/2015).
2015
Gay, Steven ; Hartert, Renaud ; Schaus, Pierre. Simple and Scalable Time-Table Filtering for the Cumulative Constraint. Principles and Practice of Constraint Programming (Cork Ireland). In: Lecture Notes in Computer Science, 2015. 978-3-319-23219-5. doi:10.1007/978-3-319-23219-5_11.
2015
Manuel Ferreira ; João Paiva ; Bravo Gestoso, Angel ; Luís Rodrigues. SmartFetch: Efficient Support for Selective Queries. IEEE 7th International Conference on Cloud Computing Technology and Science (Vancouver, BC, du 30/11/2015 au 03/12/2015).
2015
Hartert, Renaud ; Schaus, Pierre ; Vissicchio, Stefano ; Bonaventure, Olivier. Solving Segment Routing Problems with Hybrid Constraint Programming Techniques. International Conference on Principles and Practice of Constraint Programming (CP) (Cork, Ireland, du 31/08/2015 au 04/09/2015). In: Proceedings of CP 2015, 2015. 978-3-319-23218-8. doi:10.1007/978-3-319-23219-5_41.
2015
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Schobbens, Pierre-Yves ; Heymans, Patrick ; Legay, Axel. State machine flattening, a mapping study and tools assessment. 8th IEEE International Conference on Software Testing, Verification and Validation (Graz, Austria, 13/04/2015). In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE, 2015. 9781479918850. doi:10.1109/ICSTW.2015.7107408.
2015
Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking of Simulink Models with Plasma Lab. Fourth International Workshop on Formal Techniques for Safety-Critical Systems (du 06/11/2015 au 07/11/2015).
2015
Branders, Samuel ; Frenay, Benoît ; Dupont, Pierre. Survival Analysis with Cox Regression and Random Non-linear Projections. European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (Bruges, Belgium, du 22/04/2015 au 24/04/2015). In: Proceedings of the 23th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2015.
2015
Schiavoni, Valerio ; Riviere, Etienne ; Sutra, Pierre ; Felber, Pascal ; Matos, Miguel ; Oliveira, Rui. TOPiCo : detecting most frequent items from multiple high-rate event streams. 9th ACM International Conference on Distributed Event-Based Systems (Oslo, Norway, du 29/6/2015 au 3/7/2015). In: Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15, ACM Press, 2015. 9781450332866. doi:10.1145/2675743.2771838.
2015
Maudoux, Guillaume ; Combéfis, Sébastien ; Pecheur, Charles. Tasks Decomposition of System Models for Human-Machine Interaction Analysis. Workshop on Formal Methods in Human Computer Interaction (FoMHCI), in conjunction with ACM SIGCHI Symposium on Enginnering Interactive Computing Systems (EICS) 2015 (Duisburg, Germany, du 23/06/2015 au 23/07/2015) (Accepté/Sous presse).
2015
Meiklejohn, Christopher ; Van Roy, Peter. The Implementation and Use of a Generic Dataflow Behaviour in Erlang. 14th ACM SIGPLAN Erlang Workshop (Vancouver, BC, 04/09/2015). doi:10.1145/2804295.2804300.
2015
Mairy, Jean-Baptiste ; Deville, Yves ; Lecoutre, Christopthe. The Smart Table Constraint. 12th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2015) (Barcelona). In: Proceedings of 12th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Springer Verlag, 2015. 978-3-319-18007-6. doi:10.1007/978-3-319-18008-3_19.
2015
Van Cauwelaert, Sascha ; Dejemeppe, Cyrille ; Schaus, Pierre. The Unary Resource with Transition Times. Principles and Practice of Constraint Programming. In: Lecture Notes in Computer Science, 2015. 978-3-319-23219-5. doi:10.1007/978-3-319-23219-5_7.
2015
Cappart, Quentin ; Thonet, Adrien. The World Migration Network: rankings, groups and gravity models. EUROCON 2015 - International Conference on Computer as a Tool (EUROCON), IEEE (Salamanca, Spain, du 08/09/2015 au 11/11/2015). In: EUROCON 2015 - International Conference on Computer as a Tool (EUROCON), 2015. 978-1-4799-8568-5. doi:10.1109/EUROCON.2015.7313799. doi:10.1109/EUROCON.2015.7313799.
2015
Combéfis, Sébastien ; Van Roy, Peter. Three-Step Transformation of a Traditional University Course into a MOOC: a LouvainX Experience. EMOOCS 2015 (Third MOOC European Stakeholders Summit) (Mons, Belgium, du 18/05/2018 au 20/05/2018).
2015
Hartert, Renaud ; Gay, Steven ; Schaus, Pierre. Time-Table Disjunctive Reasoning for the Cumulative Constraint. Integration of AI and OR Techniques in Constraint Programming (Barcelona). In: Lecture Notes in Computer Science, 2015. 978-3-319-18008-3. doi:10.1007/978-3-319-18008-3_11.
2015
Aubry, François ; Lebrun, David ; Deville, Yves ; Bonaventure, Olivier. Traffic duplication through segmentable disjoint paths. Networking 2015. In: IFIP Networking 2015, 2015.
2015
Combéfis, Sébastien ; Vande Kerckhove, Corentin ; Van Roy, Peter. Transforming a University Course into a Two-public Sustainable MOOC. HybridEd Workshop on MOOC-based Models for Hybrid Pedagogies (Toledo, Spain, 18/09/2015).
2015
Van Cauwelaert, Sascha ; Schaus, Pierre. Understanding the Potential of Propagators. Integration of AI and OR Techniques in Constraint Programming (Barcelona). In: Lecture Notes in Computer Science, Springer, 2015. 978-3-319-18007-6, p. pp 427-436. doi:10.1007/978-3-319-18008-3_29.
2015
Saint-Guillain, Michael ; Deville, Yves ; Solnon, Christine. Une approche basée sur la programmation stochastique multi-étapes pour résoudre le VRPTW dynamique et stochastique. Onzièmes Journées Francophones de Programmation par Contraintes (JFPC 2015).
2015
Quoc, Do Le ; Fetzer, Christof ; Felber, Pascal ; Riviere, Etienne ; Schiavoni, Valerio ; Sutra, Pierre. UniCrawl: A Practical Geographically Distributed Web Crawler. 2015 IEEE 8th International Conference on Cloud Computing (CLOUD) (New York City, NY, USA, du 27/6/2015 au 2/7/2015). In: 2015 IEEE 8th International Conference on Cloud Computing, IEEE, 2015. 9781467372879. doi:10.1109/cloud.2015.59.
2015
Cappart, Quentin ; Schaus, Pierre ; Limbrée, Christophe. Verification by discrete simulation of interlocking systems. 29th European Simulation and Modelling Conference (Leicester, UK., 26-28/10/2015).
2015
Busard, Simon ; Cappart, Quentin ; Limbrée, Christophe ; Pecheur, Charles ; Schaus, Pierre. Verification of railway interlocking systems. 4th International Workshop on Engineering Safety and Security Systems 2015 (Oslo, Norway, 22/06/2015). In: Proceedings 4th International Workshop on Engineering Safety and Security Systems, Vol. 184, no.0, p. 19-31 (2015). doi:10.4204/EPTCS.184.2.
2014
Boyer, Benoît ; Legay, Axel ; Traonouez, Louis-Marie. A Formalism for Stochastic Adaptive Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (du 08/10/2014 au 11/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452301. doi:10.1007/978-3-662-45231-8_12.
2014
Sutra, Pierre ; Riviere, Etienne ; Felber, Pascal. A Practical Distributed Universal Construction with Unknown Participants. Principles of Distributed Systems. In: Lecture Notes in Computer Science : Principles of Distributed Systems, 2014. 9783319144719, p. 485-500. doi:10.1007/978-3-319-14472-6_32.
2014
Hartert, Renaud ; Schaus, Pierre. A Support-Based Propagator for the Bi-Objective Pareto Constraint. The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14) (Québec, du 27/07/2014 au 31/07/2014).
2014
Vaca, Carmen ; Mantrach , Amin ; Jaimes, Alejandro ; Saerens, Marco. A Time-based Collective Factorization for Topic Discovery and Monitoring in News. International conference on World wide web (Seoul, Korea, du 07/04/2014 au 11/04/2014). In: WWW '14 Proceedings of the 23rd international conference on World wide web, ACM: New-York, 2014. 978-1-4503-2744-2, p. 527-538. doi:10.1145/2566486.2568041.
2014
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves. A Variability Perspective of Mutation Analysis. FSE 2014 : International Symposium on Foundations of Software Engineering (Hong Kong, China, 11/2014). In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, ACM Press: New York, New York, USA, 2014. 9781450330565. doi:10.1145/2635868.2666610.
2014
Javaux , Denis ; Wortelen , Bertram ; Lüdtke, Andreas ; Pecheur, Charles ; Peldszus , Regina ; Sievi , Sonja ; Yushtein, Yuri . A methodology for analyzing human-automation interactions in flight operations using formal verification techniques. AAAI Symposium on Formal Verification in Human-Machine Systems (Palo, Alto, USA, du 24/03/2014 au 26/03/2014). In: Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems, 2014, p. 1-6.
2014
Assogba, Emery Kouassi ; Lobelle, Marc. A new way to let the operating system harden its application processes against SEU. 23rd annual single event effects (SEE) symposium coupled with the military and aerospace programmable logic devices (MAPLD) workshop (San Diego, USA, du 19/05/2014 au 22/05/2014).
2014
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean. An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (08/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452301. doi:10.1007/978-3-662-45231-8_11.
2014
Paul, Ruma R ; Van Roy, Peter ; Vlassov, Vladimir. An empirical study of the global behavior of a structured overlay network. 2014 IEEE Thirteenth International Conference on Peer-to-Peer Computing (P2P) (London, United Kingdom, du 8/9/2014 au 12/9/2014). In: 14-th IEEE International Conference on Peer-to-Peer Computing, IEEE, 2014. 9781479962013. doi:10.1109/p2p.2014.6934316.
2014
Pasquet, Mathieu ; Maia, Francisco ; Riviere, Etienne ; Schiavoni, Valerio. Autonomous Multi-dimensional Slicing for Large-Scale Distributed Systems. Distributed Applications and Interoperable Systems. In: Distributed Applications and Interoperable Systems : Lecture Notes in Computer Science, 2014. 9783662433515, p. 141-155. doi:10.1007/978-3-662-43352-2_12.
2014
Nouri, Ayoub ; Bozga, Marius ; Molnos, Anca ; Legay, Axel ; Bensalem, Saddek. Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems. MEMOCODE (Lausanne, Switzerland, 10/2014). In: 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), IEEE, 2014. 9781479953387. doi:10.1109/MEMCOD.2014.6961864.
2014
Lozano Rodriguez, Angela ; Jaafar, Fehmi ; Mens, Kim ; Guéhéneuc, Yann Gaël. Clones and Macro-Co-Changes. Eighth International Workshop on Software Clones (IWSC 2014) (Antwerp, Belgium, 03/02/2014). In: Electronic Communications of the EASST, Vol. 63, no./, p. 14 pages (3 February 2014).
2014
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for Quantitative Specifications. FACS (09/2014).
2014
Dessy, Adrien ; Dupont, Pierre. Computationally Efficient Test for Gene Set Dysregulation. International Workshop on Machine Learning in Systems Biology (Strasbourg, France, du 06/09/2014 au 07/09/2014).
2014
Fahrenberg, Uli ; Legay, Axel. Configurable Formal Methods for Extreme Modeling. XM@MoDELS (09/2014).
2014
Babaki, Behrouz ; Guns, Tias ; Nijssen, Siegfried. Constrained clustering using column generation. Integration of AI and OR Techniques in Constraint Programming (Cork, Ireland). In: Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014 (Lecture Notes in Computer Science; 8451), 2014. 978-3-319-07045-2, p. 438-454.
2014
Gay, Steven ; Schaus, Pierre. Continuous Casting Scheduling with Constraint Programming. International Conference on Principles and Practice of Constraint Programming (CP2014) (Lyon, France). doi:10.1007/978-3-319-10428-7_59.
2014
Dejemeppe, Cyrille ; Deville, Yves. Continuously degrading resource and interval dependent activity durations in nuclear medicine patient scheduling. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2014) (Cork, Ireland, du 19/05/2014 au 23/05/2014). doi:10.1007/978-3-319-07046-9_20.
2014
Lombardi, Michèle ; Schaus, Pierre. Cost impact guided LNS. International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Cork, Ireland, du 19/05/2014 au 23/05/2014). In: , Springer, 2014, Vol. 8451, p. 293-300 (2014). doi:10.1007/978-3-319-07046-9_21.
2014
Cordy, Maxime ; Heymans, Patrick ; Legay, Axel ; Schobbens, Pierre-Yves ; Dawagne, Bruno ; Leucker, Martin. Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models. FSE 2014 : International Symposium on Foundations of Software Engineering (Hong Kong, China, 11/2014). In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, ACM Press: New York, New York, USA, 2014. 9781450330565. doi:10.1145/2635868.2635919.
2014
Castro Mejia, Sergio ; Mens, Kim ; Moura, Paulo. Customisable handling of Java references in prolog programs. 30th International Conference on Logic Programming (Vienna, Austria, du 19/07/2014 au 22/07/2014).
2014
Maia, Francisco ; Matos, Miguel ; Vilaca, Ricardo ; Pereira, Jose ; Oliveira, Rui ; Riviere, Etienne. DATAFLASKS: Epidemic Store for Massive Scale Systems. 2014 IEEE 33rd International Symposium on Reliable Distributed Systems (SRDS) (Nara, Japan, du 6/10/2014 au 9/10/2014). In: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems, IEEE, 2014. 9781479955848. doi:10.1109/srds.2014.34.
2014
Lombard, Catherine ; André, Floriane ; Paul, Jérôme ; Wanty, Catherine ; Vosters, Olivier ; Bernard, Pierre ; Pilette, Charles ; Dupont, Pierre ; Sokal, Etienne ; Smets, Françoise. Decrease in IL-15 production by cord blood mononuclear cells as a marker of atopic disease. 47th Annual Meeting of the European Society for Pediatric Gastroenterology, Hepatology, and Nutrition (Jerusalem, Israel). In: Journal of Pediatric Gastroenterology and Nutrition, Vol. 58, no.sup 1, p. p534 (june 2014).
2014
Bravo, Manuel ; Li, Zhongmiao ; Van Roy, Peter ; Meiklejohn, Christopher. Derflow : distributed deterministic dataflow programming for erlang. the Thirteenth ACM SIGPLAN workshop (Gothenburg, Sweden, 5/9/2014). In: Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang - Erlang '14, ACM Press, 2014. 9781450330381. doi:10.1145/2633448.2633451.
2014
Haeri, Seyed Hossein ; Schupp, Sibylle. Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) (Torino, Italy, du 12/2/2014 au 14/2/2014). In: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, IEEE, 2014. 9781479927296. doi:10.1109/pdp.2014.43.
2014
Mairy, Jean-Baptiste ; Deville, Yves ; Lecoutre, Christophe. Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2014) (Cork, Ireland, du 19/05/2014 au 23/05/2014). doi:10.1007/978-3-319-07046-9_17.
2014
Naujokat, Stefan ; Traonouez, Louis-Marie ; Isberner, Malte ; Steffen, Bernhard ; Legay, Axel. Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. (du 08/10/2014 au 11/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452332. doi:10.1007/978-3-662-45234-9_33.
2014
Peresini, Peter ; Kuzniar, Maciej ; Canini, Marco ; Kostic, Dejan. ESPRES: Easy Scheduling and Prioritization for SDN. Open Networking Summit 2014 (Santa Clara, USA, du 03/03/2014 au 05/03/2014). In: Proceedings of the 2014 Open Networking Summit Research Track, 2014.
2014
Peresini, Peter ; Kuzniar, Maciej ; Canini, Marco ; Kostic, Dejan. ESPRES: Transparent SDN Update Scheduling. HotSDN'14 (Chicago, USA, 22/08/2014). In: Proceedings of HotSDN'14, 2014. doi:10.1145/2620728.2620747.
2014
Barazzutti, Raphael ; Heinze, Thomas ; Martin, Andre ; Onica, Emanuel ; Felber, Pascal ; Fetzer, Christof ; Jerzak, Zbigniew ; Pasin, Marcelo ; Riviere, Etienne. Elastic Scaling of a High-Throughput Content-Based Publish/Subscribe Engine. 2014 IEEE 34th International Conference on Distributed Computing Systems (ICDCS) (Madrid, Spain, du 30/6/2014 au 3/7/2014). In: 2014 IEEE 34th International Conference on Distributed Computing Systems, IEEE, 2014. 9781479951697. doi:10.1109/icdcs.2014.64.
2014
Vanbever, Laurent ; Vissicchio, Stefano. Enabling SDN in old school networks with Software-Controlled Routing Protocols. Open Networking Summit (ONS) research track (Santa Clara, CA, USA, du 03/03/2014 au 05/03/2014). In: Proceedings of the 2014 Open Networking Summit Research Track, 2014.
2014
Nouri, Ayoub ; Raman, Balaji ; Bozga, Marius ; Legay, Axel ; Bensalem, Saddek. Faster Statistical Model Checking by Means of Abstraction and Learning. RV (09/2014). In: Runtime Verification Lecture Notes in Computer Science, Springer International Publishing: Cham, 2014. 9783319111636. doi:10.1007/978-3-319-11164-3_28.
2014
Cardozo Alvarez, Nicolás ; Mens, Kim ; Orban, Pierre-Yves ; De Meuter, Wolfgang. Features on Demand. Eighth International Workshop on Variability Modelling of Software-Intensive Systems (Nice, France, du 22/01/2014 au 24/01/2014). In: VaMoS '14 Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, ACM, 2014. 978-1-4503-2556-1. doi:10.1145/2556624.2556630.
2014
Kabbani, Abdul ; Vamanan, Balajee ; Hasan, Jahangir ; Duchêne, Fabien. Flowbender: Flow-level adaptive routing for improved latency and throughput in datacenter networks. the 10th ACM International Conference on Emerging Networking Experiments and Technologies, CoNEXT 2014 (Sydney, Australia). In: CoNEXT 2014 - Proceedings of the 2014 Conference on Emerging Networking Experiments and Technologies, 2014. 978-145033279-8. doi:10.1145/2674005.2674985.
2014
Delahaye, Benoit ; Fiadeiro J., L. ; Legay, Axel ; Lopes, Antónia. Heterogeneous Timed Machines. 11th International Colloquium on Theoretical Aspects of Computing (du 17/09/2014 au 20/09/2014).
2014
Tilmans, Olivier ; Vissicchio, Stefano. IGP-as-a-Backup for Robust SDN Networks. Conference on Network and Service Management (Rio de Janeiro, Brazil, du 17/11/2014 au 21/11/2014). In: Proceedings of the 10th International Conference on Network and Service Management (CNSM), 2014. 978-3-901882-66-1. doi:10.1109/CNSM.2014.7014149.
2014
Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. 16th International Conference on Formal Engineering Methods, ICFEM 2014 (Luxembourg, Luxembourg, du 03/11/2014 au 05/11/2014). In: Formal Methods and Software Engineering, 2014. 978-3-319-11736-2. doi:10.1007/978-3-319-11737-9_3.
2014
Biondi, Fabrizio ; Legay, Axel ; Nielsen Bo, Friis ; Malacaria, Pasquale ; Wasowski, Andrzej. Information Leakage of Non-Terminating Processes. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (15/12/2014). doi:10.4230/LIPIcs.FSTTCS.2014.517.
2014
Cailliau, Antoine ; van Lamsweerde, Axel. Integrating Exception Handling in Goal Models. 22nd IEEE Requirements Engineering Conference (Karlskrona, Sweden, du 25/08/2014 au 29/08/2014). In: Requirements Engineering Conference (RE), 2014 IEEE 22nd International, 2014. 978-1-4799-3031-9, 43 - 52. doi:10.1109/RE.2014.6912246.
2014
Moura, Giovane C. M. ; Sadre, Ramin ; Pras, Aiko. Internet Bad Neighborhoods temporal behavior. NOMS 2014 - 2014 IEEE/IFIP Network Operations and Management Symposium (Krakow, Poland, du 5/5/2014 au 9/5/2014). In: 2014 IEEE Network Operations and Management Symposium (NOMS), IEEE, 2014. 978-1-4799-0913-1. doi:10.1109/noms.2014.6838306.
2014
Castro Mejia, Sergio ; Mens, Kim ; Moura, Paulo. JPC: A Library for Categorising and Applying Inter-Language Conversions Between Java and Prolog. International Workshop on Advanced/Academic Software Development Tools and Techniques (WASDeTT 2013) (Montpellier (juillet 2013)).
2014
Paul, Jérôme ; Dupont, Pierre. Kernel methods for mixed feature selection. 22th European Symposium on Artificial Neural Networks (ESANN'14) (Bruges, Belgium, du 23/04/2014 au 25/04/2014). In: ESANN2014, 22th European Symposium on Artificial Neural Networks - Computational Intelligence and Machine Learning, 2014. 9782874190957, 301-306.
2014
Matos, Miguel ; Schiavoni, Valerio ; Riviere, Etienne ; Felber, Pascal ; Oliveira, Rui. LAYSTREAM: Composing standard gossip protocols for live video streaming. 2014 IEEE Thirteenth International Conference on Peer-to-Peer Computing (P2P) (London, United Kingdom, du 8/9/2014 au 12/9/2014). In: 14-th IEEE International Conference on Peer-to-Peer Computing, IEEE, 2014. 9781479962013. doi:10.1109/p2p.2014.6934297.
2014
Schmidt, Ricardo de O. ; Sadre, Ramin ; Melnikov, Nikolay ; Schonwalder, Jurgen ; Pras, Aiko. Linking network usage patterns to traffic Gaussianity fit. 2014 IFIP Networking Conference (Trondheim, Norway, du 2/6/2014 au 4/6/2014). In: 2014 IFIP Networking Conference, IEEE, 2014. 978-3-901882-58-6. doi:10.1109/ifipnetworking.2014.6857099.
2014
Colpaert, David ; Mens, Kim ; Lambeau, Bernard. Managing the Evolution of Information Systems with Intensional Views. BENEVOL 2014 (Amsterdam, du 27/11/2014 au 28/11/2014).
2014
Fahrenberg, Uli ; Biondi, Fabrizio ; Corre, Kevin ; Jegourel, Cyrille ; Kongshøj, Simon ; Legay, Axel. Measuring Global Similarity between Texts. SLSP 2014 : Second International Conference on Statistical Language and Speech Processing (10/2014). In: Statistical Language and Speech Processing Lecture Notes in Computer Science, Springer International Publishing: Cham, 2014. 9783319113968. doi:10.1007/978-3-319-11397-5_17.
2014
Cachucho, Ricardo ; Meeng, Marvin ; Vespier, Ugo ; Nijssen, Siegfried ; Knobbe, Arno. Mining multivariate time series with mixed sampling rates. The 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (Seattle, Washington). In: UbiComp '14 Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014. 978-1-4503-2968-2, p. 413-423. doi:10.1145/2632048.2632061.
2014
Legay, Axel ; Sedwards, Sean. On Statistical Model Checking with PLASMA. The 8th International Symposium on Theoretical Aspects of Software Engineering (du 01/09/2014 au 03/09/2014).
2014
Cittadini, Luca ; Vissicchio, Stefano ; Donnet, Benoit. On the Quality of BGP Route Collectors for iBGP Policy Inference. IFIP Networking (Trondheim, Norway, du 02/06/2014 au 04/06/2014). In: Proceedings of IFIP Networking 2014, 2014. 978-3-901882-58-6. doi:10.1109/IFIPNetworking.2014.6857091.
2014
Felber, Pascal ; Pasin, Marcelo ; Riviere, Etienne ; Schiavoni, Valerio ; Sutra, Pierre ; Coelho, Fabio ; Oliveira, Rui ; Matos, Miguel ; Vilaca, Ricardo. On the Support of Versioning in Distributed Key-Value Stores. 2014 IEEE 33rd International Symposium on Reliable Distributed Systems (SRDS) (Nara, Japan, du 6/10/2014 au 9/10/2014). In: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems, IEEE, 2014. 9781479955848. doi:10.1109/srds.2014.35.
2014
Jodogne, Sébastien ; Lenaerts, Eric ; Coucke, Philippe ; Hustinx, Roland. Orthanc - Free and Open-Source Software for Medical Imaging in Hospitals. BioWin Day 2014.
2014
Jodogne, Sébastien ; Lenaerts, Eric ; Coucke, Philippe ; Hustinx, Roland. Orthanc - Logiciel libre pour l'imagerie médicale en milieu hospitalier. Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH 2014).
2014
Levin, Dan ; Canini, Marco ; Schmid, Stefan ; Schaffert, Fabian ; Feldmann, Anja. Panopticon: Reaping the Benefits of Incremental SDN Deployment in Enterprise Networks. USENIX Annual Technical Conference (Philadelphia, USA, du 19/06/2014 au 20/06/2014). In: Proceedings of the 2014 USENIX Annual Technical Conference (ATC'14), 2014.
2014
Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel ; Traonouez, Louis-Marie. Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS (04/2014). In: From Programs to Systems. The Systems perspective in Computing Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783642548475. doi:10.1007/978-3-642-54848-2_6.
2014
Morge, Maxime ; Piette, Eric. Practical Application of Matchmaking Problem: Trainee Allocation for Teachers. International Conference on Practical Applications of Agents and Multi-Agent Systems (Salamance, Spain). In: Advances in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, Vol. 8473, no.10.1007, p. 195–206 (2014). doi:10.1007/978-3-319-07551-8_17.
2014
Deville, Yves ; Wouters, Pascale. Pédagogie active pour l’apprentissage de la programmation. 28ème congrès de l'Association Internationale de Pédagogie Universitaire (AIPU 2014) (Mons, Belgique, du 18/05/2014 au 22/05/2014).
2014
Biondi, Fabrizio ; Legay, Axel. Quantitative Anonymity Evaluation of Voting Protocols. 12th International Conference on Software Engineering and Formal Methods (01/09/2014).
2014
Devooght, Robin ; Mantrach, Amin ; Kivimäki, Ilkka ; Bersini, Hugues ; Jaimes, Alejandro ; Saerens, Marco. Random Walks Based Modularity : Application to Semi-Supervised Learning. International conference on World wide web (Seoul, Korea, du 07/04/2014 au 11/04/2014). In: WWW '14 Proceedings of the 23rd international conference on World wide web, ACM: New-York, 2014. 978-1-4503-2744-2, p. 213-224. doi:10.1145/2566486.2567986.
2014
Le Van, Thanh ; van Leeuwen, Matthijs ; Nijssen, Siegfried ; Fierro, Ana Carolina ; Marchal, Kathleen ; De Raedt, Luc. Ranked tiling. Machine Learning and Knowledge Discovery in Databases, European Conference (Nancy, France). In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2014, Proceedings, Part II (Lecture Notes in Computer Science; 8725), 2014. 978-3-662-44850-2, p. 98-113.
2014
Combéfis, Sébastien ; Bibal, Adrien ; Van Roy, Peter. Recasting a traditional course into a MOOC by means of a SPOC. EMOOCs 2014, the Second MOOC European Stakeholders Summit (Lausanne, Switzerland, du 10/02/2014 au 12/02/2014). In: Proceedings of the European MOOCS Stakeholders Summit (EMOOCs 2014), 2014, p. 205-208.
2014
Laurent, Nicolas ; Vissicchio, Stefano ; Canini, Marco. SDLoad: An Extensible Framework for SDN Workload Generation. HotSDN'14 (Chicago, 22/08/2014). In: Proceedings of HotSDN'14, 2014. doi:10.1145/2620728.2620771.
2014
Canini, Marco ; De Cicco, Daniele ; Kuznetsov, Petr ; Levin, Dan ; Schmid, Stefan ; Vissicchio, Stefano. STN: A Robust and Distributed SDN Control Plane. Open Networking Summit 2014 (Santa Clara, USA, du 03/03/2014 au 05/03/2014). In: Proceedings of the 2014 Open Networking Summit Research Track, 2014.
2014
Vissicchio, Stefano ; Vanbever, Laurent ; Cittadini, Luca ; Xie, Geoffrey G. ; Bonaventure, Olivier. Safe Routing Reconfigurations with Route Redistribution. IEEE INFOCOM (Toronto, Canada, du 27/04/2014 au 02/05/2014). In: Proceedings of INFOCOM 2014, 2014. 978-14799-3360-0. doi:10.1109/INFOCOM.2014.6847940.
2014
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Scalable Verification of Markov Decision Processes. 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) (du 02/09/2014 au 02/09/2014).
2014
Bui, Quoc Trung ; Pham, Quang Dung ; Deville, Yves. Solving the quorumcast routing problem as a mixed integer program. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2014) (Cork, Ireland, du 19/05/2014 au 23/05/2014). doi:10.1007/978-3-319-07046-9_4.
2014
Fahrenberg, Uli ; Acher, Mathieu ; Legay, Axel ; Wąsowski, Andrzej. Sound Merging and Differencing for Class Diagrams. FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering (du 05/04/2014 au 13/04/2014). In: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783642548031. doi:10.1007/978-3-642-54804-8_5.
2014
Fahrenberg, Uli ; Legay, Axel ; Traonouez, Louis-Marie. Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS (04/2014). In: From Programs to Systems. The Systems perspective in Computing Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783642548475. doi:10.1007/978-3-642-54848-2_7.
2014
Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles. State Event Models for the Formal Analysis of Human-Machine Interactions. AAAI 2014 Symposium "Modeling in Human Machine Systems: Challenges for Formal Verification" (Palo Alto, 2014, du 24/03/2014 au 26/03/2014).
2014
Legay, Axel ; Sedwards, Sean. Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (du 08/10/2014 au 11/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452332. doi:10.1007/978-3-662-45234-9_2.
2014
Larsen Kim, Guldstrand ; Legay, Axel. Statistical Model Checking: Past, Present, and Future. 6th International Symposium, ISoLA 2014 (du 08/10/2014 au 11/10/2014).
2014
Paul, Jérôme ; Dupont, Pierre. Statistically interpretable importance indices for Random Forests. 23rd Annual Machine Learning Conference of Belgium and the Netherlands (BENELEARN) (Brussels, Belgium, 06/06/2014).
2014
Fahrenberg, Uli ; Legay, Axel ; Traonouez, Louis-Marie. Structural Refinement for the Modal nu-Calculus. ICTAC (09/2014). In: Theoretical Aspects of Computing – ICTAC 2014 Lecture Notes in Computer Science, Springer International Publishing: Cham, 2014. 9783319108810. doi:10.1007/978-3-319-10882-7_11.
2014
Van Cauwelaert, Sascha ; Lombardi, Michele ; Schaus, Pierre. Supervised Learning to Control Energetic Reasoning: A Feasibility Study.
2014
Vissicchio, Stefano ; Vanbever, Laurent ; Rexford, Jennifer. Sweet Little Lies: Fake Topologies for Flexible Routing. Hotnets (Los Angeles, California, USA, du 27/10/2014 au 28/10/2014). In: Proceedings of Hotnets 2014, 2014. 978-1-4503-3256-9. doi:10.1145/2670518.2673868.
2014
Moura, Giovane C. M. ; Sadre, Ramin ; Pras, Aiko. Taking on Internet Bad Neighborhoods. NOMS 2014 - 2014 IEEE/IFIP Network Operations and Management Symposium (Krakow, Poland, du 5/5/2014 au 9/5/2014). In: 2014 IEEE Network Operations and Management Symposium (NOMS), IEEE, 2014. 978-1-4799-0913-1. doi:10.1109/noms.2014.6838284.
2014
Branders, Samuel ; D'Ambrosio, Roberto ; Dupont, Pierre. The Coxlogit model: feature selection from survival and classification data. IEEE Symposium on Computational Intelligence in Multicriteria Decision-Making (Orlando (FL), du 09/12/2014 au 12/12/2014). In: Computational Intelligence in Multi-Criteria Decision-Making (MCDM), 2014 IEEE Symposium on, IEEE, 2014, 137-143. doi:10.1109/MCDM.2014.7007199.
2014
Houndji, Vinasetan Ratheil ; Schaus, Pierre ; Wolsey, Laurence ; Deville, Yves. The Stocking Cost Constraint. International Conference on Principles and Practice of Constraint Programming (CP2014) (Lyon). doi:10.1007/978-3-319-10428-7_29.
2014
Senelle, Mathieu ; Saerens, Marco ; Fouss, François. The Sum-over-Forests clustering. European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (Bruges). In: Proceedings of the European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2014.
2014
Lebrun, David ; Vissicchio, Stefano ; Bonaventure, Olivier. Towards Test-Driven Software Defined Networking. IEEE/IFIP NOMS (Krakow, Poland, du 05/05/2014 au 09/05/2014). In: Proceedings of NOMS 2014, 2014. doi:10.1109/NOMS.2014.6838225.
2014
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Schobbens, Pierre-Yves ; Legay, Axel ; Heymans, Patrick. Towards statistical prioritization for software product lines testing. VAMOS (Sophia Antipolis, France, 01/2014). In: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS '14, ACM Press: New York, New York, USA, 2014. 9781450325561. doi:10.1145/2556624.2556635.
2014
Hesmans, Benjamin ; Bonaventure, Olivier. Tracing multipath TCP connections. SIGCOMM '14 Proceedings of the 2014 ACM conference on SIGCOM (Chicago, USA, du 19/08/2014 au 21/08/2014). doi:10.1145/2619239.2631453.
2014
Koriche, Frédéric ; Lagrue, Sylvain ; Piette, Eric ; Tabary, Sébastien. Traduction de jeux à information incertaine en réseaux de contraintes stochastiques. Journées Francophones de Programmation par Contraintes (Angers, France, du 11/06/2014 au 13/06/2014) (Accepté/Sous presse).
2014
Chiesa, Marco ; Kindler, G. ; Schapira, M.. Traffic engineering with Equal-Cost-Multipath: An algorithmic perspective. INFOCOM (Toronto, ON, du 27 April 2014 au 2 May 2014). In: INFOCOM, 2014. 978-147993360-0, p. 1590-1598.
2014
Cordero Fuertes, Juan Antonio ; Bonaventure, Olivier. Understanding the topological properties of Internet traffic : a view from the edge. IFIP Networking 2014 Conference (Trondheim, Norway, du 02/06/2014 au 04/06/2014). doi:10.1109/IFIPNetworking.2014.6857090.
2014
Mens, Kim. Usage Contracts. Dagstuhl Seminar 14211 on “The Future of Refactoring” (Dagstuhl, Germany, du 18/05/2015 au 23/05/2015).
2014
Mens, Kim. Usage Contracts. SATTOSE 2014 Seminar (L’Aquila, Italy, du 09/07/2014 au 11/07/2014).
2014
Halalai, Raluca ; Sutra, Pierre ; Riviere, Etienne ; Felber, Pascal. ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service. 2014 IEEE 33rd International Symposium on Reliable Distributed Systems (SRDS) (Nara, Japan, du 6/10/2014 au 9/10/2014). In: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems, IEEE, 2014. 9781479955848. doi:10.1109/srds.2014.41.
2013
Doeraene, Sébastien ; Van Roy, Peter. A new concurrency model for scala based on a declarative dataflow core. The fourth annual Scala workshop (Montpeller, France, 02/07/2013). In: Proceedings of the 4th Workshop on Scala, 2013. 978-1-4503-2064-1, p. 1-10. doi:10.1145/2489837.2489841.
2013
Dzyuba, Vladimir ; Leeuwen, Matthijs Van ; Nijssen, Siegfried ; De Raedt, Luc. Active preference learning for ranking patterns. The 25th International Conference on Tools with Artificial Intelligence (Herndon, VA, USA). In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI), 2013. 978-1-4799-2971-9, p. 532-539. doi:10.1109/ICTAI.2013.85.
2013
Hesmans, Benjamin ; Duchêne, Fabien ; Paasch, Christoph ; Detal, Gregory ; Bonaventure, Olivier. Are TCP Extensions Middlebox-proof ?. ACM CoNEXT 2013 - HotMiddlebox (Santa Barbara, California, du 09/12/2012 au 09/12/2013). doi:10.1145/2535828.2535830.
2013
Bernard, Claire ; Paulus, Cyril ; Jodogne, Sébastien ; Hustinx, Roland. Automated platform for the quality control of PET-CT scanners following AFCN/FANC recommendations. Belgian Hospital Physicists Association Symposium (BHPA).
2013
Kuźniar , Maciej ; Perešíni , Peter ; Vasić, Nedeljko ; Canini, Marco ; Kostić , Dejan. Automatic failure recovery for software-defined networks. HotSDN '13 (Hong Kong, du 12/08/2013 au 16/08/2013). In: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, ACM, 2013. 978-1-4503-2178-5, p. 159-160. doi:10.1145/2491185.2491218.
2013
Suzuki, Ikumi ; Hara, Kazuo ; Shimbo, Masashi ; Saerens, Marco. Centering Similarity Measures to Reduce Hubs. Conference on Empirical Methods in Natural Language Processing (Seattle, Washington, USA, du 18/10/2013 au 21/10/2013). In: Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing, 2013, p. 613-623.
2013
Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; Colacioiu, Marius ; Cazzola, Walter. Context Traits : Dynamic Behaviour Adaptation Through Run-Time Trait Recomposition. International conference on aspect-oriented software development (Fukuoka, Japan, du 24/03/2013 au 29/03/2013). In: Proceedings of the 12th annual international conference on Aspect-oriented software development, ACM: Fukuoka, Japan, 2013. 978-1-4503-1766-5, 209-220. doi:10.1145/2451436.2451461.
2013
Avoine, Gildas ; Bingöl, Muhammed Ali ; Carpent, Xavier ; Kardas, Süleyman ; Avoine, Gildas. Deploying OSK on low-resource mobile Devices. Workshop on RFID Security 2013 (Graz, Austria, du 09/04/2013 au 11/04/2013). doi:10.1007/978-3-642-41332-2_1.
2013
Negrevergne, Benjamin ; Dries, Anton ; Guns, Tias ; Nijssen, Siegfried. Dominance programming for itemset mining. The 13th IEEE International Conference on Data Mining (Dallas, TX, USA). In: ICDM'13 Proceedings the 13th IEEE International Conference on Data Mining, 2013. 978-0-7695-5108-1, p. 557-566. doi:10.1109/ICDM.2013.92.
2013
Nicutar, Catalin ; Paasch, Christoph ; Bagnulo, Marcelo ; Raiciu, Costin. Evolving the internet with connection acrobatics. ACM CoNEXT 2013 (Santa Barbara, California, 09/12/2013).
2013
Massen, Florence ; López-Ibáñez, Manuel ; Stützle, Thomas ; Deville, Yves. Experimental analysis of pheromone-based heuristic column generation using irace. 8th International Workshop, HM 2013 (Ischia, Italy, du 23/05/2013 au 25/05/2013). In: Hybrid Metaheuristics, Lecture Notes in Computer Science, 2013. 978-3-642-38515-5, p. 92-106. doi:10.1007/978-3-642-38516-2_8.
2013
Reitblatt, Mark ; Canini, Marco ; Guha, Arjun ; Foster, Nate. FatTire: Declarative Fault Tolerance for Software-Defined Networks. HotSDN '13 (Hong Kong, du 16/08/2013 au 16/08/2013). In: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, 2013. 978-1-4503-2178-5, 109-114. doi:10.1145/2491185.2491187.
2013
Gilpin, Sean ; Nijssen, Siegfried ; Davidson, Ian. Formalizing hierarchical clustering as Integer Linear Programming. The 27th AAAI Conference on Artificial Intelligence (Bellevue, Washington). In: Proceedings of the 27th AAAI Conference on Artificial Intelligence, 2013. 978-1-57735-615-8.
2013
Mens, Kim. Fragility of Evolving Software. BElgian-NEtherlands EVOLution seminar (BENEVOL) (Mons, Belgium, du 16/12/2013 au 17/12/2013). doi:10.13140/RG.2.1.4737.1366.
2013
Pelsser, Cristel ; Cittadini, Luca ; Bush, Randy ; Vissicchio, Stefano. From Paris to Tokyo : On the suitability of ping to measure latency. Internet Measurement Conference (IMC) (Barcelona, Spain, du 23/10/2013 au 25/10/2013). In: Proceedings of the Internet Measurement Conference (IMC) 2013, 2013. 978-1-4503-1953-9. doi:10.1145/2504730.2504765.
2013
Clad, Francois ; Mérindol, Pascal ; Vissicchio, Stefano ; Pansiot, Jean-Jacques ; François, Pierre. Graceful router updates in link-state protocols. 21st IEEE International Conference on Network Protocols (ICNP) (Gottingen, Germany, du 07/10/2013 au 11/10/2013). In: Proceedings of ICNP 2013, 2013. 978-1-4799-1270-4. doi:10.1109/ICNP.2013.6733587.
2013
Paul, Jérôme ; Verleysen, Michel ; Dupont, Pierre. Identification of Statistically Significant Features from Random Forests. ECML workshop on Solving Complex Machine Learning Problems with Ensemble Methods (Prague (Czech Republic), du 27/09/2013 au 27/09/2013). In: , 2013.
2013
Gutierrez Sabogal, Gustavo Adolfo ; Van Roy, Peter ; Van Cauwelaert, Sascha. Implementation of the relation domain for constraint programming. The 19th International Conference on Principles and Practice of Constraint Programming (TRICS 2013) (Uppsala, Sweden, du 16/09/2013 au 20/09/2013).
2013
Levin , Dan ; Canini, Marco ; Schmid, Stefan ; Feldmann, Anja . Incremental SDN deployment in enterprise networks. SIGCOMM '13 (Hong Kong, du 12/08/2013 au 16/08/2013). In: Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM, ACM, 2013. 978-1-4503-2056-6, p. 473-474 .
2013
Chiesa, Marco ; Lospoto, Gabriele ; Rimondini, Massimo ; Di Battista, Giuseppe. Intra-Domain Pathlet Routing. 2013 22nd International Conference on Computer Communication and Networks (ICCCN 2013) (Nassau, Bahamas). In: , 2013. 978-146735774-6. doi:10.1109/ICCCN.2013.6614145.
2013
Yi, Jiazi ; Cordero Fuertes, Juan Antonio ; Clausen, Thomas . Jitter Considerations in On-demand Route Discovery for Mobile Ad Hoc Networks. the 16th International Conference on Network-Based Information Systems (NBiS'2013) (Gwangju, Korea, du 04/09/2013 au 06/09/2013). doi:10.1109/NBiS.2013.28.
2013
Castro Mejia, Sergio. LogicObjects : A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language. International Conference on Logic Programming (ICLP 2013) – Doctoral Consortium (DC) (Istanbul, Turkey, du 24/08/2013 au 29/04/2014).
2013
Castro Mejia, Sergio ; Mens, Kim ; Moura, Paulo. LogicObjects : Enabling Logic Programming in Java Through Linguistic Symbiosis. 15th International Symposium on Practical Aspects of Declarative Languages (PADL). (Rome, Italy, du 21/01/2013 au 22/01/2013). In: Practical Aspects of Declarative Languages, Lecture notes in computer sciences, 2013. 978-3-642-45283-3. doi:10.1007/978-3-642-45284-0_3.
2013
Vespier, Ugo ; Nijssen, Siegfried ; Knobbe, Arno. Mining characteristic multi-scale motifs in sensor-based time series. The 22nd ACM conference on Information and knowledge management (San Francisco, California, USA). In: CIKM '13 Proceedings of the 22nd ACM conference on Information and knowledge management, 2013. 978-1-4503-2263-8, p. 2393-2398. doi:10.1145/2505515.2505620.
2013
Guns, Tias ; Dries, Anton ; Tack, Guido ; Nijssen, Siegfried ; De Raedt, Luc. MiningZinc: A modeling language for constraint-based mining. The 23rd International joint conference on Artificial intelligence (Beijing, China). In: IJCAI'13 Proceedings of the 23rd international joint conference on Artificial intelligence, 2013. 978-1-57735-633-2, p. 1365-1372.
2013
Cardozo Alvarez, Nicolas ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; Van Der Straeten, Ragnhild ; D’Hondt, Theo. Modeling and analyzing self-adaptive systems with Context Petri Nets. 7th International Symposium on Theoretical Aspects of Software Engineering (Birmingham, UK, du 01/07/2013 au 03/07/2013). In: Proceedings of the Symposium on Theoretical Aspects of Software Engineering (TASE 2013) (IEEE Digital Library), IEEE, 2013, 191-198. doi:10.1109/TASE.2013.33.
2013
Cailliau, Antoine ; Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel. Modeling car crash management with KAOS. International Comparing *Requirements* Modeling Approaches Workshop (CMA@RE) (Rio de Janeiro, Brasil, 16/07/2013). In: Proceedings of the 2013 3rd International Workshop on Comparing Requirements Modeling Approaches (CMA@RE), 2013. 978-1-4799-0779-3, p. 19-24. doi:10.1109/CMA-RE.2013.6664180.
2013
Schaus, Pierre ; Hartert, Renaud. Multi-objective large neighborhood search. 19th International Conference (Uppsala, Sweden, du 16/09/2013 au 20/09/2013). In: Principles and Practice of Constraint Programming (Lecture Notes in Computer Science; 8124), 2013. 978-3-642-40626-3, 611-627. doi:10.1007/978-3-642-40627-0_46.
2013
Detal, Gregory ; Paasch, Christoph ; Bonaventure, Olivier. Multipath in the middle(box). ACM CoNEXT 2013 (Santa Barbara, California, 09/12/2013). In: Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, 2013. 978-1-4503-2574-5 , p. 1-6. doi:10.1145/2535828.2535829.
2013
Peresini, Peter ; Kuzniar, Maciej ; Vasic, Nedeljko ; Canini, Marco ; Kostic, Dejan. OF.CPP: Consistent Packet Processing for OpenFlow. HotSDN '13. In: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, 2013. 978-1-4503-2178-5. doi:10.1145/2491185.2491205.
2013
Paasch, Christoph ; Khalili, Ramin ; Bonaventure, Olivier. On the benefits of applying experimental design to improve multipath TCP. Conference on emerging Networking EXperiments and Technologies (CoNEXT) (Santa Barbara, California, du 09/12/2013 au 12/12/2013). In: Connect, 2013. doi:10.1145/2535372.2535403.
2013
Avoine, Gildas ; Carpent, Xavier. Optimal Storage for Rainbow Tables. International Conference on Information Security and Cryptology (ICISC 2013) (Seoul, South Korea, du 27/11/2013 au 29/12/2013). doi:10.1007/978-3-319-12160-4_9.
2013
Cordero Fuertes, Juan Antonio ; Yi, Jiazi ; Clausen, Thomas . Optimization of Jitter Configuration for Reactive Route Discovery in Wireless Mesh Networks. the 11th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt 2013) (Tsukuba Science City, Japan, du 13/05/2013 au 17/05/2013).
2013
Jodogne, Sébastien ; Bernard, C. ; Devillers, M. ; Lenaerts, E. ; Coucke, P.. Orthanc - A lightweight, restful DICOM server for healthcare and medical research. 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI 2013) (San Francisco, CA, USA, du 7/4/2013 au 11/4/2013). In: 2013 IEEE 10th International Symposium on Biomedical Imaging, Vol. 1, no.1, p. 190-193 (2013). doi:10.1109/isbi.2013.6556444.
2013
Jodogne, Sébastien ; Sobczak, Sonia ; Devillers, Magali ; Lenaerts, Eric ; Coucke, Philippe. Orthanc - Lightweight, scriptable DICOM server for image management in radiotherapy departments. Belgian Hospital Physicists Association Symposium (BHPA).
2013
Busard, Simon ; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 5th NASA Formal Methods Symposium (NFM 2013) (NASA Ames Research Center, Moffett Field, CA, USA, du 14/05/2013 au 16/05/2013). In: NASA Formal Methods (Lecture Notes in Computer Science Volume 7871; 7871), 2013. 978-3-642-38087-7, 453-458. doi:10.1007/978-3-642-38088-4_33.
2013
Busard, Simon ; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 5th NASA Formal Methods Symposium (NFM 2013) (NASA Ames Research Center, Moffett Field, CA, USA, du 14/05/2013 au 16/05/2013).
2013
Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Reasoning about Strategies under Partial Observability and Fairness Constraints. Proceedings 1st International Workshop on Strategic Reasoning (Rome, Italy, du 16/03/2013 au 17/03/2013). In: Electronic Proceedings in Theoretical Computer Science, Vol. 112, p. 71-79 (2013). doi:10.4204/EPTCS.112.12.
2013
Deru, Laurent ; Dawans, Sébastien ; Ocana, Mathieu ; Quoitin, Bruno ; Bonaventure, Olivier. Redundant border routers for mission-critical 6LoWPAN network. The Fifth Workshop on Real-World Wireless Sensor Networks (Como Lake, Italy, 21/06/2013).
2013
Mens, Kim. Research @ RELEASeD – Achieving Excellence in Software Development. SATTOSE 2013 (Bern, Switzerland).
2013
Detal, Gregory ; Hesmans, Benjamin ; Bonaventure, Olivier ; Vanaubel, Yves ; Donnet, Benoit. Revealing middlebox interference with tracebox. Internet Measurement Conference 2013 (Barcelona, Spain, du 23/10/2013 au 25/10/2013). In: Proceedings of the 2013 ACM SIGCOMM conference on Internet measurement conference, 2013. 978-1-4503-2056-6 . doi:10.1145/2486001.2494259.
2013
Pelsser, François ; Schaus, Pierre ; Regin, Jean-Charles. Revisiting the cardinality reasoning for BinPacking constraint. 19th International Conference (Uppsala, Sweden, du 16/09/2013 au 20/09/2013). In: Principles and Practice of Constraint Programming, Lecture Notes in Computer SciencE, 2013. 978-3-642-40626-3, p. 578-586 . doi:10.1007/978-3-642-40627-0_43.
2013
Canini, Marco ; Kuznetsov, Petr ; Levin, Dan ; Schmid, Stefan. Software Transactional Networking: Concurrent and Consistent Policy Composition. HotSDN '13 (Hong Kong, du 16/08/2013 au 16/08/2013). In: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, 2013. 978-1-4503-2178-5. doi:10.1145/2491185.2491200.
2013
Bui, Quoc Trung ; Pham, Quang Dung ; Deville, Yves. Solving the agricultural land allocation problem by constraint-based local search. 19th International Conference, CP 2013 (Uppsala, Sweden,, du 16/09/2013 au 20/09/2013). In: Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, 2013. 978-3-642-40627-0, p. 749-757. doi:10.1007/978-3-642-40627-0_55.
2013
le Clément de Saint-Marcq, Vianney ; Schaus, Pierre ; Solnon, Christine ; Lecoutre, Christophe. Sparse-sets for domain implementation. The 19th International Conference on Principles and Practice of Constraint Programming (Uppsala, Sweden, du 16/09/2013 au 20/09/2013).
2013
Piette, Eric ; Morge, Maxime. Swing++ : méthode multi-agents pour la résolution du problème des mariages stables. Modèles Formels de l'Interaction (Lille, du 01/07/2013 au 05/07/2013) (Accepté/Sous presse).
2013
Canini, Marco ; Kostic, Dejan. Systematic software testing meets networking. Open Networking Summit 2013 (Santa Clara,USA, du 15/04/2013 au 17/04/2013).
2013
Guns, Tias ; Dries, Anton ; Tack, Guido ; Nijssen, Siegfried ; De Raedt, Luc. The MiningZinc framework for constraint-based itemset mining. The 13th International Conference on Data Mining, Demo Track (TX, USA). In: Demo track of the 13th IEEE International Conference on Data Mining, ICDM 2013, 2013. 978-0-7695-5109-8. doi:10.1109/ICDMW.2013.38.
2013
Gutierrez Sabogal, Gustavo Adolfo ; Barco, Andres Felipe ; Villanueva, Miguel Angel ; Cardona, Alejandro ; Montenegro, Daniel ; Miller, Sebastián ; Diaz, Juan Francisco ; Rueda, Camilo ; Van Roy, Peter. The Mozart constraint subsystem : system presentation. Workshop on Techniques for Implementing Constraint Programming Systems (Uppsala, Sweden, du 16/09/2013 au 20/09/2013).
2013
Hartert, Renaud ; Schaus, Pierre. The bi-objective pareto constraint. CP 2013 Doctoral Program.
2013
Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel. Transformation operators for easier engineering of medical process models. 5th ICSE Workshop on Software Engineering in Health Care (San Francisco, California, du 20/05/2013 au 21/05/2013). In: Proceedings of the 5th ICSE Workshop on Software Engineering in Health Care, ACM-IEEE, 2013, p. 1-7. doi:10.1109/SEHC.2013.6602476.
2013
Renard, Emilie ; Dupont, Pierre ; Verleysen, Michel. User control for adjusting conflicting objectives in parameter-dependent visualization of data. Workshop on Visual Analytics using Multidimensional Projections (EuroVis 2013) (Leipzig (Germany), du 17/06/2013 au 21/06/2013). In: , 2013.
2013
Chiesa, Marco ; Cittadini, Luca ; Di Battista, Giuseppe ; Vanbever, Laurent ; Vissicchio, Stefano. Using routers to build logic circuits : How powerful is BGP ?. 21st IEEE International Conference on Network Protocols (ICNP) (Gottingen, German, du 07/10/2013 au 11/10/2013). In: Proceedings of ICNP 2013, 2013. 978-1-4799-1270-4. doi:10.1109/ICNP.2013.6733584.
2013
Schaus, Pierre. Variable objective large neighborhood search: a practical approach to solve over-constrained problems. IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - 2013 (Washington DC, USA, du 04/11/2013 au 06/11/2013). doi:10.1109/ICTAI.2013.147.
2013
Vanbever, Laurent ; Vissicchio, Stefano ; Cittadini, Luca ; Bonaventure, Olivier. When the Cure is Worse than the Disease: the Impact of Graceful IGP Operations on BGP. 32nd IEEE International Conference on Computer Communications (IEEE INFOCOM 2013) (Turin, Italy, du 14/04/2013 au 19/04/2013). In: Proceedings of INFOCOM 2013, 2013. 978-1-4673-5944-3. doi:10.1109/INFCOM.2013.6567025.
2012
Canini, Marco ; Venzano, Daniele ; Peresini, Peter ; Kostic, Dejan ; Rexford, Jennifer. A NICE Way to Test OpenFlow Applications. NSDI '12 (San Jose, USA, du 25/04/2012 au 27/04/2012). In: Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, 2012. 1-931971-96-X, 10.
2012
Kuzniar, Maciej ; Peresini, Peter ; Canini, Marco ; Venzano, Daniele ; Kostic, Dejan. A SOFT Way for OpenFlow Switch Interoperability Testing. CoNEXT '12 (Nice, France, du 10/12/2012 au 13/12/2012). In: Proceedings of the 8th International Conference on Emerging Networking Experiments and Technologies, 2012. 9781450317757.
2012
Saucez, Damien ; Kim, Juhoon ; Bonaventure, Olivier ; Filsfils, Clarence . A local approach to fast failure recovery of LISP ingress tunnel routers. International IFIP TC 6 Networking conference (Prague, Czech Republic, du 21/05/2012 au 25/05/2012). In: Networking 2012 (Lecture notes in computer sciences; 7289), Springer, 2012. 978-3-642-30044-8, p. 397–408. doi:10.1007/978-3-642-30045-5_30.
2012
Van Cauwelaert, Sascha ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter. A new approach for constraint programming in music using relation domains. International computer music conference, ICMC (Ljubljana, Slovenia, du 09/09/2012 au 15/09/2012).
2012
Avoine, Gildas ; Coisel, Iwen ; Martin, Tania. A privacy-restoring mechanism for offline RFID systems. the fifth ACM conference on Security and Privacy in Wireless and Mobile Networks (Tucson, Arizona, USA, du 16/04/2012 au 18/04/2012). In: Proceedings of the fifth ACM conference on Security and Privacy in Wireless and Mobile Networks, ACM: New York, NY, USA, 2012. 978-1-4503-1265-3, p. 63-74. doi:10.1145/2185448.2185458.
2012
Cailliau, Antoine ; van Lamsweerde, Axel. A probabilistic framework for goal-oriented risk analysis. 20th IEEE International Requirements Engineering Conference (RE) (Chicago, IL, USA, du 24/09/2012 au 28/09/2012). In: Proceeding of the 20th International Requirements Engineering Conference, IEEE: Piscataway, NJ, 2012. 978-1-4673-2783-1, p. 201-210. doi:10.1109/RE.2012.6345805.
2012
Kolp, Manuel ; Tran, Thi Ai Vi. Agent-Based User Interface Generation from Combined Task, Context and Domain Models: the DB-USE Approach. 2nd workshop on Activity Context Representation Techniques and Languages at AAAI'12 (Toronto, Canada, 23/7/2012).
2012
Wautelet, Yves ; Heng, Samedi ; Kolp, Manuel. An ontological basis for resource representation. 27th ACM Symposium on Applied Computing (Riva, Trento, Italy, du 26/03/2012 au 30/03/2012). In: Proc. of the 27th ACM Symposium on Applied Computing (SAC 2012), 2012. 978-1-4503-0857-1, p. 765-776. doi:10.1145/2245276.2245422.
2012
Mairy, Jean-Baptiste ; Van Hentenryck, Pascal ; Deville, Yves. An optimal filtering algorithm for table constraints. International Conference on Principles and Practice of Constraint Programming (Québec City, Canada, du 08/10/2012 au 12/10/2012). doi:10.1007/978-3-642-33558-7_37 (Soumis).
2012
Blome, Constantin ; Bode, Christoph ; Sommer, Félix. Antecedents of supplier innovation: The impact of desorptive capacity. Decision Sciences Institute Annual Meeting 2012 (San Francisco, du 17/11/2012 au 20/11/2012).
2012
Blome, Constantin ; Bode, Christoph ; Sommer, Félix. Antecedents of supplier innovation: The impact of desorptive capacity. 3rd Annual Conference of the European Decision Sciences Institute (Istanbul, du 24/06/2012 au 27/06/2012).
2012
Lozano Rodriguez, Angela ; Kellens, Andy ; Mens, Kim. Automated assessment of correctness of recommendation systems. Third International Workshop on Recommendation Systems for Software Engineering (Zurich, Switzerland, du 04/06/2012 au 04/06/2012). In: Proceedings of the 3rd International Workshop on Recommendation Systems for Software Engineering, IEEE Press, 2012. 978-1-4673-1758-0, 52-53. doi:10.1109/RSSE.2012.6233410. doi:10.1109/RSSE.2012.6233410.
2012
le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine ; Champin, Pierre-Antoine. Castor: a constraint-based SPARQL engine with active filter processing. Extended Semantic Web Conference (Heraklion, Crete, GR, du 27/05/2011 au 31/05/2011).
2012
Plumat, Jim ; Baillet, Dorothée ; Pollet, Marie-Christine ; Slosse, Pauline ; Cobut, Bernard ; Vanden Eynde, Céline ; Duchateau, Dominique ; Lanotte, Anne-France ; Delcomminette, Séverine ; Houart, Mireille ; Ntamashimikiro, Sandrine ; Poncin, Chantal ; Oger, Laurence. Comment favoriser la présence et la participation active des étudiants aux dispositifs d'aide à la réussite. AIPU 2012 (Trois-rivières, Canada, du 14/05/2012 au 18/05/2012).
2012
Chiesa, Marco ; Di Battista, Giuseppe ; Erlebach, Thomas ; Patrignani, Maurizio. Computational complexity of traffic hijacking under BGP and S-BGP. International Colloquium on Automata, Languages, and Programming, ICALP 2012;. In: , 2012. 978-364231584-8.
2012
Cardozo Alvarez, Nicolas ; Vallejos, Jorge ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; D'Hondt, Theo. Context petri nets : enabling consistent composition of context-dependent behavior. PNSE'12 (Hamburg, Germany, du 25/06/2012 au 26/06/2012). In: International Workshop on Petri Nets and Software Engineering, Vol. 851 , p. 155 - 169 (2012). In: , CEUR-WS: Hamburg, Germany, 2012.
2012
Truyen, Eddy ; Cardozo Alvarez, Nicolas ; Walravens, Stefan ; Vallejos, Jorge ; Bainomugisha, Engineer ; Günther, Sebastian ; D’Hondt, Theo ; Joosen, Wouter. Context-oriented programming for customizable SaaS applications. 27th Symposium On Applied Computing (Trento, Italy, du 26/03/2012 au 30/03/2012). In: Symposium On Applied Computing, Cloud Computing track, , p. 1-8 (2012). doi:10.1145/2245276.2245358.
2012
Lombard, Catherine ; André, Floriane ; Wanty, Catherine ; Paul, Jérôme ; Dupont, Pierre ; Sokal, Etienne ; Smets, Françoise. Differences in the cytokine profiles of cord blood mononuclear cells from allergic and non-allergic infants. ESPGHAN 2012 (München Bryggeriet (Munchen Brewery) in Stockholm, du 27/04/2012 au 28/04/2012).
2012
Castro Mejia, Sergio ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; Denker, Marcus. DynamicSchema: A Lightweight Persistency Framework for Context-Oriented Data Management. European Conference on Object-Oriented Programming (Beijing, China, du 11/06/2012 au 16/06/2012). In: Proceedings of the International Workshop on Context-Oriented Programming, 2012. 978-1-4503-1276-9, p. 1-6. doi:10.1145/2307436.2307441.
2012
Mampaey, Michael ; Nijssen, Siegfried ; Feelders, Ad ; Knobbe, Arno. Efficient algorithms for finding richer subgroup descriptions in numeric and nominal data. The 12th IEEE International Conference on Data Mining (Brussels, Belgium). In: ICDM'12 Proceedings the 12th IEEE International Conference on Data Mining, 2012. 978-1-4673-4649-8, p. 499-508. doi:10.1109/ICDM.2012.117.
2012
Paasch, Christoph ; Detal, Gregory ; Duchêne, Fabien ; Raiciu, Costin ; Bonaventure, Olivier. Exploring mobile/WiFi handover with multipath TCP. CellNet '12 (Helsinki, Finland, du 13/08/2012 au 17/08/2012). In: Proceedings of the 2012 ACM SIGCOMM workshop on Cellular networks: operations, challenges, and future design, ACM: New York,USA, 2012. 978-1-4503-1475-6, p. 31-36. doi:10.1145/2342468.2342476.
2012
Alrajeh, Dalal ; Kramer, Jeff ; van Lamsweerde, Axel ; Russo, Alessandra ; Uchitel, Sebastian. Generating obstacle conditions for requirements completeness. International Conference on Software Engineering (Zurich, Switzerland, du 09/06/2012 au 12/06/2012). In: Proceedings of the 34th International Conference on Software Engineering, IEEE Press: Piscataway, NJ, USA, 2012, 705-715. doi:10.1109/ICSE.2012.6227147.
2012
Raiciu, Costin ; Paasch, Christoph ; Barré, Sébastien ; Ford, Alan ; Honda, Michio ; Duchêne, Fabien ; Bonaventure, Olivier ; Handley, Mark . How hard can it be? Designing and implementing a deployable multipath TCP. USENIX Symposium on Networked Systems Design and Implementation (San José, USA, du 25/04/2012 au 27/04/2012).
2012
Melchior, Jérémie ; Mejias, Boris ; Jaradin, Yves ; Van Roy, Peter ; Vanderdonckt, Jean. Improving DUIs with a decentralized approach with transactions and feedbacks. 2nd Workshop on Distributed User Interfaces: Collaboration and Usability (Austin, TX,, du 05/05/2012 au 06/05/2012). In: Distributed User Interfaces: Usability and Collaboration (Human–Computer Interaction Series), Springer, 2012. 978-1-4471-5498-3, p. 17-25. doi:10.1007/978-1-4471-5499-0_2.
2012
Vespier, Ugo ; Knobbe, Arno ; Nijssen, Siegfried ; Vanschoren, Joaquin. MDL-based analysis of time series at multiple time-scales. Machine Learning and Knowledge Discovery in Databases, European Conference (Bristol, UK). In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2012, Proceedings, Part II (Lecture Notes in Computer Science; 7524), 2012. 978-3-642-33485-6, p. 371-386.
2012
Le Van, Thanh ; Fierro, Ana Carolina ; Guns, Tias ; van Leeuwen, Matthijs ; Nijssen, Siegfried ; De Raedt, Luc ; Marchal, Kathleen. Mining local staircase patterns in noisy data. International workshop on Co-Clustering and Applications (Brussels, Belgium). In: Co-Clustering and Applications, Workshop at the 12th IEEE International Conference on Data Mining, ICDM 2012, 2012. 978-1-4673-5164-5.
2012
Dries, Anton ; Nijssen, Siegfried. Mining patterns in networks using homomorphism. SIAM International Conference on Data Mining (Anaheim, California). In: Proceedings of the SIAM International Conference on Data Mining, SDM 2012, 2012. 978-1-61197-232-0, p. 260-271.
2012
Melchior, Jérémie ; Vanderdonckt, Jean ; Van Roy, Peter. Modelling and developing distributed user interfaces based on distribution graph. Sixth International Conference on Research Challenges in Information Science (Valencia, Spain, du 16/05/2012 au 18/05/2012). In: Research Challenges in Information Science (RCIS), 2012 Sixth International Conference on, 2012. 978-1-4577-1937-0. doi:10.1109/RCIS.2012.6240450.
2012
Debongnie, Gery ; Collet, Raphaël ; Doeraene, Sébastien ; Van Roy, Peter. Modular fault handling in a network-transparent programming language. 5th International Workshop on Exception Handling (WEH 12), , June 9, 2012. (Zurich, Switzerland, du 02/06/2012 au 09/06/2012). doi:10.1109/WEH.2012.6226592.
2012
Kuzniar, Maciej ; Canini, Marco ; Kostic, Dejan. OFTEN Testing OpenFlow Networks. EWSDN '12 (Darmstadt, Germany, du 25/10/2012 au 26/10/2012). In: Proceedings of the 2012 European Workshop on Software Defined Networking, 2012. 9780769548708. doi:10.1109/EWSDN.2012.21.
2012
Dawans, Sebastien ; Duquennoy , Simon ; Bonaventure, Olivier. On link estimation in dense RPL deployments. 7th IEEE International Workshop on Practical Issues in Building Sensor Network Applications 2012 (Clearwater, Florida, du 22/10/2012 au 25/10/2012). doi:10.1109/LCNW.2012.6424087.
2012
Plumat, Jim ; Poncin, Chantal ; Ducarme, Delphine ; Combéfis, Sébastien. Passer d'un « service d'aide à la réussite» à des « ateliers de formation professionnelle » ou comment passer d'un SAR, une béquille ? - à un AFP, un piolet !. AIPU 2012 (trois-rivières, Canada, du 14/05/2012 au 18/05/2012).
2012
Massen, Florence ; Deville, Yves ; Van Hentenryck, Pascal. Pheromone-based heuristic column generation for vehicle routing problems with black box feasibility. International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012) (Nantes, France, du 28/05/2012 au 01/06/2012). In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Theoretical Computer Science and General Issues; 7298), Springer New York LLC: Berlin, 2012. 978-3-642-29827-1, p. 260-274. doi:10.1007/978-3-642-29828-8_17.
2012
Van Cauwelaert, Sascha ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter. Practical Uses of Constraint Programming in Music using Relation Domains. Korean Electro-Acoustic Music Society's annual conference (Seoul, Korea, du 24/10/2012 au 27/10/2012).
2012
Peroulli, Debbie ; Vissicchio, Stefano. Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models. WRIPE (Austin, Texas, USA, 30/10/2012). In: Proceedings of ICNP 2012, 2012. 978-1-4673-2445-8.
2012
Busard, Simon ; Pecheur, Charles. Rich counter-examples for temporal-epistemic logic model checking. Proceedings Second International Workshop on Interactions, Games and Protocols (IWIGP 2012) (Tallinn, Estonia, du 25/03/2012 au 25/03/2012). In: Electronic Proceedings in Theoretical Computer Science, Vol. 78, p. 39-53 (2012). doi:10.4204/EPTCS.78.4.
2012
Pham, Quang Dung ; Deville, Yves. Solving the longest simple path problem with constraint-based techniques. international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Nantes, France, du 28/05/2012 au 01/06/2012). In: CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, ACM, 2012. 978-3-642-29827-1, p. 292-306. doi:10.1007/978-3-642-29828-8_19. doi:10.1007/978-3-642-29828-8_19.
2012
Paul, Jérôme ; Verleysen, Michel ; Dupont, Pierre. The stability of feature selection and class prediction from ensemble tree classifiers. European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (Bruges (Belgium), du 25/04/2012 au 27/04/2012). In: ESANN 2012 The 20 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning - Proceedings - Bruges, Belgium from 25 to 27 April 2012 ., 2012. 978-2-87419-047-6, 263-268.
2012
Kolp, Manuel. Towards requirements-driven information systems engineering: the Tropos project. BIT Annual World Congress of Emerging InfoTech-2012 (WCEIT-2012) (Dalian, China, du 28/8/2012 au 30/8/2012).
2012
O'Doherty, Daire ; Jouili , Salim ; Van Roy, Peter. Towards trust inference from bipartite social networks. Second ACM SIGMOD Workshop on Databases and Social Networks (DBSocial 2012) (Scottsdale, AZ, USA, du 20/05/2012 au 24/05/2012). In: Proceeding DBSocial '12 Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, 2012. 978-1-4503-1495-4, p. 13-18. doi:10.1145/2304536.2304539.
2012
O'Doherty, Daire ; Jouili , Salim ; Van Roy, Peter. Trust-Based Recommendation: An Empirical Analysis. Sixth ACM Workshop on Social Network Mining and Analysis (SNA-KDD 2012), , Aug. 12, 2012. (Beijing, China, 12/08/2012).
2012
le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine ; Champin, Pierre-Antoine. Un solveur léger efficace pour interroger le Web sémantique. Journées Francophones de Programmation par Contraintes (JFPC 2012) (Toulouse France, du 22/05/2012 au 24/05/2012).
2012
Massen, Florence ; Deville, Yves ; Van Hentenryck, Pascal. Une heuristique de génération de colonnes pour le problème de tournees de vehicules avec faisabilité boite noire, : Extended Abstract. Journées Francophones de Programmation par Contraintes (JFPC 2012) (Toulouse France, du 22/05/2012 au 24/05/2012).
2012
Cardozo Alvarez, Nicolas ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; D'Hont, Théo. Uniting global and local context behavior with context petri nets. European Conference on Object-Oriented Programming (Beijing, China, du 11/06/2012 au 16/06/2012). In: Proceedings of the International Workshop on Context-Oriented Programming, 2012. 978-1-4503-1276-9, p. 1-6. doi:10.1145/2307436.2307439.
2012
Beuvens, Francois ; Vanderdonckt, Jean. UsiGesture: An environment for integrating pen-based interaction in user interface development. Sixth International Conference on Research Challenges in Information Science (RCIS 2012) (Valencia, Spain, du 16/5/2012 au 18/5/2012). In: Proceedings of Sixth International Conference on Research Challenges in Information Science, IEEE Press: Piscataway, NJ, USA, 2012. 978-1-4577-1938-7. doi:10.1109/rcis.2012.6240449.
2012
Haeri, Seyed Hossein ; Schupp, Sibylle ; Hüser, Jonathan. Using Functional Languages to Facilitate C++ Metaprogramming. the 8th ACM SIGPLAN Workshop on Generic Programming (Copenhagen, Denmark, 12/9/2012). In: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming - WGP '12, ACM Press, 2012. 9781450315760. doi:10.1145/2364394.2364400.
2012
Avoine, Gildas ; Carpent, Xavier. Yet Another Ultralightweight Authentication Protocol that is Broken. RFIDSec'12 (Nijmegen, Netherlands, du 01/07/2012 au 03/07/2012). In: Workshop on RFID Security, 2012. doi:10.1007/978-3-642-36140-1_2.
2012
Vissicchio, Stefano ; Cittadini, Luca ; Vanbever, Laurent ; Bonaventure, Olivier. iBGP deceptions: more sessions, fewer routes. Annual IEEE International Conference on Computer Communications (INFOCOM 2012) (Orlando, Florida, USA, du 25/03/2012 au 30/03/2012). In: Proceedings of INFOCOM 2012, 2012. 978-1-4673-0773-4. doi:10.1109/INFCOM.2012.6195595.
2011
Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Mehlitz, Peter. A JavaPathfinder Extension to Analyse Human-Machine Interactions. The Java Pathfinder Workshop 2011 (Oread, Lawrence, Kansas, du 12/11/2011 au 12/11/2011).
2011
Kiv, Sodany ; Wautelet, Yves ; Kolp, Manuel. A Multi-Agent Architectural Pattern for Wrapping Off-the-Shelf Components. 5th KES International Conference, KES-AMSTA 2011 (Manchester, UK, du 29/06/2011 au 01/07/2011). In: Proc. Of the 5th KES International Conference, Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 2011 (Lecture Notes in Computer Science; 6682), Springer, 2011. 978-3-642-21999-3, p. 321-331.
2011
Garcia Diez, Silvia ; Saerens, Marco ; Senelle, Mathieu ; Fouss, François. A Simple-cycles weighted kernel based on harmony structure for similarity retrieval. Proceedings of the 12th International Society for Music Information Retrieval Conference (ISMIR 2011) (Miami, Florida, USA, du 24/10/2011 au 28/10/2011).
2011
Garcia Diez, Silvia ; Vandenbussche, Eric ; Saerens, Marco. A continuous-state version of discrete randomized shortest-paths, with application to path planning. 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 (Orlando, FL, du 12 December 2011 au 15 December 2011). In: 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, 2011, 6570-6577. doi:10.1109/CDC.2011.6160770.
2011
Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Feary, Michael. A formal framework for design and analysis of Human-Machine interaction. International Conference on Systems, Man, and Cybernetics (Anchorage, Alaska, du 09/10/2011 au 12/10/2011). In: IEEE International Conference on Systems, Man, and Cybernetics. Conference Proceedings, Vol. Oct 2011, p. 1801-1808. doi:10.1109/ICSMC.2011.6083933.
2011
Mouthuy, Sébastien ; Deville, Yves ; Van Hentenryck, Pascal. A multi-stage very large-scale neighborhood search for the vehicle routing problem with soft time-windows. 9th Metaheuristics International Conference (MIC 2011) (Udine, Italy, July 2011., du 25/07/2011 au 28/07/2011).
2011
Massen, Florence ; Deville, Yves ; Van Hentenryck, Pascal. A relaxation-guided approach for vehicle routing problems with black box feasibility. Eigth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS2011). A Satellite Workshop of CP 2011 (Italy, du 12/09/2011 au 12/09/2011).
2011
Lesage, Laurent ; Mejias Candia, Boris César ; Lobelle, Marc. A software based approach to eliminate all SEU effects from mission critical programs. RADECS 2011 PROCEEDINGS [SOFTWARE BASED APPROACH TO ELIMINATE ALL SEU EFFECTS ] (Sevilla, Spain, du 19/09/2011 au 23/09/2011). doi:10.1109/RADECS.2011.6131353.
2011
Lozano rodriguez, Angela. An Overview of Techniques for Detecting Software Variability Concepts in Source Code. ER'11 Proceedings of the 30th international conference on conceptual modeling (Brussels, Belgium., du 31/10/2011 au 03/11/2011). In: Lecture Notes in Computer Science, Vol. 6999, p. 141-150 (2011). doi:10.1007/978-3-642-24574-9_19.
2011
le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine. An efficient light solver for querying the semantic web. Principles and Practice of Constraint Programming. 17th International Conference, CP 2011 (Perugia, Italy, du 12/09/2011 au 16/09/2011). In: Lecture Notes in Computer Science, no. 6876, p. 145-159 (2011). doi:10.1007/978-3-642-23786-7_13.
2011
Canini, Marco ; Kostic, Dejan ; Rexford, Jennifer ; Venzano, Daniele. Automating the Testing of OpenFlow Applications. WRiPE '11.
2011
Vander Meulen, José ; Pecheur, Charles. Combining Partial-Order reduction and symbolic model checking to verify LTL properties. NFM’11 Proceedings of the Third international conference on NASA Formal methods (du 18/04/2011 au 20/04/2011). In: NASA formal methods (Lecture notes in computer sciences; 6617), Springer: Berlin, 2011. 978-3-642-20397-8, 405-420. doi:10.1007/978-3-642-20398-5_29.
2011
Nijssen, Siegfried ; Jiménez, Aída ; Guns, Tias. Constraint-based pattern mining in multi-relational databases. Workshop on Declarative Pattern Mining (Vancouver, BC, Canada). In: Declarative Pattern Mining, Workshop at the 11th IEEE International Conference on Data Mining, ICDM 2011, 2011. 978-0-7695-4409-0.
2011
Guns, Tias ; Nijssen, Siegfried ; Zimmermann, Albrecht ; De Raedt, Luc. Declarative heuristic search for pattern set mining. Workshop on Declarative Pattern Mining (Vancouver, BC, Canada). In: Declarative Pattern Mining, Workshop at the 11th IEEE International Conference on Data Mining, ICDM 2011, 2011. 978-0-7695-4409-0.
2011
De Coster, Xavier ; Ghilain, Matthieu ; Mejias, Boris ; Van Roy, Peter. Designing an Elastic and Scalable Social Network Application. Second International Conference on Cloud Computing, GRIDs, and Virtualization (Rome, Italy, du 25/09/2011 au 30/09/2011).
2011
Melchior, Jérémie ; Vanderdonckt, Jean ; Van Roy, Peter. Distribution Primitives for Distributed User Interfaces. Distributed User Interfaces (DUIs) 2011 (vancouvert, du 07/05/2011 au 12/05/2011). In: Human-Computer Interaction Series, p. 23-31 (2011). doi:10.1007/978-1-4471-2271-5_3.
2011
Deville, Yves ; Van Hentenryck, Pascal ; Mairy, Jean-Baptiste. Domaine consistance et valeurs interdites. Journées Francophones de Programmation par Contraintes (JFPC 2011) (Lyon France, June 8-10, 2011. , du 08/06/2010 au 10/06/2010).
2011
Dory, Thibault ; Van Roy, Peter. Elasticity as a criterion for choosing a cloud database. 3rd Cloud Computing International Conference (Porto, Portugal, du 04/11/2011 au 04/11/2011).
2011
Zakharov, Roman ; Dupont, Pierre. Ensemble logistic regression for feature selection. 6th IAPR International Conference on Pattern Recognition in Bioinformatics (Delft, The Netherlands, du 02/11/2011 au 04/11/2011). In: Lecture Notes in Bioinformatics, no. 7036, p. 133-144 (2011). doi:10.1007/978-3-642-24855-9_12.
2011
Guns, Tias ; Nijssen, Siegfried ; De Raedt, Luc. Evaluating Pattern Set Mining Strategies in a Constraint Programming Framework. Knowledge Discovery and Data Mining, 15th Pacific-Asia Conference (Shenzhen, China). In: Advances in Knowledge Discovery and Data Mining, 15th Pacific-Asia Conference, PAKDD 2011, Proceedings, Part II (Lecture Notes in Computer Science; 6635), 2011. 978-3-642-20846-1, p. 382-394. doi:10.1007/978-3-642-20847-8_32.
2011
Zadnik, Martin ; Canini, Marco. Evaluation and Design of Cache Replacement Policies under Flooding Attacks. TRAC '11. In: Proceedings of the 2nd International Workshop on TRaffic Analysis and Classification, 2011. 978-1-4244-9538-2. doi:10.1109/IWCMC.2011.5982726.
2011
Zadnik, Martin ; Canini, Marco. Evolution of Cache Replacement Policies to Track Heavy-hitter Flows. PAM '11. In: Proceedings of the 12th Passive and Active Measurement Conference, 2011. 978-3-642-19259-3. doi:10.1007/978-3-642-19260-9_3.
2011
Focant, Isabelle ; Lobato, Daniel Hernandez ; Ducreux, Julie ; Durez, Patrick ; Nzeusseu Toukap, Adrien ; Elewaut, Dirk ; Houssiau, Frédéric ; Dupont, Pierre ; Lauwerys, Bernard. Feasibility of a molecular diagnosis of arthritis based on the iIdentification of specific transcriptomic profiles in knee synovial biopsies. 75th Annual scientific meeting of the American College of Rheumatology ; 46th Annual scientific meeting of the Association of Rheumatology Health Professionals (Chicago, IL, USA, du 04/11/2011 au 09/11/2011). In: Arthritis & Rheumatism, Vol. 63, no.sppl, p. 751 (2011).
2011
Cardozo Alvarez, Nicolas ; Gunther, Sebastian ; D'Hondt, Theo ; Mens, Kim. Feature-Oriented Programming and Context-Oriented Programming:Comparing Paradigm Characteristics by Example Implementations. International Conference On Software Engineering Advances (ICSEA'11) (Barcelona, Spain, du 04/10/2011 au 04/10/2011). In: Proceedings of the International Conference on Software Engineering Advances, IARIA, 2011, 130-135.
2011
Yabandeh, Maysam ; Anand, Abhishek ; Canini, Marco ; Kostic, Dejan. Finding Almost-Invariants in Distributed Systems. SRDS '11. In: Proceedings of the 2011 IEEE 30th International Symposium on Reliable Distributed Systems, 2011. 978-0-7695-4450-2. doi:10.1109/SRDS.2011.29.
2011
Wautelet, Yves ; Kolp, Manuel. Goal Driven Iterative Software Project Management. 6th International Conference on Software and Data Technologies - ICSOFT 2011 (Seville, Spain, du 18/07/2011 au 21/07/2011). In: Proceedings of the 6th International Conference on Software and Data Technologies, SciTePress, 2011. ISBN 978-989-8425-77-5, p. 44-53.
2011
Avoine, Gildas ; Lauradoux, Cédric ; Martin, Benjamin. How secret-sharing can defeat terrorist fraud. Fourth ACM Conference on Wireless Network Security (Hamburg, Germany, du 14/06/2011 au 17/06/2011). In: Proceedings of the fourth ACM conference on Wireless network security, ACM, 2011. 978-1-4503-0692-8, p. 145-156. doi:10.1145/1998412.1998437.
2011
Vasic, Nedeljko ; Novakovic, Dejan ; Shekhar, Satyam ; Bhurat, Prateek ; Canini, Marco ; Kostic, Dejan. Identifying and Using Energy-Critical Paths. CoNEXT '11. In: Proceedings of the Seventh COnference on emerging Networking EXperiments and Technologies, 2011. 978-1-4503-1041-3. doi:10.1145/2079296.2079314.
2011
Goma, Eduard ; Canini, Marco ; Lopez Toledo, Alberto ; Laoutaris, Nikolaos ; Kostic, Dejan ; Rodriguez, Pablo ; Stanojevic, Rade ; Yague Valentin, Pablo. Insomnia in the access: or how to curb access network related energy consumption. SIGCOMM '11 (TORONTO, CANADA, du 15/08/2011 au 19/08/2011). In: Proceedings of the ACM SIGCOMM 2011 Conference, 2011. 978-1-4503-0797-0. doi:10.1145/2018436.2018475.
2011
Perešíni, Peter ; Canini, Marco. Is your OpenFlow application correct ?. CoNEXT '11 Student (Tokyo, Japan, du 06/12/2011 au 09/12/2011). In: Proceedings of The ACM CoNEXT Student Workshop, ACM, 2011. 978-1-4503-1042-0, p. 1-2.
2011
Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Feary, Michael. Learning system abstractions for human operators. International Workshop on Machine Learning Technologies in Software Engineering (Lawrence, Kansas, du 12/11/2011 au 12/11/2011). In: roceedings of the International Workshop on Machine Learning Technologies in Software Engineering, 2011. 978-1-4503-1022-2, 3-10. doi:10.1145/2070821.2070822.
2011
Chiesa, Marco ; Cittadini, Luca ; Di Battista, Giuseppe ; Vissicchio, Stefano. Local Transit Policies and the Complexity of BGP Stability Testing. IEEE INFOCOM (Shangai, China, du 12/04/2011 au 14/04/2011). In: Proceedings of INFOCOM 2011, I E E E Computer Society, 2011.
2011
Mérindol, Pascal ; Donnet, Benoit ; Pansiot, Jean-Jacques ; Luckie, Matthew ; Hyun, Young . MERLIN: MEasure the Router Level of the INternet . 7th Euro-NF Conference on Next Generation Internet (Kaiserslautern, Germany, du 27/06/2011 au 29/06/2011). In: proceedings of the Conference on Next Generation Internet (NGI 2011), I E E E, 2011. 978-1-4577-0915-9, p. 1-8. doi:10.1109/NGI.2011.5985865.
2011
De Raedt, Luc ; Nijssen, Siegfried. Machine learning and data mining: challenges and opportunities for constraint programming (tutorial). Constraint programming (Perugia, Italy).
2011
Dory, Thibault ; Mejias, Boris ; Van Roy, Peter ; Tran, Nam-Luc . Measuring Elasticity for Cloud Databases. Second International Conference on Cloud Computing, GRIDs, and Virtualization) (Rome, Italy, du 25/09/2011 au 30/09/2011).
2011
Lozano rodriguez, Angela ; Kellens, Andy ; Mens, Kim. Mendel: Source Code Recommendation based on a Genetic Metaphor. ASE '11 Proceedings of the IEEE/ACM international conference on Automated software engineering (Lawrence, Kansas, USA., du 06/11/2011 au 11/11/2011). In: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE '11), IEEE Computer Society: Washington, DC, USA, 2011. 978-1-4577-1638-6, 384--387. doi:10.1109/ASE.2011.6100078.
2011
Vander Meulen, José ; Pecheur, Charles. Milestones: a model checker combining Symbolic model Checking and partial order reduction. NFM'11 Proceedings of the Third international conference on NASA Formal methods (du 18/04/2011 au 20/04/2011). In: NASA formal methods (Lecture notes in computer sciences; 6617), Springer: Berlin, 2011. 978-3-642-20397-8, 525-531. doi:10.1007/978-3-642-20398-5_43.
2011
Ardelius, John ; Mejias, Boris ; Mejias, Boris. Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators. 11th IFIP WG 6.1 International Conference, DAIS 2011 (Reykjavik, Iceland, du 06/06/2011 au 09/06/2011). In: Distributed Applications and Interoperable Systems (Lecture Notes in Computer Science; 6723), Springer, 2011. 978-3-642-21386-1, p. 15-28. doi:10.1007/978-3-642-21387-8_2.
2011
Barré, Sébastien ; Paasch, Christoph ; Bonaventure, Olivier. MultiPath TCP: From Theory to Practice. IFIP Networking (du 09/05/2011 au 13/05/2011). In: NETWORKING 2011, Vol. 6640, no. No object, p. 473 (05/2011). doi:10.1007/978-3-642-20757-0_35.
2011
Angelini, P. ; Bruckdorfer, T. ; Chiesa, Marco ; Frati, F. ; Kaufmann, M. ; Squarcella, C.. On the area requirements of Euclidean minimum spanning trees. WADS (New York, NY, du 15 August 2011 au 17 August 2011). doi:10.1007/978-3-642-22300-6_3.
2011
Canini, Marco. Online testing of federated and heterogeneous distributed systems. SIGCOMM '11 (Toronto, Canada, du 15/08/2011 au 19/08/2011). In: Proceedings of the ACM SIGCOMM 2011 conference, ACM, 2011. 978-1-4503-0797-0, p. 434-435 . doi:10.1145/2018436.2018507.
2011
Van Cauwelaert, Sascha. Programmation par contraintes relationnelles pour l’analyse et la composition musicales. IRCAM (Paris, France, du 04/11/2011 au 04/11/2011).
2011
Mairy, Jean-Baptiste ; Deville, Yves ; Van Hentenryck, Pascal. Reinforced Adaptive Large Neighborhood Search. Eightth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS2011) (Perugia, Italy, du 12/09/2012 au 16/12/2012).
2011
Busard, Simon ; Pecheur, Charles. Rich counter-examples for ACTL model checking. Grascomp's Day (Université Libre de Bruxelles, Brussels, Belgium, du 03/11/2011 au 03/11/2011).
2011
Hernandez-Lobato, Daniel ; Hernandez-Lobato, José Miguel ; Dupont, Pierre. Robust Multi-Class Gaussian process classification. Neural Information Processing Systems conference (NIPS'11) (Granada, Spain, du 13/12/2011 au 15/12/2011).
2011
Cardozo Alvarez, Nicolas ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; D’Hondt, Theo. Safer Context (de)Activation through the Prompt-Loyal Strategy. 3rd International Workshop on Context-Oriented Programming (COP 2011) (Lancaster UK, du 25/07/2011 au 25/07/2011). In: Proceedings of the 3rd International Workshop on Context-Oriented Programming (COP 2011) (ACM Digital Library), ACM, 2011. 978-1-4503-0891-5. doi:10.1145/2068736.2068738.
2011
Vanbever, Laurent ; Vissicchio, Stefano ; Pelsser, Cristel ; François, Pierre ; Bonaventure, Olivier. Seamless Network-Wide IGP Migrations. ACM SIGCOMM (Toronto, Ontario, Canada, du 15/08/2011 au 19/08/2011).
2011
Canini, Marco ; Jovanovic, Vojin ; Venzano, Daniele ; Spasojevic, Boris ; Crameri, Olivier ; Kostic, Dejan. Toward Online Testing of Federated and Heterogeneous Distributed Systems. USENIX ATC '11. In: Proceedings of the 2011 USENIX Annual Technical Conference (USENIX ATC ’11), 2011.
2011
HO, Trong Viet ; Deville, Yves ; Bonaventure, Olivier ; François, Pierre. Traffic engineering for multiple spanning tree protocol in large data centers. 23rd International Teletraffic Congress (ITC 2011) (San Francisco, USA, du 06/09/2011 au 09/09/2011).
2011
Reinhartz-Berger, Iris ; Sturm, Arnon ; Mens, Kim. Variability@ER’11 - Workshop on Software Variability. ER 2011 Workshops - Advances in Conceptual Modeling : Recent Developments and New Directions (Brussels, Belgium, du 31/10/2011 au 03/11/2011). In: Lecture Notes in Computer Science, Vol. 6999, p. 118 (2011). In: ER 2011 Workshops – Advances in Conceptual Modeling: Recent Developments and New Directions (Lecture Notes in Computer Science; 5475), Springer: (Germany) Berlin Heidelberg, 2011. 978-3-642-24573-2, 118-160.
2011
Renkens, Joris ; Van den Broeck, Guy ; Nijssen, Siegfried. k-Optimal: a novel approximate inference algorithm for ProbLog. The 21th Conference on Inductive Logic Programming (Windsor Great Park, UK). In: Inductive Logic Programming - 21st International Conference, ILP 2011, Revised Selected Papers (Lecture Notes in Computer Science; 7207), 2011. 10.1007/978-3-642-31951-8_7, p. 33-38.
2010
Kiv, Sodany ; Wautelet, Yves ; Kolp, Manuel. A Process for Cots-selection and Mismatches Handling - A Goal-driven Approach. ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence (Valencia, Spain, du 22/01/2010au 24/01/2010). In: ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Vol. 1, no. 1, p. 98-106 (Janvier 2010).
2010
Dhamdhere, Amogh ; Dovrolis, Constantine ; François, Pierre. A Value-based framework for internet peering agreements. From the proceedings of the 22nd International Teletraffic Congress (ITC 22) (Amsterdam, Netherlands, du 07/09/2010 au 09/09/2010).
2010
Marulanda Serna, Maria Liliana ; Lobelle, Marc ; Frenay, Mariane. A constructivist approach for course design using learning objects and animated agents. Proceedings of the IADIS International Conference on Intelligent Systems and Agents (Freiburg, Germany, du 28/07/2010 au 31/07/2010). In: Proceedings of the IADIS International Conference on Intelligent Systems and Agents, iadis, 2010. 978-972-8939-23-6, p. 1-5.
2010
Walkinshaw, Neil ; Bogdanov, Kirill ; Damas, Christophe ; Lambeau, Bernard ; Dupont, Pierre. A framework for the competitive evaluation of model inference techniques. 1st International workshop on Model Inference In Testing (Trento, Italy, du 12/07/2010 au 17/07/2010). In: Proceedings of the First International Workshop on Model Inference In Testing, ACM: New York, USA, 2010. 978-1-4503-0147-3, p. 1-9. doi:10.1145/1868044.1868045.
2010
Dries, Anton ; Nijssen, Siegfried. Analyzing graph databases by aggregate queries. The 8th Workshop on Mining and Learning with Graphs (Washington DC, USA). In: MLG'10 Proceedings of the 8th Workshop on Mining and Learning with Graphs, 2010. 978-1-4503-0214-2. doi:10.1145/1830252.1830258.
2010
Vissicchio, Stefano. Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages. INM/WREN (San Jose, CA, USA, du 28/04/2010 au 30/04/2010). In: Proceedings of INM/WREN 2010, 2010.
2010
Guns, Tias ; Sun, Hong ; Marchal, Kathleen ; Nijssen, Siegfried. Cis-regulatory module detection using constraint programming. 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) (Hong Kong, China). In: 2010 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2010, I E E E, 2010. 978-1-4244-8306-8. doi:10.1109/BIBM.2010.5706592.
2010
Dupuis, Julien ; Schaus, Pierre ; Deville, Yves. Consistency Check for the Bin Packing Constraint Revisited. Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010 (Bologna, Italy, 14-18 June 2010). In: Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010, Springer, 2010. 978-3-642-13519-4, p. 117-122. doi:10.1007/978-3-642-13520-0_15.
2010
De Raedt, Luc ; Guns, Tias ; Nijssen, Siegfried. Constraint programming for data mining and machine learning. The 24th AAAI Conference on Artificial Intelligence (Atlanta, Georgia, USA). In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, 2010.
2010
Pham, Quang Dung ; Deville, Yves ; Van Hentenryck, Pascal. Constraint-based Local Search for Constrained Optimum Paths Problems. Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010 (Bologna, Italy, 14-18 June 2010). In: Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010, Springer, 2010. 978-3-642-13519-4, p. 234-248.
2010
Pham, Quang Dung ; Deville, Yves ; Do, Phan-Thuan ; Ho, Tuong Vinh. Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem. Proceedings of the 2010 Symposium on Information and Communication Technology (Hanoi, Viet nam, du 27/08/2010 au 28/08/2010). In: Proceedings of the 2010 Symposium on Information and Communication Technology, 2010. 978-1-4503-0105-3, p. 1-8.
2010
Raiciu, Costin ; Pluntke, Christopher ; Barré, Sébastien ; Greenhalgh, Adam ; Wischik, Damon ; Handley, Mark. Data Center Networking with multipath TCP. Ninth ACM workshop on hot topics in networks (HotNets-IX) (Monterey, California, US, du 20/10/2010 au 21/10/2010). In: Proceedings of the Ninth ACM SIGCOMM Workshop on Hot Topics in Networks, ACM, 2010. 978-1-4503-0409-2, p. 1-6.
2010
Cittadini, Luca ; Vissicchio, Stefano ; Di Battista, Giuseppe. Doing Don’ts: Modifying BGP Attributes within an Autonomous System. IEEE/IFIP Network Operations and Management Symposium (Osaka, Japan, du 19/04/2012 au 23/04/2010). In: Proceedings of NOMS 2010, 2010.
2010
Deville, Yves ; Van Hentenryck, Pascal. Domain consistency with forbidden values. 16th International Conference on Principles and Practice of Constraint Programming (CP 2010) (St Andrew, du 6/9/2010 au 10/9/2010).
2010
Zadnik, Martin ; Canini, Marco . Evolution of cache replacement policies to track heavy-hitter flows. (ANCS), 2010 (La Jolla, CA, du 25/10/2010 au 26/10/2010). In: Symposium on Architectures for Networking and Communications Systems, I.E.E.E., 2010. 978-1-4244-9127-8 , p. 1-2.
2010
Pansiot, Jean-Jaques ; Donnet, Benoit ; Mérindol, Pascal ; Bonaventure, Olivier. Extracting Intra-domain Topology from mrinfo Probing. Passive and Active Measurement. 11th International Conference, PAM 2010 (Zurich, Switzerland, 7-9 April 2010). In: Passive and Active Measurement. 11th International Conference, PAM 2010, Springer, 2010. 978-3-642-12333-7, p. 81-90. doi:10.1007/978-3-642-12334-4_9.
2010
Canini, Marco ; Novakovic, Dejan ; Jovanovic, Vojin ; Kostic, Dejan. Fault Prediction in Distributed Systems Gone Wild. LADIS '10. In: Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010. 978-1-4503-0406-1. doi:10.1145/1859184.1859187.
2010
Tran, Thi Ai Vi ; Vanderdonckt, Jean ; Kolp, Manuel ; Wautelet, Yves. Generating User Interface for Information Applications from Task, Domain and User models with DB-USE. 1st International Workshop on USer Interface eXtensible Markup Language UsiXML'2010 (Berlin, Germany, du 20/06/2010 au 20/06/2010). In: Proceedings of the 1st International Workshop on USer Interface eXtensible Markup Language, 2010. 978-2-9536757-0-2, p. 183-195.
2010
Mairy, Jean-Baptiste ; Schaus, Pierre ; Deville, Yves. Generic adaptive heuristics for large neighborhood search. International conference on principles and practice of constraint programming (St Andrews, Scotland, du 06/09/2010 au 10/09/2010).
2010
Hoang, Thi Thuy Hang ; Kolp, Manuel. Goal, Soft-goal and Quality Requirement. ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems (Funchal, Madeira, Portugal, du 08/06/2010au 12/06/2010). In: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Vol. 3, no. 1, p. 13-22 (Juin 2010).
2010
Nijssen, Siegfried ; Guns, Tias. Integrating constraint programming and itemset mining. Machine Learning and Knowledge Discovery in Databases, European Conference (Barcelona, Spain). In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2010, Proceedings (Lecture Notes in Computer Science; 6322), 2010. 978-3-642-15882-7, p. 467-482. doi:10.1007/978-3-642-15883-4.
2010
Mejias Candia, Boris César ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter ; Thomson, John ; Trezentos, Paulo. Lock-Free Decentralized Storage for Transactional Upgrade Rollback. 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (Larissa, Greece, du 28/06/2010 au 30/06/2010). In: 2010 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, I E E E, 2010. 978-0-7695-4063-4.
2010
Lozano rodriguez, Angela ; Kellens, Andy ; Mens, Kim ; Arevalo, Gabriela. MEntoR: Mining Entities to Rules. 9th BElgian-NEtherlands EVOLution Workshop (BENEVOL) (Lille, France, du 26/10/2010 au 26/10/2010).
2010
Lozano rodriguez, Angela ; Kellens, Andy ; Mens, Kim ; Arevalo, Gabriela. Mining source code for structural regularities. The Working Conference on Reverse Engineering (WCRE) (Boston, du 13/10/2010 au 16/10/2010). In: 17th Working Conference on Reverse Engineering (WCRE) (WCRE '10), IEEE Computer Society: Washington, DC, USA, 2010. 978-0-7695-4123-5, p. 22-31. doi:10.1109/WCRE.2010.12.
2010
van Lamsweerde, Axel. Model engineering for model-driven engineering. The ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Berlin, Germany, du 19/06/2010 au 23/06/2010). In: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, ACM, 2010. 978-1-4503-0083-4, p. 211.
2010
van Lamsweerde, Axel. Model engineering for model-driven engineering. International Conference on Automated Software Engineering (ASE’2010) (Antwerpen, du 20/09/2010 au 24/09/2010).
2010
Mérindol, Pascal ; Donnet, Benoit ; Bonaventure, Olivier ; Pansiot, Jean-Jacques. On the impact of Layer-2 on node degree distribution. Internet measurement conference 2010 (Melbourne, Australia, November 1-3, 2010). In: IMC '10 Proceedings of the 10th annual conference on Internet measurement, ACM, 2010. 978-1-4503-0483-2, p. 179-191.
2010
Vallejos, Jorge ; Gonzalez Montesinos, Sebastian Andres ; Costanza, Pascal ; De Meuter, Wolfgang ; D'Hondt, Theo ; Mens, Kim. Predicated generic functions: enabling context-dependent method dispatch. Interational Conference on software composition 2010 (Malaga, Spain, du 01/07/2010 au 02/07/2010). In: Proceedings of the 9th international conference on Software composition (Lecture Notes in Computer Science; 6144), Springer Verlag: Heidelberg, 2010. 978-3-642-14045-7, 66-81. doi:10.1007/978-3-642-14046-4_5.
2010
Faust, Karoline ; Croes, Didier ; Dupont, Pierre ; Van Helden, Jacques. Predicting metabolic pathways from bacterial operons and regulons. European Conference on Computational Biology (ECCB10) (Ghent, Belgium, du 26/09/2010 au 29/09/2010).
2010
Schaus, Pierre ; Van Hentenryck, Pascal ; Zanarini, Alessandro. Revisiting the soft global cardinality constraint. 7th International Conference, CPAIOR 2010 (Bologna, Italy, du 14/06/2010 au 18/06/2010). In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Lecture Notes in Computer Science, 2010. 978-3-642-13519-4, p. 307-312 . doi:10.1007/978-3-642-13520-0_33.
2010
Wautelet, Yves ; Kiv, Sodany ; Kolp, Manuel. Round Tripping in Component Based Software Development. . 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), (Toronto, Canada, du 30/08/2010au 03/09/2010). In: 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT),, Vol. 1, no. 1, p. 261 - 264 (Septembre 2010).
2010
Schaus, Pierre ; Van Hentenryck, Pascal ; Monette, Jean-Noël ; Coffrin, Carleton ; Michel, Laurent ; Deville, Yves. Solving steel mill slab problems with constraint-based techniques: CP, LNS, and CBLS. n/a (n/a, du 12/09/2011 au 12/09/2011). In: Constraints : an international journal, Vol. 16, no. 2, p. 125-147 (2011). doi:10.1007/s10601-010-9100-5.
2010
Wautelet, Yves ; Kiv, Sodany ; Tran, Thi Ai Vi ; Kolp, Manuel. Strategic Reasoning in Software Development. ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems (Funchal, Madeira, Portugal, du 08/06/2010au 12/06/2010). In: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Vol. 3, no. 1, p. 215-220 (Juin 2010).
2010
Avoine, Gildas ; Carpent, Xavier ; Martin, Benjamin. Strong authentication and strong integrity (SASI) is not that strong. 6th international conference on Radio frequency identification: security and privacy issues (Istanbul, Turkey, du 08/06/2010 au 09/06/2010). In: Proceedings of the 6th international conference on Radio frequency identification: security and privacy issues , ACM, 2010. 3-642-16821-3, p. 50-64.
2010
Gonzalez Montesinos, Sebastian Andres ; Cardozo Alvarez, Nicolas ; Mens, Kim ; Cadiz Rodriguez, Alfredo Jaime ; Libbrecht , Jean-Christophe ; Goffaux, Julien. Subjective-C : Bringing Context to Mobile Platform Programming. International software language engineering conference (Eindhoven, The Netherlands, du 10/10/2010 au 10/10/2010). In: Proceedings of the Third international conference on Software language engineering (Lecture Notes in Computer Science; 6563), Springer Verlag: Heidelberg, 2010. 978-3-642-19439-9, 246-265. doi:10.1007/978-3-642-19440-5_15.
2010
Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. Testing Planning Domains (without Model Checkers). Third Workshop on Model-Based Testing (Braga, Portugal , du 31/03/2010 au 01/04/2010). In: Proceedings of the third workshop on model-based testing, 2010.
2010
Rasua, Rolando Trujillo ; Martin, Benjamin ; Avoine, Gildas. The Poulidor distance-bounding protocol. Workshop on RFID security 2010 (Istanbul, Turkey, du 07/06/2010 au 09/06/2010). In: Proceedings of the 6th international conference on Radio frequency identification: security and privacy issues , 2010. 3-642-16821-3.
2010
Avoine, Gildas ; Coisel, Iwen ; Martin, Tania. Time Measurement threatens privacy-friendly RFID authentication protocols. Workshop on RFID security 2010 (Istanbul, Turkey, 7-9 June 2010). In: RFIDSec'10 Proceedings of the 6th international conference on Radio frequency identification: security and privacy issues , 2010. 3-642-16821-3.
2010
Lozano rodriguez, Angela ; Wermelinger, Michel. Tracking clones’ imprint. 4th Int'l Workshop on Software Clones (Cape Town, South Africa, du 08/05/2010 au 08/05/2010). In: IWSC '10 Proceedings of the 4th International Workshop on Software Clones, 2010. 978-1-60558-980-0.
2010
Avoine, Gildas ; Martin, Benjamin ; Martin, Tania. Tree-Based RFID authentication protocols are definitively not privacy-friendly. 6th international conference on Radio frequency identification: security and privacy issues, Istanbul, Turkey (Istanbul (Turkey), du 08/06/2010 au 09/06/2010). In: Proceedings of the 6th international conference on Radio frequency identification: security and privacy issues, 2010. 3-642-16821-3.
2010
Using Special Use Cases for Security in the SoftwareDevelopment Life Cycle. Workshop on Information Security Application - WISA 2010 (South Corea). In: Information Security Applications, collab. Kabasele Tenday, Jean-Marie, Y. Chung and M. Yung (Eds.) (LNCS 6513), Springer-Verlag Berlin Heidelberg, 2010. 978-3-642-17954-9, pp. 122–134. doi:10.1007/978-3-642-17955-6_9.
2010
Tran, Thi Ai Vi ; Kolp, Manuel ; Vanderdonckt, Jean ; Wautelet, Yves. Using Task and Data Models for user Interface Declarative Generation. ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems (Funchal, Madeira, Portugal, du 08/06/2010au 12/06/2010). In: ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Vol. 5, no. 1, p. 155-160 (Juin 2010). doi:10.5220/0002901501550160.
2010
Ho, Trong Viêt ; François, Pierre ; Deville, Yves ; Dung, Pham Quang ; Bonaventure, Olivier. Using local search for traffic engineering in switched ethernet networks. International teletraffic congress (ITC 22) (Amsterdam, du 07/09/2010 au 09/09/2010). In: Proceedings of ITC, 2010. 978-90-6164-284-8, p. 1-8.
2010
Touleimat, Nizar ; Hernández-Lobato, Daniel ; Dupont, Pierre. Variance estimators for t-Test ranking influence the stability and predictive performance of microarray gene signatures. European Conference on Computational Biology (ECCB10) (Ghent, Belgium, September 26-29, 2010., du 26/09/2010 au 29/09/2010).
2010
Dupuis, Julien ; Schaus, Pierre ; Deville, Yves. Vérification de consistence pour la constrainte de bin packing. Sixièmes journées Francophones de programmation par contraintes (JFPC 2010) (Caen, France, du 09/06/2010 au 11/06/2010).
2009
Wautelet, Yves ; Achbany, Youssef ; Lange, Jean-Charles ; Kolp, Manuel. A Process for Developing Adaptable and Open Service Systems: Application in Supply Chain Management. Enterprise Information Systems, 11th International Conference, ICEIS 2009 (Milan, Italy, du 06/05/2009au 10/05/2009). In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings. Lecture Notes in Business Information Processing 24 Springer 2009, Vol. 24, no. 1, p. 564-576 (Mai 2009).
2009
Wautelet, Yves ; Achbany, Youssef ; Kiv, Sodany ; Kolp, Manuel. A Service-Oriented Framework for Component-Based Software Development: An i* Driven Approach. Enterprise Information Systems, 11th International Conference, ICEIS 2009 (Milan, Italy, du 06/05/2009au 10/05/2009). In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings. Lecture Notes in Business Information Processing 24 Springer 2009, Vol. 24, no. 1, p. 551-563 (Mai 2009).
2009
Melchior, Jérémie ; Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. A Toolkit for Peer-to-Peer Distributed User Interfaces: Concepts, Implementation, and Applications. 1st ACM SIGCHI symposium on Engineering interactive computing systems EICS'2009 (Pittsburgh, du 15/7/2009 au 17/7/2009). In: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems EICS'2009, ACM Press: New York, 2009. 978-1-60558-600-7, p. 69-78. doi:10.1145/1570433.1570449. doi:10.1145/1570433.1570449.
2009
Dries, Anton ; Nijssen, Siegfried ; De Raedt, Luc. A query language for analyzing networks. The 18th ACM conference on Information and knowledge management (Hong Kong, China). In: CIKM '09 Proceedings of the 18th ACM conference on Information and knowledge management, 2009. 978-1-60558-512-3, p. 485-494 . doi:10.1145/1645953.1646016.
2009
Helleputte, Thibault ; Dupont, Pierre. Biomarker selection by transfer learning with linear regularized models. Third International Workshop on Machine Learning in Systems Biology (MLSB) (Ljubljana, Slovenia, du 05/09/2009 au 06/09/2009).
2009
Nijssen, Siegfried ; Guns, Tias ; De Raedt, Luc. Correlated itemset mining in ROC space. The 15th ACM SIGKDD international conference (Paris, France). In: KDD '09 Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining, 2009. 978-1-60558-495-9, p. 647-656. doi:10.1145/1557019.1557092.
2009
Verbeke, Mathias ; Berendt, Bettina ; Nijssen, Siegfried. Data mining, interactive semantic structuring, and collaboration: a diversity-aware method for sense-making in search. International workshop on Living Web (Washington DC, USA). In: Proceedings of the first international workshop on Living Web, 2009, p. 1-8.
2009
Canini, Marco ; Li, Wei ; Zadnik, Martin ; Moore, Andrew W.. Experience with High-Speed Automated Application-Identification for Network-Management. ANCS '09. In: Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2009. 978-1-60558-630-4. doi:10.1145/1882486.1882539.
2009
Canini, Marco ; Li, Wei ; Moore, Andrew W. ; Bolla, Raffaele. GTVS: Boosting the Collection of Application Traffic Ground Truth. TMA '09. In: Proceedings of the First International Workshop on Traffic Monitoring and Analysis, 2009. 978-3-642-01644-8. doi:10.1007/978-3-642-01645-5_7.
2009
Nijssen, Siegfried ; De Raedt, Luc. Grammar mining. SIAM International Conference on Data Mining (Sparks, Nevada). In: Proceedings of the SIAM International Conference on Data Mining, SDM 2009, 2009. 978-0-89871-682-5, p. 1026-1037. doi:10.1137/1.9781611972795.88.
2009
Piater, Justus ; Jodogne, Sébastien ; Detry, Renaud ; Kraft, Dirk ; Krüger, Norbert ; Krömer, Oliver ; Peters, Jan. Learning Visual Representations for Interactive Systems. 14th International Symposium on Robotics Research. In: Springer Tracts in Advanced Robotics : Robotics Research, 2009. 9783642194566, p. 399-416. doi:10.1007/978-3-642-19457-3_24.
2009
Combéfis, Sébastien. Operational model: integrating user tasks and environment information with system model. 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009) (Eindhoven, Netherlands , 02/11/2009). In: Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems, 2009.
2009
Bringmann, Björn ; Nijssen, Siegfried ; Zimmermann, Albrecht. Pattern-based classification: a unifying perspective. From Local Patterns to Global Models (Bled, Slovenia). In: From Local Patterns to Global Models, 2nd workshop, LeGo 2009, 2009.
2009
Canini, Marco ; Fay, Damien ; Miller, David J. ; Moore, Andrew W. ; Bolla, Raffaele. Per Flow Packet Sampling for High-Speed Network Monitoring. COMSNETS '09. In: Proceedings of the First International Conference on Communication Systems And NETworks, 2009. 978-1-4244-2912-7. doi:10.1109/COMSNETS.2009.4808888.
2009
Schaus, Pierre ; Van Hentenryck, Pascal ; Regin, Jean-Charles. Scalable Load Balancing in Nurse to Patient Assignment Problems. 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Pittsburgh, du 27/05/2009 au 31/05/2009). In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, no.5547, p. 248-262 (2009). doi:10.1007/978-3-642-01929-6_19.
2009
Canini, Marco ; Li, Wei ; Moore, Andrew, W.. Toward the Identification of Anonymous Web Proxies. PAM2009 (Seoul, Korea, du 01/04/2009 au 03/04/2009).
2009
Zadnik, Martin ; Canini, Marco ; Moore, Andrew W. ; Miller, David J. ; Li, Wei. Tracking Elephant Flows in Internet Backbone Traffic with an FPGA-based Cache. FPL '09. In: Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009. 978-1-4244-3892-1. doi:10.1109/FPL.2009.5272387.
2009
Cittadini, Luca ; Di Battista, Giuseppe ; Rimondini, Massimo ; Vissicchio, Stefano. Wheel + Ring = Reel: the Impact of Route Filtering on the Stability of Policy Routing. ICNP (Princeton, NJ, USA, du 13/10/2009 au 16/10/2009). In: Proceedings of ICNP 2009, 2009.
2008
Mejias Candia, Boris César ; Cadiz Rodriguez, Alfredo Jaime ; Van Roy, Peter ; Mens, Kim. A Self-Adaptable Network Topology for Ambient Intelligence. Second IEEE International Workshop on Self-Adaptive and Self-Organizing System (Venice Italy, du 20/10/2008 au 24/10/2008). In: Self-Adaptive and Self-Organizing Systems Workshops, IEEE, 2008. 978-0-7695-3553-1, p. 219-224. doi:10.1109/SASOW.2008.60.
2008
Nijssen, Siegfried. Bayes optimal classification for decision trees. The 25th international conference on Machine learning (Helsinki, Finland). In: ICML '08 Proceedings of the 25th international conference on Machine learning, 2008. 978-1-60558-205-4, p. 696-703. doi:10.1145/1390156.1390244.
2008
Bolla, Raffaele ; Canini, Marco ; Rapuzzi, Riccardo ; Sciuto, Michele. Characterizing the network behavior of P2P traffic. IT-NEWS '08. In: Proceedings of the Fourth International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS), 2008. 978-1-4244-1844-2. doi:10.1109/ITNEWS.2008.4488123.
2008
LI, Wei ; Moore, Andrew, W. ; Canini, Marco. Classifying HTTP Traffic in the New Age . SIGCOMM 2008 (Seattle, USA, du 17/08/2008 au 22/08/2008).
2008
De Raedt, Luc ; Guns, Tias ; Nijssen, Siegfried. Constraint programming for itemset mining. The 14th ACM SIGKDD international conference (Las Vegas, Nevada, USA). In: KDD '08 Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining, 2008. 978-1-60558-193-4, p. 204-212. doi:10.1145/1401890.1401919.
2008
Brichau, Johan ; Kellens, Andy ; Mens, Kim. Enforcing Structural Regularities in Source Code using IntensiVE. Automated Software Engineering (ASE 2008) (L'Aquila, Italy, du 15/09/2008 au 19/09/2008). In: 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008. ASE 2008., 2008. 978-1-4244-2187-9, p. 471-472. doi:10.1109/ASE.2008.76.
2008
Blockeel, Hendrik ; Nijssen, Siegfried. Induction of node label controlled graph grammar rules. The 6th Workshop on Mining and Learning with Graphs (Helsinki, Finland). In: MLG'08 Proceedings of the 6th Workshop on Mining and Learning with Graphs, 2008.
2008
Bolla, Raffaele ; Canini, Marco ; Rapuzzi, Riccardo ; Sciuto, Michele. On the Double-Faced Nature of P2P Traffic. PDP '08. In: Proceedings of the Sixteenth Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2008. 978-0-7695-3089-5. doi:10.1109/PDP.2008.81.
2008
Bringmann, Björn ; Nijssen, Siegfried. What is frequent in a single graph?. Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference (Osaka, Japan). In: Advances in Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference, PAKDD 2008, Proceedings (Lecture Notes in Computer Science; 5012), 2008. 978-3-540-68124-3. doi:10.1007/978-3-540-68125-0_84.
2007
Helleputte, Thibault ; Dupont, Pierre. A comparative study of normalization and feature selection techniques for breast cancer prognosis from gene expressions. Benelux Bioinformatics conference (BBC'07) (Leuven, Belgiqum, du 12/11/2007 au 13/11/2007).
2007
Ramon, Jan ; Nijssen, Siegfried. General graph refinement with polynomial delay. Mining and Learning with Graphs (Florence, Italy). In: MLG'07 Proceedings of the 5th Workshop on Mining and Learning with Graphs, 2007.
2007
Nijssen, Siegfried ; De Raedt, Luc. IQL: A proposal for an Inductive Query Language. International Workshop on Knowledge Discovery in Inductive Databases (Berlin, Germany). In: Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, Berlin, Germany, September 18, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science; 4747), 2007. 978-3-540-75548-7. doi:10.1007/978-3-540-75549-4_12.
2007
Nijssen, Siegfried ; Fromont, Elisa. Mining optimal decision trees from itemset lattices. The 13th ACM SIGKDD international conference (San Jose, California, USA). In: KDD '07 Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining, 2007. 978-1-59593-609-7, p. 530-539. doi:10.1145/1281192.1281250.
2007
Mens, Tom ; Blanc, Xavier ; Mens, Kim. Model-driven Software Evolution: An Alternative Research Agenda. 6th Belgian-Netherlands software EVOLution workshop (BENEVOL 2007) (Namur, Belgique, du 13/12/2007 au 14/12/2007).
2007
Iannone, Luigi ; Bonaventure, Olivier. On the Cost of Caching Locator/ID Mappings. CoNEXT Conference (New York, USA, du 10/12/2007 au 13/12/2007). doi:10.1145/1364654.1364663.
2007
Briquet, Cyril ; Dalem, Xavier ; Jodogne, Sébastien ; de Marneffe, Pierre-Arnoul. Scheduling data-intensive bags of tasks in P2P grids with bittorrent-enabled data distribution. Second Workshop on Use of P2P, GRID and Agents for the Development of Content Networks (UPGRADE '07) (Monterey, California, USA, 25/6/2007). In: UPGRADE '07: Proceedings of the second workshop on Use of P2P, GRID and agents for the development of content networks, 2007. 978-1-59593-718-6, p. 39-48. doi:10.1145/1272980.1272990.
2006
Jodogne, Sébastien ; Briquet, Cyril ; Piater, Justus H.. Approximate Policy Iteration for Closed-Loop Learning of Visual Tasks. European Conference on Machine Learning (ECML). In: Lecture Notes in Computer Science, Vol. 4212, no.1, p. 210-221 (2006). doi:10.1007/11871842_23.
2006
Haeri, Seyed Hossein. Coincidence-Based Refinement of Ontology Matching. Joint 3rd SCIS and 7th ISIS (Tokyo, Japan, du 20/09/2006 au 24/09/2006). In: Coincidence-Based Refinement of Ontology Matching, Japan SOciety for Fuzzy Theory and intelligent informatics, 2006. 978-1-60651-024-7, p. 1008-1013. doi:10.14864/softscis.2006.0.1008.0.
2006
Bringmann, Björn ; Zimmermann, Albrecht ; De Raedt, Luc ; Nijssen, Siegfried. Don't Be Afraid of Simpler Patterns. The 10th European Conference on Principles and Practice of Knowledge Discovery in Databases (Berlin, Germany). In: Knowledge Discovery in Databases: PKDD 2006 (Lecture Notes in Computer Science; 4213), 2006. 3-540-45374-1, p. 55-66. doi:10.1007/11871637_10.
2006
Nijssen, Siegfried ; Kok, Joost. Frequent subgraph miners: runtimes don't say everything. The 4th Workshop on Mining and Learning with Graphs (Berlin, Germany). In: MLG'06 Proceedings of the 4th Workshop on Mining and Learning with Graphs, 2006, p. 173-180.
2006
Pecheur, Charles ; Simmons, Reid . From Livingstone to SMV. First InternationalWorkshop, FAABS (Greenbelt, USA, du 05/04/2000 au 07/04/2000). In: Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, 2006. 978-3-540-42716-2, p. 103-113 .
2006
Nijssen, Siegfried. Mining interpretable subgraphs. The 4th Workshop on Mining and Learning with Graphs (Berlin, Germany). In: MLG'06 Proceedings of the 4th Workshop on Mining and Learning with Graphs, 2006, p. 73-84.
2006
Nijssen, Siegfried ; Kok, Joost. Multi-class correlated pattern mining. International Workshop on Knowledge Discovery in Inductive Databases (Porto, Portugal, 2005). In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers (Lecture Notes in Computer Science; 3933), 2006. 3-540-33292-8, p. 165-187.
2006
Barnich, Olivier ; Jodogne, Sébastien ; Van Droogenbroeck, Marc. Robust Analysis of Silhouettes by Morphological Size Distributions. Advanced Concepts for Intelligent Vision Systems (ACIVS). In: Lecture Notes in Computer Science, Vol. 4179, no.1, p. 734-745 (2006). doi:10.1007/11864349_67.
2006
Jodogne, Sébastien ; Piater, Justus H.. Task-Driven Discretization of the Joint Space of Visual Percepts and Continuous Actions. 17th European Conference on Machine Learning (ECML). In: Lecture Notes in Computer Science, Vol. 4212, no.1, p. 222-233 (2006). doi:10.1007/11871842_24.
2017
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.
2017
Lebrun, David. Reaping the benefits of IPv6 segment routing, prom. : Bonaventure, Olivier, 19/10/2017.
2017
Sommer, Felix. Social network analysis using graphs, applications in clustering and recommender systems, prom. : Fouss, François, 27/10/2017.
2017
Busard, Simon. Symbolic model checking of multi-modal logics : uniform strategies and rich explanations, prom. : Pecheur, Charles, 03/07/2017.
2017
Cappart, Quentin. Verification of railway interlocking systems and optimisation of railway traffic, prom. : Schaus, Pierre, 19/12/2017.
2016
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.
2016
Paul, Ruma Rani. Building distributed systems for high-stress environments using reversibility and phase-awareness, prom. : Van Roy, Peter ; Vlassov, Vladimir, 11/10/2016.
2016
Dejemeppe, Cyrille. Constraint programming algorithms and models for scheduling applications, prom. : Deville, Yves ; Schaus, Pierre, 30/09/2016.
2016
Kalavri, Vasiliki. Performance optimization techniques and tools for distributed graph processing, prom. : Vlassov, Vladimir ; Van Roy, Peter, 10/10/2016.
2016
Liu, Ying. Towards elastic high-performance geo-distributed storage in the cloud, prom. : Van Roy, Peter ; Vlassov, Vladimir, 03/10/2016.
2016
Beuvens, François. UsiGesture : a structured method for engineering pen-based gestures in graphical user interfaces, prom. : Vanderdonckt, Jean, 13/10/2016.
2015
Brognaux, Sandrine. Expressive speech synthesis : research and system design with hidden Markov models , prom. : Saerens, Marco ; Dutoit, Thierry ; Beaufort, Richard, 14/12/2015.
2015
Paul, Jérôme. Feature selection from heterogeneous biomedical data, prom. : Dupont, Pierre, 29/06/2015.
2015
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.
2015
Mairy, Jean-Baptiste. Propagators for table constraints, prom. : Deville, Yves, 29/04/2015.
2015
Carpent, Xavier. RFID authentication and time-memory trade-offs, prom. : Avoine, Gildas, 18/03/2015.
2015
García Díez, Silvia. Randomized shortest paths and their applications, prom. : Saerens, Marco, 01/10/2015.
2015
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.
2014
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.
2014
Detal, Gregory. Evaluating and improving the deployability of Multipath TCP, prom. : Bonaventure, Olivier, 26/03/2014.
2014
Paasch, Christoph. Improving Multipath TCP, prom. : Bonaventure, Olivier, 24/11/2014.
2013
Combéfis, Sébastien. A formal framework for the analysis of human-machine interactions, prom. : Pecheur, Charles, 20/11/2013.
2013
Kabasele Tenday Ndonda, Jean-Marie G.. A framework for integrating security in software development projects, prom. : Lobelle, Marc ; Quisquater, Jean-Jacques, 30/08/2013.
2013
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.
2013
Cardozo Álvarez, Nicolás. Identification and management of inconsistencies in dynamically adaptive software systems, prom. : Mens, Kim ; D'Hondt, Theo, 03/09/2013.
2013
Massen, Florence. Optimization approaches for vehicle routing problems with Black Box Feasibility, prom. : Deville, Yves, 12/09/2013.
2013
Martin, Tania. Privacy in RFID systems, prom. : Avoine, Gildas, 19/06/2013.
2012
Vander Meulen, José. Combining partial order reduction with symbolic model checking, prom. : Pecheur, Charles, 19/04/2012.
2012
Vanbever, Laurent. Methods and techniques for disruption-free network reconfiguration, prom. : Bonaventure, Olivier, 04/10/2012.
2012
Ho, Trong-Viet. Traffic engineering techniques for data center networks, prom. : Deville, Yves ; Bonaventure, Olivier, 17/10/2012.
2011
Leroy, Damien. Allowing IP networks to be securely renumbered and shared, prom. : Bonaventure, Olivier, 15/02/2011.
2011
Damas, Christophe. Analyzing multi-view models of software systems, prom. : van Lamsweerde, Axel, 30/11/2011.
2011
Mouthuy, Sébastien. Constraint-based very large-scale neighborhood search, prom. : Deville, Yves ; Van Hentenryck, Pascal, 23/09/2011.
2011
Barré, Sébastien. Implementation and assessment of modern host-based multipath solutions, prom. : Bonaventure, Olivier, 02/11/2011.
2011
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.
2011
Saucez, Damien. Mechanisms for interdomain traffic engineering with LISP, prom. : Bonaventure, Olivier, 11/10/2011.
2011
Lambeau, Bernard. Synthesizing multi-view models of software systems, prom. : van Lamsweerde, Axel ; Dupont, Pierre, 30/11/2011.
2010
Van den Schrieck, Virginie. Improving internal BGP routing, prom. : Bonaventure, Olivier, 08/12/2010.
2017
Legay, Axel. A framework for quantitative modeling and analysis of highly (re)configurable systems, 2017. 25 p.
2017
De Coninck, Quentin ; Bonaventure, Olivier. Every Millisecond Counts: Tuning Multipath TCP for Interactive Applications on Smartphones, 2017. 14 p.
2017
Li, Zhongmiao ; Van Roy, Peter. Speculative Transaction Processing in Geo-Replicated Data Stores, 2017. 16 p.
2016
Piette, Eric. Une nouvelle approche au General Game Playing dirigée par les contraintes (), 2016. 216 p.
2015
Mens, Kim ; Cardozo Alvarez, Nicolás ; Dumas, Bruno ; Cleve, Anthony. Breaking Down the Walls: A Unified Vision on Context-Oriented Software Engineering, 2015. 2 p.
2015
Bonaventure, Olivier ; Paasch, Christoph ; Detal, Gregory. Use Cases and Operational Experience with Multipath TCP, 2015. 24 p.
2014
Cordero Fuertes, Juan Antonio. Measuring Multi-Path TCP Performance in Dual-Homed Devices (Technical report), 2014.
2014
Francq, Pascal. Neutrality in internet regulation: three regulatory principles, 2014. 52 p.
2013
Piette, Eric. Problème d'appariement : application à l'affectation de stages aux Professeurs des écoles (), 2013. 45 p.
2013
Vissicchio, Stefano ; Vanbever, Laurent ; Cittadini, Luca ; Xie, Geoffrey ; Bonaventure, Olivier. Safe Updates of Hybrid SDN Networks, 2013.
2012
Blockeel, Hendrik ; Kersting, Kristian ; Nijssen, Siegfried ; Zelezny, Filip. A revised publication model for ECML PKDD, 2012. 13 p.
2012
Chiesa, Marco ; Cittadini, Luca ; Di Battista, Giuseppe ; Vanbever, Laurent ; Vissicchio, Stefano. Computing with BGP: from Routing Configurations to Turing Machines, 2012.
2010
Latiers, Arnaud ; Saussez, Cédric. Smart grids : Modèle et gestion d'un quartier résidentiel(Travail de fin d’études présenté en vue de l'obtention du titre d’ingénieur civil électro-mécanicien,orientation énergie), 2010.
2007
Filsfils, Clarence ; Mohapatra, Pradosh ; Bettink, John ; Dharwadkar, Pranav ; De Vriendt, Peter ; Tsier, Yuri ; Van den Schrieck, Virginie ; Bonaventure, Olivier ; François, Pierre. BGP Prefix Independent Convergence (PIC), 2007. 14 p.
2007
Tiberghien, Alban ; Moha, Naouel ; Mens, Tom ; Mens, Kim. Répertoire des défauts de conception, 2007. 19 p.
2015
Feron, Olivier ; Dupont, Pierre ; Boidot, Romain ; Branders, Samuel ; Helleputte, Thibault. Signature of cycling hypoxia and use thereof for the prognosis of cancer. Numéro de priorité ; Déposé (01/08/2014) ; Publié (01/08/2015). .
2010
Dupont, Pierre ; Gaulis, Swann ; Helleputte, Thibault. Method for classifying a cancer patient as responder or non-responder to immunotherapy. Numéro de priorité ; Déposé (2010-03-18) ; Publié (2010-03-18). AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW. African Regional Intellectual Property Org. (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW) Eurasian Patent Organization (EAPO) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM) European Patent Office (EPO) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR) African Intellectual Property Organization (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG). AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW. African Regional Intellectual Property Org. (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW) Eurasian Patent Organization (EAPO) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM) European Patent Office (EPO) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR) African Intellectual Property Organization (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG)..
2017
Given-Wilson, Thomas ; Jafri, Nisrine ; Lanet, Jean-Louis ; Legay, Axel. An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version, 2017.
2017
Given-Wilson, Thomas ; Heuser, Annelie ; Jafri, Nisrine ; Lanet, Jean-Louis ; Legay, Axel. An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries, 2017.
2017
Chadli, Mounir ; Kim, Jin ; Larsen, Kim ; Legay, Axel ; Naujokat, Stefan ; Steffen, Bernhard ; Traonouez, Louis-Marie. High-level Frameworks for the Specification and Verification of Scheduling Problems, 2017.
2017
Van Roy, Peter. How the Internet amplifies threats to society and what to do about it , 2017. 1 p.
2017
Van Roy, Peter ; Meiklejohn, Christopher. Loquat: A Framework for Large-Scale Actor Communication on Edge Networks, 2017.
2017
Sommer, Felix ; Fouss, François ; Saerens, Marco. Modularity-driven kernel k-means for community detection (Louvain Research Institute in Management and Organizations Working Paper Series; 2017/21), 2017. 15 p.
2017
Quentin De Coninck ; Bonaventure, Olivier. Multipath Extension for QUIC (IETF Draft; ), 2017. 20 p.
2017
Heuser, Annelie ; Picek, Stjepan ; Jovic, Alan ; Legay, Axel. On the Relevance of Feature Selection for Profiled Side-channel Attacks, 2017.
2017
Kathiravelu, Pradeeban ; Van Roy, Peter. On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration, 2017.
2017
Ben Said, Najah ; Abdellatif, Takoua ; Bozga, Marius ; Ben Salem, Saddek ; Legay, Axel. Orchestration for Secure Multi-party Communications in Web-Services ✩, 2017.
2017
vandenbulcke virginie ; Ducarroz, Caroline ; Fouss, François. Personalized Collaborative recommenations in the Mass-retailing Sector: the Impact of the Recommended Products and the Accompanying Message on Consume Behavior (Working Paper LSM; 2017/16), 2017.
2017
Heuser, Annelie ; Picek, Stjepan ; Legay, Axel ; Knezevic, Karlo. Profiled SCA with a New Twist: Semi-supervised Learning, 2017.
2017
Biondi, Fabrizio ; Enescu, Michael ; Heuser, Annelie ; Legay, Axel ; Meel, Kuldeep ; Quilbeuf, Jean. Scalable Approximation of Quantitative Information Flow in Programs, 2017.
2017
Traonouez, Louis-Marie ; Legay, Axel ; Nowotka, Dirk ; Poulsen, Danny. Statistical Model Checking of LLVM Code, 2017.
2017
Vander Schueren, Gregory ; Deconinck, Quentin ; Bonaventure, Olivier. TCPSnitch: Dissecting the Usage of the Socket API, 2017. 6 p.
2016
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems, 2016.
2016
Lebrun, David ; Previdi, Stefano ; Filsfils, Clarence ; Bonaventure, Olivier. Design and Implementation of IPv6 Segment Routing, 2016.
2016
Kawamoto, Yusuke ; Biondi, Fabrizio ; Legay, Axel. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow, 2016.
2016
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of interlocking systems using statistical model checking, 2016.
2015
Mens, Kim ; Cleve, Anthony ; Dumas, Bruno. Context-Oriented Software Adaptation – A Brief State of the Art, 2015. 15 p.
2014
Aubry, François ; Lebrun, David ; Deville, Yves ; Bonaventure, Olivier. Traffic duplication through segmentable disjoint paths, 2014.
2013
Paasch, Christoph ; Bonaventure, Olivier. MultiPath TCP Low Overhead (MPTCP Internet-Draft; draft-paasch-mptcp-lowoverhead-00), 2013. 10 p.
2013
Phan, Noe. Software tool for rapid prototyping of foldable user interfaces, 2013. 91 p.
2012
Cardozo Alvarez, Nicolas ; Gonzalez Montesinos, Sebastian Andres ; Mens, Kim ; D’Hondt, Theo. Context Petri Nets : Definition and Manipulation, 2012.
2012
Perouli, Debbie ; Vissicchio, Stefano ; Gurney, Alexander ; Maennel, Olaf ; Griffin, Timothy G. ; Phillips, Iain ; Fahmy, Sonia ; Pelsser, Cristel . Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models (International Workshop on Rigorous Protocol Engineering (WRiPE); n/a), 2012. 6 p.
2012
Paasch, Christoph ; Bonaventure, Olivier. Securing the MultiPath TCP handshake with external keys (MPTCP Internet-Draft; draft-paasch-mptcp-ssl-00), 2012. 9 P. p.
2011
Barré, Sébastien ; Paasch, Christoph ; Bonaventure, Olivier. MultiPath TCP - Guidelines for implementers, 2011.
2011
Vanbever, Laurent ; Vissicchio, Stefano ; Pelsser, Cristel ; François, Pierre ; Bonaventure, Olivier. Seamless Network-Wide IGP Migrations, 2011. 14 p.
2011
Ford, Alan ; Raiciu, Costin ; Handley, Mark ; Bonaventure, Olivier. TCP Extensions for Multipath Operation with Multiple Addresses : draft-ietf-mptcp-multiaddressed-03 (Internet draft; draft-ietf-mptcp-multiaddressed-07), 2011. 60 p.
2008
Mathy, Laurent ; Iannone, Luigi ; Bonaventure, Olivier. LISP-DHT: Towards a DHT to map identifiers onto locators, 2008.
2006
Dupont, Pierre ; Callut, Jérôme ; Dooms, Grégoire ; Monette, Jean-Noël ; Deville, Yves. Relevant subgraph extraction from random walks in a graph, 2006. 1-30 p.
Provided by DIAL