1. UCL Home
  2. Research institutes
  3. ICTEAM
  4. Research
  5. Research Directions
  6. Software engineering and programming systems
  7. All 'software engineering and programming systems' publications

All 'software engineering and programming systems' publications


Journal Articles


1. Kirkove, D; Ben Mustapha, S; Jodogne, Sébastien; Pétré, B. L'utilisation de l'imagerie médicale en tant qu'outil d'éducation thérapeutique du patient en radiothérapie : étude de faisabilité. In: Revue médicale de Liège, Vol. 79, no.S1, p. 100-106 (2024). http://hdl.handle.net/2078.1/287399

2. Jodogne, Sébastien. Apport du logiciel libre en imagerie médicale. In: Revue médicale de Liège, Vol. 79, no.S1, p. 75-83 (2024). http://hdl.handle.net/2078.1/287398

3. Mathys, Aurore; Pollet, Yann; Gressin, Adrien; Muth, Xavier; Brecko, Jonathan; Dekoninck, Wouter; Vandenspiegel, Didier; Jodogne, Sébastien; Semal, Patrick. Sphaeroptica: A tool for pseudo-3D visualization and 3D measurements on arthropods. In: PLOS ONE, Vol. 19, no.10, p. 1-32 (2024). doi:10.1371/journal.pone.0311887. http://hdl.handle.net/2078.1/292875

4. Jodogne, Sébastien. The Orthanc Ecosystem for Medical Imaging. In: Journal of Digital Imaging, Vol. 31, no.3, p. 341-352 (2018). doi:10.1007/s10278-018-0082-y. http://hdl.handle.net/2078.1/257255

5. Vandaele, Rémy; Aceto, Jessica; Muller, Marc; Péronnet, Frédérique; Debat, Vincent; Wang, Ching-Wei; Huang, Cheng-Ta; Jodogne, Sébastien; Martinive, Philippe; Geurts, Pierre; Marée, Raphaël. Landmark detection in 2D bioimages for geometric morphometrics: a multi-resolution tree-based approach. In: Scientific Reports, Vol. 8, no.1, p. 13 (2018). doi:10.1038/s41598-017-18993-5. http://hdl.handle.net/2078.1/268369

6. 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. http://hdl.handle.net/2078.1/186881

7. 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. http://hdl.handle.net/2078.1/159600

8. 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. http://hdl.handle.net/2078.1/141451

9. 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. http://hdl.handle.net/2078.1/142148

10. 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. http://hdl.handle.net/2078.1/143174

11. 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. http://hdl.handle.net/2078.1/124513

12. Schaus, Pierre; Régin, Jean-Charles. Bound-consistent spread constraint. In: EURO Journal on Computational Optimization, (2013). (Accepté/Sous presse). http://hdl.handle.net/2078.1/141320

13. 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). http://hdl.handle.net/2078.1/128293

14. Bonaventure, Olivier; Handley, Mark; Raiciu, Costin. An Overview of Multipath TCP. In: ;login:, Vol. 37, no. 5, p. 17-23 (2012). http://hdl.handle.net/2078.1/114081

15. 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. http://hdl.handle.net/2078.1/115274

16. 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). http://hdl.handle.net/2078.1/79445

17. 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. http://hdl.handle.net/2078.1/91161

18. 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. http://hdl.handle.net/2078.1/114992

19. 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). http://hdl.handle.net/2078.1/88961

20. Mendonça Filho, Hildeberto; Vybornova, Olga; Lawson, Jean-Yves; Macq, Benoît. Multi-domain Framework for Multimedia Archiving Using Multimodal Interaction. In: Integrated Computer-Aided Engineering, Vol. 18, no. 1, p. 14p (January 24, 2011). doi:10.3233/ICA-2011-0360. http://hdl.handle.net/2078.1/88959

21. 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). Computer Networks. doi:10.1016/j.comnet.2011.01.012. http://hdl.handle.net/2078.1/70195

22. 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. http://hdl.handle.net/2078.1/34371

23. 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. http://hdl.handle.net/2078.1/91166

24. 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. http://hdl.handle.net/2078.1/34979

25. Brichau, Johan; Kellens, Andy; Castro Mejia, Sergio; D'Hondt, Theo. Enforcing structural regularities in software using IntensiVE. In: Science of Computer Programming, Vol. 75, no. 4, p. 232-246 (2010). doi:10.1016/j.scico.2009.11.005. http://hdl.handle.net/2078.1/34748


Conference Papers


1. Chatzopoulos, Edouard; Jodogne, Sébastien. Integrated and Interoperable Platform for Detecting Masses on Mammograms. In: Studies in Health Technology and Informatics. Vol. 316, p. 1103-1107 (2024). IOS Press, 2024 xxx. doi:10.3233/SHTI240603. http://hdl.handle.net/2078.1/289660

2. Semal, Patrick; Mathys, Aurore; Brecko, Jonathan; Chapman, Tara; Pollet, Yann; Herpers, Jean-Marc; Theeten, Franck; Van den Spiegel, Didier; Tilleux, Caroline; Angenon, Els; Jodogne, Sébastien. Serveur multimédia DICOM pour le partage des numérisations des collections anthropologiques. 2024 xxx. http://hdl.handle.net/2078.1/292682

3. Jodogne, Sébastien. Plateforme libre, intégrée et interopérable pour la détection de masses en mammographie. 2024 xxx. http://hdl.handle.net/2078.1/289658

