Publications - INGI

communication à un colloque publiés dans des actes parus comme monographie

• Mens Kim, Ordonez Diego, Using Annotated Grammars for the Automated Generation of Program Transformers, In: IDM 2007, 2007. (Publié, Scientifique - portée internationale).
• Wuyts R., Demeyer S., Gueheneuc Y.G., Mens Kim, Ducasse Stephane, 7th Workshop on Object-Oriented Reengineering, In: ECOOP 2006 Workshop Reader, Springer-Verlag ed(s), 2007, p. LNCS. (Publié, Scientifique - portée internationale).
• Muehlbauer Wolfgang, Feldmann Anja, Maennel Olaf, Roughan Matthew, Uhlig Steve, Building an AS-topology model that captures route diversity, In: ACM SigComm 2006, Pisa, Italy, September 11-15, 2006, ISBN: 1-59593-308-5, ACM ed(s), 2006, p. 1-12. (Publié, Scientifique - portée internationale).
• Vanderavero Nicolas, Le Charlier Baudouin, Towards a more stateful and accurate HoneyTank, In: Proceedings of the 5th Conference on Security and Network Architectures (SAR 2006) and 3rd Conference on Security in Information Systems (SSI), Seignosse, France, June 6-9 2006, 2006, p. 13-27. (Publié, Scientifique - portée internationale).
• Dony Isabelle, Le Charlier Baudouin, A Tool For Helping Teach A Programming Method, In: ITiCSE'06 : The Eleventh Annual Conference on Innovation and Technology in Computer Science Education, Bologna, Italy, June 26--28, 2006, 2006, p. 212-216. (Publié, Scientifique - portée internationale).
• Martin Xavier, Le Charlier Baudouin, Optimizing a Rule-based Intrusion Detection Language to Handle a Large Number of Signatures, In: Proceedings of the 5th Conference on Security and Network Architectures (SAR 2006), 3rd Conference on Security in Information Systems (SSI 2006), Seignosse - Landes, France, 6-9 June 2006, 2006, p. 146-165. (Publié, Scientifique - portée internationale).
• Schaus Pierre, Deville Yves, Dupont Pierre, Régin Jean-Charles, Simplification and extension of the SPREAD Constraint, In: Third International Workshop on Constraint Propagation And Implementation (CPAI'06), Nantes, France, September 25, 2006, p. 77-91. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Symmetry Breaking in Subgraph Pattern Matching, In: Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'06), Nantes, France, September 25, 2006. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Elimination des symétries pour l'appariement de graphes, In: JFPC'06, Deuxièmes Journées Francophones de Programmation par Contraintes, Nîmes, France, June 7-9, 2006. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Symmetry Breaking in Subgraph Pattern Matching, In: Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'06),, Nantes, France, September 25, 2006, 2006. (Publié, Scientifique - portée internationale).
• Schaus Pierre, Deville Yves, Dupont Pierre, Simplification and extension of the SPREAD Constraint, In: Third International Workshop on Constraint Propagation and Implementation, Nantes, France, September 25, 2006, 2006. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Elimination des symétries pour l'appariement de graphes, In: JFPC'06, Deuxièmes Journées Francophones de Programmation par Contraintes, Nîmes, France, June 7-9, pp. 357-367, 2006, 2006. (Publié, Scientifique - portée internationale).
• Brichau Johan, Kellens A., Gybels K. , Mens Kim, Hirschfeld R., D'Hondt T., Application-Specific Models and Pointcuts using a Logic Meta language, In: Proceedings of the 14th International Smalltalk Conference, Lecture Notes in Computer Science - Springer ed(s), Wofgang De Meuter, 2006. (Publié, Scientifique - portée internationale).
• Kellens A., Mens Kim, Brichau Johan, Gybels K., Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts, In: Proceeding of the European Conference on Object-Oriented Programming (ECOOP 2006), Springer-Verlag ed(s), D. Thomas, 2006, p. LNCS No 4067, p. 501-525. (Publié, Scientifique - portée internationale).
• Gonzalez Sebastian, Mens Kim, Mostinckx S., Prototypes with Multimethods for Context-Awareness, In: Workshop on Object Technology for Ambient Intelligence and Pervasive Computing (OT4Aml 2006) collocated ECOOP 2006, 2006. (Publié, Scientifique - portée internationale).
• Kellens A., Gybels K., Brichau Johan, Mens Kim, A Model-driven Pointcut Language for More Robust Pointcut, In: Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT 2006) Collocated with AOSD 2006, March, 2006. (Publié, Scientifique - portée internationale).
• Lobelle Marc, Rôle de l'e-learning dans l'enseignement universitaire: l'exemple FODITIC, In: Colloque international sur l'informatique et ses applications - IA2006, Oujda, Maroc, 31.10-2.11.06, 2006. (Publié, Scientifique - portée internationale).
• de Marneffe Marie-Catherine, Archambeau Cédric, Dupont Pierre, Verleysen Michel, Local Vector-based Models for Sense Discrimination, In: Proceedings of IWCS 2005, 6th International Workshop on Computational Semantics, Tilburg/the Netherlands, 12-14 January, 2005, H. Bunt, J. Geertzen, E. Thijsse (eds) ed(s), 2005, p. 163-174. (Publié, Scientifique - portée internationale).
• François Pierre, Bonaventure Olivier, Avoiding transient loops during IGP Convergence in IP Networks, In: INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings IEEE, Miami, March 13-17, 2005, ISBN: 0-7803-8968-9, IEEE, 2005, p. 1, p. 237- 247. (Publié, Scientifique - portée internationale).
• Letier Emmanuel, Kramer Jeff, Magee Jeff, Uchitel Sebastian, Monitoring and Control in Scenario-Based Requirements Analysis, In: Proceedings of the 27th international conference on Software engineering, St Louis, Missouri, USA, May 2005, ISBN: 1-59593-963-2, New York, USA, ACM Press, 2005, p. 382 - 391. (Publié, Scientifique - portée internationale).
• Wertz Vincent, Ben-Naoum Abdou Kouider, Delsarte Philippe, PBL in mathematics : What is a ``Good" problem ?, In: Proc. Int. Conference on Problem Based Learning, Finland, June, 2005, p. CD-Rom. (Publié, Scientifique - portée internationale).
• Quoitin Bruno, Bonaventure Olivier, A cooperative approach to interdomain traffic engineering, In: Next generation internet networks traffic engineering (NGI2005), Rome, Italy, April 18-20 Avril 2005, IEEE, 2005, p. 450-457. (Publié, Scientifique - portée internationale).
• Uhlig Steve, Quoitin Bruno, Tweak-it: BGP-based interdomain traffic engineering for transit ASes, In: Next generation Internet networks traffic engineering 2005 (NGI2005), Roma, Italy, April 18-20, 2005, IEEE, 2005, p. 75-82. (Publié, Scientifique - portée internationale).
• Ceccatto Mariano, Marin Marius, Mens Kim, Moonen Leon, Tonella Paolo, Tourwé Tom, A Qualitative Comparison of Three Aspect Mining Techniques, In: Proceedings of the 13th IEEE International Working Conference on Program Comprehension (IWPC 2005), St. Louis, Missouri, USA, May 15-16, 2005, ISBN: 0-7695-2254-8, Washington, DC, USA, IEEE Computer Society, 2005, p. 13 - 22. (Publié, Scientifique - portée internationale).
• Brouckaert Xavier, Bonaventure Olivier, Conception et implémentation d'un protocole de routage multicast pour les petits groupes, In: CFIP'2005 : ingénierie des protocoles, qualité de service, multimédia et mobilité (Actes du 11° Colloque sur l'Ingénierie des Protocoles), Bordeaux, March 29 - April 1, 2005, ISBN: 2-7462-1151-3, E R. Castanet ed(s), Hermes, 2005. (Publié, Scientifique - portée internationale).
• Chieu Vu Minh, Milgrom Elie, COFALE: An adaptive learning environment supporting cognitive flexibility, In: The 12th International conference on artificial intelligence in education (AIED2005), Amsterdam, The Netherlands, July 18-22, 2005, 2005, p. 491-498. (Publié, Scientifique - portée internationale).
• De Landtsheer Renaud, Van Lamsweerde Axel, Reasoning about confidentiality at requirements engineering time, In: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Lisbon Portugal, September 2005, ISBN: 1-59593-014-0, New York, USA, ACM Press, 2005, p. 41 - 49. (Publié, Scientifique - portée internationale).
• Letier Emmanuel, Kramer Jeff, Magee Jeff, Uchitel Sebastian, Fluent temporal logic for discrete-time event-based models, In: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Lisbon, Portugal, September 2005, ISBN: 1-59593-014-0, New York, USA, ACM Press, 2005, p. 70 - 79. (Publié, Scientifique - portée internationale).
• Mens Kim, Kellens A., Pluquet F., Wuyts Roel, The Intensional View Environment, In: Industrial and Tool Proceedings of ICSM 2005, Budapest, September 25-30, 2005, ISBN: 963-460-980-5, 2005, p. 81-84. (Publié, Scientifique - portée internationale).
• Mens Kim, Kellens A., Towards a Framework for Testing Structural Source-Code Regularities, In: Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on Software Maintenance., Budapest, September 25-30, 2005, ISBN: 0-76952368-4, IEEE Computer Society Press, 2005, p. 679-682. (Publié, Scientifique - portée internationale).
• Grolaux Donatien, Vanderdonckt Jean, Van Roy Peter, Attach me, detach me, assemble me like you work, In: Tenth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2005), Rome, Italy, September 2005, 2005. (Publié, Scientifique - portée internationale).
• Quoitin Bruno, Topology Generation based on Network Design Heuristics, In: Proceedings of the 2005 ACM conference on Emerging network experiment and technology, Toulouse, France, October 24 - 27, 2005, ISBN: 1-59593-197-X, Philippe Owezarski, Serge Fdida ed(s), New York, NY, USA, ACM Press, 2005, p. 278 - 279. (Publié, Scientifique - portée internationale).
• François Pierre, Bonaventure Olivier, An evaluation of IP-based fast reroute techniques, In: Proceedings of the 2005 ACM conference on Emerging network experiment and technology, Toulouse, France, October 24-27, 2005, ISBN: 1-59593-197-X, Philippe Owezarski, Serge Fdida ed(s), New York, NY, USA, ACM Press, 2005, p. 244-245. (Publié, Scientifique - portée internationale).
• Van den Schrieck Virginie, Comparison of iBGP Topologies, In: Proceedings of the 2005 ACM conference on Emerging network experiment and technology, Toulouse, France, October 24-27, 2005, ISBN: 1-59593-197-X, Philippe Owezarski, Serge Fdida ed(s), New York, USA, ACM Press, 2005, p. 298 - 299. (Publié, Scientifique - portée internationale).
• Iasi Stefano, François Pierre, Uhlig Steve, Forwarding deflection in multi-area OSPF, In: CoNEXT\'05: Proceedings of the 2005 ACM conference on Emerging network experiment and technology, Toulouse, France, October 24-27 2005, ISBN: 1-59593-197-X, Philippe Owezarski, SErge Fdida ed(s), New York, USA, ACM Press, 2005, p. 254 - 255. (Publié, Scientifique - portée internationale).
• Pelsser Cristel, Using virtual coordinates in the establishment of inter-domain LSPs, In: Proceedings of the 2005 ACM conference on Emerging network experiment and technology, Toulouse, France, October 24-27, 2005, ISBN: 1-59593-197-X, Philippe Owezarski, Serge Fdida ed(s), NY, USA, ACM Press, 2005, p. 274 - 275. (Publié, Scientifique - portée internationale).
• Dooms Grégoire, Deville Yves, Dupont Pierre, Constrained metabolic network analysis: discovering pathways using CP(Graph), In: Workshop on Constraint Based Methods for Bioinformatics, CP2005, Sitges, Spain, October 5, 2005, 2005, p. 29-35. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Declarative Approximate Graph Matching Using a Constraint Approach, In: Second International Workshop on Constraint Propagation and Implementation, Stiges, Spain, October 1, 2005, 2005, p. 1, p. 109-124. (Publié, Scientifique - portée internationale).
• Deville Yves, Dooms Grégoire, Zampelli Stéphane, Dupont Pierre, CP(Graph+Map) for Approximate Graph Matching, In: 1st International Workshop on Constraint Programming Beyond Finate Integer Domains, Stiges, Spain, October 1, 2005, 2005, p. 31-47. (Publié, Scientifique - portée internationale).
• Callut Jérome, Dupont Pierre, Fbeta support vector machines, In: IJCNN05, International Joint Conference on Neural Networks, Montreal, Canada, July 31-August 4, 2005, 2005, p. 1443-1448. (Publié, Scientifique - portée internationale).
• Vast Sébastien, Dupont Pierre, Deville Yves, Automatic extraction of relevant nodes in biochemical networks, In: Atelier Apprentissage et Bioinformatique, CAp 2005, Conférence d'Apprentissage, Nice, France, May 31- June 3, 2005, 2005, p. 21-31. (Publié, Scientifique - portée internationale).
• Spiessens Alfred, Jaradin Yves, Van Roy Peter, Using Constraints to analyze and generate safe capability patterns, In: 1st Workshop on applications of constraint satisfaction and programming in computer security, Sitges, Spain, October 1, 2005, 2005, p. 61-75. (Publié, Scientifique - portée internationale).
• Callut Jérome, Dupont Pierre, Séparateurs à vaste marge optimisant la fonction Fbeta, In: CAp 2005, Conférence d'Apprentissage, Nice, France, May 31 - June 3, 2005, PUG, 2005, p. 79-91. (Publié, Scientifique - portée internationale).
• Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Speeding up constrained path solvers with a reachability propagator, In: Colloquium on Implementation of Constraint and Logic Programming Systems(CICLOPS 2005), at the 11th International Conference on Principles and Practice of Constraint Programming (CP2005), 2005, Sitges (Barcelona), Spain, October 5, 2005, 2005. (Publié, Scientifique - portée internationale).
• Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Reachability: a constrained path propagator implemented as a multi-agent system, In: CLEI2005 Proceedings, Cali, Colombia, October 10-14, 2005, 2005. (Publié, Scientifique - portée internationale).
• Uhlig Steve, Bonaventure Olivier, Magnin Vincent, Rapier Chris, Deri Luca, Implications of the topological properties of Internet traffic on traffic engineering, In: Proceedings of the 2004 ACM symposium on Applied computing, Nicosia, Cyprus, 14-17 March 2004, ISBN: 1-58113-812-1, New-York, USA, ACM, 2004, p. 339-346. (Publié, Scientifique - portée internationale).
• de Marneffe Marie-Catherine, Dupont Pierre, Comparative study of statistical word sense discrimination,, In: Proceedings of the 7th International Conference on Textual Data Statistical Analysis, Louvain-la-Neuve, Belgique, March 10-12, 2004, ISBN: 2-930344-49-0, G. Purnelle, C. Fairon and A. Dister ed(s), Presses Universitaires de Louvain, 2004, p. 1, p. 270-281. (Publié, Scientifique - portée internationale).
• Tourwé Tom, Mens Kim, Mining Aspectual Views using Formal Concept Analysis, In: Proceedings of 4th IEEE International Workshop on Source Code Analysis and Manipulation, Chicago, 15-16 september 2004, ISBN: 0-7695-2144-4, IEEE Computer Society, 2004, p. 97-106. (Publié, Scientifique - portée internationale).
• Tran Van Hung, Van Lamsweerde Axel, Massonet Philippe, Ponsard Christophe, Goal-Oriented Requirements Animation, In: Proceedings of RE 2004: 12th IEEE International Requirements Engineering Conference, Kyoto, September 2004, IEEE, 2004, p. 218-228. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Goal-Oriented Requirements Enginering: A Roundtrip from REsearch to Practice, In: Proceedings of RE 2004: 12th IEEE International Requirements Enginering Conference, Kyoto, September 2004, IEEE, 2004, p. 4-8. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Elaborating Security Requirements by Construction of Intentional Anti-Models, In: Proceedings of ICSE 2004: 26th International Conference on Software Engineering, Edinburgh, May 2004, ACM-IEEE, 2004, p. 148-157. (Publié, Scientifique - portée internationale).
• Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, Migratable User Interface: Beyond Migratory Interfaces, In: First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous'04), Boston, Massachusetts, August 2004, IEEE, 2004, p. 422-430. (Publié, Scientifique - portée internationale).
• Dooms Grégoire, Deville Yves, Dupont Pierre, Constrained Path Finding in Biochemical Networks: a Constraint Programming Approach, In: 5th Open Days in Biology, Computer Science and Mathematics (JOBIM 2004), Montreal, Canada, June 28-30, 2004, 2004, p. JO-40. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Finding Patterns in Biochemical Networks, In: 5h Open Days in Biology, Computer Science and Mathematics (JOBIM 2004), Montreal, Canada, June 28-30, 2004, 2004, p. JO-85. (Publié, Scientifique - portée internationale).
• Dooms Grégoire, Deville Yves, Dupont Pierre, Recherche de chemins contraints dans les réseaux biochimiques, In: Treizièmes Journées Francophones de Programmation en Logique et de Programmation par contraintes (JFPLC 2004), Angers, France, June 21-23, 2004, 2004, p. 109-128. (Publié, Scientifique - portée internationale).
• Chieu Vu Minh, Milgrom Elie, Frenay Mariane, Constructivist Learning: Operational Criteria for Cognitive flexibility (ICALT 2004), In: The 4th IEEE International Conference on advanced Learning Technology, Joensuu, Finland, August 30 - September 01, 2004, IEEE, Inc., 2004, p. 221-225. (Publié, Scientifique - portée internationale).
• Letier Emmanuel, Van Lamsweerde Axel, Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering, In: FSE'04, 12th ACM International Symposium on the Fuoundations fo Software Engineering, Newport Beach, Canada, November 2-4, 2004, 2004, p. 53-62. (Publié, Scientifique - portée internationale).
• Klintskog Erik, Mesaros Valentin, El Banna Zacharias, Brand Per, Haridi Seif, A Peer-to-Peer Approach to Enhance Middleware Connectivity, In: 7th International Conference on Principles of Distributed Systems (OPODIS'03), La Martinique, 10-13 décembre 2003, 2003. (Publié, Scientifique - portée internationale).
• De Landtsheer Renaud, Letier Emmanuel, Van Lamsweerde Axel, Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models, In: Proceedings of RE'03, 11th IEEE Joint International Requirements Engineering Conference, Monterey, 8-12 septembre 2003, ISBN: 0-7695-1980-6, IEEE Press, 2003, p. 200-210. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Brohez Simon, De Landtsheer Renaud, Janssens David, From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering, In: Proceedings Workshop on Requirements for High Assurance Systems (RHAS'03), pre-workshop of the 11th International IEEE Conference on Requirements Engineering, Monterey, septembre 2003, C. Heitmeyer & N. Mead ed(s), Software Engineering Institute Report, Carnegie-Mellon University, 2003, p. 49-56. (Publié, Scientifique - portée internationale).
• Mens Kim, Poll Bernard, Gonzalez Sebastian, Using Intentional Source-Code Views to Aid Software Maintenance, In: Proceedings de ICSM 2003 (International Conference on Software Maintenance), Amsterdam, 22-26 septembre 2003, ISBN: 0-7695-1905-9, 2003, p. 169-178. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Letier Emmanuel, From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering, In: Radical Innovations of Software and Systems Engineering, Post-Workshop Proceedings of the Monterey'02 workshop onterey'02 Workshop, Monterey, 2003, ISBN: 3-540-21179-9, 2003, p. 2941, p. 1-15. (Publié, Scientifique - portée internationale).
• Uhlig Steve, Conservative cascades: an Invariant of Internet traffic, In: Proceedings of the 2003 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), Darmstadt, 14-17 decembre 2003, 2003. (Publié, Scientifique - portée internationale).
• Uhlig Steve, Quoitin Bruno, Bonaventure Olivier, Interdomain traffic engineering with minimal BGP configurations, In: Proceedings de 18th International Teletraffic Congress (ITC-18), Berlin, 31 aout-5 septembre 2003, 2003. (Publié, Scientifique - portée internationale).
• Pelsser Cristel, Bonaventure Olivier, Extending RSVP-TE to support inter-AS LSPs, In: Proceedings de IEEE Workshop on High Performance Switching and Routing (HPSR2003), Torino, Italy, 24-27 juin 2003, ISBN: 0-7803-7710-9, 2003, p. 79- 84. (Publié, Scientifique - portée internationale).
• Mesaros Valentin, Carton Bruno, Van Roy Peter, S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord, In: Proceedings de International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, 23-26 juin 2003, ISBN: 1-892512-44-0, 2003. (Publié, Scientifique - portée internationale).
• Tran Sy Nguyen, Deville Yves, Consistency Techniques for Interprocedural Test Data Generation, In: Joint 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'03), Abstract also presented at the 15th Belgium-Netherlands Conference on Artificial Intelligence,BNAIC'03, Helsinki, Finland, 1-5 septembre 2003, ISBN: 1-58113-743, 2003, p. 1-10. (Publié, Scientifique - portée internationale).
• Kermorvant C., de la Higuera C., Dupont Pierre, Construction de Modèles de Langages par Inférence d'Automates Typés à partir de Données Etiquetées Automatiquement, In: Conférence d'apprentissage, Laval, France, 1-3 juillet 2003, ISBN: 2-7061-1144-5, Presses Universitaires de Grenoble, 2003, p. 77-90. (Publié, Scientifique - portée internationale).
• Vander Borght Cécile, Galand Benoît, Jacqmot Christine, Milgrom Elie, Raucent Benoît, Evaluating the impact of a new curriculum at the School of Engineering of the Université catholique de Louvain (UCL) Belgium, In: 4th ESERA Conference "Research and the quality of Science Education", 08/2003, 2003. (Publié, Scientifique - portée internationale).
• Rifaut André, MASSONET PHILIPPE, Molderez Jean-François, Ponsard Christophe, Stadnik P., Tran Van Hung, Van Lamsweerde Axel, FAUST: Formal Analysis of Goal-Oriented Requirements Using Specification Tools, In: Proc. RE 03: 11th IEEE International Requirements Engineering Conference, Monterey, Montereyt. 2003, IEEE CS Press, 2003, p. 350. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Goal-Oriented Requirements Engineering: From System Objectives to UML Models, In: Proc. ICSE 03: 25th International Conference on Software Engineering, Edinburgh, May 2003, ACM-IEEE, 2003, p. 744-745. (Publié, Scientifique - portée internationale).
• Letier Emmanuel, Van Lamsweerde Axel, Agent-Based Tactics for Goal-Oriented Requirements Elaboration, In: Proceedings de ICSE'02 - 24th International Conference on Software Engineering, Orlando, mai 2002, ISBN: 1-58113-472-X, ACM Press, 2002, p. 1-11. (Publié, Scientifique - portée internationale).
• De Theux Marie-Noëlle, Jacqmot Christine, Wouters Pascale, Instrumenter le pilotage de la formation méthodologique des étudiants, In: Actes du 15e colloque international de ADMEE-Europe, Lausanne, Suisse, 5-7 septembre 2002, 2002. (Publié, Scientifique - portée internationale).
• Jacqmot Christine, Milgrom Elie, Raucent Benoît, How to get into PBL, fast, In: Proceedings de PBL2002: A Pathway To Better Learning International conference in higher education, Baltimore, 16-20 juin 2002, Institute for Transforming Undergraduate Education at The University of Delaware ed(s), University of Delaware, 2002, p. 47. (Publié, Scientifique - portée internationale).
• , Jacqmot Christine, Laloux Auguste, Milgrom Elie, Raucent Benoît, Bourgeois Etienne, Frenay Mariane, Galand Benoît, Evaluating a Problem/Project Based Learning Programme at the Engineering Faculty of UCL, In: Proceedings de PBL2002: A Pathway To Better Learning International conference in higher education, Baltimore, 16-20 juin 2002, Institute for Transforming Undergraduate Education at The University of Delaware ed(s), University of Delaware, 2002, p. 37. (Publié, Scientifique - portée internationale).
• Jacqmot Christine, Milgrom Elie, From PBL to e-PBL, In: Proceedings de ED-MEDIA 2002--World Conference on Educational Multimedia, Hypermedia & Telecommunications, Denver, 24-29 juin 2002, ISBN: 1-880094-45-2, Philip Barker, Samuel Rebelsky ed(s), Association for the Advancement of Computing in Education (AACE), 2002, p. 1325-1329. (Publié, Scientifique - portée internationale).
• De Theux Marie-Noëlle, Jacqmot Christine, Wouters Pascale, Se former à son métier d'étudiants dans un contexte d'apprentissage actif en groupe, In: Actes du 19e colloque de l'Association Internationale de Pédagogie Universitaire, Louvain-la-Neuve, 29-31 mai 2002, Auguste Laloux ed(s), Institut de Pédagogie et des Multimedias, Université Catholique de Louvain, 2002, p. 1-18. (Publié, Scientifique - portée internationale).
• Letier Emmanuel, Van Lamsweerde Axel, Deriving Operational Software Specifications from System Goals, In: Proceedings de FSE'10: 10th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston, novembre 2002, 2002. (Publié, Scientifique - portée internationale).
• Mens Kim, Mens Tom, Wermelinger Michel, Maintaining software through intentional source-code views, In: Proceedings SEKE 2002 Conference, Ischia (Italy), july 2002, ISBN: 1-58113-556-4, Knowledge Systems Institute ed(s), 2002, p. 289-296. (Publié, Scientifique - portée internationale).
• Brichau Johan, Mens Kim, De Volder Kris, Building Composable Aspect-specific Languages with Logic Metaprogramming, In: Proceedings of ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE2002), Pittsburgh, october 6-8 2002, ISBN: 3-540-44284-7, D. Batory, C. Consel, W. Taha ed(s), 2002, p. 2487, p. 110-127. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, The Hamming space viewed as an association scheme, In: Proceedings of the 23d Symposium on Information Theory in the Benelux, Werkgemeenschap voor Informatie en Communicatietheorie, Enschede, The Netherlands, May 29-31, 2002, ISBN: 90-71048-16-0, B. Macq and J.J. Quisquater ed(s), Werkgemeenschap voor Informatie en Communicatietheorie, 2002, p. 329-380. (Publié, Scientifique - portée internationale).
• Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, FlexClock: a Plastic Clock Written in Oz with the QTk Toolkit, In: Proceedings de TAMODIA 2002 (First International Workshop on Task Models and Diagrams for User Interface Design), Bucharest, 18-19 july 2002, ISBN: 973-8360-01-3, Costin Pribeanu ; Jean Vanderdonckt ed(s), INFOREC Publishing House Bucharest, 2002, p. 135-142. (Publié, Scientifique - portée internationale).
• Van Roy Peter, Haridi Seif, Teaching Programming Broadly and Deeply: The Kernel Language Approach, In: Proceedings de IFIP WG 3.2 Working Conference on Informatics Curricula, Teaching Methods, and Best Practice (ICTEM 2002), 2002, p. 10. (Publié, Scientifique - portée internationale).
• Onana Luc, Mesaros Valentin, Van Roy Peter, Haridi Seif, NetProber: a Component for Enhancing Efficiency of Overlay Networks in P2P Systems, In: Second Internaztional Conference on Peer-to-Peer Computing, Linkoping, Sweden, 5-7 septembre 2002, IEEE, 2002, p. 1-8. (Publié, Scientifique - portée internationale).
• Mens Kim, Mens Tom, Wermelinger Michel, Supporting software evolution with intentional software views, In: Proceedings of International Workshop on Principles of Software Evolution (IWPSE2002), 2002, p. 138-142. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Goal-Oriented Requirements Engineering: A Guided Tour, In: Proceedings of RE'01 - 5th IEEE International Symposium on Requirements Engineering, Toronto, Août 2001, IEEE Press, 2001, p. 249-263. (Publié, Scientifique - portée internationale).
• Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces, In: 8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01), Toronto, Canada, Mai 2001, 2001, p. 1. (Publié, Scientifique - portée internationale).
• AGUIRRE EDURNE, Jacqmot Christine, Milgrom Elie, Raucent Benoît, Soucisse Alexandre, Trullemans Charles, , Devenir ingénieur par apprentissage actif, In: Premier colloque de Pédagogie par Projet dans l'enseignement supérieur: enjeux et perspectives, Brest-ENST, 27-29 juin 2001, ISBN: 2-908849-10-0, ENST-Bretagne ed(s), GLAT, 2001, p. 115-122. (Publié, Scientifique - portée internationale).
• Van Roy Peter, Haridi Seif, Extracts from the Upcoming Book "Concepts, Techniques, and Models of Computer Programming", In: Proceedings de MPOOL 01: Workshop on Multiparadigm Programming with Object-Oriented Languages (Workshop de ECOOP 01), Budapest, 18-22 juin, ISBN: 3-00-007968-8, Key Davis, Yannis Smaragdakis, Jorg Striegnitz ed(s), John von Neumann-Instituts für Computing, 2001, p. NIC Series, p. 155-157. (Publié, Scientifique - portée internationale).
• Bonnet Aurélien, Lobelle Marc, Extending a campus network with remote bubbles using IPSEC, In: Proceedings de I-NetSec01, First International Conference on Network Security (IFIP TC11 WG11.4), Leuven, November 26-27 2001, ISBN: 0-7923-7558-0, Bart De Decker, Frank Piessens, Jan Smits, Els Van Herreweghem ed(s), Kluwer Academic Publishers, 2001, p. 139-151. (Publié, Scientifique - portée internationale).
• Tran Sy Nguyen, Deville Yves, Automatic Test Data Generation for Programs with Integer and Float Variables, In: Proceedings of the 16th Annual International Conference on Automated Software Engineering Conference (ASE 2001), San Diego, November 26-29,2001, ISBN: 0-7695-1426-X, IEEE Computer Society, 2001, p. 13-21. (Publié, Scientifique - portée internationale).
• POUPAERT ERIC, Deville Yves, Acceptance driven selection: an approach to approximate global search strategies in local search and evolutionary algorithms, In: Proceedings of the Genetic and Evolutionary Computation Conference, ISBN: 1-5586-0774-9, Morgan Kaufmann, 2001, p. 1173-1180. (Publié, Scientifique - portée internationale).
• Ospina Gustavo A., Le Charlier Baudouin, On the Design of a Tool for Supporting the Construction of Logic Programs, In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, 1er décembre 2001, Anthony Kusalik ed(s), 2001, p. 1-15. (Publié, Scientifique - portée internationale).
• Kermorvant C., Dupont Pierre, Inférence d'automates et correction d'erreurs pour la classification des protéines, In: Conférence d'Apprentissage, Grenoble, 25-27 juin, ISBN: 2-7061-1025-2, Gilles Bisson ed(s), Presses Universitaires de Grenoble, 2001, p. 269-278. (Publié, Scientifique - portée internationale).
• González J., Juan A., Dupont Pierre, Vidal E., Casacuberta F., A Bernoulli mixture model for word categorisation, In: Proceedings of Simposium Nacional de Reconocimiento de Formas y Análisis de Imágenes, Benicàssim (Spain), May 14-18, ISBN: 84-8021-351-5, 2001, p. 1, p. 165-170. (Publié, Scientifique - portée internationale).
• Mens Kim, Michiels Isabelle, Wuyts Roel, Supporting software development through declaratively codified programming patterns., In: Proceedings of International Conference on Software Engineering and Knowlegde Engineering (SEKE2001), Buenos Aires, Argentina, 2001, p. 236-243. (Publié, Scientifique - portée internationale).
• D'Hondt Theo, De Volder Kris, Mens Kim, Wuyts Roel, Co-evolution of Object-Oriented Software Design and Implementation, In: Software Architectures and Component Technology, SACT 2000, M. AKSIT ed(s), 2001, p. 207-224. (Publié, Scientifique - portée internationale).
• Thollard F., Dupont Pierre, de la Higuera C., Probabilistic DFA Inference using Kullback-Leibler Divergence and Minimality, In: Proceedings of the Seventeenth International Conference on Machine Learning, Stanford, CA, USA, June 29 - July 2, ISBN: 1-55860-707-2, Pat Langley ed(s), Morgan Kauffman, 2000, p. 975 - 982. (Publié, Scientifique - portée internationale).
• Thollard F., Dupont Pierre, Inférence Grammaticale Probabiliste utilisant la divergence de Kullback-Leibler et un principe de minimalité, In: Conférence d'Apprentissage, Saint-Etienne, France, 14-16 juin, ISBN: 2-7462-0148-8, Colin de la Higuera ed(s), Hermes Science, 2000, p. 259-275. (Publié, Scientifique - portée internationale).
• Riemenschneider R.A., Dutertre B., Stavridou V., Salasin J., Van Lamsweerde Axel, From System Requirements to System Architecture, In: Proceedings de ISAW-4: Fourth International Software Architecture Workshop, Limerick, June 2000, IEEE-ACM, 2000, p. 1-5. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Requirements Engineering in the Year 00: A Research Perspective, In: Proceedings de ICSE'2000 - 22nd International Conference on Software Engineering (Invited Paper), Limerick, 4-11 June 2000, ISBN: 1-58113-206-9, ACM Press, 2000, p. 5-19. (Publié, Scientifique - portée internationale).
• Thollard F., Dupont Pierre, Entropie relative et algorithmes d'inférence grammaticale probabiliste, In: Conférence d'apprentissage, Palaiseau, France, 15-18 Juin, ISBN: 2-912009-01-4, Chambéry, AFIA, 1999, p. 115 -- 121. (Publié, Scientifique - portée internationale).
• Miclet L., Chodorowski J., Dupont Pierre, Apprentissage et évaluation de modèles de langage par des techniques de correction d'erreurs, In: Conférence d'Apprentissage, Palaiseau, France, 15-18 Juin, ISBN: 2-912009-01-4, Chambéry, AFIA, 1999, p. 253 - 262. (Publié, Scientifique - portée internationale).
• Sadek D., Bretier P., Cadoret V., Cozannet P., Dupont Pierre, Ferrieux A., Panaget F., A Cooperative Spoken Dialogue System Based on a Rational Agent Model: A First Implementation on the AGS Application, In: ESCA Tutorial and Research Workshop on Spoken Dialogue Systems, Visgo, Denmark, 1995. (Publié, Scientifique - portée internationale).
• Miclet L., Dupont Pierre, Vial S., Inférence Grammaticale Régulière : méthodes semi-itératives et mesure de performance, In: Journées Francophones d'Apprentissage, Grenoble, France, 1995. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Application and generalization of the MacWilliams transform in coding theory, In: Werkgemeenschap voor Informatie-en Communicatietheorie, Enschede, Nederland, May 30-31, 1994, 1994, p. 9-44. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Pinson F., Inférence Grammaticale Régulière par Optimisation Génétique à partir d'échantillons positifs et négatifs : la méthode GIG, In: Journées Francophones d'Apprentissage, Strasbourg, France, 1994. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Dynamic Use of Syntactical Knowledge in Continuous Speech Recognition, In: Proceedings European Conference on Speech Communication and Technology, Berlin, Germany, 1993, p. 1959-1962. (Publié, Scientifique - portée internationale).
• Gilbert David, Deville Yves, Tan Aik Choon, Multi-class Protein Fold Classification using a New Ensemble Machine Learning Approach, In: 14th International Conference on Genome Informatics, GIW 2003, Yokohama, Japon, 2003, M. Gribskov, M. Kanehisa, S. Miyano, and T. Takagi ed(s), 2003. (Diffusé, Scientifique - portée internationale).
• Aik Choon Tan , Gilbert David, Deville Yves, Integrative machine learning approach for multi-class SCOP protein fold classification, In: Proceedings of the German Conference on Bioinformatics (GCB 2003), ISBN: 3-936-298-80-7, 2003, p. 153-159. (Diffusé, Scientifique - portée internationale).
• Spiessens Alfred, Collet Raphaël, Van Roy Peter, Declarative Laziness in a Concurrent Constraint Language, In: Proceedings de 2nd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL'03, Kinsale, County Cork, Ireland, 29 septembre 2003, 2003, p. 7-18. (Diffusé, Scientifique - portée internationale).
• ramalho maria, What would children unable to attend school learn from constructing OZ TALES?, In: Proceedings de EUROLOGO 2003, Porto, Portugal, 27-29 aout 2003, Secundino Correia ed(s), 2003, p. 1-6. (Diffusé, Scientifique - portée internationale).
• Van Roy Peter, Armstrong Joe, Flatt Matthew, Magnusson Boris, The Role of Language Paradigms in Teaching Programming, Reno, Nevada, February 2003, 2003. (Diffusé, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Pavey D., Bloomfield R., et al , CEMSIS. Cost Effective Modernization of Systems Important to Safety, In: Proceedings of FISA-2003. EU Research in Reactor Safety., Luxembourg, 10-13 November 2003, 2003, p. 301-305. (Diffusé, Scientifique - portée internationale).
• Kermorvant C., Dupont Pierre, Chaînes de Markov d'ordre variable pour la détection de domaines dans les protéines, In: Proceedings des Journées ouvertes biologie informatique mathématique, Saint-Malo, France, june 10-12 2002, 2002. (Diffusé, Scientifique - portée internationale).
• Dony Isabelle, Le Charlier Baudouin, Finding programming errors with Oz, In: Proceedings de Techniques for Implementing Constraint programming Systems Workshop, held in Conjunction with CP2002 8th International Conference on Principles and Practice of Constraint Programming, Cornell University, Ithaka, New York, September 8,2002, 2002, p. 1-13. (Diffusé, Scientifique - portée internationale).
• Steinhofel K., Dewey C.f., Janssens David, Macq B., Classification of Compressed DICOM Liver Tissue Images, In: IEEE EMBS Special Topic Conference on Molecular, Cellular and Tissue Engineering, 2002., 2002, p. 381-385. (Diffusé, Scientifique - portée internationale).
• Mostafa Almetwaly M., GlobalStore: an abstraction for building fault-tolerant collaborative applications, In: Proceedings de CaberNet Radicals Workshop, Madeira Island, 24-27 février 2002, 2002. (Diffusé, Scientifique - portée internationale).
• Van Roy Peter, La programmation répartie robuste dans la plate-forme Mozart: le rôle du langage et de l'algorithmique répartie, In: Proceedings de LMO 2002 (Languages et Modèles à Objets), Montpellier, France, 23-25 janvier 2002, ISBN: 2-7462-0403-7, Michel Dao, Marianne Huchard ed(s), Hermes Publications, 2002. (Diffusé, Scientifique - portée internationale).
• Van Roy Peter, Haridi Seif, Teaching Programming with the Kernel Language Approach, In: Workshop on Functional and Declarative Programming in Education (FDPE02), at Principles, Logics, and Implementations of High-Level Programming Languages (PLI2002), Pittsburgh, Pennsylvania, October 7, 2002, 2002. (Diffusé, Scientifique - portée internationale).
• Onana Luc, Haridi Seif, Van Roy Peter, Brand Per, A Survey of Concepts, Techniques, and Systems for High Availability Computing, In: Report done for LM Ericsson AB, Sweden, February 2002, 2002. (Diffusé, Scientifique - portée internationale).
• Courtois Pierre-Jacques, New Guidance on Software Important to Safety: The new IAEA Safety Guide and The Common Position of European Nuclear Regulators, In: Proceedings de OECD Workshop on Licensing and Operating Experience of Computer-Based I&C Systems, Hluboká nad Vltavou, Czech republic, September 2001, 2001, p. 1-13. (Diffusé, Scientifique - portée internationale).
• Van Roy Peter, Programming as an Engineering Discipline, or Functional-logic Programming as an Antidote to Java in Computer Science Education, In: Proceedings de International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, Allemagne, 13-15 Sept. 2001, University of Kiel, 2001, p. Technical Report, p. 2017, p. 1-3. (Diffusé, Scientifique - portée internationale).
• AGUIRRE EDURNE, Jacqmot Christine, Milgrom Elie, Raucent Benoît, Soucisse Alexandre, Trullemans Charles, , Meeting the needs of our stakeholders: engineering a new engineering curriculum at UC Louvain, In: Proceedings of the SEFI Annual Conference 2001, Copenhague, 12-14 septembre 2001, SEFI ed(s), Société Européenne pour la formation des ingénieur, 2001, p. 1-5. (Diffusé, Scientifique - portée internationale).
• Van Roy Peter, Using dataflow to separate network issues from functionality issues in distributed object-oriented programming, In: 1st Belgian AOSD Workshop (Aspect-Oriented Software Development), Bruxelles, Nov. 8, 2001, 2001, p. 1-30. (Diffusé, Scientifique - portée internationale).
• Mens Kim, Architectural Aspects, In: 1st Belgian AOSD Workshop (Aspect-Oriented Software Development), Bruxelles, Nov. 8, 2001, 2001. (Diffusé, Scientifique - portée internationale).
• Janssen Micha, Van Hentenryck Pascal, Deville Yves, A Constraint Satisfaction Approach to Parametric Differential Equations, In: Proceedings de IJCAI-01, 22th International Joint Conference on Artificial Intelligence, Seattle, August2001, ISBN: 1-55860-777-3, Morgan Kaufmann publishers, 2001, p. 1-6. (Diffusé, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Pavey D., Bloomfield R., et al. , Cost Effective Modernization of Systems Important to Safety (CEMSIS), In: Proceedings de FISA-2001 Mid Term EC Symposium on Shared Cost and Concerted Actions in Reactor Safety Research, Luxembourg, 12-15 novembre 2001, ISBN: 92-894-3455-4, 2001, p. 213-225. (Diffusé, Scientifique - portée internationale).
• Hadim Mustapha, Van Roy Peter, Service Combinators for WEB Computing in Distributed Oz, In: Proceedings de The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Las Vegas, Nevada,, June 2000, 2000. (Diffusé, Scientifique - portée internationale).
• Alouini Ilies, Van Roy Peter, Fault-tolerant Mobile Agents in Mozart, In: 2nd International Symposium on Agent Systems and Applications (ASA 2000) and 4th International Symposium on Mobile Agents (MA 2000), Zurich, Switzerland, September 2000, 2000. (Diffusé, Scientifique - portée internationale).
• Dupont Pierre, Interpolated Word and Class Bigram Models for Spanish Conversational Speech Recognition, In: IEEE Workshop on Automatic Speech Recognition, Snowbird, Utah, USA, December 10-13, 1995, p. 121--122. (Diffusé, Scientifique - portée internationale).
• Lomuscio Alessio, Pecheur Charles, Raimondi Franco, Automatic Verification of Knowledge and Time with NuSMV, In: Proceedings of IJCAI 07, Hyderabad, India, January 6-12, 2007, 2007. (A paraître, Scientifique - portée internationale).
• Mens Kim, Kellens A., IntensiVE, a toolsuite for documenting and checking structural source-code regularities, In: Proceedings of the European Conference on Software Maintenance and Reengineering, Bari, Italy, March 22-24, 2006, 2006. (A paraître, Scientifique - portée internationale).
• Gueheneuc Y.G., Mens Kim, Wuyts Roel, A comparative framwork for design recovery tools, In: Proceedings of the Conference on Software Maintenance and Reengineering, Bari, Italy, March 22-24, 2006, 2006. (A paraître, Scientifique - portée internationale).
• Pecheur Charles, Raimondi Franco, Symbolic Model Checking of Logics with Actions, In: Proceedings of MOCHART 4: Model Checking and Artificial Intelligence, Riva del Garda, Italy, August 29, 2006, Stefan Edelkamp and Alessio Lomuscio ed(s), Springer, 2006. (A paraître, Scientifique - portée internationale).
• Uhlig Steve, Tandel Sébastien, A critical view of the sensitivity of transit ASes to internal failures, In: Proceedings of the 2005 Tyrrhenian International Workshop on Digital Communications (TIWDC), Sorrento, Italy, July 4-6, 2005, New-York, USA, Springer, 2005. (A paraître, Scientifique - portée internationale).