Publications

Marot, A., & Wuyts, R. (2010). Composing Aspects with Aspects. Paper presented at the Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10) (to appear).

Marot, A., & Wuyts, R. (2009). Detecting unanticipated aspect interferences at runtime with compositional intentions. Paper presented at the Proceedings of the 6th Workshop on Reflection, AOP and Meta-Data for Software Evolution.

González, S., Denker, M., & Mens, K. (2009). Transactional Contexts: Harnessing the Power of Context-Oriented Reflection. Paper presented at the International Workshop on Context-Oriented Programming.

González, S., Mens, K., & Cádiz, A. (2008). Context-Oriented Programming with the Ambient Object System. Journal of Universal Computer Science, 14(20), 3307-3332.

González, S., Mens, K., & Heymans, P. (2007). Highly Dynamic Behaviour Adaptability Through Prototypes with Subjective Multimethods. Paper presented at the Dynamic Languages Symposium (DLS), New York, NY, USA.

Cádiz, A., González, S., & Mens, K. (2009). Orchestrating Context-Aware Systems: A Design Perspective. Paper presented at the Proceedings of the First International Workshop on Context-Aware Software Technology and Applications.

Tom Van Cutsem Alexandre Bergel, S. D. W. D. M. (2009). Adding State and Visibility Control to Traits using Lexical Nesting. Paper presented at the ECOOP 2009 -- Object-Oriented Programming, Genoa, Italy.

Classen, A., Heymans, P., Tun, T. T., & Nuseibeh, B. (2009). Towards Safer Composition. Paper presented at the Proceedings of the 31st International Conference on Software Engineering (ICSE), Companion Volume, New Ideas and Emerging Results Track, Vancouver, Canada.

Ebraert, P., Classen, A., Heymans, P., & D'Hondt, T. (2009). Feature Diagrams for Change-Oriented Programming. Paper presented at the Feature Interactions in Sofware and Communication Systems X (ICFI'09), Lisbon, Portugal.

Saval, G., Pinna Puissant, J., Heymans, P., & Mens, T. (2009). {S}ome {C}hallenges of {F}eature-based {M}erging of {C}lass {D}iagrams. Paper presented at the Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Duisburg-Essen, Germany.

Hubaux, A., Classen, A., & Heymans, P. (2009). Formal Modelling of Feature Configuration Workflow. Paper presented at the Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA.

Tun, T. T., Boucher, Q., Classen, A., Hubaux, A., & Heymans, P. (2009). Relating Requirements and Feature Configurations: A Systematic Approach. Paper presented at the Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA.