4. Jodogne, Sébastien. Setting a PACS on FHIR. In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024). Vol. 2, p. 123-131 (2024). SCITEPRESS - Science and Technology Publications, Lda. 2024 xxx. doi:10.5220/0012384600003657. http://hdl.handle.net/2078.1/281131

5. Langlois, Quentin; Szelagowski, Nicolas; Vanderdonckt, Jean; Jodogne, Sébastien. Open Platform for the De-identification of Burned-in Texts in Medical Images using Deep Learning. In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024). Vol. 1, p. 297-304 (2024). SCITEPRESS – Science and Technology Publications, Lda. 2024 xxx. doi:10.5220/0012430300003657. http://hdl.handle.net/2078.1/282801

6. Jodogne, Sébastien. Simple, effective deployment of Web viewers for medical imaging in an open platform. 2023 xxx. doi:https://doi.org/10.26226/m.64ae6f4f56241620f72a77cd. http://hdl.handle.net/2078.1/279234

7. Jodogne, Sébastien. Client-Side Application of Deep Learning Models Through Teleradiology. In: Studies in Health Technology and Informatics. Vol. 302, no.1, p. 997-1001 (2023). Maria Hägglund et al. 2023 xxx. doi:10.3233/shti230325. http://hdl.handle.net/2078.1/275150

8. Jodogne, Sébastien. On the Use of DICOM as a Storage Layer for IIIF. 2023 xxx. http://hdl.handle.net/2078.1/279235

9. Fierens, Amaury; Gregoir, Thibault; Jodogne, Sébastien. Interoperable Encoding and 3D Printing of Anatomical Structures. In: ICBRA '23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications. p. 20-26 (2023). Association for Computing Machinery (ACM): New York, NY, USA, 2023 xxx. doi:10.1145/3632047.3632051. http://hdl.handle.net/2078.1/279236

10. Fierens, Amaury; Jodogne, Sébastien. BERTinchamps: Cost-Effective Training of Large Language Models for Medical Tasks in French. In: CEUR Workshop Proceedings. Vol. 3551 (2023). CEUR Workshop Proceedings, 2023 xxx. http://hdl.handle.net/2078.1/279237

11. Jodogne, Sébastien. Rendering Medical Images using WebAssembly. In: Proc. of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies (Volume 2), 2022, 978-989-758-552-4, 43-51 xxx. doi:10.5220/0000156300003123. http://hdl.handle.net/2078.1/257268

12. Jodogne, Sébastien. Automatically publishing medical images from a filesystem as a DICOM server. In: Insights into Imaging. Vol. 13, no. S2, p. 7. SpringerOpen, 2021 xxx. http://hdl.handle.net/2078.1/257257

13. Jodogne, Sébastien. Importing and serving open-data medical images to support Artificial Intelligence research. In: Insights into Imaging. Vol. 13, no. S1, p. 6. SpringerOpen, 2021 xxx. doi:10.1186/s13244-022-01168-w. http://hdl.handle.net/2078.1/257256

14. Schaus, Pierre; Aoga, John; Guns, Tias. CoverSize: A Global Constraint for Frequency-based Itemset Mining. 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 xxx. http://hdl.handle.net/2078.1/186898

15. Aoga, John; Guns, Tias; Schaus, Pierre. Algorithme Efficace pour la Fouille de Séquences Fréquentes avec la Programmation par Contraintes. 2017 xxx. http://hdl.handle.net/2078.1/186897

16. 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), 2016, 978-3-319-46227-1, 315-330 xxx. doi:10.1007/978-3-319-46227-1_20. http://hdl.handle.net/2078.1/177056

17. Aoga, John; Schaus, Pierre. Scalable Constraint Programming approach for Mining Frequent Sequence with gap constraints. 2016 xxx. http://hdl.handle.net/2078.1/177057

18. Reda, Waleed; Suresh, Lalith; Canini, Marco; Braithwaite, Sean. BRB: BetteR Batch Scheduling to Reduce Tail Latencies in Cloud Data Stores. In: ACM SIGCOMM, 2015, 978-1-4503-3542 xxx. http://hdl.handle.net/2078.1/161636

19. Dang, Huynh Tu; Sciascia, Daniele; Canini, Marco; Pedone, Fernando; Soulé, Robert. NetPaxos: Consensus at Network Speed. In: ACM SOSR, 2015, 978-1-4503-3451-8 xxx. doi:10.1145/2774993.2774999. http://hdl.handle.net/2078.1/161639

20. Busard, Simon; Cappart, Quentin; Limbrée, Christophe; Pecheur, Charles; Schaus, Pierre. Verification of railway interlocking systems. In: Proceedings 4th International Workshop on Engineering Safety and Security Systems. Vol. 184, no.0, p. 19-31 (2015). Open Publishing Association, 2015 xxx. doi:10.4204/EPTCS.184.2. http://hdl.handle.net/2078.1/161206

21. Suresh, Lalith; Canini, Marco; Schmid, Stefan; Feldmann, Anja. C3: Cutting Tail Latency in Cloud Data Stores via Adaptive Replica Selection. In: 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI'15), 2015, 978-1-931971-218 xxx. http://hdl.handle.net/2078.1/161635

