- UCL Home
- Research institutes
- ICTEAM
- Research
- Research Directions
- Software engineering and programming systems
- All 'software engineering and programming systems' publications
All 'software engineering and programming systems' publications
Journal Articles
1. Jodogne, Sébastien. On the Use of WebAssembly for Rendering and Segmenting Medical Images. In: Biomedical Engineering Systems and Technologies, Vol. 1814, no.1, p. 393-414 (2023). doi:10.1007/978-3-031-38854-5_20. http://hdl.handle.net/2078.1/277125
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. Garcia Diez, Silvia; Laforge, Jérôme; Saerens, Marco. ℜminimax: An Optimally Randomized MINIMAX Algorithm. In: IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Vol. 43, no. 1 (2012). doi:10.1109/TSMCB.2012.2207951. http://hdl.handle.net/2078.1/115173
14. 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
15. 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
16. 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
17. 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
18. 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
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. 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
21. 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
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. 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
24. 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. 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
4. 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
5. 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
6. 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
7. Jodogne, Sébastien. On the Use of DICOM as a Storage Layer for IIIF. 2023 xxx. http://hdl.handle.net/2078.1/279235
8. 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
9. 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. doi:10.1186/s13244-022-01168-w. http://hdl.handle.net/2078.1/257257
10. 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
11. 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
12. 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
13. Aoga, John; Schaus, Pierre. Scalable Constraint Programming approach for Mining Frequent Sequence with gap constraints. 2016 xxx. http://hdl.handle.net/2078.1/177057
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
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. 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
30. 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
31. 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
32. 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
33. 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. 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. 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
37. 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
38. 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
39. 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
40. 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
41. 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
42. 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
43. 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
44. 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
45. 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
46. Hartert, Renaud; Schaus, Pierre. The bi-objective pareto constraint. 2013 xxx. http://hdl.handle.net/2078.1/135573
47. 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
48. 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
49. 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
50. Busard, Simon; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 2013 xxx. http://hdl.handle.net/2078.1/129114
51. 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
52. 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
53. 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
54. 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
55. 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
56. 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
57. 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
58. 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
59. 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
60. 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
61. 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
62. 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
63. O'Doherty, Daire; Jouili , Salim; Van Roy, Peter. Trust-Based Recommendation: An Empirical Analysis. 2012 xxx. http://hdl.handle.net/2078.1/124320
64. 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
65. 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
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. 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
68. 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
69. 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
70. 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
71. 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
72. 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
73. 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
74. 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
75. 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
76. Dory, Thibault; Mejias, Boris; Van Roy, Peter; Tran, Nam-Luc. Measuring Elasticity for Cloud Databases. 2011 xxx. http://hdl.handle.net/2078.1/141825
77. 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
78. 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
79. 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
80. 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
81. 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
82. Busard, Simon; Pecheur, Charles. Rich counter-examples for ACTL model checking. 2011 xxx. http://hdl.handle.net/2078.1/124340
83. 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
84. 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
85. 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
86. 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
87. 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
88. 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
89. Van Cauwelaert, Sascha. Programmation par contraintes relationnelles pour l’analyse et la composition musicales. 2011 xxx. http://hdl.handle.net/2078.1/93016
90. 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
91. Dory, Thibault; Van Roy, Peter. Elasticity as a criterion for choosing a cloud database. 2011 xxx. http://hdl.handle.net/2078.1/93005
92. 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
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. 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
95. 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
96. 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
97. 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
98. 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
99. 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
100. 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
101. 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
102. 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
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. 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
105. 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
106. 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
107. Lozano rodriguez, Angela; Kellens, Andy; Mens, Kim; Arevalo, Gabriela. MEntoR: Mining Entities to Rules. 2010 xxx. http://hdl.handle.net/2078.1/91168
108. 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
109. 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
110. van Lamsweerde, Axel. Model engineering for model-driven engineering. 2010 xxx. http://hdl.handle.net/2078.1/131696
Book Chapters
1. 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
2. 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
3. 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
4. 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
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. 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