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. 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

8. 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

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. 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

18. 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

19. 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

20. 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

21. 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

22. 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

23. 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

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. 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

Conference Papers

1. 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

2. 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

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. 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

5. 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

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. 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

9. 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

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

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. 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

13. 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

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; Schaus, Pierre. Scalable Constraint Programming approach for Mining Frequent Sequence with gap constraints. 2016 xxx. http://hdl.handle.net/2078.1/177057

17. 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

18. 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

19. 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

20. 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

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. 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

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. 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

26. 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

27. 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

28. 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

29. 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

30. 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

31. 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

32. 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

33. 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

34. 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

35. 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

36. 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

37. 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

38. 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

39. 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

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

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

42. 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

43. 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

44. 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

45. 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

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

47. 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

48. 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

49. 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

50. 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

51. 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

52. 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

53. 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

54. 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

55. 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

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. 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

59. 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

60. 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

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. 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

63. 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

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

65. 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

66. 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

67. 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

68. 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

69. 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

70. 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

71. 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

72. 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

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

74. 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

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

76. 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

77. 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

78. 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

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

80. 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

81. 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

82. 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

83. 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

84. 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

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. 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

87. 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

88. 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

89. 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

90. 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

91. 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

92. 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

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

94. 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

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. 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

97. 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

98. 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

99. 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

100. 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

101. 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

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

103. 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

104. 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

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. 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

107. 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

108. 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

109. 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

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

111. 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

112. 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

113. 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

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. 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

6. 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

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. 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

4. 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

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