Publications

Newsletter

Research description booklet

Scientific Publications

[2008, inproceedings | www]
Gilson, F., Englebert, V., & c, R. M. (2008). A Large Scope Transformational Approach for Distributed Architecture Design. Paper presented at the Proc. of the 2nd Int. Conf. on Software Architecture (ECSA 08).
[2009, inproceedings]
Gilson, F. (2009). Coping with large-scale architecture design and evolution with model transformations. Paper presented at the Pre-proceedings of the Generative and Transformational Techniques in Software Engineering (not publicly published) (GTTSE 09).
[2010, inproceedings]
Gilson, F. (2010). A Transformational Approach for Component-Based Distributed Architectures. Paper presented at the Preliminary Proc. of the MODELS 2010 Doctoral Symposium.
[2011, inproceedings | www]
Gilson, F., & Englebert, V. (2011). Towards handling architecture design, variability and evolution with model transformations. Paper presented at the Proc. of the 5th Workshop on Variability Modeling of Software-Intensive Systems, New York, NY, USA.
[2011, inproceedings]
Gilson, F., & Englebert, V. (2011). Rationale, decisions and alternatives traceability for architecture design. Paper presented at the 5th European Conference on Software Architecture (ECSA'11), Companion Volume, Essen, Germany.
[2012, inproceedings]
Kang, E.-Y., Schobbens, P.-Y., & Legay, A. (2012). Verification of Component-based Architectural Models on an Autonomous Truck System. Paper presented at the 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems.
[2011, inproceedings]
Ortiz, J. J., Legay, A., & Schobbens, P.-Y. (2011). Distributed Event Clock Automata - Extended Abstract. Paper presented at the Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings.
[2011, inproceedings]
Kang, E.-Y., Schobbens, P.-Y., & Pettersson, P. (2011). Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT. Paper presented at the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP11).
[2012, misc]
Mahaux, M., & Heymans, P. (2012). Integrating Creativity and Sustainability in RE Education.
[2012, unpublished]
Patrick Heymans. (2012). On the cognitive effectiveness of modelling notations.
[2012, article]
Heymans, P., Boucher, Q., Classen, A., Bourdoux, A., & Demonceau, L. (2012). A Code Tagging Approach to Software Product Line Development. Journal paper submitted to the International Journal on Software Tools for Technology Transfer (STTT).
[2012, unpublished]
Patrick Heymans. (2012). Address at the Software Product Lines session of the Bits\&{}Chips Embedded Systemen Conference.
[2012, article]
Michel, R., Ganesh, V., Hubaux, A., & Heymans, P. (2012). An {SMT}-based approach to automated configuration. Submitted to the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT).
[2012, article]
Cordy, M., Heymans, P., Schobbens, P.-Y., & Legay, A. (2012). Behavioural Modelling and Verification of Real-Time Software Product Lines. The 16th International Software Product Line Conference (SPLC).
[2012, inproceedings]
Mahaux, M., Mavin, A., & Heymans, P. (2012). Choose your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People. Paper presented at the Proceedings of the 18th International Working Conference on Requirements Engineering for Software Quality (REFSQ).
[2012, inproceedings]
Boucher, Q., Perrouin, G., & Heymans, P. (2012). Deriving Configuration Interfaces from Feature Models: A Vision Paper. Paper presented at the Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS).
[2012, inproceedings]
Mangin, O., Barafort, B., Dubois, E., & Heymans, P. (2012). Designing a Process Reference Model for Information Security Management Systems. Paper presented at the Proceedings of the 12th International SPICE Conference on Process Improvement and Capability dEtermination in Software, Systems Engineering and Service Management (SPICE).
[2012, article]
Greenyer, J., Sharifloo, A. M., Cordy, M., & Heymans, P. (2012). Efficient Consistency Checking Scenario-based Specifications of Product Line. Submitted to the 20th IEEE International Requirements Engineering Conference (RE).
[2012, inproceedings]
Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P., & Merle, P. (2012). Feature Model Differences. Paper presented at the Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE).
[2012, phdthesis]
Hubaux, A. ((2012). Feature-based configuration: collaborative, dependable, and controlled.). Unpublished PhD Thesis.
[2012, article]
Heymans, P., Classen, A., Cordy, M., Schobbens, P.-Y., & Legay, A. (2012). Formal Semantics, Composition, and Verification of Product Line Behavioural Models. Submitted to the 16th International Software Product Line Conference (SPLC).
[2012, article]
Acher, M., Michel, R., & Heymans, P. (2012). Next-Generation Model-based Variability Management: Language and Tools. Conférence en IngénieriE du Logiciel (CIEL).
[2012, unpublished]
Martin Mahaux and Patrick Heymans. (2012). Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique.
[2012, unpublished]
Martin Mahaux and Patrick Heymans. (2012). Improvisational Theater for Information Systems: Breathing Collaboration and Creativity into Your Developments.
[2012, unpublished]
Patrick Heymans. (2012). Keynote address at the 16th International Software Product Line Conference (SPLC).
[2012, unpublished]
Patrick Heymans. (2012). Keynote address at the 3rd Workshop on Model-Driven Product Line Engineering (MDPLE), co-located with the 8th European Conference on Modelling Foundations and Applications (ECMFA).
[2012, unpublished]
Patrick Heymans. (2012). Keynote address at the PReCISE Day Research Event.
[2012, article]
Acher, M., Michel, R., Heymans, P., Collet, P., & Lahire, P. (2012). Languages and Tools for Managing Feature Models. Submitted to the 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE) held in conjunction with ICSE.
[2012, inproceedings]
Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y., & Legay, A. (2012). Managing Evolution in Software Product Lines : A Model-Checking Perspective. Paper presented at the Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS).
[2012, article]
Classen, A., Cordy, M., Heymans, P., Legay, A., & Schobbens, P.-Y. (2012). Model Checking for Software Product Lines with SNIP. Journal paper submitted to the International Journal on Software Tools for Technology Transfer (STTT).
[2012, article]
Classen, A., Cordy, M., Heymans, P., Schobbens, P.-Y., Legay, A., & c c, J.-F. (2012). Modelling and Model Checking Variability-intensive Systems with Featured Transition Systems. Journal paper submitted to IEEE Transactions on Software Engineering.
[2012, article]
Classen, A., Cordy, M., Heymans, P., Schobbens, P.-Y., & c c, J.-F. (2012). Modelling and Verifying Software Product Lines with SNIP. Tool paper submitted to the 18th International Symposium on Formal Methods (FM).
[2012, misc]
Acher, M., Michel, R., Heymans, P., & Collet, P. (2012). Next-Generation Model-based Variability Management: Language and Tools.
[2012, misc]
Acher, M., Michel, R., & Heymans, P. (2012). Next-Generation Model-based Variability Management: Language and Tools.
[2012, inproceedings]
Acher, M., Cleve, A., Perrouin, G., Heymans, P., Collet, P., & Lahire Philippe, C. V. (2012). On Extracting Feature Models From Product Descriptions. Paper presented at the Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany.
[2012, article]
Gillain, J., Heymans, P., Jureta, I., Faulkner, S., & Snoeck, M. (2012). Product Portfolio Scoping Optimization Based on Features and Goals. Submitted to the 16th International Software Product Line Conference (SPLC).
[2012, book]
Heymans (Guest Editor), P. (2012). {R}equirements {E}ngineering {J}ournal. {S}pecial {I}ssue on {B}est {P}apers of {RE}'11: {R}equirements in {M}otion (Vol. 17) Springer.
[2012, inproceedings]
Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P.-Y., & Legay, A. (2012). Simulation Relation for Software Product Lines : Foundations for Scalable Model-Checking. Paper presented at the Proceedings of the 34th International Conference on Software Engineering, (ICSE).
[2012, article]
Matuleviv{c}ius, R., Mouratidis, H., Mayer, N., Dubois, E., & Heymans, P. (2012). Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management. Journal of Universal Computer Science, 18(6), 816-844.
[2012, inproceedings]
Genon, N., Caire, P., Hubert, T., Heymans, P., & Moody, D. L. (2012). Towards a More Semantically Transparent \emph{i*} Visual Syntax. Paper presented at the Proceedings of the 18th International Working Conference on Requirements Engineering for Software Quality (REFSQ).
[2012, article]
Devroey, X., Cordy, M., Perrouin, G., Kang, E.-Y., Schobbens, P.-Y., & Heymans, P., et al. (2012). Towards behavioural model-driven validation of software product lines. Submitted to the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA).
[2012, article]
Boucher, Q., Perrouin, G., Jean-ChristoHeymans, P. D., & Heymans, P. (2012). Towards Configurable {ISO} 29110-compliant Software Development Processes for Very Small Entities. Submitted to the European System \& Software Process Improvement and Innovation (EUROSPI).
[2012, article]
Boucher, Q., Abbasi, E. K., Hubaux, A., Perrouin, G., Acher, M., & Heymans, P. (2012). Towards More Reliable Configurators: A Re-engineering Perspective. Submitted to the 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE) held in conjunction with ICSE.
[2012, article]
Caire, P., Genon, N., Heymans, P., & Moody, D. (2012). Visual notation design 2.0: involving end users in designing RE notations. Submitted to the 20th IEEE International Requirements Engineering Conference (RE).
[2011, proceedings]
(2011). 19th IEEE International Requirements Engineering Conference. IEEE.
[2011, proceedings]
(2011). 1st Int'l Workshop on Variability-intensive Systems Testing, Validation \& Verification (VAST) in Software Testing, Verification, and Validation Workshops (ICSTW). Berlin, Germany: IEEE.
[2011, article | www]
Classen, A., Boucher, Q., & Heymans, P. (2011). A Text-based Approach to Feature Modelling: Syntax and Semantics of {TVL}. Science of Computer Programming, Special Issue on Software Evolution, Adaptability and Variability, 76(12), 1130-1143.
[2011, article]
Abbasi, E. K., Hubaux, A., & Heymans, P. (2011). A Toolset for Feature-based Configuration Workflows. Proceedings of the 15th International Software Product Lines Conference (SPLC), Munich, Germany.
[2011, inproceedings | www]
Abbasi, E. K., Hubaux, A., & Heymans, P. (2011). An Interactive Multi-Perspective Toolset for Non-Linear Product Configuration Processes [Demo Paper]. Paper presented at the Proceedings of the 15th International Software Product Line Conference (SPLC), Volume 2, New York, NY, USA.
[2011, inproceedings | www]
Genon, N., Heymans, P., & Amyot, D. (2011). Analysing the cognitive effectiveness of the BPMN 2.0 visual notation. Paper presented at the Proceedings of the 3rd International Conference on Software Language Engineering (SLE), Berlin, Heidelberg.
[2011, inproceedings]
Mahaux, M., Heymans, P., & Saval, G. (2011). Discovering Sustainability Requirements: An Experience Report. Paper presented at the Requirements Engineering: 17th International Working Conference, Foundation for Software Quality (REFSQ), Essen, Germany.
[2011, inproceedings]
Mahaux, M., Heymans, P., & Saval, G. (2011). Discovering Sustainability Requirements: An Experience Report. Paper presented at the Requirements Engineering: Foundation for Software Quality (REFSQ).
[2011, inproceedings]
Mussbacher, G., Amyot, D., & Heymans, P. (2011). E}ight {D}eadly {S}ins of {GRL. Paper presented at the Proceedings of the 5$^{\mbox{th}}$ International {\it i}* Workshop 2011, Trento, Italy, August 28-29, 2011.
[2011, proceedings]
(2011). Fifth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). Namur, Belgium: ACM.
[2011, unpublished]
Patrick Heymans. (2011). Model-Checking Software Product Lines.
[2011, phdthesis]
Classen, A. ((2011). Modelling and model checking variability-intensive systems.). Unpublished PhD Thesis.
[2011, article]
Hubaux, A., Tun, T. T., & Heymans, P. (2011). Separation of Concerns in Feature Diagram Languages: A Systematic Survey. ACM Computing Surveys.
[2011, article]
Hubaux, A., Heymans, P., Schobbens, P.-Y., Abbasi, E. K., & Deridder, D. (2011). Supporting Multiple Perspectives in Feature-based Configuration. Software and Systems Modeling (SoSyM).
[2011, inproceedings | www]
Classen, A., Heymans, P., Schobbens, P.-Y., & Legay, A. (2011). Symbolic Model Checking of Software Product Lines. Paper presented at the Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii.
[2011, article]
Perrouin, G., Metzger, A., Heymans, P., & Traon, Y. L. (2011). {VAST} 2011 Workshop Summary. ACM SIGSOFT Software Engineering Notes, 36(4), 24-25.
[2011, article | www]
Degrandsart, S., Demeyer, S., Van den Bergh, J., & Mens, T. (2011). A transformation-based approach to context-aware modelling. Software and Systems Modeling, 1-18.
[2011, inproceedings | www]
Hovsepyan, A., Scandariato, R., Van Baelen, S., Joosen, W., & Demeyer, S. (2011). Preserving aspects via automation: a maintainability study. Paper presented at the International Symposium on Empirical Software Engineering and Measurement.
[2011, inproceedings | www]
Hovsepyan, A., Scandariato, R., Van Baelen, S., Berbers, Y., Demeyer, S., & Joosen, W. (2011). Maintainability studies investigating aspect preservation via automation: lessons learned. Paper presented at the Second international workshop on empericial evaluation of software compostion techniques (ESCOT 2011).
[2011, incollection | www]
Acher, M., Cleve, A., Collet, P., Merle, P., Duchien, L., & Lahire, P. (2011). Reverse Engineering Architectural Feature Models. In I. Crnkovic, V. Gruhn & M. Book (Eds.), (Vol. 6903, pp. 220-235). Springer Berlin / Heidelberg.
[2011, article | www]
Zaidman, A., & Brichau, J. (2011). Preface to the special issue on software evolution, adaptability and variability. Science of Computer Programming, 76(12), 1075.
[2011, article | www]
Meyers, B., & Vangheluwe, H. (2011). A framework for evolution of modelling languages. Science of Computer Programming, 76(12), 1223-1246.
[2011, inproceedings]
Doyen, L., Massart, T., & Shirmohammadi, M. (2011). Synchronizing Objectives for Markov Decision Processes. Paper presented at the iWIGP: Proceedings International Workshop on Interactions, Games and Protocols.
[2011, inproceedings]
Doyen, L., Massart, T., & Shirmohammadi, M. (2011). Infinite Synchronizing Words for Probabilistic Automata. Paper presented at the MFCS: 36TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE.
[2011, inproceedings]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Global State Estimates for Distributed Systems. Paper presented at the FMOODS/FORTE Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011.
[2011, inproceedings]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Synthesis of Communicating Controllers for Distributed Systems. Paper presented at the Systems. 50th IEEE Conference on Decision and Control and European Control Conference IEEE CDC - ECC 2011.
[2010, article | www]
Leuschel, M., & Massart, T. (2010). Efficient approximate verification of {B} and {Z} models via symmetry markers. Annals of Mathematics and Artificial Intelligence, 59, 81-106.
[2011, article]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2011). Decentralized Control of Infinite Systems. Discrete Event Dynamical Systems, 21(3), 359-393.
[2012, article]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2012). Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation. Discrete Event Dynamical Systems, 22(2), 121-161.
[2012, phdthesis]
Keller, A. ((2012). Analysis-based Resolution Support for Inconsistencies in UML Models.). Unpublished PhD Thesis.
[2012, misc]
Keller, A., Demeyer, S., Baetens, N., {Van Baelen}, S., & Joosen, W. (2012). Resolving Inconsistencies in UML Models with Impact Objectives} note = {Submitted to ICSM 2012.
[2011, inbook]
Keller, A., & Demeyer, S. (2011). {C}hange {I}mpact {A}nalysis for {U}{M}{L} {M}odel {M}aintenance. In J. Rech & C. Bunse (Eds.), IGI Global.
[2011, inproceedings]
Michel, R., Classen, A., Hubaux, A., & Boucher, Q. (2011). A Formal Semantics for Feature Cardinalities in Feature Diagrams. Paper presented at the Proceedings of the 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium.
[2012, inproceedings]
Hubaux, A., Xiong, Y., & Czarnecki, K. (2012). A Survey of Configuration Challenges in Linux and eCos. Paper presented at the Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany.
[2012, inproceedings]
Boucher, Q., Abbasi, E., Hubaux, A., Perrouin, G., Acher, M., & Heymans, P. (2012). Towards More Reliable Configurators: A Re-engineering Perspective (to appear). Paper presented at the Proceedings of the International Workshop on Product LinE Approaches in Software Engineering (PLEASE'12), Zurich, Switzerland.
[2012, phdthesis]
Hubaux, A. ((2012). Feature-based Configuration: Collaborative, Dependable, and Controlled.). Unpublished PhD Thesis.
[2012, inproceedings]
Xiong, Y., Hubaux, A., She, S., & Czarnecki, K. (2012). Generating Range Fixes for Software Configuration. Paper presented at the Proceedings of the 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland.
[2011, inproceedings]
Abbasi, E., Hubaux, A., & Heymans, P. (2011). A Toolset for Feature-based Configuration Workflows. Paper presented at the Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany.
[2011, article]
Hubaux, A., Heymans, P., & Schobbens, P.-Y. (2011). Supporting Multiple Perspectives in Feature-based Configuration (To Appear). Software and Systems Modeling (SoSyM).
[2011, phdthesis]
Marot, A. ((2011). Preserving the Separation of Concerns while Composing Aspects with Reflective AOP.). Unpublished PhD Thesis.
[2012, article]
Bainomugisha, E., Vallejos, J., Gonzalez Boix, E., Costanza, P., D'Hondt, T., & De Meuter, W. (2012). Bringing Scheme programming to the iPhone - {E}xperience. Software, Practice Experience., 42(3), 331-356.
[2011, inproceedings]
Van Der Straeten, R., Puissant, P. J., & Mens, T. (2011). Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. Paper presented at the Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings.
[2011, article]
Castro, S., De Roover, C., Kellens, A., Lozano, A., Mens, K., & D'Hondt, T. (2011). Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction. Science of Computer Programming - Special issue on Software Evolution, Adaptability and Variability, 76(12), 1113-1129.
[2012 (to appear), article]
Fabry, J., Kellens, A., Denier, S., & Ducasse, S. (2012 (to appear)). AspectMaps: A Scalable Visualization of Join Point Shadows. Elsevier's Science of Computer Programming: Experimental Software Toolkits (EST).
[2012, article]
Noguera, C., Kellens, A., & D'Hondt, T. (2012). Fostering Collaboration in the Modelling, Verification and Evolution Research Communities in Belgium. ERCIM News -- Special Theme on Evolving Software, 88, 48-49.
[2012, inproceedings]
Noguera, C., De Roover, C., Kellens, A., & Jonckers, V. (2012). Code Querying by {UML}. Paper presented at the International Conference on Program Comprehension (ICPC 2012) (to appear).
[2011, inproceedings]
Lozano, A., Kellens, A., & Mens, K. (2011). Mendel: Source Code Recommendation based on a Genetic Metaphor. Paper presented at the International Conference on Automated Software Engineering (ASE 2011).
[2011, inproceedings]
Kellens, A., De Roover, C., Noguera, C., Stevens, R., & Jonckers, V. (2011). Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions. Paper presented at the Working Conference on Reverse Engineering (WCRE 2011).
[2011, inproceedings]
Noguera, C., De Roover, C., Kellens, A., & Jonckers, V. (2011). Program Querying with a {SOUL}: the Barista tool suite. Paper presented at the International Conference on Software Maintenance (ICSM 2011), tool demo paper.
[2011, inproceedings]
Fabry, J., Kellens, A., & S., D. (2011). AspectMaps: A Scalable Visualization of Join Point Shadows. Paper presented at the International Conference on Program Comprehension (ICPC 2011).
[2012, inproceedings]
Lozano, A., Kellens, A., & Mens, K. (2012). Automated Assessment of Correctness of Recommendation Systems. Paper presented at the Third International Workshop on Recommendation Systems for Software Engineering (RSSE 2012) (to appear).
[2011, inproceedings]
De Roover, C., Scholliers, C., Amerijckx, W., D'Hondt, T., & De Meuter, W. (2011). {CrimeSPOT}: Language Support for Programming Interactions among Wireless Sensor Network Nodes. Paper presented at the 5th International Symposium on Ubiquitous Computing and Ambient Intelligence (UCAmI 2011).
[2011, inproceedings]
Nicolay, J., De Roover, C., De Meuter, W., & Jonckers, V. (2011). Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs.. Paper presented at the 11th International Working Conference on Source Code Analysis and Manipulation (SCAM 2011).
[2011, inproceedings]
Gonzalez Boix, E., Noguera, C., Van Cutsem, T., De Meuter, W., & D'Hondt, T. (2011). {REME-D}: a Reflective, Epidemic Message-Oriented Debugger for Ambient-Oriented Applications. Paper presented at the ACM Symposium on Applied Computing (SAC 2011).
[2011, inproceedings]
Joncheere, N., & Van Der Straeten, R. (2011). Uniform Modularization of Workflow Concerns using {Unify}. Paper presented at the Proceedings of the 4th International Conference on Software Language Engineering (SLE 2011).
[2011, inproceedings]
Cardozo, N., González, S., Mens, K., & D'Hondt, T. (2011). Safer Context (de)Activation: Through the Prompt-Loyal Strategy. Paper presented at the International Workshop on Context-Oriented Programming.
[2011, inproceedings]
Cardozo, N., Günther, S., D'Hondt, T., & Mens, K. (2011). Feature-Oriented Programming and Context-Oriented Programming: Comparing Paradigm Characteristics by Example Implementations. Paper presented at the International Conference on Software Engineering Advances (ICSEA 2011).
[2012, inproceedings]
Truyen, E., Cardozo, N., Walraven, S., Vallejos, J., Bainomugisha, E., & Günther, S., et al. (2012). Context-oriented Programming for Customizable SaaS Applications. Paper presented at the Symposium on Applied Computing.
[2012, inproceedings]
Genon, N., Caire, P., Toussaint, H., Patrick, H., & Moody, D. (2012). Towards a More Semantically Transparent i* Visual Syntax. Paper presented at the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12).
[2011, inproceedings]
Ortiz, J. J., Legay, A., & Schobbens, P.-Y. (2011). Distributed Event Clock Automata - Extended Abstract. Paper presented at the Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings.
[2011, inproceedings]
Cardozo, N., González, S., Mens, K., & D'Hondt, T. (2011). Safer Context (de)Activation: Through the Prompt-Loyal Strategy. Paper presented at the Proceedings of the Context-Oriented Worshop (COP '11).
[2011, inproceedings]
Cardozo, N., Günther, S., D'Hondt, T., & Mens, K. (2011). Feature-Oriented Programming and Context-Oriented Programming: Comparing Paradigm Characteristics by Example Implementations. Paper presented at the International Conference on Software Engineering Advances (ICSEA).
[2011, inproceedings]
Kang, E.-Y., Schobbens, P.-Y., & Pettersson, P. (2011). Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT. Paper presented at the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP11).
[2010, article]
Zaidman, A., Rompaey, B. V., van Deursen, A., & Demeyer, S. (2010). Studying the co-evolution of production and test code in open source and industrial developer test processes through repository mining. International Journal on Empirical Software Engineering, Accepted in september 2010; to appear in 2011.
[2010, inproceedings | www]
Hovsepyan, A., Van Baelen, S., Scandariato, R., Joosen, W., & Demeyer, S. (2010). An experimental design for evaluating the maintainability of aspect-oriented models enhanced with domain-specific constructs. Paper presented at the Fifteenth international workshop on aspect-oriented modeling (AOM@MoDELS 2010).
[2010, inproceedings]
Soetens, Q. D., & Demeyer, S. (2010). Studying the Effect of Refactorings: a Complexity Metrics Perspective. Paper presented at the Proceedings QUATIC'10 (7th International Conference on the Quality of Information and Communications Technology).
[2010, inproceedings]
Quinten David Soetens, P. E., & Demeyer, S. (2010). Avoiding bugs pro-actively by change-oriented programming. Paper presented at the 1st ECOOP Workshop on Testing Object-Oriented Systems (ETOOS).
[2010, inproceedings]
Soetens, Q. D., & Demeyer, S. (2010). Detecting Conflicts on the Level of Changes. Paper presented at the Proceedings BENEVOL'2010 (The 9th BElgian-NEtherlands software eVOLution seminar).
[2010, inproceedings]
Lamkanfi, A., & Demeyer, S. (2010). Studying the Co-evolution of Application Code and Test Cases. Paper presented at the Proceedings BENEVOL'2010 (The 9th BElgian-NEtherlands software eVOLution seminar).
[2011, inproceedings]
Lamkanfi, A., Demeyer, S., Soetens, Q. D., & title for the of a Bug, V. T. {. T. M. A. P. S. R. =. (2011). Paper presented at the Proceedings CSMR'2011 (15th European Conference on Software Maintenance and Reengineering).
[2011, inproceedings]
Biegel, B., Soetens, Q. D., Hornig, W., Diehl, S., & Demeyer, S. (2011). Comparison of Similarity Metrics for Refactoring Detection. Paper presented at the Proceedings {MSR}'11 (8th IEEE Working Conference on Mining Software Repositories).
[2011, inbook]
Haesen, M., den Bergh, J. V., Meskens, J., Luyten, K., Degrandsart, S., Demeyer, S., & Coninx, K. (2011). Model-Driven Development of Advanced User Interfaces. (First ed., Vol. 340, pp. 87-106). Springer.
[2011, conference]
Ebraert, P., Soetens, Q. D., & Janssens, D. (2011). Change-based FODA diagrams: Bridging the gap between feature-oriented design and implementation. Paper presented at the SAC 2011: The 26th Symposium on Applied Computing.
[2011, inproceedings]
Genon, N., Amyot, D., & Heymans, P. (2011). Analysing the Cognitive Effectiveness of the UCM Visual Notation. Paper presented at the 6th Workshop on System Analysis and Modelling (SAM'10).
[2011, inproceedings]
Genon, N., Heymans, P., & Amyot, D. (2011). Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. Paper presented at the 3rd International Conference on Software Language Engineering (SLE'10).
[2010, article]
Mens, T., Guéhéneuc, Y.-G., Fernandez-Ramil, J., & D'Hondt, M. (2010). Guest Editor's Introduction: Software Evolution. IEEE Software, 27(4), 22-25.
[2010, proceedings]
Andrea Capiluppi and Anthony Cleve and Naouel Moha. (2010). IWPSE-EVOL '10: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE). New York, NY, USA: ACM.
[2011, article]
Parra, C., Blanc, X., Cleve, A., & Duchien, L. (2011). Unifying Design and Runtime Software Adaptations using Aspect Models. Science of Computer Programming.
[2010, article]
Cleve, A., Mens, T., & Hainaut, J.-L. (2010). Data-Intensive System Evolution. IEEE Computer, 43(8), 90-92.
[2010, article]
Tamura, G., & Cleve, A. (2010). A Comparison of Taxonomies for Model Transformation Languages. Paradigma, 4(1).
[2010, inproceedings]
Cleve, A. (2010). Program Analysis and Transformation for Data-Intensive System Evolution. Paper presented at the 26th IEEE International Conference on Software Maintenance (ICSM'2010).
[2010, inproceedings]
Cleve, A., Brogneaux, A.-F., & Hainaut, J.-L. (2010). A Conceptual Approach to Database Applications Evolution. Paper presented at the 27th International Conference on Conceptual Modeling (ER'2010).
[2010, inproceedings]
Parra, C., Cleve, A., Blanc, X., & Duchien, L. (2010). Feature-based Composition of Software Architectures. Paper presented at the 4th European Conference on Software Architecture (ECSA'2010).
[2011, inproceedings]
Tamura, G., Casallas, R., Cleve, A., & Duchien, L. (2011). QoS Contracts-Aware Reconfiguration of Component Architectures using e-Graphs. Paper presented at the 7th International Workshop on Formal Aspects of Component Software (FACS'2010).
[2010, inproceedings]
Pinna Puissant, J., Van Der Straeten, R., & Mens, T. (2010). Automated Planning for Resolving Model Inconsistencies -- A Scalability Study. Paper presented at the MoDELS workshop on Models and Evolution.
[2010, inproceedings]
Pinna Puissant, J., Mens, T., & Van Der Straeten, R. (2010). Resolving Model Inconsistencies with Automated Planning. Paper presented at the 3rd workshop on Living with Inconsistencies in Software Development.
[2011, inproceedings]
González, S., Cardozo, N., Mens, K., Cádiz, A., Jean-ChristoHeymans, P. L., & Goffaux, J. (2011). Subjective-C: Bringing Context to Mobile Platform Programming. Paper presented at the Proceedings of the International Conference on Software Language Engineering.
[2010, article | www]
Castro, S., Roover, C. D., Kellens, A., Lozano, A., Mens, K., & D'Hondt, T. (2010). Diagnosing and correcting design inconsistencies in source code with logical abduction. Science of Computer Programming, In Press, Corrected Proof.
[2010, inproceedings]
Castro, S., Kellens, A., De Roover, C., & Mens, K. (2010). Semi-automatic generation and composition of corrective actions to structural Semi-automatic generation and composition of corrective actions to structural design problems in code with Heal. Paper presented at the 9th BElgian-NEtherlands EVOLution Workshop (BENEVOL), Lille.
[2010, inproceedings]
Lozano, A., Kellens, A., Mens, K., & Arévalo, G. (2010). Mining Source Code for Structural Regularities. Paper presented at the 17th Working Conference on Reverse Engineering, WCRE 2010, 13-16 October 2010, Beverly, MA, USA.
[2010, inproceedings]
Lozano, A., Kellens, A., Mens, K., & Arévalo, G. (2010). MEntoR: Mining Entities to Rules. Paper presented at the 9th BElgian-NEtherlands EVOLution Workshop (BENEVOL), Lille.
[2010, inproceedings]
Hubaux, A., Boucher, Q., Hartmann, H., Michel, R., & Heymans, P. (2010). Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies. Paper presented at the Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10), Eindhoven, The Netherlands.
[2010, inproceedings]
Montrieux, L., Jürjens, J., Haley, C. B., Yu, Y., Schobbens, P.-Y., & Toussaint, H. (2010). Tool support for code generation from a UMLsec property. Paper presented at the ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010.
[2010, inproceedings]
Ortiz, J. J., Legay, A., & Schobbens, P.-Y. (2010). Memory Event Clocks. Paper presented at the Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings.
[2011, inproceedings]
Classen, A., Heymans, P., Schobbens, P.-Y., & Legay, A. (2011). Symbolic Model Checking of Software Product Lines (to appear). Paper presented at the Accepted for publication at the 33rd International Conference on Software Engineering, ICSE 2011.
[2010, article]
Classen, A., Boucher, Q., & Heymans, P. (2010). A Text-based Approach to Feature Modelling: Syntax and Semantics of {TVL}. Science of Computer Programming, Special Issue on Software Evolution (in press).
[2010, phdthesis | www]
Sanen, F. ((2010). Knowledge-Driven Management of Feature Interactions in Middleware Configuration (Kennisgebaseerd beheer van interactie problemen in middleware configuratie).). Unpublished PhD Thesis.
[2011, inproceedings]
Michel, R., Classen, A., Hubaux, A., & Boucher, Q. (2011). A Formal Semantics for Feature Cardinalities in Feature Diagrams. Paper presented at the Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29.
[2010, inproceedings]
Boucher, Q., Classen, A., Heymans, P., Bourdoux, A., & Demonceau, L. (2010). Tag and Prune: A Pragmatic Approach to Software Product Line Implementation. Paper presented at the ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010.
[2010, inproceedings]
Ramdoyal, R., Cleve, A., & Hainaut, J.-L. (2010). Reverse Engineering User Interfaces for Interactive Database Conceptual Analysis. Paper presented at the Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'2010).
[2010, inproceedings]
Lozano, A., & Wermelinger, M. (2010). Tracking Clones' Imprint. Paper presented at the Proceedings of the 4th International Workshop on Software Clones, collocated with ICSE 2010.
[2010, article]
Ordoñez C., D., Mens, K., M. van den Brand, M., & J. Vinju, J. (2010). Automated Generation of Program Translation and Verification Tools using Annotated Grammars. Elsevier Journal on Science of Computer Programming (SCICO), Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA '06 and '07), 75(1-2), 3-20.
[2010, article | www]
van den Brand, M. G. J., & Mens, K. (2010). Guest editors' introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008). Science of Computer Programming, 75(4), 214-215.
[2010, inbook | www]
Bainomugisha, E., Cádiz, A., Costanza, P., De Meuter, W., González, S., & Mens, K., et al. (2010). Handbook of Research on Mobile Software Engineering: Design, Implementation and Emergent Applications. In P. Alencar & D. Cowan (Eds.), Engineering Science Reference, IGI Global.
[2010, inproceedings]
Vallejos, J., González, S., Costanza, P., De Meuter, W., D'Hondt, T., & Mens, K. (2010). Predicated Generic Functions: Enabling Context-Dependent Method Dispatch. Paper presented at the Software Composition conference.
[2010, inproceedings]
Ebraert, P., D'Hondt, T., Molderez, T., & Janssens, D. (2010). Intensional changes: Modularizing crosscutting features. Paper presented at the 25th Annual ACM Symposium on Applied Computing (SAC2010).
[2010, inproceedings]
Lamkanfi, A., Demeyer, S., Giger, E., & Goethals, B. (2010). Predicting the Severity of a Reported Bug. Paper presented at the Proceedings {MSR}'10 (7th IEEE Working Conference on Mining Software Repositories).
[2010, article]
Geet, J. V., & Demeyer, S. (2010). Reverse engineering on the Mainframe - Lessons Learned from ``in vivo'' Research. IEEE Software.
[2010, inproceedings]
Degrandsart, S., Demeyer, S., & Mens, T. (2010). Using Model Transformation to Facilitate Dynamic Context Adaptation. Paper presented at the 2nd International Workshop on Future Trends of Model-Driven Development {FTMDD2010}.
[2010, inproceedings]
Luyten, K., Haesen, M., Ostrowski, D., Coninx, K., Degrandsart, S., & Demeyer, S. (2010). On stories, models and notations: Storyboard creation as an entry point for model-based interface development with UsiXML. Paper presented at the Workshop of ACM SIGCHI Symposium on Engineering Interactive Computing Systems.
[2010, inproceedings | pdf]
Goethals, B., Page, W. L., & Mampaey, M. (2010). Mining Interesting Sets and Rules in Relational Databases. Paper presented at the Proceedings of the 25th ACM Symposium on Applied Computing (ACM SAC).
[2010, article]
Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2010). Le problème de couverture pour les réseaux de Petri: résultats classiques et développements récents. Techniques et Sciences Informatique, 29(2).
[2010, article]
Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2010). On the efficient computation of the coverability set for Petri nets. International Journal of Foundations of Computer Science, 21(2).
[2010, inproceedings]
Doyen, L., & Raskin, J.-F. (2010). Games with Imperfect Information: Theory and Algorithms. Paper presented at the the summer school Games.
[2010, inproceedings]
Doyen, L., & Raskin, J.-F. (2010). Antichain Algorithms for Finite Automata. Paper presented at the TACAS2010, LNCS 6015.
[2010, inproceedings]
Degorre, A., Doyen, L., Gentilini, R., Raskin, J.-F., & Torunczyk, S. (2010). Antichain Algorithms for Finite Automata. Paper presented at the submitted.
[2010, inproceedings]
Filiot, E., Jin, N., & Raskin, J.-F. (2010). Compositional Algorithms for LTL Synthesis. Paper presented at the submitted.
[2010, inproceedings | www]
Walraven, S., Lagaisse, B., Truyen, E., & Joosen, W. (2010). Aspect-based variability model for cross-organizational features in service networks. Paper presented at the Composition \& Variability {\textquotesingle}2010: Proceedings of the 1st International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines.
[2010, inproceedings | www]
Walraven, S., Lagaisse, B., Truyen, E., & Joosen, W. (2010). Dynamic composition of cross-organizational features in distributed software systems. Paper presented at the Distributed Applications and Interoperable Systems.
[2010, inproceedings]
Geeraerts, G., Kalyon, G., Le Gall, T., Nicolas Maquet, & Raskin, J.-F. (2010). Lattice-Valued Binary Decision Diagrams. Paper presented at the submitted.
[2010, inproceedings]
Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., & Raskin, J.-F. (2010). Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. Paper presented at the 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings.
[2010, inproceedings]
Brim, L., Chaloupka, J., Doyen, L., Gentilini, R., & Raskin, J.-F. (2010). Faster Algorithms for Mean-Payoff Games. Paper presented at the submitted.
[2010, inproceedings]
Pham, Q. D., Deville, Y., & Van Hentenryck, P. (2010). Constraint-Based Local Search for Constrained Optimum Paths Problems. Paper presented at the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010).
[2010, inproceedings]
Dupuis, J., Schaus, P., & Deville, Y. (2010). Consistency check for the bin packing constraint revisited. Paper presented at the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010).
[2009, article]
Zampelli, S., Deville, Y., & Solnon, C. (2009). Solving Subgraph Isomorphism Problems with Constraint Programming. Journal of Constraints.
[2009, inproceedings]
Wuyts, R., Kienle, H. M., Mens, K., Van Den Brand, M., & Kuhn, A. (2009). Academic Software Development Tools and Techniques: Report on the 1st Workshop WASDeTT at ECOOP 2008. Paper presented at the Object-Oriented Technology -- ECOOP 2008 Workshop Reader.
[2009, inproceedings]
Combéfis, S. (2009). Operational Model: Integrating User Tasks and Environment Information with System Model. Paper presented at the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009).
[2009, inproceedings]
Vander Meulen, J., & Pecheur, C. (2009). Combining Partial Order Reduction with Bounded Model Checking. Paper presented at the Communicating Process Architectures 2009 - WoTUG-32.
[2009, inproceedings]
Castro, S., Brichau, J., & Mens, K. (2009). Diagnosis and semi-automatic correction of detected design inconsistencies in source code. Paper presented at the Proceedings of IWST'09.
[2009, inproceedings]
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.
[2009, inproceedings]
le Clément, V., Deville, Y., & Solnon, C. (2009). Constraint-based Graph Matching. Paper presented at the 15th Conference on Principles and Practice of Constraint Programming (CP).
[2009, inproceedings]
Monette, J.-N., Deville, Y., & Van Hentenryck, P. (2009). {AEON}: Synthesizing Scheduling Algorithms from High-Level Models. Paper presented at the Proceedings of 2009 INFORMS Computing Society Conference.
[2009, inproceedings]
Pham, D. P., Deville, Y., & Van Hentenryck, P. (2009). LS(Graph): A Local Search Framework for Constraint Optimization on Graphs and Trees. Paper presented at the Proceedings of the 2009 ACM Symposium on Applied Computing (SAC'09), March 8-12.
[2009, inproceedings]
Monette, J.-N., Deville, Y., & Hentenryck, V. P. (2009). Just-In-Time Scheduling with Constraint Programming. Paper presented at the Proceedings of 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), September 19-23.
[2009, phdthesis | pdf]
Le Page, W. ((2009). Mining Patterns in Relational Databases.). Unpublished PhD Thesis , University of Antwerp.
[2009, inproceedings | www]
Geet, J. V., & Demeyer, S. (2009). Feature Location in COBOL Mainframe Systems: an Experience Report. Paper presented at the Proceedings {ICSM}'09 (the 25th International Conference on Software Maintenance).
[2009, inproceedings]
Anne Keller, H. S., & Demeyer, S. (2009). Supporting Inconsistency Resolution through Predictive Change Impact Analysis. Paper presented at the MODELS Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa2009).
[2009, inproceedings]
Doyen, L., Geeraerts, G., Raskin, J.-F., & Reichert, J. (2009). Realizability of Real-time Logics. Paper presented at the FORMATS09, LNCS 5813.
[2009, inproceedings]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Computational Complexity for State-Feedback Controllers with Partial Observation. Paper presented at the ICCA'09.
[2009, inproceedings]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. Paper presented at the MSR'09.
[2009, inproceedings]
Kalyon, G., Le Gall, T., Marchand, H., & Massart, T. (2009). Control of Infinite Symbolic Transitions Systems under Partial Observation. Paper presented at the ECC'09.
[2010, inproceedings]
Hubaux, A., Heymans, P., Schobbens, P.-Y., & Deridder, D. (2010). Towards Multi-View Feature-based Configuration. Paper presented at the The 16th International Working Conference on Requirements Engineering:Foundation for Software Quality.
[2010, inproceedings]
Hubaux, A., Classen, A., Mendonca, M., & Heymans, P. (2010). A Preliminary Review on the Application of Feature Diagrams in Practice. Paper presented at the Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29.
[2010, inproceedings]
Boucher, Q., Classen, A., Faber, P., & Heymans, P. (2010). Introducing {TVL}, a Text-based Feature Modelling Language. Paper presented at the Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29.
[2010, inproceedings]
Marot, A., & Wuyts, R. (2010). Composing Aspects with Aspects. Paper presented at the AOSD '10: Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, Rennes and Saint-Malo, France.
[2009, inproceedings]
Mejías, B., Cádiz, A., & Van Roy, P. (2009). Beernet: RMI-free peer-to-peer networks. Paper presented at the DO21 '09: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century, New York, NY, USA.
[2009, inproceedings]
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.
[2009, inproceedings]
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 (CASTA'09).
[2009, inproceedings | www]
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.
[2009, inproceedings]
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.
[2009, inproceedings | www]
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.
[2009, inproceedings]
Saval, G., Pinna Puissant, J., Heymans, P., & Mens, T. (2009). Some Challenges of Feature-based Merging of Class Diagrams. Paper presented at the Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Duisburg-Essen, Germany.
[2009, inproceedings]
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.
[2009, inproceedings | www]
Clarke, D., Costanza, P., & Tanter, É. (2009). How should context-escaping closures proceed?. Paper presented at the COP {\textquotesingle}09: International Workshop on Context-Oriented Programming.
[2009, inproceedings]
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.
[2009, inproceedings]
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.
[2009, inproceedings]
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.
[2009, inproceedings]
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.
[2009, inproceedings]
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.
[2009, techreport | tr-hubaux2009-et-al.pdf]
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.
[2009, inproceedings]
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.
[2009, inproceedings]
Ganty, P., Maquet, N., & Raskin, J.-F. (2009). Fixpoint Guided Abstraction Refinement for Alternating Automata. Paper presented at the CIAA '09: Proceedings of the 14th International Conference on Implementation and Application of Automata, Berlin, Heidelberg.
[2009, inproceedings]
Filliot, E., Jin, N., & Raskin, J.-F. (2009). An Antichain Algorithm for LTL Realizability. Paper presented at the CAV'09.
[2009, article]
Doyen, L., & Raskin, J.-F. (2009). Improved Algorithms for the Automata-based Approach to Model Checking. Journal of Logical Methods in Computer Science.
[2009, inproceedings]
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.
[2009, inproceedings]
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.
[2009, inproceedings]
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).
[2009, article | www]
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, 82(4), 668-684.
[2009, inproceedings]
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.
[2009, article]
Kienle, H., Mens, K., Van Den Brand, M., & Wuyts, R. (2009). Tool Building on the Shoulders of Others. , 22-23.
[2009, inbook]
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.
[2009, inbook]
Lamsweerde, A. (2009). Requirements Engineering: From System Goals to UML Models to Software Specifications. WILEY.
[2009, article]
Boigelot, B., & Brusten, J. (2009). A Generalization of {Cobham}'s Theorem to Automata over Real Numbers. Theoretical Computer Science, accepted for publication.
[2009, inproceedings]
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.
[2009, inproceedings]
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).
[2009, article]
Boigelot, B., Brusten, J., & Bruyére, V. (2009). On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.
[2009, inproceedings]
Moody, D. L., Heymans, P., & Matuleviv{c}ius, R. (2009). Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax (Best Paper Award). Paper presented at the Proc. of the 17$^{th}$ IEEE International Requirements Engineering Conference (RE'09), Washington, DC, USA.
[2008, inproceedings]
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.
[2008, inproceedings | www]
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.
[2008, techreport | www]
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.
[2008, inproceedings]
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.
[2008, inbook]
Hainaut, J. L., Cleve, A., Henrard, J., & Hick, J.-M. (2008). Migration of Legacy Information Systems. Springer.
[2008, phdthesis]
Trigaux, J.-C. ((2008). Quality of feature diagram languages: formal evaluation and comparison.). Unpublished PhD Thesis.
[2008, article]
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.
[2008, article]
Heymans, P., Schobbens, P.-Y., Jean-ChristoHeymans, P. T., Bontemps, Y., Matulevicius, R., & Classen, A. (2008). Evaluating Formal Properties of Feature Diagram Languages. IET Software Journal, Special Issue on Language Engineering.
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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), Barcelone, Spain.
[2008, inbook]
Mens, K., & Tourwé, T. (2008). Evolution Issues in Aspect-Oriented Programming. (pp. 197-224). Springer.
[2008, inproceedings]
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.
[2008, article]
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).
[2008, inproceedings]
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.
[2008, inproceedings | www]
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.
[2008, article | www]
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.
[2008, inproceedings]
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).
[2008, inproceedings]
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.
[2008, inproceedings]
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).
[2008, techreport]
Castro, S., Mens, K., & Brichau, J. (2008). Towards a taxonomy of tools for documenting code design.
[2008, inbook]
Deville, Y., Zampelli, S., & Dooms, G. (2008). Combining Two Structured Domains for Modeling Various Graph Matching Problems. Recent Advances in Constraints. Springer.
[2008, inproceedings]
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 graHeymans, Patricks. Paper presented at the Journées Francophones de Programmation par Contraintes (JFPC'08).
[2008, inproceedings]
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).
[2008, phdthesis]
González, S. ((2008). Programming in Ambience: Gearing Up for Dynamic Adaptation to Context.). Unpublished PhD Thesis.
[2008, article]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
Mejias, B., Cadiz, A., & Van Roy, P. (2008). A Self-Adaptable Network Topology for Ambient Intelligence. Paper presented at the Selfman SASO Workshop.
[2008, article]
Mens, T., Mens, K., Van Paesschen, E., & D'Hondt, M. (2008). Proceedings of the 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, 8.
[2008, inproceedings]
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.
[2008, inproceedings]
Ordonez, D., & Mens, K. (2008). APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars. Paper presented at the Proceedings of 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008).
[2008, inproceedings]
Ordonez, D., Mens, K., Quigley, D., & Cater, J. (2008). Issues and Problems in Test & Operations Language Translation. Paper presented at the SpaceOps 2008.
[2008, inproceedings]
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%).
[2008, inproceedings]
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).
[2008, inproceedings]
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.
[2008, inproceedings | pdf]
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).
[2008, inproceedings]
Zampelli, S., Mann, M., Deville, Y., & Backofen, R. (2008). Décomposition pour l'Isomorphisme de Sous-GraHeymans, Patrick.. Paper presented at the Journées Francophones de Programmation par Contraintes (JFPC'08).
[2008, inproceedings]
Demeyer, S., Gueheneuc, Y.-G., Keller, A., Lange, C. F. J., Mens, K., Kuhn, A., & Kuhlemann, M. (2008). Workshop on Object-Oriented Reengineering. Paper presented at the Object-Oriented Technology - ECOOP 2007 Workshop Reader.
[2008, inproceedings]
Brichau, J., Mens, K., & Kellens, A. (2008). Enforcing Structural Regularities in Source Code using IntensiVE. Paper presented at the Proceedings of 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008).
[2008, inproceedings]
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 Advances in Smalltalk (Proceedings of the 14th International Smalltalk Conference - ESUG 2006.
[2008, inproceedings]
Mens, K., Kellens, A., & Krinke, J. (2008). Pitfalls in Aspect Mining. Paper presented at the Proceedings of the 15th Working Conference on Reverse Engineering (WCRE).
[2008, inproceedings]
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 Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008).
[2008, article | pdf]
Bruyére, V., Dal'ollio, E., & Raskin, J.-F. (2008). Durations and Parametric Model-Checking in Timed Automata. Transactions on Computational Logic, 1-21.
[2008, article | pdf]
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.
[2008, article]
Doyen, L., Henzinger, T., & Raskin, J.-F. (2008). Equivalence of Labeled Markov Chains. International Journal of Computer Science, 19(3), 549-563.
[2008, inproceedings]
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.
[2008, article]
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.
[2008, article]
Bouyer, P., Haddad, S., & Reynier, P.-A. (2008). Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput., 206(1), 73-107.
[2008, inproceedings]
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.
[2008, article]
Massart, T., Meuter, C., & Van Begin, L. (2008). On the complexity of partial order trace model checking. Inf. Process. Lett., 106(3), 120-126.
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, article]
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.
[2008, inproceedings]
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.
[2008, article | pdf]
Massart, T., Meuter, C., & Van Begin, L. (2008). Testing Distributed Systems through Symbolic Model Checking of Traces. Inf. Process. Lett., 106(3), 120-126.
[2008, inproceedings | pdf]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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).
[2008, book | www]
Mens, T., & Demeyer, S. (2008). Software Evolution Springer.
[2008, inproceedings]
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.
[2008, inproceedings | icsoc2008.pdf]
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).
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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.
[2008, inproceedings]
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).
[2008, inproceedings]
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.
[2008, inproceedings]
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).
[2008, inproceedings]
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.
[2008, inproceedings]
Van Der Straeten, R., Mens, T., & Baelen, S. V. (2008). Challenges in Model-Driven Engineering. Paper presented at the Workshops and Symposia at MoDELS2008.
[2007, inproceedings]
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.
[2007, inproceedings]
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).
[2007, article]
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).
[2007, inproceedings]
Delannay, G., Mens, K., Heymans, P., Schobbens, P.-Y., & Zeippen, J.-M. (2007). PloneGov as an Open Source Product Line. Paper presented at the Proceedings of the Workshop on Open Source Software and Product Lines (OSSPL'07), collocated with SPLC 2007.
[2007, inproceedings]
González, S., Mens, K., & Heymans, P. (2007). Highly Dynamic Behaviour Adaptability Through Prototypes with Subjective Multimethods. Paper presented at the Proceedings of the 2007 symposium on Dynamic Languages - Companion of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, System, Languages and Applications (OOPSLA 2007), New York, NY, USA.
[2007, inproceedings]
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.
[2007, inproceedings]
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).
[2007, article | pdf]
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.
[2007, article | pdf]
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).
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
Kalyon, G., Massart, T., Meuter, C., & Van Begin, L. (2007). Testing Distributed Systems Through Symbolic Model Checking. Paper presented at the FORTE Conference.
[2007, article | pdf]
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.
[2007, article | pdf]
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.
[2007, inproceedings | pdf]
Cousot, P., Ganty, P., & Raskin, J.-F. (2007). Fixpoint-Guided Abstraction Refinements. Paper presented at the 14th Int. Symposium on Static Analysis (SAS).
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
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.
[2007, article | pdf]
Geeraerts, G., Raskin, J. F., & Van Begin, L. (2007). Well-structured languages. Acta Inf., 44(3-4), 249-288.
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
Leuschel, M., & Massart, T. (2007). Efficient Approximate Verification of B via Symmetry Markers. Paper presented at the International Symmetry Conference, Edinburgh, UK.
[2007, proceedings]
(2007). Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Springer.
[2007, inproceedings | pdf]
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.
[2007, inproceedings | pdf]
Raskin, J.-F. (2007). Controller Synthesis using Lattice Theory (Invited Tutorial). Paper presented at the IEEE Conference on Decision and Control.
[2007, article | pdf]
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.
[2007, article | pdf]
Leuschel, M., & Massart, T. (2007). Efficient Approximate Verification of B via Symmetry Markers. (submitted).
[2007, inproceedings | pdf]
Delzanno, G., & Van Begin, L. (2007). On the dynamics of PB systems with volatile membranes. Paper presented at the Workshop on Membrane Computing, WMC07.
[2007, inproceedings | pdf]
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.
[2007, article | pdf]
Bruyére, V., & Raskin, J.-F. (2007). Real-Time Model-Checking: Parameters everywhere. Logical Methos in Computer Science, 3(1), 1-30.
[2007, article | pdf]
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.
[2007, inproceedings | pdf]
Chatterjee, K., de Alfaro, L., Faella, M., & Legay, A. (2007). Qualitative Logics and Equivalence for Probabilistic Systems. Paper presented at the QEST07 conference.
[2007, inproceedings | pdf]
Cantin, F., Legay, A., & Wolper, P. (2007). Computing convex hulls by automaton iteration. Paper presented at the Automatha 2007 conference.
[2007, inproceedings | pdf]
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.
[2007, phdthesis]
Legay, A. ((2007). Generic Techniques for the Verification of Infinite-State Systems.). Unpublished PhD Thesis.
[2007, inproceedings | deridder_evol2007.pdf]
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).
[2007, article | goderis_tools2007.pdf]
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).
[2007, inproceedings | goderis_icsea2007.pdf]
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).
[2007, inproceedings]
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.
[2007, inproceedings]
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.
[2007, inproceedings | www]
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).

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

research/papers.txt · Last modified: 2013/09/03 13:57