Hubaux, A., & Heymans, P. (2009). On the Evaluation and Improvement of Feature-based Configuration Techniques in Software Product Lines. Paper presented at the Proceeding of the 31st International Conference on Software Engineering (ICSE'09), Companion Volume.

Unphon, H., Dittrich, Y., & Hubaux, A. (2009). Taking Care of Cooperation when Evolving Socially Embedded Systems: The PloneMeeting Case. Paper presented at the Proceedings of the Workshop on Cooperative and Human Aspects of Software Engineering (CHASE'09), collocated with ICSE'09.

Classen, A., Hubaux, A., & Heymans, P. (2009). A Formal Semantics for Multi-level Staged Configuration. Paper presented at the Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain.

Classen, A., Hubaux, A., & Heymans, P. (2009). Analysis of Feature Configuration Workflows (poster). Paper presented at the Proceedings of the 17th IEEE International Requirements Engineering Conference (RE'09), Atlanta, Georgia, USA.

Hubaux, A., Cleve, A., Schobbens, P.-Y., Keller, A., Muliawan, O., & Castro, S., et al. (2009). Towards a Unifying Conceptual Framework for Inconsistency Management Approaches: Definitions and Instantiations (No. P-CS-TR WP4CM-000001). University of Namur, Faculty of Computer Science.

Combéfis, S., & Pecheur, C. (2009). A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Paper presented at the EICS'09 : Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computer Systems.

Ganty, P., Maquet, N., & Raskin, J.-F. (2009). Fixpoint Guided Abstraction Refinement for Alternating Automata. Paper presented at the submitted.

Filliot, E., Jin, N., & Raskin, J.-F. (2009). An Antichain Algorithm for LTL Realizability. Paper presented at the CAV'09.

Doyen, L., & Raskin, J.-F. (2009). Improved Algorithms for the Automata-based Approach to Model Checking. Journal of Logical Methods in Computer Science.

Cassez, F., Jessen, J., Larsen, K., Raskin, J.-F., & Reynier, P.-A. (2009). Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. Paper presented at the HSCC'09 (to appear).

Van Landuyt, D., Op de beeck, S., Truyen, E., & Joosen, W. (2009). Domain-driven discovery of stable abstractions for pointcut interfaces. Paper presented at the AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development.

Cornelissen, B., Zaidman, A., van Deursen, A., & van Rompaey, B. (2009). Trace Visualization for Program Comprehension: a Controlled Experiment. Paper presented at the 17th IEEE International Conference on Program Comprehension (ICPC2009).

Adams, B., De Schutter, K., Zaidman, A., Demeyer, S., Tromp, H., & De Meuter, W. (2009). Using Aspect Orientation in Legacy Environments for Reverse Engineering using Dynamic Analysis - An Industrial Experience Report. Journal of Systems and Software.

Damas, C., Lambeau, B., Roucoux, F., & Lamsweerde, A. (2009). Analyzing Critical Process Models through Behavior Model Synthesis. Paper presented at the ICSE'2009: 31th International Conference on Software Engineering.

Kienle, H., Mens, K., Van Den Brand, M., & Wuyts, R. (2009). Tool Building on the Shoulders of Others. , 22-23.

Lamsweerde, A. (2009). Engineering Requirements for System Reliability and Security. In M. Broy, J. Gr''{u}nbauer & C. Hoare (Eds.), (pp. 196-238). IOS Press.

Lamsweerde, A. (2009). Requirements Engineering: From System Goals to UML Models to Software Specifications. WILEY.

Mens, K., & Van den Brand, M. (2009). Special issue on Experimental Software and Toolkits of Science of Computer Programming, Elsevier, To be published in 2009.

Boigelot, B., & Brusten, J. (2009). A Generalization of {Cobham}'s Theorem to Automata over Real Numbers. Theoretical Computer Science, accepted for publication.

Boigelot, B., Brusten, J., & Leroux, J. (2009). A Generalization of Semenov's Theorem on Automata over Real Vectors. Paper presented at the Submitted for publication.

Boigelot, B., & Degbomont, J.-F. (2009). Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. Paper presented at the Proc. 3rd International Conference on Language and Automata Theory and Applications (LATA).

Boigelot, B., Brusten, J., & Bruyére, V. (2009). On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.

Classen, A., Heymans, P., & Schobbens, P.-Y. (2008). What's in a Feature: A Requirements Engineering Perspective. Paper presented at the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS'08), Budapest, Hungary.

Classen, A., Laney, R., Tun, T. T., Heymans, P., & Hubaux, A. (2008). Using the Event Calculus to Reason about Problem Diagrams. Paper presented at the Third International Workshop on Advances and Applications of Problem Frames (IWAAPF'08). Co-located with ICSE 2008., Leipzig, Germany.

Classen, A., Hubaux, A., & Heymans, P. (2008). A Formal Semantics for Multi-level Staged Configuration (No. P-CS-TR SPLBT-00000002). PReCISE Research Center, University of Namur.

Genon, N., Matulevicius, R., Heymans, P., & Englebert, V. (2008). Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information. Paper presented at the Second International Workshop on Layout of (Software) Engineering Diagrams (LED'08), Herrsching, Germany.

Hainaut, J. L., Cleve, A., Henrard, J., & Hick, J.-M. (2008). Migration of Legacy Information Systems. Springer.

Trigaux, J. C., Heymans, P., Schobbens, P.-Y., Bontemps, Y., Matulevicius, R., & Classen, A. (2008). Evaluating Formal Properties of Feature Diagram Languages. IET Software Journal, Special Issue on Language Engineering.

Heymans, P., Schobbens, P.-Y., Trigaux, J.-C., Bontemps, Y., Matulevicius, R., & Classen, A. (2008). Evaluating Formal Properties of Feature Diagram Languages. IET Software Journal, Special Issue on Language Engineering.

Hubaux, A., Heymans, P., & Benavides, D. (2008). Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project. Paper presented at the Proceedings of the 12th International Software Product Line Conference (SPLC'08), Limerick, Ireland.

Hubaux, A., Heymans, P., & Unphon, H. (2008). {Separating Variability Concerns in a Product Line Re-Engineering Project}. Paper presented at the International workshop on Early Aspects at AOSD.

Matulevicius, R., Mayer, N., Mouratidis, H., Dubois, E., Heymans, P., & Genon, N. (2008). Adapting Secure Tropos for Security Risk Management during the Early Phases of Information Systems Development. Paper presented at the International Conference on Advanced Information Systems Engineering (CAiSE'08), Montpellier, France.

Matulevicius, R., Mayer, N., & Heymans, P. (2008). Alignment of Misuse Cases with Security Risk Management. Paper presented at the 4th Symposium on Requirements Engineering for Information Security (SREIS'08), collocated with the International Conference of Availability, Reliability and Security (ARES'08) (to appear), Barcelone, Spain.

Mens, K., & Tourwe, T. (2008). Evolution Issues in Aspect-Oriented Programming. (pp. 197-224). Springer.

Englebert, V., Genon, N., Heymans, P., & Deridder, D. (2008). Diagrams Definitions as first class objects in metamodelling tools - temporary title. Paper presented at the Fifth International Conference on the Theory and Application of Diagrams (Work in progress, paper submission due April 1, 2008).

Englebert, V., Genon, N., Heymans, P., & Deridder, D. (2008). Diagrams Definitions as first class objects in metamodelling tools - temporary title. Paper presented at the Fifth International Conference on the Theory and Application of Diagrams (Work in progress, paper submission due April 1, 2008).

Classen, A., Hubaux, A., Sanen, F., Truyen, E., Vallejos, J., & Costanza, P., et al. (2008). {Modelling Variability in Self-Adaptive Systems: Towards a Research Agenda}. Paper presented at the 1st International Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering (McGPLE08), Nashville, USA.

Pessemier, N., Seinturier, N., Coupaye, T., & Duchien, L. (2008). A Component-Based and Aspect-Oriented Model for Software Evolution. International Journal of Computer Applications in Technology (IJCAT).

Truyen, E., & Joosen, W. (2008). Towards an aspect-oriented architecture for self-adaptive frameworks. Paper presented at the ACP4IS '08: Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software.

Zaidman, A., Van Rompaey, B., Demeyer, S., & van Deursen, A. (2008). Mining software repositories to study co-evolution of production & test code. Paper presented at the International Conference on Software Testing, Verification and Validation (ICST 2007).

Zaidman, A., van Rompaey, B., Demeyer, S., & van Deursen, A. (2008). Mining Software Repositories to Study Co-Evolution of Production and Test Code. Paper presented at the Proceedings 1st International Conference on Software Testing.

Zaidman, A., & Demeyer, S. (2008). Automatic identification of key classes in a software system using webmining techniques. Journal of Software Maintenance and Evolution: Research and Practice, 20(6), 387-417.

Muliawan, O., Van Gorp, P., Keller, A., & Janssens, D. (2008). Executing a Standard Compliant Transformation Model on a Non-standard Platform. Paper presented at the Workshop on Modeling, Validation and Heterogeneity (MoVaH). Workshop at the First IEEE International Conference on Software Testing, verification and validation (ICST).

Muliawan, O., van Gorp, P., Keller, A., & Janssens, D. (2008). Executing a Standard Compliant Transformation Model on a Non-standard Platform. Paper presented at the Workshop on Modeling, Validation and Heterogeneity (MoVaH). Workshop at the First IEEE International Conference on Software Testing, verification and validation (ICST), Lillehammer, Norway.

van Gorp, P., Keller, A., & Janssens, D. (2008). Transformation Language Integration Based on Profiles and Higher Order Transformations. Paper presented at the 1st International Conference on Software Language Engineering (SLE 2008).

Castro, S., Mens, K., & Brichau, J. (2008). Towards a taxonomy of tools for documenting code design. Paper presented at the Query Technologies and Applications for Program Comprehension (QTAPC). Collocated Workshp at the IEEE International Conference on Program Comprehension (ICPC).

Deville, Y., Zampelli, S., & Dooms, G. (2008). Combining Two Structured Domains for Modeling Various Graph Matching Problems. Recent Advances in Constraints. Springer.

Dung, P., Deville, Y., & Van Hentenryck, P. (2008). LS(Graph): Un cadre de recherche locale pour des problèmes d'optimisation sous contraintes sur des graphes. Paper presented at the Journées Francophones de Programmation par Contraintes (JFPC'08).

Schaus, P., & Deville, Y. (2008). Hybridization of CP and VLNS for Eternity II. Paper presented at the Journées Francophones de Programmation par Contraintes (JFPC'08).

González, S., Mens, K., & Cádiz, A. (2008). Context-Oriented Programming with the Ambient Object System. Journal of Universal Computer Science, 14(20), 3307-3332.

González, S. ((2008). Programming in Ambience: Gearing Up for Dynamic Adaptation to Context.). Unpublished PhD Thesis.

Lamsweerde, A. (2008). Requirements Engineering: From Craft to Discipline. Paper presented at the FSE'2008: 16th ACM Sigsoft Intl. Symposium on the Foundations of Software Engineering.

Mejias, B., Cadiz, A., & Van Roy, P. (2008). A Self-Adaptable Network Topology for Ambient Intelligence. Paper presented at the Selfman SASO Workshop.

Mens, T., Mens, K., Van Paesschen, E., & M., D. (2008). Guest editors. Third International ERCIM Symposium on Software Evolution (Software Evolution 2007), co-located with ICSM 2007 in Paris. Special issue of Electronic Communications of the ECEASST.

Mouthuy, S., Deville, Y., & Van Hentenryck, P. (2008). Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods. Paper presented at the 22nd national conference of the Belgian Operations Research Society.

Ordonez, D., & Mens, K. (2008). APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars. Paper presented at the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008).

Ordonez, D., Mens, K., Quigley, D., & Cater, J. (2008). Issues and Problems in Test & Operations Language Translation. Paper presented at the SpaceOps 2008. American Institute of Aeronautics and Astronautics.

Schaus, P., & Deville, Y. (2008). A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. Paper presented at the AAAI-08, Twenty-Third AAAI Conference on Artificial Intelligence (accept. rate 29%).

Schaus, P., & Deville, Y. (2008). Une contrainte globale de bin-packing avec précédences: Application au problème d'équilibrage de lignes d'assemblage. Paper presented at the Journées Francophones de Programmation par Contraintes (JFPC'08).

Schaus, P., Deville, Y., & Van Hentenryck, P. (2008). Global Constraints for the Mean Absolute Deviation and the Variance: Application to the Vertical Line Balancing. Paper presented at the 22nd national conference of the Belgian Operations Research Society.

Vander Meulen, J., & Pecheur, C. (2008). Efficient Symbolic Model Checking for Process Algebras. Paper presented at the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008).

Zampelli, S., Mann, M., Deville, Y., & Backofen, R. (2008). Décomposition pour l'Isomorphisme de Sous-Graphe.. Paper presented at the Journées Francophones de Programmation par Contraintes (JFPC'08).

Demeyer, S., Gueheneuc, Y.-G., Keller, A., Lange, C. F. J., Mens, K., Kuhn, A., & Kuhlemann, M. (2008). Lecture Notes in Computer Science. Paper presented at the Workshop on Object-Oriented Reengineering. To be published in ECOOP 2007 Workshop Reader.

Brichau, J., Mens, K., & Kellens, A. (2008). Enforcing Structural Regularities in Source Code using IntensiVE. Paper presented at the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008).

Brichau, J., Kellens, A., Gybels, K., Mens, K., Hirschfeld, R., & D'Hondt, T. (2008). Application-Specific Models and Pointcuts using a Logic Meta Language. Paper presented at the Elsevier Journal on Computer Languages, Systems and Structures. Article in Press, Accepted manuscript.

Mens, K., Kellens, A., & Krinke, J. (2008). Pitfalls in Aspect Mining. Paper presented at the 15th Working Conference on Reverse Engineering (WCRE).

Cadiz, A., Mejias, B., Vallejos, J., Mens, K., Van Roy, P., & De Meuter, W. (2008). PALTA: Peer-to-peer Adaptable Topology for Ambient intelligence. Paper presented at the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008).

Bruyére, V., Dal'ollio, E., & Raskin, J.-F. (2008). Durations and Parametric Model-Checking in Timed Automata. To appear in Transactions on Computational Logic, 1-21.

Bouyer, P., Haddad, S., & Reynier, P.-A. (2008). Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Information and Computation, 206(1), 73-107.

Doyen, L., Henzinger, T., & Raskin, J.-F. (2008). Equivalence of Labeled Markov Chains. International Journal of Computer Science, 19(3), 549-563.

Cantin, F., Legay, A., & Wolper, P. (2008). Computing Convex Hulls by Automata Iteration. Paper presented at the CIAA '08: Proceedings of the 13th international conference on Implementation and Applications of Automata, Berlin, Heidelberg.

Ganty, P., Raskin, J.-F., & Van Begin, L. (2008). From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Fundam. Inf., 88(3), 275-305.

Raskin, J.-F., & Servais, F. (2008). Visibly Pushdown Transducers. Paper presented at the ICALP '08: Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II, Berlin, Heidelberg.

Massart, T., Meuter, C., & Van Begin, L. (2008). On the complexity of partial order trace model checking. Inf. Process. Lett., 106(3), 120-126.

Edmund Clarke Alexandre Donzé, & Legay, A. (2008). Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta- Sigma Modulator. Paper presented at the HVC08: Haifa Verification Conference.

Bouyer, P., & Reynier, N. M. P. (2008). Robust Analysis of Timed Automata via Channel Machines. Paper presented at the FOSSACS08: 11th International Conference on foundations of software science and computation structures.

De Wulf, M., Doyen, L., Maquet, N., & Raskin, J.-F. (2008). Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Paper presented at the TACAS: Tools and Algorithms for the Construction and Analysis * of Systems.

De Wulf, M., Doyen, L., Markey, N., & Raskin, J.-F. (2008). Robust Safety of Timed Automata. Formal Methods in System Design, 33(1-3), 45-84.

De Wulf, M., Doyen, L., Maquet, N., & Raskin, J.-F. (2008). Alaska: Antichains for Logic, Automata and Symbolic Kripke structures Analysis. Paper presented at the ATVA: Automated Technology for Verification and Analysis.

Massart, T., Meuter, C., & Van Begin, L. (2008). Testing Distributed Systems through Symbolic Model Checking of Traces. Inf. Process. Lett., 106(3), 120-126.

De Wulf, M., Doyen, L., Maquet, N., & Raskin, J.-F. (2008). Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. Paper presented at the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007.

Marot, A., & Wuyts, R. (2008). Composability of Aspects. Paper presented at the Proceedings of the 6th Workshop on Software-engineering Properties of Languages and Aspect Technologies.

Marot, A., & Wuyts, R. (2008). A DSL to declare aspect execution order. Paper presented at the Proceedings of the 3rd Domain-Specific Aspect Languages Workshop.

Boigelot, B., Brusten, J., & Bruyère, V. (2008). On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. Paper presented at the Proc. 35th International Colloquium on Automata, Languages and Programming (ICALP).

Mens, T., & Demeyer, S. (2008). Software Evolution Springer.

Gonzalez O. Casallas R., & D., D. (2008). A Proposal for High-Level Business Process Monitoring, Measurement and Control. Paper presented at the Proc. Poster at the 7th International Conference on Aspect-Oriented Software Development, Brussels, Belgium.

Joncheere N., Deridder D., Van Der Straeten R., & Jonckers V. (2008). A Framework for Advanced Modularization and Data Flow in Workflow Systems. Paper presented at the 6th International Conference on Service Oriented Computing (ICSOC 2008, Lecture Notes in Computer Science).

Sánchez M. Villalobos J., & D., D. (2008). Modeling Workflow Concerns using Synchronised Executable Models. Paper presented at the Poster at the 7th International Conference on Aspect-Oriented Software Development, Brussels, Belgium.

Sánchez M. Villalobos J., D. D. (2008). Co-Evolution and Consistency in Workflow-based Applications. Paper presented at the 1st International Workshop on Model Co-Evolution and Consistency Management, Toulouse, France.

Sánchez M. Barrero, V. D. I. . J. . . D. (2008). An Execution Platform for Extensible Runtime Models. Paper presented at the Models@run.time'08, Toulouse, France.

Yie A., Casallas R., Deridder D., & Van Der Straeten R. (2008). Multi-step Concern Refinement. Paper presented at the 12th Aspect-Oriented Modeling Workshop at AOSD 2008 (AOM08).

Yie A. Casallas R., D. D., & R., V. D. S. (2008). Towards Multi-Step Concern Refinement. Paper presented at the Proc. Poster at the 7th International Conference on Aspect-Oriented Software Development, Brussels, Belgium.

Andres Yie Rubby Casallas, D. D. R. V. D. S. (2008). Multi-step Concern Refinement. Paper presented at the Proc. 12th Aspect-Oriented Modeling Workshop at AOSD 2008 (AOM'08).

Dirk Deridder Je Gray, A. P. P. S. (2008). Model Co-Evolution and Consistency Management (MCCM'08). Paper presented at the Workshop report in M.R.V. Chaudron (Ed.): MODELS 2008 Workshops, Lecture Notes in Computer Science.

Van Der Straeten, R., Mens, T., & Baelen, S. V. (2008). Challenges in Model-Driven Engineering. Paper presented at the Workshops and Symposia at MoDELS2008.

Matulevicius, R., & Heymans, P. (2007). Visually Effective Goal Models using KAOS. Paper presented at the First International Workshop on Requirements, Intentions and Goals in Conceptual Modelling (RIGiM), Auckland, New Zealand.

Cleve, A., & Van Der Straeten, R. (2007). Towards a General Consistency Management Framework in the Context of Database Application Evolution. Paper presented at the BElgian-NEtherlands software eVOLution workshop (BENEVOL'07).

Van Rompaey, B., Du Bois, B., Demeyer, S., & Rieger, M. (2007). On the detection of test smells: A metrics-based approach for general fixture and eager test. IEEE Trans. Softw. Eng., 33(12).

Delannay, G., Mens, K., Heymans, P., Schobbens, P.-Y., & Zeippen, J.-M. (2007). PloneGov as an Open Source Product Line. Paper presented at the Workshop on Open Source Software and Product Lines (OSSPL'07), collocated with SPLC 2007.

González, S., Mens, K., & Heymans, P. (2007). Highly dynamic behaviour adaptability through prototypes with subjective multimethods. Paper presented at the Dynamic Languages Symposium (DLS), New York, NY, USA.

Wuyts, R., Demeyer, S., Gueheneuc, Y.-G., Mens, K., & Ducasse, S. (2007). Lecture Notes in Computer Science. Paper presented at the 7th Workshop on Object-Oriented Reengineering. To be published in ECOOP 2006 Workshop Reader.

Mens, K., Kellens, A., & Tonella, P. (2007). A Survey of Automated Code-Level Aspect Mining Techniques. Paper presented at the Transactions on Aspect-Oriented Software Development (TAOSD), Volume IV (Special Issue on Software Evolution).

Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J.-F. (2007). Algorithms for Omega-Regular Games with Imperfect Information. Logical Methos in Computer Science, 3(4), 1-23.

Delzanno, G., Ganty, P., Kalyon, G., Meuter, C., Raskin, J.-F., & Van Begin, L. (2007). Symbolic Data Structure for sets of k-uples of integers. (submitted).

Cassez, F., David, A., Larsen, K. G., Lime, D., & Raskin, J.-F. (2007). Timed Control with Observation Based and Stuttering Invariant Strategies. Paper presented at the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings.

Bosnacki, D., Donaldson, A. F., Leuschel, M., & Massart, T. (2007). Efficient Approximate Verification of Promela Models Via Symmetry Markers. Paper presented at the ATVA Conference.

Kalyon, G., Massart, T., Meuter, C., & Van Begin, L. (2007). Testing Distributed Systems Through Symbolic Model Checking. Paper presented at the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2007 Tallinn, Estonia, June 27-29, 2007.

Kalyon, G., Massart, T., Meuter, C., & Van Begin, L. (2007). Testing Distributed Systems Through Symbolic Model Checking. Paper presented at the FORTE Conference.

Doyen, L., Henzinger, T., & Raskin, J.-F. (2007). An equivalence relation for Markov Chains. Invited paper. International Journal of Foundations of Computer Science (submitted), 1-12.

Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2007). Le probléme de couverture pour les réseaux de Petri: résultats classiques et développements récents. Techniques et sciences informatiques (submitted), 1-30.

Cousot, P., Ganty, P., & Raskin, J.-F. (2007). Fixpoint-Guided Abstraction Refinements. Paper presented at the 14th Int. Symposium on Static Analysis (SAS).

Bouyer, P., Markey, N., & Reynier, P.-A. (2007). Robust Analysis of Timed Automata via Channel Machines. Paper presented at the 11th International Conference on Foundations of Software Science and Computation Structures, FaSSaCS08.

Collette, S., Raskin, J.-F., & Servais, F. (2007). On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game. Paper presented at the 5th International Conference Computers and Games 2006, Turin, Italy, May 29-31, 2006. Revised Papers.

Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2007). On the Efficient Computation of the Minimal Coverability Set for Petri Nets. Paper presented at the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings.

Ganty, P., Raskin, J. F., & Van Begin, L. (2007). From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Paper presented at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007 Siedlce, Poland, June 25-29, 2007.

Geeraerts, G., Raskin, J. F., & Van Begin, L. (2007). Well-structured languages. Acta Inf., 44(3-4), 249-288.

Abdulla, P. A., Delzanno, G., & Van Begin, L. (2007). Comparing the Expressive Power of WSTS. Paper presented at the 6th EACSL Annual Conference on Computer Science and Logic CSL07.

Leuschel, M., & Massart, T. (2007). Efficient Approximate Verification of B via Symmetry Markers. Paper presented at the International Symmetry Conference, Edinburgh, UK.

(2007). Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Springer.

Doyen, L., & Raskin, J.-F. (2007). Improved Algorithms for the Automata-Based Approach to Model-Checking. Paper presented at the 13th International Conference, on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings.

Raskin, J.-F. (2007). Controller Synthesis using Lattice Theory (Invited Tutorial). Paper presented at the IEEE Conference on Decision and Control.

Doyen, L., & Raskin, J.-F. (2007). Improved Algorithms for the Automata-Based Approach to Model-Checking (Invited extended version). Invited to Logical Methods in Computer Science (under reviewing), 1-20.

Leuschel, M., & Massart, T. (2007). Efficient Approximate Verification of B via Symmetry Markers. (submitted).

Delzanno, G., & Van Begin, L. (2007). On the dynamics of PB systems with volatile membranes. Paper presented at the Workshop on Membrane Computing, WMC07.

Brihaye, T., Henzinger, T. A., Prabhu, V. S., & Raskin, J.-F. (2007). Minimum-Time Reachability in Timed Games. Paper presented at the 34th International Colloquium on Automata, Languages and Programming, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings.

Bruyére, V., & Raskin, J.-F. (2007). Real-Time Model-Checking: Parameters everywhere. Logical Methos in Computer Science, 3(1), 1-30.

Bouyer, P., Brihaye, T., Bruyére, V., & Raskin, J.-F. (2007). On the optimal reachability problem of weighted timed automata. Formal Methods in System Design, 31(2), 135-175.

Chatterjee, K., de Alfaro, L., Faella, M., & Legay, A. (2007). Qualitative Logics and Equivalence for Probabilistic Systems. Paper presented at the QEST07 conference.

Cantin, F., Legay, A., & Wolper, P. (2007). Computing convex hulls by automaton iteration. Paper presented at the Automatha 2007 conference.

Boigelot, B., & Brusten, J. (2007). A generalization of Cobham's Theorem to Automata over Real Numbers. Paper presented at the 34th International Colloquium on Automata, Languages and Programming.

Legay, A. ((2007). Generic Techniques for the Verification of Infinite-State Systems.). Unpublished PhD Thesis.

Deridder, D., Goderis, S., Michiels, I., & Jonckers, V. (2007). An Active Domain Meta Layer for Documented Software Malleability. Paper presented at the 3rd International ERCIM Symposium on Software Evolution (EVOL 2007, co-located with ICSM 2007).

Goderis, S., Deridder, D., Van Paesschen, E., & D'Hondt, T. (2007). DEUCE : A Declarative Framework for Extricating User Interface Concerns. Journal of Object Technology (TOOLS 2007, ETH Zurich), 6(9).

Goderis, S., Deridder, D., Van Paesschen, E., & D'Hondt, T. (2007). DEUCE: Separating Concerns in User Interfaces. Paper presented at the 2nd International Conference on Software Engineering Advances (ICSEA 2007).

Brichau, J., De Roover, C., & Mens, K. (2007). Open Unification for Program Query Languages. Paper presented at the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), Iquique, Chile.

Castro, S., Fabry, J., Mens, K., & D'Hondt, T. (2007). A Unified Mechanism for Improving Advanced Transaction Management in Web Services. Paper presented at the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), Iquique, Chile.

De Roover, C., Brichau, J., Noguera, C., D'Hondt, T., & Duchien, L. (2007). Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries. Paper presented at the Proceedings of the ACM-SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM07).