22. Canini, Marco; Kuznetsov, Petr; Levin, Dan; Schmid, Stefan. A Distributed and Robust SDN Control Plane for Transactional Network Updates. In: IEEE INFOCOM, 2015 xxx. doi:10.1109/INFOCOM.2015.7218382. http://hdl.handle.net/2078.1/154961

23. Assogba, Emery Kouassi; Lobelle, Marc. A new way to let the operating system harden its application processes against SEU. 2014 xxx. http://hdl.handle.net/2078.1/143344

24. Canini, Marco; De Cicco, Daniele; Kuznetsov, Petr; Levin, Dan; Schmid, Stefan; Vissicchio, Stefano. STN: A Robust and Distributed SDN Control Plane. In: Proceedings of the 2014 Open Networking Summit Research Track, 2014 xxx. http://hdl.handle.net/2078.1/141160

25. Levin, Dan; Canini, Marco; Schmid, Stefan; Schaffert, Fabian; Feldmann, Anja. Panopticon: Reaping the Benefits of Incremental SDN Deployment in Enterprise Networks. In: Proceedings of the 2014 USENIX Annual Technical Conference (ATC'14), 2014 xxx. http://hdl.handle.net/2078.1/145668

26. Peresini, Peter; Kuzniar, Maciej; Canini, Marco; Kostic, Dejan. ESPRES: Easy Scheduling and Prioritization for SDN. In: Proceedings of the 2014 Open Networking Summit Research Track, 2014 xxx. http://hdl.handle.net/2078.1/141164

27. Peresini, Peter; Kuzniar, Maciej; Canini, Marco; Kostic, Dejan. ESPRES: Transparent SDN Update Scheduling. In: Proceedings of HotSDN'14, 2014 xxx. doi:10.1145/2620728.2620747. http://hdl.handle.net/2078.1/145669

28. Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. In: Formal Methods and Software Engineering, 2014, 978-3-319-11736-2 xxx. doi:10.1007/978-3-319-11737-9_3. http://hdl.handle.net/2078.1/152239

29. 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. In: Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems, 2014, p. 1-6 xxx. http://hdl.handle.net/2078.1/140520

30. Lombardi, Michèle; Schaus, Pierre. Cost impact guided LNS. Springer, 2014, Vol. 8451, p. 293-300 (2014) xxx. doi:10.1007/978-3-319-07046-9_21. http://hdl.handle.net/2078.1/141324

31. Combéfis, Sébastien; Giannakopoulou, Dimitra; Pecheur, Charles. State Event Models for the Formal Analysis of Human-Machine Interactions. 2014 xxx. http://hdl.handle.net/2078.1/140256

32. Laurent, Nicolas; Vissicchio, Stefano; Canini, Marco. SDLoad: An Extensible Framework for SDN Workload Generation. In: Proceedings of HotSDN'14, 2014 xxx. doi:10.1145/2620728.2620771. http://hdl.handle.net/2078.1/145672

33. Gutierrez Sabogal, Gustavo Adolfo; Barco, Andres Felipe; Villanueva, Miguel Angel; Cardona, Alejandro; Montenegro, Daniel; Miller, Sebastián; Di­az, Juan Francisco; Rueda, Camilo; Van Roy, Peter. The Mozart constraint subsystem : system presentation. 2013 xxx. http://hdl.handle.net/2078.1/142087

34. Yi, Jiazi; Cordero Fuertes, Juan Antonio; Clausen, Thomas. Jitter Considerations in On-demand Route Discovery for Mobile Ad Hoc Networks. 2013 xxx. doi:10.1109/NBiS.2013.28. http://hdl.handle.net/2078.1/143192

35. Nicutar, Catalin; Paasch, Christoph; Bagnulo, Marcelo; Raiciu, Costin. Evolving the internet with connection acrobatics. 2013 xxx. http://hdl.handle.net/2078.1/135398

36. Reitblatt, Mark; Canini, Marco; Guha, Arjun; Foster, Nate. FatTire: Declarative Fault Tolerance for Software-Defined Networks. In: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, 2013, 978-1-4503-2178-5, 109-114 xxx. doi:10.1145/2491185.2491187. http://hdl.handle.net/2078.1/139423

37. Gutierrez Sabogal, Gustavo Adolfo; Van Roy, Peter; Van Cauwelaert, Sascha. Implementation of the relation domain for constraint programming. 2013 xxx. http://hdl.handle.net/2078.1/142046

38. Doeraene, Sébastien; Van Roy, Peter. A new concurrency model for scala based on a declarative dataflow core. In: Proceedings of the 4th Workshop on Scala, 2013, 978-1-4503-2064-1, p. 1-10 xxx. doi:10.1145/2489837.2489841. http://hdl.handle.net/2078.1/142058

39. Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco. Reasoning about Strategies under Partial Observability and Fairness Constraints. In: Electronic Proceedings in Theoretical Computer Science. Vol. 112, p. 71-79 (2013). Open Publishing Association: (Australia) [S.l.], 2013 xxx. doi:10.4204/EPTCS.112.12. http://hdl.handle.net/2078.1/125442

40. Castro Mejia, Sergio. LogicObjects : A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language. 2013 xxx. http://hdl.handle.net/2078.1/142855

41. Canini, Marco; Kuznetsov, Petr; Levin, Dan; Schmid, Stefan. Software Transactional Networking: Concurrent and Consistent Policy Composition. In: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking, 2013, 978-1-4503-2178-5 xxx. doi:10.1145/2491185.2491200. http://hdl.handle.net/2078.1/139422

42. Jodogne, Sébastien; Bernard, C.; Devillers, M.; Lenaerts, E.; Coucke, P.. Orthanc - A lightweight, restful DICOM server for healthcare and medical research. In: 2013 IEEE 10th International Symposium on Biomedical Imaging. Vol. 1, no.1, p. 190-193 (2013). 2013 xxx. doi:10.1109/isbi.2013.6556444. http://hdl.handle.net/2078.1/257615

43. Busard, Simon; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 2013 xxx. http://hdl.handle.net/2078.1/129114

44. Damas, Christophe; Lambeau, Bernard; van Lamsweerde, Axel. Transformation operators for easier engineering of medical process models. In: Proceedings of the 5th ICSE Workshop on Software Engineering in Health Care, ACM-IEEE, 2013, p. 1-7 xxx. doi:10.1109/SEHC.2013.6602476. http://hdl.handle.net/2078.1/131460

45. Busard, Simon; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. In: NASA Formal Methods (Lecture Notes in Computer Science Volume 7871), 2013, 978-3-642-38087-7, 453-458 xxx. doi:10.1007/978-3-642-38088-4_33. http://hdl.handle.net/2078.1/125454

46. Gonzalez Montesinos, Sebastian Andres; Mens, Kim; Colacioiu, Marius; Cazzola, Walter. Context Traits : Dynamic Behaviour Adaptation Through Run-Time Trait Recomposition. In: Proceedings of the 12th annual international conference on Aspect-oriented software development, ACM: Fukuoka, Japan, 2013, 978-1-4503-1766-5, 209-220 xxx. doi:10.1145/2451436.2451461. http://hdl.handle.net/2078.1/122295

47. 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. In: Proceedings of the Symposium on Theoretical Aspects of Software Engineering (TASE 2013) (IEEE Digital Library), IEEE, 2013, 191-198 xxx. doi:10.1109/TASE.2013.33. http://hdl.handle.net/2078.1/128114

48. Hartert, Renaud; Schaus, Pierre. The bi-objective pareto constraint. 2013 xxx. http://hdl.handle.net/2078.1/135573

49. Kuźniar , Maciej; Perešíni , Peter; Vasić, Nedeljko; Canini, Marco; Kostić , Dejan. Automatic failure recovery for software-defined networks. 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 xxx. doi:10.1145/2491185.2491218. http://hdl.handle.net/2078.1/136035

50. Schaus, Pierre. Variable objective large neighborhood search: a practical approach to solve over-constrained problems. 2013 xxx. doi:10.1109/ICTAI.2013.147. http://hdl.handle.net/2078.1/135575

51. le Clément de Saint-Marcq, Vianney; Schaus, Pierre; Solnon, Christine; Lecoutre, Christophe. Sparse-sets for domain implementation. 2013 xxx. http://hdl.handle.net/2078.1/135574

52. Schaus, Pierre; Hartert, Renaud. Multi-objective large neighborhood search. In: Principles and Practice of Constraint Programming (Lecture Notes in Computer Science), 2013, 978-3-642-40626-3, 611-627 xxx. doi:10.1007/978-3-642-40627-0_46. http://hdl.handle.net/2078.1/135571

53. Pelsser, François; Schaus, Pierre; Regin, Jean-Charles. Revisiting the cardinality reasoning for BinPacking constraint. In: Principles and Practice of Constraint Programming, Lecture Notes in Computer SciencE, 2013, 978-3-642-40626-3, p. 578-586 xxx. doi:10.1007/978-3-642-40627-0_43. http://hdl.handle.net/2078.1/135568

54. Castro Mejia, Sergio; Mens, Kim; Moura, Paulo. LogicObjects : Enabling Logic Programming in Java Through Linguistic Symbiosis. In: Practical Aspects of Declarative Languages, Lecture notes in computer sciences, 2013, 978-3-642-45283-3 xxx. doi:10.1007/978-3-642-45284-0_3. http://hdl.handle.net/2078.1/142902

55. Cordero Fuertes, Juan Antonio; Yi, Jiazi; Clausen, Thomas. Optimization of Jitter Configuration for Reactive Route Discovery in Wireless Mesh Networks. 2013 xxx. http://hdl.handle.net/2078.1/143191

56. Cardozo Alvarez, Nicolas; Vallejos, Jorge; Gonzalez Montesinos, Sebastian Andres; Mens, Kim; D'Hondt, Theo. Context petri nets : enabling consistent composition of context-dependent behavior. In: International Workshop on Petri Nets and Software Engineering. Vol. 851 , p. 155 - 169 (2012). CEUR-WS: Hamburg, Germany, 2012 xxx. http://hdl.handle.net/2078.1/113814

57. 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. In: Symposium On Applied Computing, Cloud Computing track. p. 1-8 (2012). 2012 xxx. doi:10.1145/2245276.2245358. http://hdl.handle.net/2078.1/92942

58. Van Cauwelaert, Sascha; Gutiérrez Sabogal, Gustavo Adolfo; Van Roy, Peter. Practical Uses of Constraint Programming in Music using Relation Domains. 2012 xxx. http://hdl.handle.net/2078.1/113989

59. Kuzniar, Maciej; Canini, Marco; Kostic, Dejan. OFTEN Testing OpenFlow Networks. In: Proceedings of the 2012 European Workshop on Software Defined Networking, 2012, 9780769548708 xxx. doi:10.1109/EWSDN.2012.21. http://hdl.handle.net/2078.1/139426

60. Canini, Marco; Venzano, Daniele; Peresini, Peter; Kostic, Dejan; Rexford, Jennifer. A NICE Way to Test OpenFlow Applications. In: Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, 2012, 1-931971-96-X, 10 xxx. http://hdl.handle.net/2078.1/139427

61. Alrajeh, Dalal; Kramer, Jeff; van Lamsweerde, Axel; Russo, Alessandra; Uchitel, Sebastian. Generating obstacle conditions for requirements completeness. In: Proceedings of the 34th International Conference on Software Engineering, IEEE Press: Piscataway, NJ, USA, 2012, 705-715 xxx. doi:10.1109/ICSE.2012.6227147. http://hdl.handle.net/2078.1/111051

62. Debongnie, Gery; Collet, Raphaël; Doeraene, Sébastien; Van Roy, Peter. Modular fault handling in a network-transparent programming language. 2012 xxx. doi:10.1109/WEH.2012.6226592. http://hdl.handle.net/2078.1/142092

63. Kuzniar, Maciej; Peresini, Peter; Canini, Marco; Venzano, Daniele; Kostic, Dejan. A SOFT Way for OpenFlow Switch Interoperability Testing. In: Proceedings of the 8th International Conference on Emerging Networking Experiments and Technologies, 2012, 9781450317757 xxx. http://hdl.handle.net/2078.1/139425

64. Cardozo Alvarez, Nicolas; Gonzalez Montesinos, Sebastian Andres; Mens, Kim; D'Hont, Théo. Uniting global and local context behavior with context petri nets. In: Proceedings of the International Workshop on Context-Oriented Programming, 2012, 978-1-4503-1276-9, p. 1-6 xxx. doi:10.1145/2307436.2307439. http://hdl.handle.net/2078.1/113821

65. Pham, Quang Dung; Deville, Yves. Solving the longest simple path problem with constraint-based techniques. 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 xxx. doi:10.1007/978-3-642-29828-8_19; 10.1007/978-3-642-29828-8_19. http://hdl.handle.net/2078.1/114117

66. O'Doherty, Daire; Jouili , Salim; Van Roy, Peter. Towards trust inference from bipartite social networks. 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 xxx. doi:10.1145/2304536.2304539. http://hdl.handle.net/2078.1/124503

67. Cailliau, Antoine; van Lamsweerde, Axel. A probabilistic framework for goal-oriented risk analysis. In: Proceeding of the 20th International Requirements Engineering Conference, IEEE: Piscataway, NJ, 2012, 978-1-4673-2783-1, p. 201-210 xxx. doi:10.1109/RE.2012.6345805. http://hdl.handle.net/2078.1/124508

68. Castro Mejia, Sergio; Gonzalez Montesinos, Sebastian Andres; Mens, Kim; Denker, Marcus. DynamicSchema: A Lightweight Persistency Framework for Context-Oriented Data Management. In: Proceedings of the International Workshop on Context-Oriented Programming, 2012, 978-1-4503-1276-9, p. 1-6 xxx. doi:10.1145/2307436.2307441. http://hdl.handle.net/2078.1/122327

69. O'Doherty, Daire; Jouili , Salim; Van Roy, Peter. Trust-Based Recommendation: An Empirical Analysis. 2012 xxx. http://hdl.handle.net/2078.1/124320

70. Melchior, Jérémie; Mejias, Boris; Jaradin, Yves; Van Roy, Peter; Vanderdonckt, Jean. Improving DUIs with a decentralized approach with transactions and feedbacks. In: Distributed User Interfaces: Usability and Collaboration (Human–Computer Interaction Series), Springer, 2012, 978-1-4471-5498-3, p. 17-25 xxx. doi:10.1007/978-1-4471-5499-0_2. http://hdl.handle.net/2078.1/141827

71. Melchior, Jérémie; Vanderdonckt, Jean; Van Roy, Peter. Modelling and developing distributed user interfaces based on distribution graph. In: Research Challenges in Information Science (RCIS), 2012 Sixth International Conference on, 2012, 978-1-4577-1937-0 xxx. doi:10.1109/RCIS.2012.6240450. http://hdl.handle.net/2078.1/141828

72. Garcia Diez, Silvia; Vandenbussche, Eric; Saerens, Marco. A continuous-state version of discrete randomized shortest-paths, with application to path planning. In: 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, 2011, 6570-6577 xxx. doi:10.1109/CDC.2011.6160770. http://hdl.handle.net/2078.1/115159

73. Reinhartz-Berger, Iris; Sturm, Arnon; Mens, Kim. Variability@ER’11 - Workshop on Software Variability. 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), Springer: (Germany) Berlin Heidelberg, 2011, 978-3-642-24573-2, 118-160 xxx. http://hdl.handle.net/2078.1/92410

