All 'software engineering and programming systems' publications


Journal Articles


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Conference Papers


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

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

3. 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. doi:10.1007/978-3-319-46227-1_20. http://hdl.handle.net/2078.1/177056

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

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

6. 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. doi:10.1145/2774993.2774999. http://hdl.handle.net/2078.1/161639

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

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

9. 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. doi:10.4204/EPTCS.184.2. http://hdl.handle.net/2078.1/161206

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

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

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

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

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

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

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

17. 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. doi:10.1007/978-3-319-11737-9_3. http://hdl.handle.net/2078.1/152239

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

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

20. 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. doi:10.1145/2451436.2451461. http://hdl.handle.net/2078.1/122295

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

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

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

24. 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. doi:10.1145/2491185.2491200. http://hdl.handle.net/2078.1/139422

25. 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. doi:10.1109/TASE.2013.33. http://hdl.handle.net/2078.1/128114

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

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

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

29. 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. doi:10.1007/978-3-642-40627-0_43. http://hdl.handle.net/2078.1/135568

30. 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. doi:10.1145/2489837.2489841. http://hdl.handle.net/2078.1/142058

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

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

33. 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. doi:10.1145/2491185.2491187. http://hdl.handle.net/2078.1/139423

34. 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. doi:10.1145/2491185.2491218. http://hdl.handle.net/2078.1/136035

35. 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. doi:10.1109/SEHC.2013.6602476. http://hdl.handle.net/2078.1/131460

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

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. doi:10.4204/EPTCS.112.12. http://hdl.handle.net/2078.1/125442

38. 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. doi:10.1007/978-3-642-45284-0_3. http://hdl.handle.net/2078.1/142902

39. 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. doi:10.1007/978-3-642-38088-4_33. http://hdl.handle.net/2078.1/125454

40. 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. doi:10.1007/978-3-642-40627-0_46. http://hdl.handle.net/2078.1/135571

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

42. 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). doi:10.1145/2245276.2245358. http://hdl.handle.net/2078.1/92942

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

44. 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. doi:10.1109/RE.2012.6345805. http://hdl.handle.net/2078.1/124508

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

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

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

48. 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. doi:10.1007/978-3-642-29828-8_19; 10.1007/978-3-642-29828-8_19. http://hdl.handle.net/2078.1/114117

49. 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. doi:10.1145/2307436.2307441. http://hdl.handle.net/2078.1/122327

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

51. 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. doi:10.1109/ICSE.2012.6227147. http://hdl.handle.net/2078.1/111051

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

53. 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. doi:10.1109/RCIS.2012.6240450. http://hdl.handle.net/2078.1/141828

54. 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. doi:10.1007/978-1-4471-5499-0_2. http://hdl.handle.net/2078.1/141827

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

56. 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. doi:10.1145/2307436.2307439. http://hdl.handle.net/2078.1/113821

57. 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. doi:10.1145/2304536.2304539. http://hdl.handle.net/2078.1/124503

58. 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. doi:10.1007/978-3-642-24574-9_19. http://hdl.handle.net/2078.1/86542

59. 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, 2011, 978-3-642-19439-9, 246-265. doi:10.1007/978-3-642-19440-5_15. http://hdl.handle.net/2078.1/90528

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

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

62. 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. doi:10.1109/CDC.2011.6160770. http://hdl.handle.net/2078.1/115159

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

64. 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. doi:10.1145/2018436.2018475. http://hdl.handle.net/2078.1/139432

65. 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. doi:10.1145/2018436.2018507. http://hdl.handle.net/2078.1/136032

66. 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. doi:10.1145/2079296.2079314. http://hdl.handle.net/2078.1/139433

67. 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. doi:10.1109/IWCMC.2011.5982726. http://hdl.handle.net/2078.1/139434

68. 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. doi:10.1145/2070821.2070822. http://hdl.handle.net/2078.1/91174

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

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

71. 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. doi:10.1109/ICSMC.2011.6083933. http://hdl.handle.net/2078.1/91191

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

73. 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. doi:10.1007/978-3-642-19260-9_3. http://hdl.handle.net/2078.1/139435

74. 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. doi:10.1007/978-3-642-21387-8_2. http://hdl.handle.net/2078.1/141822

75. 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. doi:10.1145/2068736.2068738. http://hdl.handle.net/2078.1/91163

76. 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. doi:10.1109/SRDS.2011.29. http://hdl.handle.net/2078.1/139429

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

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

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

80. 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. doi:10.1145/1996461.1996488. http://hdl.handle.net/2078.1/118206

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

82. 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. doi:10.1007/978-3-642-20398-5_29. http://hdl.handle.net/2078.1/90720

83. 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. doi:10.1109/ASE.2011.6100078. http://hdl.handle.net/2078.1/86541

84. 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. doi:10.1007/978-3-642-20398-5_43. http://hdl.handle.net/2078.1/90705

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

86. 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. doi:10.1145/1868044.1868045. http://hdl.handle.net/2078.1/87504

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

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

89. 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. doi:10.1145/1859184.1859187. http://hdl.handle.net/2078.1/139431

90. 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. doi:10.1109/WCRE.2010.12. http://hdl.handle.net/2078.1/90316

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

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

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

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

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

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

97. 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. doi:10.1007/978-3-642-13520-0_33. http://hdl.handle.net/2078.1/135566

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

99. 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. doi:10.1007/978-3-642-14046-4_5. http://hdl.handle.net/2078.1/90532


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. 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. 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. doi:10.4018/978-1-61520-655-1. http://hdl.handle.net/2078.1/90749

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

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. doi:10.1007/978-3-642-24541-1_16. http://hdl.handle.net/2078.1/91248

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


Working Papers


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

2. Paasch, Christoph; Bonaventure, Olivier. MultiPath TCP Low Overhead (xxx), 2013. 10 p. 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 (xxx), 2012. 6 p. http://hdl.handle.net/2078.1/126355

4. Paasch, Christoph; Bonaventure, Olivier. Securing the MultiPath TCP handshake with external keys (xxx), 2012. 9 P. p. 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 (xxx), 2010. 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