Publications - INGI

article de périodique

• Mens Kim, Kellens A., Tonella Paolo, A Survey of Automated Code-level Aspect Mining Techniques, Transactions on Aspect-Oiented Software Development, Special issue on Software Evolutionl, 2007. (Publié, Scientifique - portée internationale).
• Mens Kim, Kellens A., Pluquet F., Wuyts Roel, Co-Evolving Code and Design with Intensional Views - A Case Study, Computer Languages, Systems & Structures - Special Issue: Smalltalk, Elsevier, 32(2-3), 2006, p. 140-156. (Publié, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Delsarte Philippe, On the optimal scheduling of periodic tests and maintenance for reliable redundant components, Reliability engineering and system safety, 91, 1, 2006, p. 66-72. (Publié, Scientifique - portée internationale).
• de Launois Cédric, Quoitin Bruno, Bonaventure Olivier, Leveraging network performance with IPv6 multihoming and multiple provider-dependent aggregatable prefixes, Computer Networks, 50, 8, 2006, p. 1145-1157. (Publié, Scientifique - portée internationale).
• de Launois Cédric, Bagnulo Marcello, The paths towards IPv6 multihoming, IEEE Communications Surveys and Tutorials, 8, 2, 2006. (Publié, Scientifique - portée internationale).
• Ceccatto Mariano, Marin M., Mens Kim, Moonen L., Tonella Paolo, Tourwé Tom, Applying and Combining Three Different Aspect Mining Techniques, Software Quality Journal, Springer Netherlands, 14, 3, 2006, p. 209-231. (Publié, Scientifique - portée internationale).
• Mens Kim, Tourwé Tom, Delving source code with formal concept analysis, Computer Languages, Systems & Structure, Special Issue: Smalltalk, 31, 3-4, 2005, p. 183-198. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Denis François, Esposito Yann, Links between Probabilistic Automata and hidden Markov Models: probability distributions, learning models and induction algorithms, Pattern Recognition: Special Issue on Grammatical Inference Techniques & Applications, 38, 9, 2005, p. 1349-1371. (Publié, Scientifique - portée internationale).
• Quoitin Bruno, Pelsser Cristel, Uhlig Steve, Bonaventure Olivier, A Performance Evaluation of BGP-based Traffic Engineering, International Journal of Network Management, 15, 3, 2005, p. 177-191. (Publié, Scientifique - portée internationale).
• François Pierre, Filsfils Clarence, Evans John, Bonaventure Olivier, Achieving sub-second IGP convergence in large IP networks, ACM SIGCOMM Computer Communication Review, 35, 3, 2005, p. 35-44. (Publié, Scientifique - portée internationale).
• Uhlig Steve, A Multiple-objectives Evolutionary Perspective to Interdomain Traffic Engineering, International Journal of Computational Intelligence and Applications, 5, 2, 2005, p. 215-230. (Publié, Scientifique - portée internationale).
• Quoitin Bruno, Uhlig Steve, Modeling the routing of an Autonomous System with C-BGP, IEEE Network, 19(6), 2005, p. 12-19. (Publié, Scientifique - portée internationale).
• Yannuzzi M., Masip-Bruin X., Bonaventure Olivier, Open Issues in Interdomain Routing: A Survey, IEEE Network Magazine, special issue on interdomain routing, 19, 6, 2005, p. 49- 56. (Publié, Scientifique - portée internationale).
• Damas Christophe, Lambeau Bernard, Dupont Pierre, Van Lamsweerde Axel, Generating Annotated Behavior Models from End-User Scenarios, IEEE Transactions on Software Engineering, 31, 12, 2005, p. 1056-1073. (Publié, Scientifique - portée internationale).
• Mens Tom, Mens Kim, Tourwé Tom, Aspect-Oriented Software Evolution, ERCIM News, Special Theme: Automated Software Engineering, 58, 2004, p. 36-37. (Publié, Scientifique - portée internationale).
• Hutchison David, Mathy Laurent, Bonaventure Olivier, Network support for GRID computing, Computer Communications, 27, 14, 2004, p. 1355-1356. (Publié, Scientifique - portée internationale).
• Baker-Finch Clement, Glynn Kevin, Peyton Jones Simon, Constructed product result analysis for Haskell, Journal of Functional Programming, 14, 2, 2004, p. 211-245. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Beyond the orthogonal array concept, European Journal of Combinatorics, 25, 2004, p. 187-198. (Publié, Scientifique - portée internationale).
• Kermorvant C., de la Higuera C., Dupont Pierre, Learning typed automata from automatically labeled data, Journal electonique d'intelligence artificielle, 6, 45, 2004. (Publié, Scientifique - portée internationale).
• Lemer Christian, Antezana Erick, Couche Fabian, Fays Frédéric, Santolaria Xavier, Rekin's Janky, Deville Yves, Richelle Jean, wodak Shoshana, The aMAZE LightBench: a web interface to a relational database of cellular processes, Nucleic Acid Research, Database Issue, 32, 2004, p. 443 - 448. (Publié, Scientifique - portée internationale).
• Uhlig Steve, Bonaventure Olivier, Designing BGP-based outbound traffic engineering techniques for stub ASes, ACM SIGCOMM Computer Communication Review, 34, 5, 2004, p. 89-106. (Publié, Scientifique - portée internationale).
• De Landtsheer Renaud, Letier Emmanuel, Van Lamsweerde Axel, Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models, Requirements Engineering Journal, 9, 2004, p. 104-120. (Publié, Scientifique - portée internationale).
• Uhlig Steve, Non-stationarity and high-order scaling in TCP flow arrivals: a methodological analysis, ACM SIGCOMM Computer Communication Review, 34, 2, 2004, p. 9-24. (Publié, Scientifique - portée internationale).
• Mens Tom, Wuyts Roel, De Volder Kris, Mens Kim, Declarative meta programming to support software development: workshop report, ACM SIGSOFT Software Engineering Notes, 28, 2, 2003, p. 1-3. (Publié, Scientifique - portée internationale).
• Sintzoff Michel, On the design of correct and optimal dynamical systems and games, Information Processing Letters, 88, 1-2, 2003, p. 59-65. (Publié, Scientifique - portée internationale).
• Deville Yves, Gilbert David, van Helden Jacques, wodak Shoshana, An Overview of Data Models for the Analysis of Biochemical Pathways, Briefings in Bioinformatics, 4, 3, 2003, p. 246-259. (Publié, Scientifique - portée internationale).
• Van Roy Peter, Brand Per, Duchier Denys, Haridi Seif, Henz Martin, Schulte Christian, Logic programming in the context of multiparadigm programming: The Oz experience, Theory and Practice of Logic Programming, 3, 6, 2003, p. 715-763. (Publié, Scientifique - portée internationale).
• Reinbold Pierre, Bonaventure Olivier, IP Micromobility protocols, IEEE Communications Surveys and tutorials (online journal), 5, 1, 2003, p. 40-57. (Publié, Scientifique - portée internationale).
• Quoitin Bruno, Tandel Sébastien, Uhlig Steve, Bonaventure Olivier, Interdomain Traffic Engineering with Redistribution Communities, Computer Communications, 27, 4, 2003, p. 355-363. (Publié, Scientifique - portée internationale).
• Quoitin Bruno, Uhlig Steve, Pelsser Cristel, Swinnen Louis, Bonaventure Olivier, Interdomain traffic engineering with BGP, IEEE Communications Magazine, 41, 5, 2003, p. 1-9. (Publié, Scientifique - portée internationale).
• Janssen Micha, Van Hentenryck Pascal, Deville Yves, A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations, SIAM Journal on Numerical Analysis, 40, 5, 2003, p. 1896-1939. (Publié, Scientifique - portée internationale).
• Mens Kim, Michiels Isabelle, Wuyts Roel, Supporting Software Development through Declaratively Codified Programming Patterns, Elsevier Journal on Expert Systems with Applications, SEKE special issue, 23, 4, 2002, p. 405-431. (Publié, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Hard Guidelines Made for Computer Software, Nuclear Engineering International, 47, 570, 2002, p. 37-40. (Publié, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Bloomfield R., Littlewood B., Strigini L., Search for the Unnecessary: Letter to the Editor, Nuclear Engineering International, 47, 570, 2002, p. 11. (Publié, Scientifique - portée internationale).
• Deville Yves, Janssen M, Van Hentenryck Pascal, Consistency Techniques for Ordinary Differential Equations, Constraints, 7, 3/4, 2002, p. 289-316. (Publié, Scientifique - portée internationale).
• Le Charlier Baudouin, ROSSI SABINA, Van Hentenryck Pascal, Sequence-based abstract interpretation of Prolog, Theory and Practice of Logic Programming (TLP), 2, 1, 2002, p. 25-84. (Publié, Scientifique - portée internationale).
• Vermaut François, Deville Yves, Macq Benoît, Marichal Xavier, A Distributed Adaptive Block Matching Algorithm : Dis-ABMA, Image Communication, 16, 5, 2001, p. 432-444. (Publié, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Semantic Structures and Logic Properties of Computer-based Dependability Cases, Nuclear Engineering and Design, 203, 1, 2001, p. 87-106. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Letier Emmanuel, Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, Special Issue on Exception Handling, 26, 10, 2000, p. 978-1005. (Publié, Scientifique - portée internationale).
• POUPAERT ERIC, Deville Yves, Simulated Annealing with Estimated Temperature, AI Communications, 13, 1, 2000, p. 19-26. (Publié, Scientifique - portée internationale).
• Kamp Yves, A spin-type model for interacting agents with memory, Physical Review E, 62, 2, 2000, p. 1725-1728. (Publié, Scientifique - portée internationale).
• Boë L.-J., Bimbot F., Bonastre J.-F., Dupont Pierre, Des évaluations des systèmes de vérification du locuteur à la mise en cause des expertises vocales en identification juridique, Langues, 4, 1999, p. 270--288. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Levenshtein V.I., Association schemes and coding theory, IEEE Transactions on Information Theory, 44, 1998, p. 2477-2504. (Publié, Scientifique - portée internationale).
• Van Roy Peter, 1983-1993 - The wonder years of sequential Prolog implementation Journal of Logic Programming,vol. 19-20,May-July 1994,pp. 385-441,, -, 1994. (Publié, Scientifique - portée internationale).
• Calderbank A.R., Delsarte Philippe, On Error-Correcting Codes and Invariant Linear Forms, SIAM Journal on Discrete Mathematics, 6, 1, 1993, p. 1-23. (Publié, Scientifique - portée internationale).
• FLENER PIERRE, Deville Yves, Logic Program Synthesis from Incomplete Specifications, Journal of Symbolic Computation, Special Issue on Automatic Programming, 15, 5-6, 1993, p. 775-905. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Macq Benoît, Slock D.T.M., Signal-Adapted Multiresolution Transform for Image Coding, I.E.E.E. Transactions on Information Theory, 38, 2, 1992, p. 897-904. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Genin Yves, On a generalization of the Szego. Levinson recurrence and its application in lossless inverse scattering, IEEE Trans. Inform. Theory, 38, 1992, p. 104-110. (Publié, Scientifique - portée internationale).
• Van Hentenryck Pascal, Deville Yves, Teng Choh-Man, A generic arc-consistency algorithm and its specializations, Artificial Intelligence, 57, 2-3, 1992, p. 291-321. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Genin Yves, Tridiagonal approach to the algebraic environment of Toeplitz matrices. Part I: basic results, SIAM J. Matrix Anal. Appl., 220-238, 1991. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Genin Yves, Tridiagonal approach to the algebraic environment of Toeplitz matrices. Part II: zero and eigenvalue problems, SIAM J. Matrix Anal. Appl., 12, 3, 1991, p. 432-448. (Publié, Scientifique - portée internationale).
• Delsarte Philippe, Genin Yves, Real lossless functions of continuous and discrete type, orthogonal polynomials on the real line, and polynomial stability tests, IEEE Trans. Circuits and Systems, 38, 1991, p. 1314-1321. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Thayse André, Montague's Semantics and Boolean Semantics for Natural Language Representation, Philips Journal of Research, Vol. 45, No. 1, 1990, p. 41-66. (Publié, Scientifique - portée internationale).
• Raucent Benoît, De Theux Marie-Noëlle, Jacqmot Christine, Milgrom Elie, Vander Borght Cécile, Devenir ingénieur par apprentissage actif, compte rendu d'innovation, Didaskalia, 24, 2004, p. 81-101. (Publié, Didactique).
• Uhlig Steve, Quoitin Bruno, Lepropre Jean, Balon Simon, Providing public intradomain traffic matrices to the research community, ACM SIGCOMM Computer Communication Review, 36(1), 2006. (A paraître, Scientifique - portée internationale).
• Donnet Benoit, Baynat Bruno, Friedman Timur, Retouched Bloom Filters: Allowing Networked Applications to Trade Off Selected False Positives Against False Negatives, ACM CoNEXT, 2006. (A paraître, Scientifique - portée internationale).
• Bagnulo Marcello, Garcia Martinez A., Azcorra Arturo, de Launois Cédric, An Incremental Approach to IPv6 Multihoming, Computer Communications, 2005. (A paraître, Scientifique - portée internationale).
• Leduc G., Abrahamsson H., Balon S., Bessler S., D'Arienzo Michele, Delcourt O., Domingo-Pascual J., Cerav-Erbas S., Gojmerac I., Masip X., Pescaph A., Quoitin Bruno, Romano S.F., Salvatori E., Skivée F., Tran H.T., Uhlig Steve, Umit H., An open source traffic engineering toolbox, Computer communications, 2005. (A paraître, Scientifique - portée internationale).

monographie

• Dupont Pierre, Callut Jérome, Dooms Grégoire, Monette Jean-Noël, Deville Yves, Relevant subgraph extraction from random walks in a graph, 2006, RR 2006-07 numero_vol, 30 p., Research Report. (Publié, Scientifique - portée internationale.)
• Van Roy Peter, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, Springer, 2005, 3389 numero_vol, Lecture Notes in Computer Science, ISBN:3-540-25079-4. (Publié, Scientifique - portée internationale.)
• Van Roy Peter, Haridi Seif, Programowanie. Koncepcje, techniki i modele, Pologne, Wydawnictwo Helion S.A., 2005, 904 p., ISBN:83-7361-979-8. (Publié, Scientifique - portée internationale.)
• Thayse André, Calcul différentiel pour les langues de la logique - Théorie et applications, Paris, Hermes - Lavoisier, 2004, 222 p., ISBN:2-7462-0905-5. (Publié, Scientifique - portée internationale.)
• Van Roy Peter, Haridi Seif, Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004, 929 p., ISBN:0-262-22069-5. (Publié, Scientifique - portée internationale.)
• Thayse André, Logique et théorie des systèmes digitaux, Lavoisier, 2002, 272 p., ISBN:2-7462-0586-6. (Publié, Scientifique - portée internationale.)
• Delsarte Philippe, Thayse André, Logique pour le traitement de la langue naturelle - application à la langue française, Paris, Hermès Science, 2001, 1 vol., 359 p., Technologies et Cultures, ISBN:2-7462-0266-2. (Publié, Scientifique - portée internationale.)
• Gochet Paul, Gribomont Pascal, Thayse André, Logique (volume 3) : méthodes pour l'intelligence artificielle, Paris, Hermes Science Publications, 2000, 394 p., ISBN:2-7462-0131-3. (Publié, Scientifique - portée internationale.)
• Courtois Pierre-Jacques, Software for Computer Based Systems Important to Safety, 2000, 89 p., IAEA Safety Standards Series. Safety Guide N° NS-G-1.1, ISBN:92-0-101800-2. (Publié, Scientifique - portée internationale.)
• Courtois Pierre-Jacques, Common position of European nuclear regumators for the licensing of safety critical software for nuclear reactors, 2000, 81 p., Report EUR 19265 EN. EuropeanCommission, Nuclear safety and the environment, ISBN:92_828_8178_4. (Publié, Scientifique - portée internationale.)
• Van Hentenryck Pascal, Laurent M., Deville Yves, Numerica: A Modeling Language for Global Optimization ,1997,210p.,, MIT Press, 1997. (Publié, Scientifique - portée internationale.)
• Dupont Pierre, Utilisation et Apprentissage de Modèles de Langage pour la Reconnaissance de la Parole Continue, Paris, ENST, 1996, 247 p.. (Publié, Scientifique - portée internationale.)
• Courtois Pierre-Jacques, Semal Pierre, Predictably Dependable Computing Systems Esprit Basic Research Project 6362 - PDCS2. First Year Report published by LAAS-CNRS, Toulouse, France Septembre 1993,1-26, 1993., 1993. (Publié, Scientifique - portée internationale.)
• Thayse André, Delsarte Philippe, Hagelstein Joëlle, LOUIS GEORGES, Rifaut André, Vauclair Marc, Dubois E., Van Lamsweerde Axel, van der linden franck, Approche logique de l'intelligence artificielle. De l'apprentissage artificiel aux frontières de l'IA, A. Thayse ed(s), Dunod, 1991, ISBN:2-10-000073-X. (Publié, Scientifique - portée internationale.)
• Mens Kim, Ordonez Diego, Syben Mathieu, Navigating through Java programs with Concept Lattices, 2006, Technical Report. (Publié, Scientifique - portée locale.)
• Ordonez Diego, Mens Kim, Third Semi-Annual Report of the APPAREIL Project. Deliverable for the FIRST EUROPE OBJECTIF 3 Program, Contract no EPH3310300R055F/415748 (An electronic version of this technical report is not available for public distribution), 2006, 2006-08 numero_vol, Technical Report. (Publié, Scientifique - portée locale.)
• Wuyts R., Mens Kim, Codifying Structural Regularities of Object-Oriented Programs, 2006, 2006-06 numero_vol, Technical Report. (Publié, Scientifique - portée locale.)
• Gonzalez Sebastian, Mostinckx S., Costanza Pascal, Mens Kim, De Meuter W., Multimethods for Context-Awareness, 2006, 2006-03 numero_vol, Technical Report. (Publié, Scientifique - portée locale.)
• Ordonez Diego, Mens Kim, Second Semi-Annual Report of the APPAREIL Project. Deliverable for the FIRST EUROPE OBJECTIF 3. Program Contract no EPH3310300R055F/415748. (An electronic version of this technical report is not available for public distribution), 2006, 2006-02 numero_vol, Technical Report. (Publié, Scientifique - portée locale.)
• Dahchour Mohamed, Integrating generic relationships into object models using metaclasses, 2001. (Publié, Didactique.)
• Bonaventure Olivier, François Pierre, Previdi Stefano, ISIS extensions for ordered FIB updates, 2006, 8 p., Internet Drafts. (Diffusé, Scientifique - portée internationale.)
• François Pierre, Bonaventure Olivier, Shand Mike, Previdi Stefano, Bryant Stewart, Loop-free convergence using ordered FIB updates, 2005, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Van Roy Peter, Ghodsi Ali, Haridi Seif, Stefani Jean-Bernard, Coupaye Thierry, Reinefeld Alexander, Winter Ehrhard, Yap Roland, Self Management of Large-Scale Distributed Systems by Combining Peer-to-Peer Networks and Components, 2005, CoreGRID Technical Report. (Diffusé, Scientifique - portée internationale.)
• Pelsser Cristel, Uhlig Steve, Bonaventure Olivier, Limitations induced by BGP on the computation of interdomain LSPs, 2004, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Bonaventure Olivier, Uhlig Steve, Quoitin Bruno, The case for more versatile BGP Route Reflectors, 2004, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• De Cnodder S., Pelsser Cristel, Protection for inter-AS MPLS tunnels, 2004, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Pollet Isabelle, Towards a generic framework for the abstract interpretation of Java, Louvain-la-Neuve, Computing science and engineering department, 2004, PhD thesis. (Diffusé, Scientifique - portée internationale.)
• De Cnodder S., Pelsser Cristel, Protection for inter-AS MPLS tunnels, 2003. (Diffusé, Scientifique - portée internationale.)
• Bonaventure Olivier, Common utilizations of the BGP community attribute, 2003, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• de Launois Cédric, Bonaventure Olivier, NAROS : Host-centric IPv6 multihoming with traffic engineering, 2003, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Bonaventure Olivier, De Cnodder S., Haas J., Quoitin Bruno, White R., Controlling the redistribution of BGP routes, 2003, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Pelsser Cristel, Bonaventure Olivier, RSVP-TE extensions for interdomain LSPs, 2002, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Quoitin Bruno, Bonaventure Olivier, A survey of the utilization of the BGP community attribute, 2002, Internet-Drafts. (Diffusé, Scientifique - portée internationale.)
• Janssen Micha, A Constraint Satisfaction Approach for Enclosing Solutions to Initial Value Problems for Parametric Ordinary Differential Equations, Thèse de doctorat en Sciences appliquées, défendue le 26 octobre 2001, Louvain-la-Neuve, Faculté des Sciences Appliquées, Unité d'Informatique, 2001, 123 p.. (Diffusé, Scientifique - portée internationale.)
• Letier Emmanuel, Reasoning about Agents in Goal-Oriented Requirements Engineering, Thèse de doctorat en Sciences Appliquées, défendue le 22 mai 2001 (promoteur A. van Lamsweerde), Louvain-la-Neuve, Faculté des Sciences Appliquées, Unité d'Informatique, 2001, 283 p.. (Diffusé, Scientifique - portée internationale.)
• Gobert François, Le Charlier Baudouin, On the Power of a Static Analyser of Logic Programs based on Abstract Interpretation, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-02 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Glynn Kevin, Van Roy Peter, Multi-Consistency in Peer-to-Peer Computing, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-04 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)
• Jaradin Yves, Spiessens Alfred, Van Roy Peter, Capability confinement by membranes, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-03 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)
• Mesaros Valentin, Collet Raphaël, Glynn Kevin, Van Roy Peter, A transational system for structured overlay networks, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-01 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)
• Jaradin Yves, Spiessens Alfred, Van Roy Peter, SCOLL : A Language for Safe Capability Based Collaboration, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-10 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)
• Spiessens Alfred, Jaradin Yves, Van Roy Peter, Using Constraints To Analyze And Generate Safe Capability Patterns, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-11 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)
• Quesada Ramirez Luis, Van Roy Peter, Deville Yves, The Reachability Propagator, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-07 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Kellens A., Mens Kim, A Survey of Aspect Mini Tools and Techniques, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-08 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Ordonez Diego, Mens Kim, First Semi-Annual Report of the APPAREIL Project, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-06 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Gonzalez Sebastian, De Meuter Wolfgang, Mens Kim, Multiple Dispatch for Ambient Intelligence, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-15 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Callut Jérome, Dupont Pierre, Learning Hidden Markov Models to Fit Long-Term Dependencies, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-09 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Tran Sy Nguyen, Deville Yves, COTTAGE: A Consistency Based System for Test Data Generation, Louvain-la-Neuve, Computing science and engineering department, UCL, 2004, Technical Report. (Diffusé, Scientifique - portée locale.)
• de Launois Cédric, Uhlig Steve, Bonaventure Olivier, A Stable and Distributed Network Coordinate Systems, Louvain-la-Neuve, Computing science and engineering department, UCL, 2004, 2004-06 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Brouckaert Xavier, Efficient mobility support in large and small group multicast routing protocols, Louvain-la-Neuve, Computing science and engineering department, UCL, 2004, 2004-07 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Quesada Ramirez Luis, Solving Constrained Path Problems in Non-Monotonic Environments, Louvain-la-Neuve, Computing science and Engineering Department, 2004, 2004-03 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Carton Bruno, Mesaros Valentin, Van Roy Peter, Improving the scalability of logarithmic-degree DHT-based Peer-to-Peer Networks, Louvain-la-Neuve, Computing science and Engineering Department, 2004, 2004-01 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Thayse André, Calcul différentiel pour les langues de la logique. Partie 3 : Calcul différentiel pour la logique multivaluée, Louvain-la-Neuve, Computing science and engineering department, 2004, 2004-02 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Thayse André, Calcul différentiel et intégral pour fonctions logiques. Partie 5 : Eléments d'analyse différentielle pour la logique des prédicats, Louvain-la-Neuve, Computing science and Engineering Department, 2004, 2004-05 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Thayse André, Calcul différentiel pour les langues de la logique. Partie 4 : Calcul intégral booléen, Louvain-la-Neuve, Computing science and engineering department, 2004, 2004-04 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Mens Kim, Tourwé Tom, Reverse Engineering Aspectual Views using Formal Concept Analysis, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2004, 2004-09 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Gonzalez Sebastian, De Meuter Wolfgang, Mens Kim, D'Hondt Theo, The Unavoidable Failure of Class-Based Languages in the Processor Cloud Era, Louvain-la-Neuve, Computing science and Engineering Department, UCL, 2004, 2004-08 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Thayse André, Theorem proving methods in digital network design, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-09 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Reinfelds Juris, Van Roy Peter, Bergin Joe, Rasala Richard, Scott Kirk, Concepts First in Introductory CS Courses: Working Group Report ITiCSE 2003, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-08 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Dony Isabelle, Using Oz for imperative programs analysis:Current prototype and future work, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-07 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Thayse André, Calcul différentiel et intégral pour fonctions logiques : Partie 2 : Applications, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-06 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Sintzoff Michel, On the design of correct and optimal dynamical systems and games, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-05 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Thayse André, Calcul différentiel et intégral pour fonctions logiques. Partie 1 : Calcul différentiel booléen, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-04 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Sintzoff Michel, Iterative Synthesis of Winning Strategies Ensuring Invariance and Inevitability in Discrete-Decision Games, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-03 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Mens Kim, Poll Bernard, Supporting Software Maintenance and Reengineering with Intentional Source-Code Views, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2003, 2003-10 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Gonzalez Sebastian, De Meuter Wolfgang, Domain-Specific Language Definition Through Reflective Extensible Language Kernels, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2003, 2003-11 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Mens Tom, Mens Kim, Wuyts Roel, On The Use Of Declarative Meta Programming For Managing Architectural Software Evolution, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2000, 2000-03 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)
• Duchier Denys, Kornstaedt Leif, Muller Tobias, Schulte Christian, Van Roy Peter, System Modules, 2000, Mozart system documentation. (Diffusé, Autre.)