74. Van Cauwelaert, Sascha. Programmation par contraintes relationnelles pour l’analyse et la composition musicales. 2011 xxx. http://hdl.handle.net/2078.1/93016

75. Melchior, Jérémie; Vanderdonckt, Jean; Van Roy, Peter. A Model-Based Approach for Distributed User Interfaces. In: Proc. of 3rd ACM Symposium on Engineering Interactive Computing Systems EICS’2011, ACM Press: New York, 2011, 978-1-4503-0670-6, p. 11-20 xxx. doi:10.1145/1996461.1996488. http://hdl.handle.net/2078.1/118206

76. Melchior, Jérémie; Vanderdonckt, Jean; Van Roy, Peter. Distribution Primitives for Distributed User Interfaces. In: Human-Computer Interaction Series. p. 23-31 (2011). 2011 xxx. doi:10.1007/978-1-4471-2271-5_3. http://hdl.handle.net/2078.1/141821

77. Dory, Thibault; Mejias, Boris; Van Roy, Peter; Tran, Nam-Luc. Measuring Elasticity for Cloud Databases. 2011 xxx. http://hdl.handle.net/2078.1/141825

78. Zadnik, Martin; Canini, Marco. Evolution of Cache Replacement Policies to Track Heavy-hitter Flows. In: Proceedings of the 12th Passive and Active Measurement Conference, 2011, 978-3-642-19259-3 xxx. doi:10.1007/978-3-642-19260-9_3. http://hdl.handle.net/2078.1/139435

