|
|
|
List of Publications
Click on an author's name or on a paper title to get more information. Members of the Institute are underlined.
2010
- T. Mens, Y. Guéhéneuc, J. Fernandez-Ramil and M. D'Hondt. Software Evolution: Maintaining Stakeholders’ Satisfaction in a Changing World [Int. Journal Article, July 2010]
- S. Degrandsart, S. Demeyer and T. Mens. Using Model Transformation to Facilitate Dynamic Context Adaptation [Int. Conf. Article, June 2010]
- T. Mens, J. Magee and B. Rumpe. Evolving Software Architecture Descriptions of Critical Systems [Int. Journal Article, May 2010]
- T. Mens and D. Tamzalit. Guiding Architectural Restructuring through Architectural Styles [Int. Conf. Article, March 2010]
- F. Stephany, T. Mens and T. Girba. Maispion: A Tool for Analysing and Visualising Open Source Software Developer Communities [Int. Conf. Article, January 2010]
- T. Mens. Model Transformation: A Survey of the State-of-the-Art [Int. Conf. Article, 2010]
- V. Bruyère, G. Joret and H. Mélot. Trees with Given Stability Number and Minimum Number of Stable Sets [Submitted, 2010]
- B. Boigelot, J. Brusten and V. Bruyère. On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases [Int. Journal Article, 2010]
- T. Brihaye, V. Bruyère and E. Render. Formal language properties of hybrid systems with strong resets [Int. Journal Article, 2010]
- T. Mens, D. Tamzalit, M. Hoste and J. Pinna Puissant. Amélioration de la qualité de modèles: Une étude de deux approches complémentaires [Nat. Journal Article, 2010]
- T. Brihaye, V. Bruyère and J. De Pril. Equilibria in Quantitative Reachability Games [Int. Conf. Article, 2010]
2009
- J. Pinna Puissant and T. Mens. Inconsistency Resolution in Model-Driven Engineering: An approach using Automated Planning [Nat. Conf. Article, December 2009]
- J. Perez, Y. Crespo, B. Hoffmann and T. Mens. A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring [Int. Journal Article, December 2009]
- M. Goeminne and T. Mens. Towards the Analysis of Evolution OSS Ecosystems [Submitted, December 2009]
- O. Delgrange. Bioinformatique : un domaine pluridisciplinaire [Misc., November 2009]
- R. Baeza-Yates, V. Bruyère, O. Delgrange and R. Scheihing. On the size of Boyer-Moore automata [Int. Journal Article, October 2009]
- B. Quoitin, V. Van den Schrieck, P. François and O. Bonaventure. IGen: Generation of Router-level Internet Topologies through Network Design Heuristics [Int. Conf. Article, September 2009]
- L. Vanbever, B. Quoitin and O. Bonaventure. A hierarchical model for BGP routing policies [Int. Conf. Article, August 2009]
- A. Malisart. Réseau social pour communautés de chercheurs, développement d'une application pour la plate-forme Facebook [Master's Thesis, June 2009]
- J. Wijsen. Consistent Query Answering under Primary Keys: A Characterization of Tractable Queries [Int. Conf. Article, March 2009]
- J. Wijsen. On the Consistent Rewriting of Conjunctive Queries under Primary Key Constraints [Int. Journal Article, March 2009]
- G. Saval, J. Pinna Puissant, P. Heymans and T. Mens. Some challenges of feature-based class diagram merging [Int. Conf. Article, January 2009]
- P. Manneback and T. Mens (Editors). Proceedings of EuroDocInfo09 [Edited Volume, January 2009]
- T. Mens. Using graph transformation to support model evolution [Conf. Slides, January 2009]
- V. Bruyère, O. Carton and G. Sénizergues. Tree Automata and Automata on Linear Orderings [Int. Journal Article, 2009]
- V. Bruyère, A. Decan and J. Wijsen. On First-Order Query Rewriting for Incomplete Database Histories [Int. Conf. Article, 2009]
- J. Fernandez-Ramil, D. Izquierdo-Cortazar and T. Mens. What does it take to develop a million lines of open source code? [Int. Conf. Article, 2009]
- X. Blanc, A. Mougenot, I. Mounier and T. Mens. Incremental Detection of Model Inconsistencies based on Model Operations [Int. Conf. Article, 2009]
- V. Bruyère and H. Mélot. Fibonacci index and stability number of graphs: a polyhedral study [Int. Journal Article, 2009]
2008
- D. Tamzalit and T. Mens. Using graph transformation to evolve software architectures [Nat. Conf. Article, December 2008]
- M. Hoste, J. Pinna Puissant and T. Mens. Challenges in Model-Driven Software Evolution [Nat. Conf. Article, December 2008]
- J. Fernandez-Ramil, D. Izquierdo-Cortazar and T. Mens. Relationship between Size, Effort, Duration and Number of Contributors in Large FLOSS projects [Nat. Conf. Article, December 2008]
- H. Mélot. Eléments de rédaction scientifique en informatique [Tech. Report, October 2008]
- T. Mens, J. Fernandez-Ramil and S. Degrandsart. The Evolution of Eclipse [Int. Conf. Article, September 2008]
- V. Bruyère and H. Mélot. Turan Graphs, Stability Number, and Fibonacci Index [Int. Conf. Article, August 2008]
- M. Hoste. Jeu de Sokoban: Recherche de solutions optimales [Master's Thesis, July 2008]
- X. Blanc, I. Mounier, A. Mougenot and T. Mens. Detecting Model Inconsistency Through Operation-Based Model Construction [Int. Conf. Article, May 2008]
- T. Kleiberg, B. Fu, F. Kuipers, P. Van Mieghem, S. Avallone and B. Quoitin. DeSiNe: a flow-level QoS Simulator of Networks [Int. Conf. Article, March 2008]
- T. Mens and S. Demeyer (Editors). Software Evolution [Edited Volume, February 2008]
- T. Mens, K. Mens, M. D'Hondt and E. Van Paesschen (Editors). Postproceedings of the Third ERCIM International Symposium on Software Evolution (EVOL 2007) [Edited Volume, February 2008]
- T. Zimmermann, N. Nagappan and A. Zeller. Predicting Bugs from History [Book Chapter, February 2008]
- R. Van Der Straeten, T. Mens and S. Van Baelen. Challenges in Model-Driven Software Engineering [Int. Conf. Article, 2008]
- H. Mélot. Facet Defining Inequalities among Graph Invariants: the system GraPHedron [Int. Journal Article, 2008]
- V. Bruyère, E. Dall'Olio and J. Raskin. Durations and Parametric Model-Checking in Timed Automata [Int. Journal Article, 2008]
- B. Boigelot, J. Brusten and V. Bruyère. On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases [Int. Conf. Article, 2008]
- P. De Leenheer and T. Mens. Ontology Evolution : State of the art and future directions [Book Chapter, 2008]
- G. Taentzer, E. Biermann, D. Bisztray, B. Bohnet, I. Boneva, A. Boronat, L. Geiger, R. Geiss, A. Horvath, O. Kniemeyer, T. Mens, B. Ness, D. Plump and T. Vajk. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools [Int. Conf. Article, 2008]
- P. De Leenheer and T. Mens. Using Graph Transformation to Support Collaborative Ontology Evolution [Int. Conf. Article, 2008]
- T. Mens, G. Taentzer and D. Mueller. Model-Driven Software Refactoring [Book Chapter, 2008]
- J. Christophe, S. Dewez, J. Doignon, S. Elloumi, G. Fasbender, P. Grégoire, D. Huygens, M. Labbé, H. Mélot and H. Yaman. Linear inequalities among graph invariants: using GraPHedron to uncover optimal relationships [Int. Journal Article, 2008]
- G. Taentzer, D. Mueller and T. Mens. Specifying Domain-Specific Refactorings for AndroMDA based on Graph Transformation [Int. Conf. Article, 2008]
2007
- M. Boucadair, P. Levis, D. Griffin, N. Wang, M. Howarth, G. Pavlou, E. Mykoniati, P. Georgatsos, B. Quoitin, J. Rodriguez Sanchez and M. Garcia-Osma. A Framework for End-to-End Service Differentiation: Network Planes and Parallel Internets [Int. Journal Article, September 2007]
- J. Wijsen. On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints [Int. Conf. Article, September 2007]
- T. Mens, K. Mens, E. Van Paesschen and M. D'Hondt (Editors). Proceedings Third International ERCIM Workshop on Software Evolution [Edited Volume, September 2007]
- B. Quoitin, L. Iannone, C. de Launois and O. Bonaventure. Evaluating the Benefits of the Locator/Identifier Separation [Int. Conf. Article, August 2007]
- A. Pozniak. Entrainement de CAD's en mammographie [Master's Thesis, June 2007]
- S. Laurent. Conversion de modèles UML en format de graphes [Master's Thesis, June 2007]
- A. Decan. Système de backup distribué [Master's Thesis, June 2007]
- A. Folli. UML model refactoring using graph transformation [Master's Thesis, June 2007]
- J. Jonckers. Analyse de séquences génétiques par le biais d'une compression en ligne relative à des dictionnaires [Master's Thesis, June 2007]
- N. Wang, D. Griffin, J. Spencer, J. Griem, J. Rodriguez Sanchez, M. Boucadair, E. Mykoniati, B. Quoitin, M. Howarth, G. Pavlou, A. Elizondo, M. Garcia-Osma and P. Georgatsos. A Framework for Lightweight QoS Provisioning: Network Planes and Parallel Internets [Int. Conf. Article, May 2007]
- T. Mens and R. Van Der Straeten. Incremental resolution of model inconsistencies [Int. Conf. Article, February 2007]
- K. Allem and T. Mens. Refactoring des modèles: concepts et défis [Nat. Conf. Article, January 2007]
- T. Mens and M. D'Hondt. Preface of the Postproceedings of the ERCIM 2006 Workshop on Software Evolution [Int. Journal Article, January 2007]
- V. Bruyère and J. Raskin. Real-Time Model-Checking: Parameters Everywhere [Int. Journal Article, 2007]
- R. Van Der Straeten, V. Jonckers and T. Mens. A formal approach to model refactoring and model refinement [Int. Journal Article, 2007]
- P. Bouyer, T. Brihaye, V. Bruyère and J. Raskin. On the Optimal Reachability Problem of Weighted Timed Automata [Int. Journal Article, 2007]
- V. Bruyère and O. Carton. Automata on Linear Orderings [Int. Journal Article, 2007]
2006
- V. Fiolet and B. Toursel. A Clustering Method to Distribute a Database on a Grid [Int. Journal Article, October 2006]
- T. Mens, R. Van Der Straeten and M. D'Hondt. Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis [Int. Conf. Article, October 2006]
- V. Fiolet, E. Laskowski, L. Masko, R. Olejnik, B. Toursel and M. Tudruj. Optimizing Distributed Data Mining Applications Based on Object Clustering Methods [Int. Conf. Article, September 2006]
- J. Warny. Détection et résolution des incohérences des modèles UML avec un outil de transformation de graphes [Master's Thesis, September 2006]
- S. Cerav-Erbas, O. Delcourt, B. Fortz and B. Quoitin. The Interaction of IGP Weight Optimization with BGP [Int. Conf. Article, August 2006]
- B. Quoitin. BGP-based Interdomain Traffic Engineering [PhD Thesis, August 2006]
- V. Fiolet, G. Lefait, R. Olejnik and B. Toursel. Optimal Grid Exploitation algorithms for Data Mining [Int. Conf. Article, July 2006]
- C. de Launois, B. Quoitin and O. Bonaventure. Leveraging Network Performances with IPv6 Multihoming and Multiple Provider-Dependant Aggregatable Prefixes [Int. Journal Article, June 2006]
- A. Eden and T. Mens. Measuring Software Flexibility [Int. Journal Article, June 2006]
- J. Wijsen. Project-Join-Repair: An Approach to Consistent Query Answering Under Functional Dependencies [Int. Conf. Article, April 2006]
- H. Mélot. On Automated and Computer Assisted Conjectures in Graph Theory [PhD Thesis, April 2006]
- M. D'Hondt, L. Duchien and T. Mens. Proceedings International ERCIM Workshop on Software Evolution 2006 [Tech. Report, April 2006]
- T. Mens, G. Kniesel and O. Runge. Transformation dependency analyis: A comparison of two approaches [Int. Conf. Article, March 2006]
- J. Wijsen. A Note on Database Repairing by Value Modification [Int. Conf. Article, March 2006]
- T. Mens. Model Inconsistency Management by means of Graph Transformation Dependency Analysis [Conf. Slides, March 2006]
- V. Fiolet, G. Lefait, R. Olejnik and B. Toursel. Data Mining sur Grille [Conf. Slides, March 2006]
- G. Leduc, H. Abrahamsson, S. Balon, S. Bessler, M. D'Arienzo, O. Delcourt, J. Domingo-Pascual, S. Cerav-Erbas, I. Gojmerac, X. Masip, A. Pescape, B. Quoitin, S. Romano, E. Salvadori, F. Skivee, H. Tuan Tran, S. Uhlig and H. Umit. An open source traffic engineering toolbox [Int. Journal Article, March 2006]
- T. Mens. Transformation dependency analyis: A comparison of two approaches [Conf. Slides, March 2006]
- S. Uhlig, B. Quoitin, S. Balon and J. Lepropre. Providing public intradomain traffic matrices to the research community [Int. Journal Article, January 2006]
- T. Mens. Transformation dependency analysis based on graph transformation [Conf. Slides, January 2006]
- T. Mens. On the use of graph transformations for model refactoring [Book Chapter, 2006]
- T. Brihaye, V. Bruyère and J. Raskin. On model-checking timed automata with stopwatch observers [Int. Journal Article, 2006]
- T. Mens, G. Taentzer and O. Runge. Analysing refactoring dependencies using graph transformation [Int. Journal Article, 2006]
- B. Du Bois, S. Demeyer, J. Verelst, T. Mens and M. Temmerman. Does God Class Decomposition Affect Comprehensibility? [Int. Conf. Article, 2006]
2005
- B. Quoitin and S. Uhlig. Modeling the routing of an Autonomous System with C-BGP [Int. Journal Article, December 2005]
- P. Hansen, M. Aouchiche, G. Caporossi, H. Mélot and D. Stevanovic. What Forms Do Interesting Conjectures Have in Graph Theory? [Int. Conf. Article, December 2005]
- P. Hansen and H. Mélot. Variable Neighborhood Search for Extremal Graphs 9. Bounding the Irregularity of a Graph [Int. Conf. Article, December 2005]
- T. Mens. Revised Experiment in Evolution Complexity: Instruction to Subjects [Tech. Report, November 2005]
- T. Mens. On the use of graph transformations for model refactoring [Conf. Slides, October 2005]
- B. Quoitin. Topology generation based on network design heuristics [Poster, October 2005]
- J. Buckley, T. Mens, M. Zenger, A. Rashid and G. Kniesel. Towards a taxonomy of software change [Int. Journal Article, September 2005]
- J. Wijsen. Database Repairing Using Updates [Int. Journal Article, September 2005]
- T. Mens. A taxonomy of model transformation and its application to graph transformation technology [Conf. Slides, September 2005]
- T. Mens, P. Van Gorp, D. Varro and G. Karsai. Applying a model transformation taxonomy to graph transformation technology [Int. Conf. Article, September 2005]
- T. Mens and P. Van Gorp. A taxonomy of model transformation [Int. Conf. Article, September 2005]
- R. Van Der Straeten. Inconsistency management in model-driven engineering: an approach using description logics [PhD Thesis, September 2005]
- T. Mens, M. Wermelinger, S. Ducasse, S. Demeyer, R. Hirschfeld and M. Jazayeri. Challenges in software evolution [Int. Conf. Article, September 2005]
- S. Demeyer, F. Van Rysselberghe, T. Girba, J. Ratzinger, R. Marinescu, T. Mens, B. Du Bois, D. Janssens, S. Ducasse, M. Lanza, M. Rieger, H. Gall and M. Al-Ramly. The LAN simulation: A refactoring teaching example [Int. Conf. Article, September 2005]
- T. Mens. On the use of graph transformations for model refactoring [Int. Conf. Article, July 2005]
- V. Fiolet and B. Toursel. Progressive Clustering for Database Distribution on a Grid [Int. Conf. Article, July 2005]
- B. Quoitin and S. Tandel. A BGP Solver for Hot-Potato Routing Sensitivity Analysis [Int. Conf. Article, July 2005]
- T. Mens, N. Van Eetvelde, S. Demeyer and D. Janssens. Formalizing Refactorings with Graph Transformations [Int. Journal Article, July 2005]
- J. Cardinal, M. Labbé, S. Langerman, E. Levy and H. Mélot. A tight analysis of the maximal matching heuristic [Int. Conf. Article, July 2005]
- T. Mens and R. Van Der Straeten. On the Use of Formal Techniques to Support Model Evolution [Int. Conf. Article, June 2005]
- T. Mens. On the use of graph transformations for model refactoring [Conf. Slides, June 2005]
- S. Dahmane. Etude et automatisation de refactorings pour le langage Delphi [Master's Thesis, June 2005]
- R. Astier. On the data exchange problem [Submitted, June 2005]
- J. Gilles. Spécification d'un langage de requête par l'exemple pour le XML (XQBE) [Master's Thesis, June 2005]
- E. Dedes. Utiliser l'analyse de concepts pour détecter les défauts structurels dans les programmes Smalltalk [Master's Thesis, June 2005]
- N. Masse. Détection des bad smells en Delphi [Master's Thesis, June 2005]
- O. Van Rengen. Détection des défauts structurels dans un programme Java à l'aide des technologies XML [Master's Thesis, June 2005]
- V. Fiolet. Intelligent Database distribution on a Grid using clustering [Int. Conf. Article, June 2005]
- O. Delgrange and E. Rivals. Modular Data Compression to Optimally Locate Regular Segments in Sequences. Application to DNA Sequence Analysis [Int. Conf. Article, May 2005]
- J. Cardinal, N. Cerf, O. Delgrange and O. Markovitch (Editors). Proc. 26th Symposium on Information Theory in the Benelux [Edited Volume, May 2005]
- B. Quoitin, C. Pelsser, O. Bonaventure and S. Uhlig. A performance evaluation of BGP-based traffic engineering [Int. Journal Article, May 2005]
- S. Uhlig and B. Quoitin. Tweak-it: BGP-based interdomain traffic engineering for transit ASes [Int. Conf. Article, April 2005]
- B. Quoitin and O. Bonaventure. A cooperative approach to interdomain traffic engineering [Int. Conf. Article, April 2005]
- T. Mens. Model-driven software evolution [Conf. Slides, April 2005]
- T. Mens. Les images fractales en Scheme : Une exploration des algorithmes récursifs [Conf. Slides, March 2005]
- J. Wijsen. On Condensing Database Repairs Obtained by Tuple Deletions [Int. Conf. Article, March 2005]
- S. Uhlig, C. Pelsser, B. Quoitin and O. Bonaventure. Vers des réflecteurs de routes plus intelligents [Int. Conf. Article, March 2005]
- T. Mens, R. Van Der Straeten and J. Simmonds. A Framework for Managing Consistency of Evolving UML Models [Book Chapter, March 2005]
- C. de Launois, B. Quoitin and O. Bonaventure. Leveraging network performances with IPv6 multihoming and multiple provider-dependent aggregatable prefixes [Int. Conf. Article, February 2005]
- T. Mens. Formal Support for Software Refactoring : Current Research and Future Trends [Conf. Slides, January 2005]
- V. Fiolet and B. Toursel. Projet DisDaMin: Data Mining distribué [Conf. Slides, January 2005]
- T. Brihaye, V. Bruyère and J. Raskin. On Optimal Timed Strategies [Int. Conf. Article, 2005]
- I. Araujo and V. Bruyère. Words derivated from Sturmian words [Int. Journal Article, 2005]
- I. Araujo and V. Bruyère. Sturmian words: dynamical systems and derivated words [Int. Conf. Article, 2005]
- P. Hansen, H. Mélot and I. Gutman. Variable Neighborhood Search for Extremal Graphs
12. A note on the variance of bounded degrees in graphs. [Int. Journal Article, 2005]
- I. Araujo and V. Bruyère. Sturmian words and a criterium by Michaux-Villemaire [Int. Journal Article, 2005]
- V. Bruyère and O. Carton. Hierarchy Among Automata on Linear Orderings [Int. Journal Article, 2005]
- I. Gutman, P. Hansen and H. Mélot. Variable Neighborhood Search for Extremal Graphs 10. Comparison of irregularity indices for chemical trees [Int. Journal Article, 2005]
2004
- T. Mens, J. Fernandez-Ramil and M. Godfrey. Analyzing the evolution of large-scale software [Int. Journal Article, December 2004]
- P. Ebraert, T. D'Hondt and T. Mens. Enabling dynamic software evolution through automatic refactoring [Int. Conf. Article, November 2004]
- O. Delgrange and E. Rivals. STAR: an algorithm to Search for Tandem Approximate Repeats [Int. Journal Article, November 2004]
- R. Van Der Straeten, V. Jonckers and T. Mens. Supporting Model Refactorings through Behaviour Inheritance Consistencies [Int. Conf. Article, October 2004]
- T. Mens, G. Taentzer and O. Runge. Detecting structural refactoring conflicts using critical pair analysis [Int. Journal Article, September 2004]
- T. Mens and A. Eden. On the evolution complexity of design patterns [Int. Journal Article, September 2004]
- T. Mens, K. Mens and T. Tourwé. Aspect-Oriented Software Evolution [Int. Journal Article, July 2004]
- T. Mens. Graph transformation support for software refactoring [Conf. Slides, June 2004]
- V. Fiolet and B. Toursel. DisDaMin Project: Distributed Data Mining [Conf. Slides, June 2004]
- J. Wijsen. Making More Out of an Inconsistent Database [Int. Conf. Article, June 2004]
- T. Mens. Software Evolution and Aspect-Oriented Programming [Conf. Slides, May 2004]
- R. Potdevin, T. Dutoit, E. Fascilla and P. Manneback. Bilan d'une implantation du multimédia en faculté de sciences appliquées : de la solution technique à l'activité d'apprentissage [Submitted, May 2004]
- T. Mens. Formal Tool Support for Software Evolution [Conf. Slides, May 2004]
- T. Mens. Formal Support for Model Refactoring [Conf. Slides, April 2004]
- B. Quoitin, S. Tandel, S. Uhlig and O. Bonaventure. Interdomain Traffic Engineering with Redistribution Communities [Int. Journal Article, March 2004]
- H. Mélot. Les graphes au quotidien [Nat. Conf. Article, March 2004]
- T. Mens. Inconsistency management and model evolution [Conf. Slides, March 2004]
- T. Mens and T. Tourwé. A Survey of Software Refactoring [Int. Journal Article, February 2004]
- J. Simmonds, R. Van Der Straeten, V. Jonckers and T. Mens. Maintaining consistency between UML models using description logic [Int. Journal Article, February 2004]
- J. Fabry and T. Mens. Language-independent detection of object-oriented design patterns [Int. Journal Article, February 2004]
- V. Fiolet and B. Toursel. DisDaMin: algorithmes de Data Mining distribués [Nat. Conf. Article, January 2004]
- V. Bruyère, T. Brihaye and J. Raskin. Model-Checking for Weighted Timed Automata [Int. Conf. Article, 2004]
2003
- O. Delgrange and E. Rivals. Analyse de séquences par compression : un algorithme efficace de localisation optimale de régularités [Int. Conf. Article, November 2003]
- O. Bonaventure, B. Quoitin and S. Uhlig. Beyond interdomain reachability [Misc., October 2003]
- P. Van Gorp, H. Stenten, T. Mens and S. Demeyer. Towards automating source-consistent UML refactorings [Int. Journal Article, October 2003]
- R. Van Der Straeten, T. Mens, J. Simmonds and V. Jonckers. Using Description Logic to Maintain Consistency Between UML Models [Int. Journal Article, October 2003]
- S. Sauvage, I. Leclercq, A. Leroy, O. Delgrange, R. Wattiez, D. Figlewicz and A. Belayew. Détection dans les myoblastes de patients en culture primaire, de la protéine DUX4, produit d'un gène candidat pour la dystrophie facioscapulomérale (FSHD) [Poster, October 2003]
- O. Bonaventure, P. Trimintzios, G. Pavlou, B. Quoitin, A. Azcorra, M. Bagnulo, P. Flegkas, A. Garcia-Martinez, P. Georgatsos, P. Georgiadis, C. Jacquenet, L. Swinnen, S. Tandel and S. Uhlig. Internet Traffic Engineering [Book Chapter, September 2003]
- S. Uhlig, O. Bonaventure and B. Quoitin. Interdomain traffic engineering with minimal BGP configurations [Int. Conf. Article, September 2003]
- T. Mens, J. Fernandez-Ramil, M. Godfrey and B. Down. Proceedings of the ELISA workshop: Evolution of Large-Scale Industrial Software Evolution [Tech. Report, September 2003]
- O. Bonaventure and B. Quoitin. Common utilizations of the BGP community attribute [Misc., June 2003]
- B. Quoitin, S. Uhlig, C. Pelsser, L. Swinnen and O. Bonaventure. Interdomain Traffic Engineering with BGP [Int. Journal Article, May 2003]
- O. Bonaventure, S. de Cnodder, J. Haas, B. Quoitin and R. White. Controlling the redistribution of BGP routes [Misc., April 2003]
- V. Fiolet and B. Toursel. Distributed Data Mining [Int. Journal Article, March 2003]
- T. Mens, R. Wuyts, K. De Volder and K. Mens. Declarative Meta Programming to Support Software Development: Workshop Report [Int. Journal Article, March 2003]
- J. Wijsen. Condensed Representation of Database Repairs for Consistent Query Answering [Int. Conf. Article, January 2003]
- J. Wijsen and A. Bès. On Query Optimization in a Temporal SPC Algebra [Int. Journal Article, 2003]
- V. Bruyère and J. Raskin. Real-Time Model-Checking: Parameters Everywhere [Int. Conf. Article, 2003]
- V. Bruyère, E. Dall'Olio and J. Raskin. Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic [Int. Conf. Article, 2003]
- F. Giannotti, G. Manco and J. Wijsen. Logical Languages for Data Mining [Book Chapter, 2003]
- V. Bruyère. Cumulative defect [Int. Journal Article, 2003]
- T. Mens, T. Tourwé and F. Munoz. Beyond the Refactoring Browser: Advanced Tool Support for Software Refactoring [Int. Conf. Article, 2003]
- P. Hansen and H. Mélot. Variable Neighborhood Search for Extremal Graphs 6. Analysing Bounds for the Connectivity Index [Int. Journal Article, 2003]
- T. Tourwé and T. Mens. Automated Support for Framework-Based Software Evolution [Int. Conf. Article, 2003]
- T. Tourwé and T. Mens. Identifying Refactoring Opportunities Using Logic Meta Programming [Int. Conf. Article, 2003]
- W. Van Belle, T. Mens and T. D'Hondt. Using Genetic Programming to Generate Protocol Adaptors for Interprocess Communication [Int. Journal Article, 2003]
2002
- B. Quoitin, S. Uhlig and O. Bonaventure. Using redistribution communities for Interdomain Traffic Engineering [Int. Conf. Article, October 2002]
- K. Mens, T. Mens and M. Wermelinger. Maintaining software through intentional source-code views [Int. Conf. Article, July 2002]
- V. Fiolet and B. Toursel. Distributed Data Mining [Int. Conf. Article, July 2002]
- T. Mens. A state-of-the-art survey on software merging [Int. Journal Article, May 2002]
- K. Mens, T. Mens and M. Wermelinger. Supporting Software Evolution with Intentional Software Views [Int. Conf. Article, May 2002]
- O. Delgrange. BioInformatique : Génomes et Informatique [Nat. Conf. Article, April 2002]
- B. Quoitin and O. Bonaventure. A survey of the utilization of the BGP community attribute [Misc., February 2002]
- V. Bruyère and O. Carton. Automata on Linear Orderings [Int. Conf. Article, 2002]
- V. Bruyère and O. Carton. Hierarchy Among Automata on Linear Orderings. [Int. Conf. Article, 2002]
- V. Bruyère. Codes [Book Chapter, 2002]
- P. Hansen and H. Mélot. Computers and Discovery in Algebraic Graph Theory [Int. Journal Article, 2002]
- P. Hansen, H. Mélot and D. Stevanovic. Integral Complete Split Graphs [Int. Journal Article, 2002]
- T. Calders, R. Ng and J. Wijsen. Searching for Dependencies at Multiple Abstraction Levels [Int. Journal Article, 2002]
- T. Calders and J. Wijsen. On monotone data mining languages [Int. Conf. Article, 2002]
- T. Mens, S. Demeyer and D. Janssens. Formalising Behaviour Preserving Program Transformations [Int. Conf. Article, 2002]
- V. Berthé and V. Bruyère (Editors). Actes des Journées Montoises d'Informatique Théorique 2002 [Edited Volume, 2002]
200120001999
- T. Mens. A formal foundation for object-oriented software evolution [PhD Thesis, September 1999]
- O. Delgrange, M. Dauchet and E. Rivals. Location of Repetitive Regions in Sequences by Optimizing a Compression Method [Int. Conf. Article, January 1999]
- J. Wijsen. Temporal FDs on complex objects [Int. Journal Article, 1999]
- J. Wijsen, R. Ng and T. Calders. Discovering Roll-Up Dependencies [Int. Conf. Article, 1999]
- T. Mens, C. Lucas and P. Steyaert. Supporting Reuse and Evolution of UML Models [Int. Conf. Article, 1999]
- V. Bruyère and C. Reutenauer. A proof of Choffrut's theorem on subsequential functions [Int. Journal Article, 1999]
- V. Bruyère and D. Perrin. Maximal bifix codes [Int. Journal Article, 1999]
- V. Bruyère and C. De Felice. On the existence of codings between trace monoids [Int. Journal Article, 1999]
- V. Bruyère (Editor). Actes des Journées Montoises d'Informatique Théorique 1998 [Edited Volume, 1999]
- H. Mélot. Approche du problème des (delta,D)-graphes par la recherche par voisinages variables [Master's Thesis, 1999]
19981997
- E. Rivals, M. Dauchet, J. Delahaye and O. Delgrange. Fast Discerning Repeats in DNA Sequences with a Compression Algorithm [Int. Conf. Article, June 1997]
- O. Delgrange. Un algorithme rapide pour une compression modulaire optimale - Application à l'analyse de séquences génétiques [PhD Thesis, June 1997]
- E. Rivals, O. Delgrange, J. Delahaye, M. Dauchet, M. Delorme, A. Hénaut and E. Ollivier. Detection of Significant Patterns by Compression Algorithms: the Case of Approximate Tandem Repeats in DNA Sequences [Int. Journal Article, January 1997]
- V. Bruyère and G. Hansel. Bertrand numeration systems and recognizability [Int. Journal Article, 1997]
- F. Point and V. Bruyère. On the Cobham-Semenov theorem [Int. Journal Article, 1997]
- V. Bruyère. A completion algorithm for codes with bounded deciphering delay [Int. Conf. Article, 1997]
- M. Boffa and V. Bruyère (Editors). Actes des Journées Montoises d'Informatique Théorique 1994 [Edited Volume, 1997]
1996
- O. Delgrange. La compression de données [Int. Conf. Article, August 1996]
- V. Bruyère, R. Baeza-Yates, O. Delgrange and R. Scheihing. About the Size of Boyer-Moore Automata [Int. Conf. Article, July 1996]
- E. Rivals, J. Delahaye, M. Dauchet and O. Delgrange. A Guaranteed Compression Scheme for Repetitive DNA Sequences [Int. Conf. Article, April 1996]
- O. Delgrange. La compression informatique [Nat. Conf. Article, April 1996]
- E. Rivals, M. Dauchet, J. Delahaye and O. Delgrange. Compression and Genetic Sequences Analysis [Int. Journal Article, January 1996]
- V. Bruyère and M. Latteux. Variable-length maximal codes (invited lecture) [Int. Conf. Article, 1996]
- V. Bruyère and C. De Felice. Any lifting of a trace coding is a word coding [Int. Journal Article, 1996]
- M. Van Limberghen and T. Mens. Encapsulation and Composition as Orthogonal Operators on Mixins: A Solution to Multiple Inheritance Problems [Int. Journal Article, 1996]
1995
- E. Rivals, J. Delahaye, M. Dauchet and O. Delgrange. A Guaranteed Compression Scheme for Repetitive DNA Sequences [Tech. Report, November 1995]
- E. Rivals, O. Delgrange, J. Delahaye and M. Dauchet. A First Step Toward Chromosome Analysis by Compression Algorithms [Int. Conf. Article, May 1995]
- V. Bruyère and C. De Felice. Synchronization and decomposability for a family of codes (part 2) [Int. Journal Article, 1995]
- V. Bruyère and G. Hansel. Recognizable sets of integers in nonstandard bases [Int. Conf. Article, 1995]
- V. Bruyère, C. De Felice and G. Guaiana. On some decision problems for trace codings [Int. Journal Article, 1995]
- V. Bruyère and C. De Felice. Coding and strong coding in trace monoids [Int. Conf. Article, 1995]
1994
- E. Rivals, O. Delgrange, J. Delahaye and M. Dauchet. Compression and Sequence Comparison [Int. Conf. Article, November 1994]
- O. Delgrange. Compression de séquences par détection de répétitions approximatives [Int. Conf. Article, June 1994]
- T. Mens, K. Mens and P. Steyaert. OPUS: A Formal Approach to Object-Orientation [Int. Conf. Article, 1994]
- V. Bruyère, G. Hansel, C. Michaux and R. Villemaire. Logic and p-recognizable sets of integers [Int. Journal Article, 1994]
- V. Bruyère, C. De Felice and G. Guaiana. Coding with traces [Int. Conf. Article, 1994]
- T. Mens, K. Mens and P. Steyaert. OPUS: A Calculus for Modelling Object-Oriented Concepts [Int. Conf. Article, 1994]
1992199119901989198819871985
|
|