contribution à un ouvrage collectif

• Pelsser Cristel, Bonaventure Olivier, Path Selection Techniques to Establish Constrained Interdomain MPLS LSPs, In: NETWORKING 2006, F. Boavida, T. Plagemann, B. Stiller, C. Westphal, E. Monteiro ed(s), Springer-Verlag, 2006, ISBN: 3-540-34192-7, Lecture Notes in Computer Science, 3976, p. 209-220. (Publié, Scientifique - portée internationale).
• Milgrom Elie, Quel parti pris pour la formation: Centré sur l'apprentissage ? Sur l'enseignement ? Qu'espérions-nous du changement ?, In: Etre enseignant. Magister ? Metteur en scène ?, B. Raucent, C. Vander Borght ed(s), De Boeck, 2006, ISBN: 2-8041-5047-X, Pédagogies en développement, p. 26-31. (Publié, Scientifique - portée internationale).
• Milgrom Elie, Comment évaluer les acquis des étudiants: former? certifier ? Quelle est la place de l'évaluation dans le dispositif de formation ?, In: Etre enseignant. Magister ? Metteru en scène ?, B. Raucent, C. Vander Borght ed(s), De Boeck, 2006, ISBN: 2-8041-5047-X, Pédagogies et développement, p. 240-245. (Publié, Scientifique - portée internationale).
• Deville Yves, Milgrom Elie, Comment évaluer les acquis des étudiants: Former ? Certifier ? Quels types de questions utiliser ? Comment évaluer rapidement ? Le mariage du GCM et du GVF, In: Etre enseignant. Magister ? Metteur en scène ?, B. Raucent, C. Vander Borght ed(s), De Boeck, 2006, ISBN: 2-8041-5047-X, Pédagogies et développement, p. 260-269. (Publié, Scientifique - portée internationale).
• Milgrom Elie, Le changement pédagogique est-il possible et durable ? Le changement pédagogique est-il réellement possible dans le monde universitaire ?, In: Etre enseignant. Magister ? Metteur en scène ?, B. Raucent, C. Vander Borght ed(s), De Boeck, 2006, ISBN: 2-8041-5047-X, Pédagogies et développement, p. 400-403. (Publié, Scientifique - portée internationale).
• Milgrom Elie, Qu'est-ce qui a changé: quelles approches ont été mises en oeuvre ? Peut-on coordonner sans leadership ?, In: Etre enseignant. Magister ? Metteur en scène ?, B. Raucent, C. Vander Borght ed(s), De Boeck, 2006, ISBN: 2-8041-5047-X, Pédagogies et développement, p. 203-207. (Publié, Scientifique - portée internationale).
• Gueye Bamba, Uhlig Steve, Ziviani Artur, Fdida Serge, Leveraging Buffering Delay Estimation for Geolocation of Internet Hosts, In: NETWORKING 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, Boavida, F.; Plagemann, T.; Stiller, B.; Westphal, C.; Monteiro, E. ed(s), Springer, 2006, ISBN: 3-540-34192-7, Lecture Notes in Computer Science, 3976, p. 319-330. (Publié, Scientifique - portée internationale).
• Collet Raphaël, Van Roy Peter, Failure Handling in a Network-Transparent Distributed Programming Language, In: Advanced Topics in Exception Handling Techniques, Dony, C.; Knudsen, J.L.; Romanovsky, A.; Tripathi, A. ed(s), Heidelberg, Germany, Springer-Verlag, 2006, ISBN: 3-540-37443-4, Lecture Notes in Computer Science, 4119, p. 121-140. (Publié, Scientifique - portée internationale).
• Callut Jérome, Dupont Pierre, Sequence Discrimination using Phase-type Distributions, In: European Conference on Machine Learning, 2006, Lecture Notes in Artificial Intelligence, 4212, p. 78-89. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Noisy Sequence Classification with Smoothed Markov Chains, In: CAp 2006, Conférence d'Apprentissage, Presses Universitaires de Grenoble, 2006, ISBN: 2-7061-1372-3, p. 187-201. (Publié, Scientifique - portée internationale).
• Damas Christophe, Lambeau Bernard, Van Lamsweerde Axel, Scenarios, Goals, and State Machines: a Win-Win Partnership for Model Synthesis, In: Proc. FSE'06: ACM Symposium on the Foundations of Software Engineering, Portland (Oregon), ACM Press ed(s), 2006. (Publié, Scientifique - portée internationale).
• Ponsard Christophe, Massonet Philippe, Rifaut André, Molderez Jean-François, Van Lamsweerde Axel, Tran Van Hung, Early Verification and Validation of Mission-Critical Systems, In: Formal Methods in System Design, Springer-Verlag ed(s), 2006. (Publié, Scientifique - portée internationale).
• Collet Raphaël, Playing the Minesweeper with Constraints, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 251-262. (Publié, Scientifique - portée internationale).
• Mesaros Valentin, Carton Bruno, Van Roy Peter, P2PS: Peer-to-Peer Development Platform for Mozart, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 125-136. (Publié, Scientifique - portée internationale).
• Grolaux Donatien, Glynn Kevin, Van Roy Peter, A Fault Tolerant Abstraction for Transparent Distributed Programming, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 149-160. (Publié, Scientifique - portée internationale).
• El-Ansary Sameh, Grolaux Donatien, Van Roy Peter, Rafea Mahmoud, Overcoming the Multiplicity of Languages and Technologies for Web-based Development Using a Multiparadigm Approach, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 113-124. (Publié, Scientifique - portée internationale).
• Wuyts Roel, Ducasse Stephane, Demeyer Serge, Mens Kim, Fifth International Workshop on Object-Oriented Reengineering, In: Object-Oriented Technology. ECOOP 2004 Workshop Reader, Ja. Malenfant, B. M. Østvold ed(s), Springer-Verlag, 2005, ISBN: 3-540-23988-X, Lecture Notes in Computer Science, 3344, p. 177-187. (Publié, Scientifique - portée internationale).
• Gonzalez Sebastian, De Meuter Wolfgang, Costanza Pascal, Ducasse Stephane, Gabriel Richard, D'Hondt Theo, ECOOP 2004 Workshop Report: 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity, In: Object-Oriented Technology: ECOOP 2004 workshop Reader, Malenfant, Jacques; Østvold, Bjarte M. ed(s), Heidelberg, Springer-Verlag, 2005, ISBN: 3-540-23988-X, Lecture Notes in Computer Science, 3344, p. 49-61. (Publié, Scientifique - portée internationale).
• de Launois Cédric, Quoitin Bruno, Bonaventure Olivier, Leveraging Network Performances with IPv6 Multihoming and Multiple Provider-Dependent Aggregatable Prefixes, In: Quality of Service in Multiservice IP Networks, Ajmone Marsan, M.; Bianchi, G.; Listanti, M.; Meo, M. ed(s), Springer-Verlag, 2005, ISBN: 3-540-24557-X, Lecture Notes in Computer Science, 3375, p. 339-352. (Publié, Scientifique - portée internationale).
• Dooms Grégoire, Deville Yves, Dupont Pierre, A Mozart implementation of CP(BioNet), In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, P. Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 237-250. (Publié, Scientifique - portée internationale).
• Menzies Tim, Pecheur Charles, Verification and Validation and Artificial Intelligence, In: Advances in Computers, M. Zelkowitz ed(s), Elsevier, 2005, ISBN: 0-12-012165-4, Advances in Computers, 65, p. 153--201. (Publié, Scientifique - portée internationale).
• Dony Isabelle, Le Charlier Baudouin, A program verification system based on Oz, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 41-52. (Publié, Scientifique - portée internationale).
• Spiessens Alfred, Van Roy Peter, The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag GmbH, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 21-40. (Publié, Scientifique - portée internationale).
• De Landtsheer Renaud, Solving CSP Including a Universal Quantification, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 200-210. (Publié, Scientifique - portée internationale).
• de Launois Cédric, Uhlig Steve, Bonaventure Olivier, Scalable route selection for IPv6 multihomed sites, In: Networking 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, Boutaba, R.; Almeroth, K.; Puigjaner, R.; Shen, S.; Black, J.P. ed(s), Springer-Verlag, 2005, ISBN: 3-540-25809-4, Lecture Notes in Computer Science, 3462, p. 1357-1361. (Publié, Scientifique - portée internationale).
• Bonaventure Olivier, Filsfils Clarence, François Pierre, Achieving Sub-50 Milliseconds Recovery Upon BGP Peering Link Failures, In: Proceedings of the 2005 ACM conference on Emerging Networking Experiments and Technologies, Philippe Owerzarski, Serge Fdida ed(s), ACM Press, 2005, ISBN: 1-59593-197-X, p. 31-42. (Publié, Scientifique - portée internationale).
• Spiessens Alfred, Van Roy Peter, A Practical Formal Model for Safety Analysis in Capability-Based Systems, In: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, De Nicola, Rocco; Sangiorgi, Davide ed(s), Springer-Verlag, 2005, ISBN: 3-540-30007-4, Lecture Notes in Computer Science, 3705. (Publié, Scientifique - portée internationale).
• Dooms Grégoire, Deville Yves, Dupont Pierre, CP(Graph): Introducing a Graph Computation Domain in Constraint Programming, In: Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Peter Beek ed(s), Springer-Verlag, 2005, ISBN: 3-540-29238-1, Lecture Notes in Computer Science, 3709, p. 211 - 225. (Publié, Scientifique - portée internationale).
• Zampelli Stéphane, Deville Yves, Dupont Pierre, Approximate Constrained Subgraph Matching, In: Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005, van Beek, Peter ed(s), Springer-Verlag, 2005, ISBN: 3-540-29238-1, Lecture Notes in Computer Science, 3709, p. 832 - 836. (Publié, Scientifique - portée internationale).
• Callut Jérome, Dupont Pierre, Inducing Hidden Markov Models to Model Long-Term Dependencie, In: Machine Learning: ECML 2005: 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Gama, J.; Camacho, R.; Brazdil, P.; Jorge, A.; Torgo, L. ed(s), Springer-Verlag, 2005, ISBN: 3-540-29243-8, Lecture Notes in Artificial Intelligence, 3720, p. 513 - 521. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Une expérience de Candis 2000, In: L'approche par Problèmes et par Projets dans l'Enseignement Supérieur. Impact, Enjeux et Défis, B. Galand, M. Frenay ed(s), Presses Universitaires de Louvain, 2005, ISBN: 2-930344-89-X, p. 54-59. (Publié, Scientifique - portée internationale).
• Uhlig Steve, On the Sensitivity of Transit ASes to Internal Failures, In: Operations and Management in IP-Based Networks: 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005, Thomas Magedanz, Edmundo R. M. Madeira, Petre Dini ed(s), Springer-Verlag, 2005, ISBN: 3-540-29356-6, Lecture Notes in Computer Science, 3751, p. 142-151. (Publié, Scientifique - portée internationale).
• Milgrom Elie, Raucent Benoît, La réforme de programme "Candis 200", In: L'approche par Problèmes et par Projets dans l'Enseignement Supérieur. Impact, Enjeux et Défis, B. Galand, M. Frenay ed(s), Presses Universitaires de Louvain, 2005, ISBN: 2-930344-89-X, p. 15-42. (Publié, Scientifique - portée internationale).
• Milgrom Elie, Raucent Benoît, Témoignages sur "Candis 2000", In: L'approche par Problèmes et par Projets dans l'Enseignement Supérieur. Impact, Enjeux et Défis, B. Galand, M. Frenay ed(s), Presses Universitaires de Louvain, 2005, ISBN: 2-930344-89-X, p. 43-66. (Publié, Scientifique - portée internationale).
• Galand Benoît, Frenay Mariane, Bourgeois Etienne, Wouters Pascale, Laloux Auguste, Milgrom Elie, Raucent Benoît, Vander Borght Cécile, L'approche par projets et par problèmes: bilan et perspectives, In: L'approche par Problèmes et par Projets dans l'Enseignement Supérieur. Impact, Enjeux et Défis, B. Galand, M. Frenay ed(s), Presses Universitaires de Louvain, 2005, ISBN: 2-930344-89-X, p. 173-183. (Publié, Scientifique - portée internationale).
• Carton Bruno, Mesaros Valentin, Van Roy Peter, Improving the Scalability of Logarithmic-Degree DHT-based Peer-to-Peer Networks, In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Danelutto, Marco; Vanneschi, Marco; Laforenza, Domenico ed(s), Heidelberg, Springer-Verlag, 2004, ISBN: 3-540-22924-8, Lecture Notes in Computer Science, 3149, p. 1060-1067. (Publié, Scientifique - portée internationale).
• Demeyer Serge, Ducasse Stephane, Mens Kim, Trifu Adrian, Vasa Rajesh, Van Rysselberghe Filip, Object-Oriented Reengineering, In: Object-Oriented Technology: ECOOP 2003 Workshop Reader, Frank Buschmann, Alejandro P. Buchmann, Mariano A. Cilia ed(s), Heidelberg, Springer-Verlag, 2004, ISBN: 3-540-22405-X, Lecture Notes in Computer Science, 3013, p. 72 - 85. (Publié, Scientifique - portée internationale).
• Callut Jérome, Dupont Pierre, A Markovian Approach to the induction of Regular String Distributions, In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Paliouras, Georgios; Sakakibara, Yasubumi ed(s), Heidelberg, Springer-Verlag, 2004, ISBN: 3-540-23410-1, Lecture Notes in Artificial Intelligence, 3264, p. 77-90. (Publié, Scientifique - portée internationale).
• Saerens Marco, Fouss François, Yen Luh, Dupont Pierre, The Principal Components Analysis of a Graph, and its Relationship to Spectral Clustering, In: Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Boulicaut, J.-F.; Esposito, F.; Giannotti, F.; Pedreschi, D. ed(s), Heilderberg, Springer-Verlag, 2004, ISBN: 3-540-23105-6, Lecture Notes in Artificial Intelligence, 3201, p. 371-383. (Publié, Scientifique - portée internationale).
• Kermorvant C., de la Higuera C., Dupont Pierre, Improving probabilistic automata learning with additional knowledge, In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Fred, A.; Caelli, T.; Duin, R.P.W.; Campilho, A.; Ridder, D.d. ed(s), Heilderberg, Springer-Verlag, 2004, ISBN: 3-540-22570-6, Lecture Notes in Computer Science, 3138, p. 260-268. (Publié, Scientifique - portée internationale).
• Brouckaert Xavier, Bonaventure Olivier, Supporting mobility in multicast : a compromise between large and small group multicast, In: Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Roca, Vincent; Rousseau, Franck ed(s), Heilderberg, Springer-Verlag, 2004, ISBN: 3-540-23928-6, Lecture Notes in Computer Science, 3311, p. 120-129. (Publié, Scientifique - portée internationale).
• Basin David, Deville Yves, FLENER PIERRE, Hamfelt Andreas, Nilsson Jørgen Fischer, Synthesis of Programs in Computational Logic, In: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, Bruynooghe, Maurice; Lau, Kung-Kiu ed(s), Heidelberg, Springer-Verlag, 2004, ISBN: 3-540-22152-2, Lecture Notes in Computer Science, 304, p. 30 - 65. (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 in the Future, Martin Wirsing, Alexander Knapp, Simonetta Balsamo ed(s), Springer-Verlag, 2004, ISBN: 3-540-21179-9, Lecture Notes in Computer Science, 2941, p. 325-340. (Publié, Scientifique - portée internationale).
• Sintzoff Michel, Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games, In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, Owe, Olaf; Krogdahl, Stein; Lyche, Tom ed(s), Springer-Verlag, 2004, ISBN: 3-540-21366-X, Lecture Notes in Computer Sciences, 2635, p. 272-301. (Publié, Scientifique - portée internationale).
• Bonaventure Olivier, Uhlig Steve, Quoitin Bruno, Trimintzios P., Swinnen Louis, Tandel Sébastien, Pavlou George, Azcorra Arturo, Bagnulo Marcello, Flegkas P., Garcia-Martinez A., Georgatsos P., Georgiadis L., Internet traffic engineering, In: Quality of Future Internet Services, M. Smirnov, E. Biersack, C. Blondia, O. Bonaventure, O. Casals, G. Karlsson, G. Pavlou, B. Quoitin, J. Roberts, I. Stavrakakis, B. Stiller, P. Trimintzios, P. Van Mieghem ed(s), Heidelberg, Springer, 2003, ISBN: 3-540-20193-9, Lecture Notes in Computer Science, 2856, p. 118-179. (Publié, Scientifique - portée internationale).
• de Launois Cédric, Bonaventure Olivier, Lobelle Marc, The NAROS Approach for IPv6 Multihoming with Traffic Engineering, In: 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Gunnar Karlsson , Michael I. Smirnov ed(s), Springer-Verlag, 2003, ISBN: 3-540-20192-0, Lecture Notes in Computer Science, 2811, p. 112-121. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, From System Goals to Software Architecture, In: Formal Methods for Software Architectures, M. Bernardo , P. Inverardi ed(s), Springer-Verlag, 2003, ISBN: 3-540-20083-5, Lecture Notes in Computer Science, 2804, p. 25-43. (Publié, Scientifique - portée internationale).
• Deville Yves, Gilbert David, van Helden Jacques, wodak Shoshana, An Overview of Data Models for the Analysis of Biochemical Pathways, In: Computational Methods in Systems Biology, Priami, Corrado ed(s), Springer-Verlag, 2003, ISBN: 3-540-00605-2, Lecture Notes in Computer Science, 2602, p. 174. (Publié, Scientifique - portée internationale).
• de Launois Cédric, Bonnet Aurélien, Lobelle Marc, Connection of Extruded Subnets : a Solution Based on RSIP, In: NETWORKING 2002. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications, Gregori, E.; Conti, M.; Cambell, A.T.; Omidyar, G.; Zukerman, M. ed(s), Springer-Verlag, 2002, ISBN: 3-540-43709-6, Lecture Notes in Computer Science, 2345, p. 685-696. (Publié, Scientifique - portée internationale).
• , Van Roy Peter, A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles, In: Principles and Practice of Constraint Programming - CP 2002, Pascal Van Hentenryck ed(s), Springer-Verlag, 2002, ISBN: 3-540-44120-4, Lecture Notes in Computer Science, 2470, p. 777-777. (Publié, Scientifique - portée internationale).
• Brichau Johan, De Volder Kris, Building Composable Aspect-specific Languages with Logic Metaprogramming, In: Generative Programming and Component Engineering, D. Batory, C. Consel and W. Taha ed(s), Springer-Verlag, 2002, ISBN: 3-540-44284-7, Lecture Notes in Computer Science, 2487, p. 110-127. (Publié, Scientifique - portée internationale).
• Brichau Johan, De Volder Kris, Building Composable Aspect-Specific Languages with Logic Metaprogramming, In: Generative Programming and Component Engineering, D. Batory, C. Consel and W. Taha ed(s), Springer-Verlag, 2002, ISBN: 3-540-44284-7, Lecture Notes in Computer Science, 2487, p. 110-127. (Publié, Scientifique - portée internationale).
• Kermorvant C., Dupont Pierre, Improved smoothing for Probabilistic Suffix Trees seen as variable order Markov chains, In: Machine Learning: ECML 2002, T. Elomaa; H. Mannila ; H. Toivonen ed(s), Springer Verlag, 2002, ISBN: 3-540-44036-4, Lecture Notes in Artificial Intelligence, 2430, p. 185-194. (Publié, Scientifique - portée internationale).
• Esposito Y., Lemay F., Denis F, Dupont Pierre, Learning Probabilistic Residual Finite Automata, In: Grammatical Inference: Algorithms and Applications, P. Adriaans ; H. Fernau ; M. van Zaanen ed(s), Amsterdam, The Netherlands, Springer-Verlag, 2002, ISBN: 3-540-44239-1, Lecture Notes in Computer Science, 2484, p. 77-91. (Publié, Scientifique - portée internationale).
• Kermorvant C., Dupont Pierre, Stochastic grammatical inference with multinomial tests, In: Grammatical Inference: Algorithms and Applications, P. Adriaans ; H. Fernau ; M. van Zaanen ed(s), Amsterdam, The Netherlands, Springer-Verlag, 2002, ISBN: 3-540-44239-1, Lecture Notes in Computer Science, 2484, p. 149-160. (Publié, Scientifique - portée internationale).
• Deville Yves, MASSONET PHILIPPE, Neve C., Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, In: From AOSE Methodology to Agent Implementation., 2002, p. 27-34. (Publié, Scientifique - portée internationale).
• D'Hondt Maja, Mens Kim, Van Paesschen Ellen, Knowledge-based object-oriented software engineering, In: Object-Oriented Technology. ECOOP 2002 Workshop Reader, Hernández, Juan; Moreira, Ana ed(s), Springer-Verlag, 2002, ISBN: 3-540-00233-2, Lecture Notes in Computer Science, 2548, p. 160-173. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Building Formal Requirements Models for Reliable Software, In: Reliable Software Technologies - Ada-Europe 2001, Dirk Craeynest, Alfred Strohmeier ed(s), Springer-Verlag, 2001, ISBN: 3-540-42123-8, Lecture Notes in Computer Science, 2043, p. 1-20. (Publié, Scientifique - portée internationale).
• Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces, In: Engineering for Human-Computer Interaction, Murray Reed Little, Laurence Nigay ed(s), Springer-Verlag, 2001, ISBN: 3-540-43044-X, Lecture Notes in Computer Science, 2254, p. 109-110. (Publié, Scientifique - portée internationale).
• Janssen Micha, Van Hentenryck Pascal, Deville Yves, Optimal Pruning in Parametric Differential Equations, In: Principles and Practice of Constraint Programming - CP 2001, Walsh, Toby ed(s), Springer Verlag, 2001, ISBN: 3-540-42863-1, Lecture Notes in Computer Science, 2239, p. 539-553. (Publié, Scientifique - portée internationale).
• Courtois Pierre-Jacques, Concurrent Control with Readers and Writers - An Introduction, In: In Software Fundamentals- Collected Papers by D.L. Parnas, D.M. Hoffman and D.M. Weiss ed(s), Addison-Wesley, 2001, ISBN: 0-201-70369-6, p. 387-392. (Publié, Scientifique - portée internationale).
• Van Lamsweerde Axel, Formal Specification: a Roadmap, In: The Future of Software Engineering, Anthony Finkelstein ed(s), ACM Press, 2000, ISBN: 1-58113-253-0, p. 147-160. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Amengual Juan-Carlos, Smoothing probabilistic automata: an error-correcting approach, In: Grammatical Inference: Algorithms and Applications, Arlindo L. Oliveira ed(s), Springer-Verlag, 2000, ISBN: 3-540-41011-2, Lecture Notes in Artificial Intelligence, 1891, p. 51-64. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Chase L., Using symbol clustering to improve probabilistic automaton inference, In: Grammatical Inference, Ames, Iowa, USA, July 12-14, 1998, Vasant Honavar, Giora Slutzki ed(s), Berlin, Springer-Verlag, 1998, ISBN: 3-540-64776-7, Lecture Notes in Artificial Intelligence, 1433, p. 232 - 243. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Incremental Regular Inference, In: Grammatical Inference: learning syntax from sentences, Laurent Miclet, Colin de la Higuera ed(s), Berlin, Springer-Verlag, 1996, ISBN: 3-540-61778-7, Lecture Notes in Articifial Intelligence, 1147, p. 222 -- 237. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Miclet L., Vidal E., What is the search space of Regular Inference?, In: Grammatical Inference and Applications, Alicante, Spain, September 21-23, 1994, R. Carrasco, J. Oncina ed(s), Berlin, Springer-Verlag, 1994, ISBN: 3-540-58473-0, Lecture Notes in Artificial Intelligence, 862, p. 25-37. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Regular Grammatical Inference from Positive and Negatives Samples by Genetic Search : the GIG method, In: Grammatical Inference and Applications, Alicante, Spain, September 21-23, 1994, R. Carrasco, J. Oncina ed(s), Berlin, Springer-Verlag, 1994, ISBN: 3-540-58473-0, Lecture Notes in Artificial Intelligence, 862, p. 236--245. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Efficient Integration of Context-Free Based Language Models in Continuous Speech Recognition, In: New Advances and Trends in Speech Recognition and Coding, A. Rubio Ayuso, J. López Soler ed(s), Berlin, Springer -Verlag, 1993, ISBN: 3-540-60098-1, NATO ASI Computer and Systems Science, Vol. 147, p. 179-182. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Kamp Yves, Guiding Speech Recognition by a Language Model, In: From Natural Language Processing to Logic for Expert Systems, André Thayse ed(s), Chichester, John Wiley & Sons, 1991, ISBN: 0-471-92431-8, A Logic Based Approach to Artificial Intelligence, p. 1-48. (Publié, Scientifique - portée internationale).
• Dupont Pierre, Kamp Yves, Reconnaissance de la parole pilotée par un modèle linguistique, In: Approche logique de l'intelligence artificielle. 3. Du traitement de la langue à la logique des systèmes experts, André Thayse ed(s), Paris, Bordas, 1990, ISBN: 2-04-019648-X, DUNOD Informatique, p. 1-61. (Publié, Scientifique - portée internationale).
• Pecheur Charles, Simmons Reid, Engrand Peter, Formal Verification of Autonomy Models: From Livingstone to SMV, In: Agent Technology from a Formal Perspective, Rouff, C.; Hinchey, M.; Rash, J.; Truszkowski, W.; Gordon-Spears, D. ed(s), Springer Verlag, 2006, ISBN: 1-85233-947-0, NASA Monographs in Systems and Software Engineering. (A paraître, Scientifique - portée internationale).
• Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Collet Raphaël, Using Dominators for Solving Constrained Path Problems, In: Eighth International Symposium on Practical Aspects of Declarative Languages (PADL 06), Charleston, South Carolina, Springer-Verlag, 2006, Lecture Notes in Computer Science. (A paraître, Scientifique - portée internationale).
• Demeyer Serge, Mens Kim, Wuyts Roel, Gueheneuc Y.G., Zaidman A., Walkinshaw N., Aguiar A., Ducasse Stephane, Report of the Sixth International Workshop on Object-Oriented Reengineering, In: Object-Oriented Technology - ECOOP 2005 Workshop Reader, Springer-Verlag ed(s), 2006, Lecture Notes in Computer Science. (A paraître, Scientifique - portée internationale).
• Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Collet Raphaël, Using Dominators for Solving Constrained Path Problems, In: Eighth International Symposium on Practical Aspects of Declarative Languages (PADL 06), Charleston, South Carolina, Springer-Verlag, 2006, Lecture Notes in Computer Science, 3819. (A paraître, Scientifique - portée internationale).
• Van Roy Peter, Convergence in language design: a case of lightning striking four times in the same place, In: Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), Fuji Susono, Japan, Springer-Verlag, 2006, Lecture Notes in computer science, 3945. (A paraître, Scientifique - portée internationale).