79. Busard, Simon; Pecheur, Charles. Rich counter-examples for ACTL model checking. 2011 xxx. http://hdl.handle.net/2078.1/124340

80. Canini, Marco. Online testing of federated and heterogeneous distributed systems. In: Proceedings of the ACM SIGCOMM 2011 conference, ACM, 2011, 978-1-4503-0797-0, p. 434-435 xxx. doi:10.1145/2018436.2018507. http://hdl.handle.net/2078.1/136032

81. De Coster, Xavier; Ghilain, Matthieu; Mejias, Boris; Van Roy, Peter. Designing an Elastic and Scalable Social Network Application. 2011 xxx. http://hdl.handle.net/2078.1/141824

82. 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. In: Proceedings of the ACM SIGCOMM 2011 Conference, 2011, 978-1-4503-0797-0 xxx. doi:10.1145/2018436.2018475. http://hdl.handle.net/2078.1/139432

83. Canini, Marco; Jovanovic, Vojin; Venzano, Daniele; Spasojevic, Boris; Crameri, Olivier; Kostic, Dejan. Toward Online Testing of Federated and Heterogeneous Distributed Systems. In: Proceedings of the 2011 USENIX Annual Technical Conference (USENIX ATC ’11), 2011 xxx. http://hdl.handle.net/2078.1/139430

84. Yabandeh, Maysam; Anand, Abhishek; Canini, Marco; Kostic, Dejan. Finding Almost-Invariants in Distributed Systems. In: Proceedings of the 2011 IEEE 30th International Symposium on Reliable Distributed Systems, 2011, 978-0-7695-4450-2 xxx. doi:10.1109/SRDS.2011.29. http://hdl.handle.net/2078.1/139429

85. Zadnik, Martin; Canini, Marco. Evaluation and Design of Cache Replacement Policies under Flooding Attacks. In: Proceedings of the 2nd International Workshop on TRaffic Analysis and Classification, 2011, 978-1-4244-9538-2 xxx. doi:10.1109/IWCMC.2011.5982726. http://hdl.handle.net/2078.1/139434

86. Lozano rodriguez, Angela. An Overview of Techniques for Detecting Software Variability Concepts in Source Code. In: Lecture Notes in Computer Science. Vol. 6999, p. 141-150 (2011). Springer: (Germany) Heidelberg, 2011 xxx. doi:10.1007/978-3-642-24574-9_19. http://hdl.handle.net/2078.1/86542

87. Vander Meulen, José; Pecheur, Charles. Combining Partial-Order reduction and symbolic model checking to verify LTL properties. In: NASA formal methods (Lecture notes in computer sciences), Springer: Berlin, 2011, 978-3-642-20397-8, 405-420 xxx. doi:10.1007/978-3-642-20398-5_29. http://hdl.handle.net/2078.1/90720

88. Vander Meulen, José; Pecheur, Charles. Milestones: a model checker combining Symbolic model Checking and partial order reduction. In: NASA formal methods (Lecture notes in computer sciences), Springer: Berlin, 2011, 978-3-642-20397-8, 525-531 xxx. doi:10.1007/978-3-642-20398-5_43. http://hdl.handle.net/2078.1/90705

89. Dory, Thibault; Van Roy, Peter. Elasticity as a criterion for choosing a cloud database. 2011 xxx. http://hdl.handle.net/2078.1/93005

90. Ardelius, John; Mejias, Boris; Mejias, Boris. Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators. In: Distributed Applications and Interoperable Systems (Lecture Notes in Computer Science), Springer, 2011, 978-3-642-21386-1, p. 15-28 xxx. doi:10.1007/978-3-642-21387-8_2. http://hdl.handle.net/2078.1/141822

91. Cardozo Alvarez, Nicolas; Gonzalez Montesinos, Sebastian Andres; Mens, Kim; D’Hondt, Theo. Safer Context (de)Activation through the Prompt-Loyal Strategy. In: Proceedings of the 3rd International Workshop on Context-Oriented Programming (COP 2011) (ACM Digital Library), ACM, 2011, 978-1-4503-0891-5 xxx. doi:10.1145/2068736.2068738. http://hdl.handle.net/2078.1/91163