communication à colloque à diffusion restreinte

• Quoitin Bruno, Tandel Sébastien, A BGP Solver for Hot-Potato Routing Sensitivity Analysis, EUNICE 2005: "Networked Applications", Colmenarejo, Spain, July 6-8, 2005. (Diffusé).
• Raimondi Franco, Pecheur Charles, Lomuscio Alessio, Applications of model checking for multi-agent systems: verification of diagnosability and recoverability, Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland, September 2005. (Diffusé).
• Gualandi Stefano, Quesada Ramirez Luis, Enhancing Finite Set Constraint Programming with Probe Backtracking Search, 19th Workshop on (Constraint) Logic Programming (WCLP 2005), Ulm, Germany, February 2005. (Diffusé).
• De Landtsheer Renaud, Van Lamsweerde Axel, Trust-based responsibility assignment in security requirements engineering, Third internal iTrust workshop on trust management in dynamic open systems, Dortmund, Germany, October 2004. (Diffusé).
• Deville Yves, Gilbert David, Lemer Christian, van Helden Jacques, wodak Shoshana, An Object-Oriented Data Model for Signal Transduction, ECCB 2003 in conjunction with JOBIM 2003, Paris, France, 2003. (Diffusé).
• Aik Choon Tan , al-shahib ali, Gilbert David, Deville Yves, Learning sets of positive rules of amino acid properties to classify protein functional classes, ECCB 2003 in conjunction with JOBIM 2003, Paris, France. (Diffusé).
• , Gualandi Stefano, Van Roy Peter, Implementing a Distributed Shortest Path Propagator with Message Passing, 2nd International Workshop on Multiparadigm Constraint Programming Languages, Kinsale, Ireland, septembre 2003. (Diffusé).
• Koffman Elliot B., Brinda Torsten, Alvarez Juan, Kumar A., Lisboa Maria Lucia B, Reinfelds Juris, Van Roy Peter, Wazlawick Raul Sidnei, Teaching Programming and Problem Solving, Florianopolis, Brazil, July 2002. (Diffusé).
• Kieu Huu Dung, Lobelle Marc, Les sessions longues, une nouvelle manière d'améliorer la flexibilité des applications réparties., Recherche, Innovation & Vision du Futur (RIVF 2005), Université de Can Tho, Vietnam, 21-24 Février 2005. (Diffusé).
• Uhlig Steve, Pelsser Cristel, Quoitin Bruno, Bonaventure Olivier, Vers des réflecteurs de routes plus intelligents, Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005), Bordeaux, France, March 29- April 1, 2005. (Diffusé).
• Gualandi Stefano, , Enhancing Finite Set Constraint Programming with Probe Backtracking Search, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February, 2005. (Diffusé).
• Narduzzi Claudio, Pegoraro Paolo-Attilio, Uhlig Steve, Revisiting the multiscaling hypothesis at medium timescales, 20th GRETSI symposium on signal and image processing, Louvain-la-neuve, Belgium, September 6-9, 2005. (Diffusé).
• Ponsard Christophe, Balych Nadiya, Massonet Philippe, Vanderdonckt Jean, Van Lamsweerde Axel, Goal Oriented Design of Domain Control Panels, DSVIS'05, 12th International Workshop on Design, Specification and Verification of Interactive Systems, Newcastle upon Tyne (UK), July 2005. (Diffusé).
• Courtois Pierre-Jacques, Towards a deductive approach for the safety justification of computer based systems, IAEA Technical meeting on licensing digital instrumentation and control systems and equipment in nuclear power plants, Helsinki, Finland, November 22-25, 2005. (Diffusé).
• Mejias Boris, Collet Raphaël, Popov Konstantin, Van Roy Peter, Improving Transparency of a Distributed Programming System, CoreGRID Integration Workshop. (Diffusé).
• Mejias Boris, Collet Raphaël, Van Roy Peter, It is such a fine line between transparent and non-transparent distribution, The 17th Nordic Workshop on Programming Theory. (Diffusé).
• Dony Isabelle, Le Charlier Baudouin, Why don't we Simply Use a Model Checker, Third International Workshop on Constraints in Formal Verification, Tallinn, Estonia, July 23. (Diffusé).
• Bonaventure Olivier, BGP4 Performance : Issues and Challenges, MPLS World Congress 2004, Paris. (Diffusé).
• Mens Kim, Tourwe D., Conceptual Code Mining - Mining Aspects with Formal Concept Analysis, Belgian Symposium and Contact Day on Software Evolution and Aspect-Oriented Programming, Het Pand, Gand, Belgique, May 3, 2004. (Diffusé).
• Gonzalez Sebastian, De Meuter Wolfgang, Mens Kim, D'Hondt Theo, The Unavoidable Failure of Class-Based Languages in the Processor Cloud Era, ECOOP 2004 (OOLEPJE Workshop): 18th European Conference on Object-Oriented Programming, Oslo, Norway, 14 June 2004. (Diffusé).
• Collet Raphaël, Laziness and Declarative concurrency, ECOOP 2004 (OOLEPJE): 18th European conference on Object-Oriented Programming, Oslo, Norway, June 2004. (Diffusé).
• Gualandi Stefano, Tranchero Bruno, Concurrent Constraint Programming-Based Path Planning for Unmanned Air Vehicles, SPIE Defense and Security Symposium, Orlando, Florida, April 2004. (Diffusé).
• Van Roy Peter, Aspect-oriented programming for distributed systems: its use, its effect on language design, and its limits, Belgian Symposium and Contact Day on Software Evolution and Aspect-Oriented, Ghent, Belgium, May 3, 2004. (Diffusé).
• Mens Kim, Tourwé Tom, Reverse Engineering Aspectual Views using Formal Concept Analysis, ECOOP 2004: workshop on object-oriented reengineering, Oslo, Norway, 14-18 June 2004. (Diffusé).
• Dupont Pierre, Links between Probabilistic Automata and Hidden Markov Models, UA meeting, Universidad de Alicante, Spain, April 2, 2004. (Diffusé).
• de Marneffe Marie-Catherine, Dupont Pierre, Unsupervised Word Sense Discrimination Techniques, ULB-UCL Machine Learning Research Meeting, May 28, 2004. (Diffusé).
• Dooms Grégoire, Zampelli Stéphane, Deville Yves, Dupont Pierre, Biochemical Network Analysis using Constraint Programming, ULB-UCL Machine Learning Research Meeting, May 28, 2004. (Diffusé).
• Dupont Pierre, Callut Jérome, Induction of Probabilistic Automata and Hidden Markov Models, ULB-UCL Machine Learning Research Meeting, May 28, 2004. (Diffusé).
• Callut Jérome, Dupont Pierre, Structural Induction of Hidden Markov Models, ULB-UCL Machine Learning Research Meeting, May 28, 2004. (Diffusé).
• Dupont Pierre, Liens entre les automates probabilistes et les modèles de Markov cachés, Conférence d'Apprentissage (CAp 2004), Montpellier, France, June 14-16, 2004. (Diffusé).
• Saerens Marco, Pirotte Alain, Dupont Pierre, Fouss François, Collaborative filtering based on random walks on a graph, Workshop on Large Networks, UCL, LLN, December 1, 2004. (Diffusé).
• Vanderavero Nicolas, Brouckaert Xavier, Bonaventure Olivier, Le Charlier Baudouin, The HoneyTank : a scalable approach to collect malicious Internet traffic, International Infrastructure Survivability Workshop (IISW'04), Lisbon, Portugal, December 5, 2004. (Diffusé).
• Deville Yves, CLP(BioNet) : Towards a CLP framework for the analysis of Biochemical Networks, 3rd workshop of the Swedish Constraint Network (SweConsNet 2004), Linköping, Sweden, January 15, 2004. (Diffusé).
• Pelsser Cristel, Uhlig Steve, Bonaventure Olivier, On the difficulty of establishing interdomain LSPs, 2004 IEEE International Workshop on IP Operations & Management (IPOM 2004), Beijing, China, October 11-13, 2004. (Diffusé).
• Uhlig Steve, A multiple-objectives evolutionary perspective to interdomain traffic engineering in the Internet, 8th International Conference on Parallel Problem Solving from Nature (PPSN VIII), Birmingham, UK, September 18-22, 2004. (Diffusé).
• Van Lamsweerde Axel, Goal-Oriented Requirements Engineering, PRISE'04: First Conference on the PRInciples of Software Engineering, Buenos Aires, November 2004. (Diffusé).
• Vanderavero Nicolas, A scalable approach to collect malicious Internet traffic, RAID 2004: Recent Advances in Intrusion Detection, Sophia Antipolis, France, September 15-17, 2004. (Diffusé).
• Reinfelds Juris, Van Roy Peter, Bergin Joe, Bredin Jonathan, Kirk Scott, Rasala Richard, Concepts First in Introductory CS Courses, Working Group Report ITiCSE 2003 (Innovation and Technology in Computer Science Education), Thessaloniki, Greece, June 2003. (Diffusé).
• Mesaros Valentin, Carton Bruno, Van Roy Peter, Improving and Generalizing Chord, Global Computing Workshop, Rovereto-Trento, February 9-14, 2003. (Diffusé).
• Bonaventure Olivier, Quoitin Bruno, Uhlig Steve, Beyond interdomain reachability, WIRED - Workshop on Internet Routing Evolution and Design 2003, 2003. (Diffusé).
• Mens Kim, Poll Bernard, Supporting Software Maintenance and Evolution with Intentional source-code Views, International Workshop on Evolution of Large-scale Industrial Software Applications (ELISA), Royal Netherlands Academy of Arts and Sciences, Amsterdam, The Netherlands, 23/11/2003. (Diffusé).
• Van Lamsweerde Axel, From System Goals to Software Architecture, From System Goals to Software Architecture, St Thomas (Virgin Islands), May 2003. (Diffusé).
• Van Lamsweerde Axel, Publication Strategies, Publication Strategies, Portland, May 2003. (Diffusé).
• Van Lamsweerde Axel, Goal-Oriented Requirements Engineering: the Way to High Assurance Systems, Canadian Software Requirements Symposium 2003,, Hamilton, May 2003. (Diffusé).
• Bonaventure Olivier, The evolution of IP QoS, Net-Con 2002, Paris, Novembre 2002. (Diffusé).
• Bonaventure Olivier, Interdomain routing with BGP : issues and challenges, IEEE SCVT2002 Conference, Louvain-la-Neuve, 2002. (Diffusé).
• Bonaventure Olivier, Internet traffic engineering, International Conference on Network Protocols (ICNP2002), Paris, Novembre 2002. (Diffusé).
• Mesaros Valentin, Van Roy Peter, Collaborative Work with GNUTELLA, The 1st PEPITO Project Workshop, Paris, January 31 - February 1, 2002. (Diffusé).
• Mesaros Valentin, Onana Luc, Van Roy Peter, Haridi Seif, Mapping Logical Network Routing to Physical Network Routing, The 2nd PEPITO Project Worshop, Stockholm, July 1-2, 2002. (Diffusé).
• Mens Kim, Brichau Johan, Locig Metaprogramming in SOUL, FNRS meeting on Applications of Logic in Computer Science, FUNDP, Namur, Belgique, 22/05/2002. (Diffusé).
• Steinhofel K., Dewey C.f., Janssens David, Macq B., Classification of JPEG2000 Compressed CT Images, Int. Conference on Digital Signal Processing, 2002.. (Diffusé).
• Van Lamsweerde Axel, Scenarios, Goals & State Machines: An Unconsummated Ménage à Trois, ICSE Workshop on Scenarios & State Machines, Orlando, May 2002. (Diffusé).
• Letier Emmanuel, Van Lamsweerde Axel, High Assurance Requires Goal Orientation, Proc. RHAS'02: Workshop in Requirements for High Assurance Systems, Essen,, Carnegie-Mellon University, September 2002. (Diffusé).
• Van Lamsweerde Axel, Goal-Oriented Requirements Engineering, Goal-Oriented Requirements Engineering, Imperial College, November 2002. (Diffusé).
• Van Lamsweerde Axel, High Assurance Systems Require Goal Orientation, High Assurance Systems Require Goal Orientation, Japan, October 2002. (Diffusé).
• Mens Kim, Architectural Aspects, 1st Belgian AOSD Workshop (Aspect-Oriented Software Development), Bruxelles (VUB), 8 novembre 2001. (Diffusé).
• Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, QTk: An Integrated Model-Based Approach to Designing Executable User Interfaces, 8th Workshop on Design, Specification and Verification of Interactive Systems: DSV-IS 2001, Glasgow, Ecosse, 13-15 juin 2001. (Diffusé).
• Courtois Pierre-Jacques, Optimal Scheduling of Periodic Tests and Maintenance for Reliable Redundant Components, OECD Enlarged Halden Programme Group Meeting, Lillehammer, 11-16 mars 2001. (Diffusé).
• Van Roy Peter, Reinfelds Juris, The Next Generation of Programming Languages, Seventh IFIP World Conference on Computers in Education (WCCE 2001),, Copenhagen, Denmark, July 29 - August 3, 2001. (Diffusé).
• Mens Kim, Architectural Aspects, First Belgian Aspect-Oriented Software Development Workshop, Vrije Universiteit Brussel, Bruxelles, Belgique, 08/11/2001. (Diffusé).
• Van Lamsweerde Axel, Building Formal Requirements Models for Reliable Software, Canadian Software Engineering Day,, University of Toronto,, October 2001. (Diffusé).
• Van Roy Peter, The Mozart Programming System and Its Use for Agent Applications, Axlog Seminar on Constraint-based Scheduling and Planning for Autonomous Agents, Paris, France, February 29, 2000. (Diffusé).
• Van Lamsweerde Axel, Building Formal Models for Software Requirements, APSEC'2000: Asian Pacific Software Engineering Conference, Singapore, December 2000. (Diffusé).

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

communication à un colloque publiés dans des actes parus comme volume de périodique

• Jasselette Arnaud, Keita Marc, Noirhomme-Fraiture Monique, Randolet Frédéric, Vanderdonckt Jean, Van Brussel Christian, Grolaux Donatien, Automated Repair Tool for Usability and Accessibility of Web Sites, In: Proc. of 6th Int. Conf. on Computer-Aided Design of User Interfaces CADUI'2006, Bucharest, 6-8 June 2006, 2007, 978-1-4020-5819-6, p. 261-272. (Publié, Scientifique - portée internationale).
• Pollet Isabelle, Le Charlier Baudouin, Towards a complete static analyser for Java : an abstract interpretation framework and its implementation, In: Proceedings of the 1st International Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL'05), Paris, France, January 21, 2005, Electronic Notes in Theoretical Computer Science, 2005, 1571-0661, p. 85-98. (Publié, Scientifique - portée internationale).
• Ponsard Christophe, Massonet Philippe, Rifaut André, Molderez Jean-François, Van Lamsweerde Axel, Tran Van Hung, Early Verification and Validation of Mission-Critical Systems, In: Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), Linz, Austria, September 2004, Electronic Notes in Theoretical Computer Science, 2005, 1571-0661, p. 237-254. (Publié, Scientifique - portée internationale).
• Ordonez Camacho Diego, Mens Kim, van den Brand Mark, Vinju Jurgen, Automated Derivation of Translators From Annotated Grammars, In: ETAPS-LDTA 2006, Vienne, April 1, 2006, Electronic Notes in Theoretical Computer Science, 2006. (A paraître, Scientifique - portée internationale).