92. Combéfis, Sébastien; Giannakopoulou, Dimitra; Pecheur, Charles; Feary, Michael. Learning system abstractions for human operators. In: roceedings of the International Workshop on Machine Learning Technologies in Software Engineering, 2011, 978-1-4503-1022-2, 3-10 xxx. doi:10.1145/2070821.2070822. http://hdl.handle.net/2078.1/91174

93. Combéfis, Sébastien; Giannakopoulou, Dimitra; Pecheur, Charles; Mehlitz, Peter. A JavaPathfinder Extension to Analyse Human-Machine Interactions. 2011 xxx. http://hdl.handle.net/2078.1/91173

94. Vasic, Nedeljko; Novakovic, Dejan; Shekhar, Satyam; Bhurat, Prateek; Canini, Marco; Kostic, Dejan. Identifying and Using Energy-Critical Paths. In: Proceedings of the Seventh COnference on emerging Networking EXperiments and Technologies, 2011, 978-1-4503-1041-3 xxx. doi:10.1145/2079296.2079314. http://hdl.handle.net/2078.1/139433

95. Lozano rodriguez, Angela; Kellens, Andy; Mens, Kim. Mendel: Source Code Recommendation based on a Genetic Metaphor. 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 xxx. doi:10.1109/ASE.2011.6100078. http://hdl.handle.net/2078.1/86541

96. Lesage, Laurent; Mejias Candia, Boris César; Lobelle, Marc. A software based approach to eliminate all SEU effects from mission critical programs. 2011 xxx. doi:10.1109/RADECS.2011.6131353. http://hdl.handle.net/2078.1/88238

97. Cardozo Alvarez, Nicolas; Gunther, Sebastian; D'Hondt, Theo; Mens, Kim. Feature-Oriented Programming and Context-Oriented Programming:Comparing Paradigm Characteristics by Example Implementations. In: Proceedings of the International Conference on Software Engineering Advances, IARIA, 2011, 130-135 xxx. http://hdl.handle.net/2078.1/91162

98. Combéfis, Sébastien; Giannakopoulou, Dimitra; Pecheur, Charles; Feary, Michael. A formal framework for design and analysis of Human-Machine interaction. In: IEEE International Conference on Systems, Man, and Cybernetics. Conference Proceedings. Vol. Oct 2011, p. 1801-1808. I E E E, 2011 xxx. doi:10.1109/ICSMC.2011.6083933. http://hdl.handle.net/2078.1/91191

99. 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. In: 2010 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, I E E E, 2010, 978-0-7695-4063-4 xxx. http://hdl.handle.net/2078.1/89605

100. Canini, Marco; Novakovic, Dejan; Jovanovic, Vojin; Kostic, Dejan. Fault Prediction in Distributed Systems Gone Wild. In: Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010, 978-1-4503-0406-1 xxx. doi:10.1145/1859184.1859187. http://hdl.handle.net/2078.1/139431

101. Walkinshaw, Neil; Bogdanov, Kirill; Damas, Christophe; Lambeau, Bernard; Dupont, Pierre. A framework for the competitive evaluation of model inference techniques. 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 xxx. doi:10.1145/1868044.1868045. http://hdl.handle.net/2078.1/87504

102. Vallejos, Jorge; Gonzalez Montesinos, Sebastian Andres; Costanza, Pascal; De Meuter, Wolfgang; D'Hondt, Theo; Mens, Kim. Predicated generic functions: enabling context-dependent method dispatch. In: Proceedings of the 9th international conference on Software composition (Lecture Notes in Computer Science), Springer Verlag: Heidelberg, 2010, 978-3-642-14045-7, 66-81 xxx. doi:10.1007/978-3-642-14046-4_5. http://hdl.handle.net/2078.1/90532

103. Mendonça Filho, Hildeberto; Lawson, Jean-Yves Lionel; Macq, Benoît. Interface Multimodal de Recherche sur les Archives Multimédia. 2010 xxx. http://hdl.handle.net/2078.1/88830

104. Lozano rodriguez, Angela; Wermelinger, Michel. Tracking clones’ imprint. In: IWSC '10 Proceedings of the 4th International Workshop on Software Clones, 2010, 978-1-60558-980-0 xxx. http://hdl.handle.net/2078.1/91167

105. Marulanda Serna, Maria Liliana; Lobelle, Marc; Frenay, Mariane. A constructivist approach for course design using learning objects and animated agents. In: Proceedings of the IADIS International Conference on Intelligent Systems and Agents, iadis, 2010, 978-972-8939-23-6, p. 1-5 xxx. http://hdl.handle.net/2078.1/88602

106. Lozano rodriguez, Angela; Kellens, Andy; Mens, Kim; Arevalo, Gabriela. Mining source code for structural regularities. 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 xxx. doi:10.1109/WCRE.2010.12. http://hdl.handle.net/2078.1/90316

107. van Lamsweerde, Axel. Model engineering for model-driven engineering. In: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, ACM, 2010, 978-1-4503-0083-4, p. 211 xxx. http://hdl.handle.net/2078.1/88974

108. Lozano rodriguez, Angela; Kellens, Andy; Mens, Kim; Arevalo, Gabriela. MEntoR: Mining Entities to Rules. 2010 xxx. http://hdl.handle.net/2078.1/91168

109. 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. In: Proceedings of the Third international conference on Software language engineering (Lecture Notes in Computer Science), Springer Verlag: Heidelberg, 2010, 978-3-642-19439-9, 246-265 xxx. doi:10.1007/978-3-642-19440-5_15. http://hdl.handle.net/2078.1/90528

110. Pecheur, Charles; Andrews, Jamie; Di Nitto, Elisabetta. Conference proceedings of ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2010 xxx. http://hdl.handle.net/2078.1/90727

111. van Lamsweerde, Axel. Model engineering for model-driven engineering. 2010 xxx. http://hdl.handle.net/2078.1/131696

112. Schaus, Pierre; Van Hentenryck, Pascal; Zanarini, Alessandro. Revisiting the soft global cardinality constraint. 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 xxx. doi:10.1007/978-3-642-13520-0_33. http://hdl.handle.net/2078.1/135566

113. Raimondi, Franco; Pecheur, Charles; Brat, Guillaume. Testing Planning Domains (without Model Checkers). In: Proceedings of the third workshop on model-based testing, 2010 xxx. http://hdl.handle.net/2078.1/140518


Book Chapters


1. Jodogne, Sébastien. On the Use of WebAssembly for Rendering and Segmenting Medical Images. In: Biomedical Engineering Systems and Technologies : 15th International Joint Conference, BIOSTEC 2022, Virtual Event, February 9–11, 2022 (Communications in Computer and Information Science; xxx), Springer, 2023, p. 393-414. 978-3-031-38853-8. xxx xxx. doi:10.1007/978-3-031-38854-5_20. http://hdl.handle.net/2078.1/277125

2. Mens, Kim; Lozano Rodriguez, Angela. Source Code-Based Recommendation Systems. In: Recommendation Systems in Software Engineering , Springer-Verlag: Berlin Heidelberg, 2014, 93-130. 978-3-642-45134-8. xxx xxx. doi:10.1007/978-3-642-45135-5_5. http://hdl.handle.net/2078.1/141465

3. Cordero Fuertes, Juan Antonio. Los regímenes árabes contra Internet durante la ‘primavera árabe’: los casos de Egipto, Libia y Siria. In: Seguridad y conflictos: una perspectiva multidisciplinar , INSTITUTO UNIVERSITARIO GENERAL GUTIÉRREZ MELLADO – UNED 2012, 2013, p. 367-404. 978-84-616-2476-8. xxx xxx. http://hdl.handle.net/2078.1/143183

4. 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: the Handbook of Research on Mobile Software Engineering: Design, Implementation and Emergent Applications , IGI Global, 2012. 978-1-61520-655-1. xxx xxx. doi:10.4018/978-1-61520-655-1. http://hdl.handle.net/2078.1/90749

5. Courtois, Pierre-Jacques. The Belgian Electronic Mathematical Machine (1951-1962). An Account.. In: Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday (Lecture Notes in Computer Science; xxx), Springer-Verlag, 2011. 978-3-642-24541-1. xxx xxx. doi:10.1007/978-3-642-24541-1_16. http://hdl.handle.net/2078.1/91248

6. Mendonça Filho, Hildeberto; Nicolas, Vincent; Macq, Benoît; Vybornova, Olga. A Resource Oriented Multimedia Description Framework. In: REST: From Research to Practice , Springer, 2011. 978-1-4419-8302-2. xxx xxx. http://hdl.handle.net/2078.1/70627

7. Van Roy, Peter. The CTM approach for teaching and learning programming. In: Horizons in Computer Science Research. Volume 2 , Nova Science Publishers, 2010, p. 1-26. 978-1-61761-439-2. xxx xxx. http://hdl.handle.net/2078.1/89562


Working Papers


1. Courtois, Pierre-Jacques. Reminisciences: Vitold Belevitch (1921-1999). 2013. 145 p. working paper 2078.1/22808-PDF_01. http://hdl.handle.net/2078.1/22808

2. Paasch, Christoph; Bonaventure, Olivier. MultiPath TCP Low Overhead. 2013. 10 p. MPTCP Internet-Draft draft-paasch-mptcp-lowoverhead-00. http://hdl.handle.net/2078.1/124541

3. Paasch, Christoph; Bonaventure, Olivier. Securing the MultiPath TCP handshake with external keys. 2012. 9 P. p. MPTCP Internet-Draft draft-paasch-mptcp-ssl-00. http://hdl.handle.net/2078.1/124538

4. 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. 2012. 6 p. International Workshop on Rigorous Protocol Engineering (WRiPE) n/a. http://hdl.handle.net/2078.1/126355

5. Mejias Candia, Boris César; Van Roy, Peter. Beernet : building self-managing decentralized systems with replicated transactional storage. 2010. xxx xxx. http://hdl.handle.net/2078.1/89774


Books


1. Dierkes, Michael; Pecheur, Charles. Formal Methods for Industrial Critical Systems. Springer: Heidelberg, 2013. 978-3-642-41009-3. 212 pages. http://hdl.handle.net/2078.1/134259

2. Appeltauer, Malte; Gonzalez Montesinos, Sebastian Andres; Hirschfeld, Robert; Masuhara, Hidehiko; Vallejos, Jorge. Proceedings of the International Workshop on Context-Oriented Programming. ACM: New York,USA, 2012. 978-1-4503-1276-9.pages. http://hdl.handle.net/2078.1/122329