Research output per year
Research output per year
- 19 results
Search results
-
2012
Engineering Configuration Graphical User Interfaces: A Model-based Perspective: Paper submitted to ECMFA'12
Boucher, Q., Perrouin, G., Acher, M. & Heymans, P., 2012, (Unpublished)Research output: Other contribution
File90 Downloads (Pure) -
Model Checking for Software Product Lines with SNIP
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P.-Y., 2012Research output: Other contribution
File236 Downloads (Pure) -
Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)
Classen, A., Heymans, P., Schobbens, P.-Y., Cordy, M., Legay, A. & Raskin, J.-F., 2012, (Unpublished)Research output: Other contribution
-
2011
Définition d'une chaîne de production sensible au contexte pour les plates-formes ubiquitaires: V2.0, Trade cluster CAPPUCINO project, Lille, France, June 2010.
Duchien, L., Parra, C., Pessemier, N., Cleve, A., Blanc, X. & Leaño, R., 2011Research output: Other contribution
-
Proceedings of the 19th IEEE International Requirements Engineering Conference
Heymans, P., Mylopoulos, J. & Fricker, S., 2011Research output: Other contribution
-
Proceedings of the 5th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2011)
Heymans, P., Czarnecki, K. & Eisenecker, U., 2011Research output: Other contribution
-
Simulation-Based Abstractions for Software Product-Line Model Checking
Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P.-Y. & Legay, A., 2011Research output: Other contribution
File110 Downloads (Pure) -
SNIP: An Efficient Model Checker for Software Product Lines
Classen, A., Cordy, M., Heymans, P., Schobbens, P.-Y. & Legay, A., 2011Research output: Other contribution
File298 Downloads (Pure) -
2010
Supporting Multiple Perspectives in Feature-based Configuration: Foundations
Hubaux, A., Heymans, P. & Schobbens, P.-Y., 2010Research output: Other contribution
File97 Downloads (Pure) -
The TVL Specification
Classen, A., Boucher, Q., Faber, P. & Heymans, P., 2010Research output: Other contribution
File238 Downloads (Pure) -
2009
Towards a Unifying Conceptual Framework for Inconsistency Management Approaches: Definitions and Instantiations
Hubaux, A., Cleve, A., Schobbens, P.-Y., Keller, A., Muliawan, O., Castro, S., Mens, K., Deridder, D. & Van Der Straeten, R., 2009Research output: Other contribution
File101 Downloads (Pure) -
2008
A Formal Semantics for Multi-level Staged Configuration: Extended version of a paper submitted to the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 2009
Classen, A., Hubaux, A. & Heymans, P., 2008Research output: Other contribution
-
Dynamic Analysis of SQL Statements in Data-intensive Programs
Hainaut, J.-L. & Cleve, A., 2008, (Unpublished)Research output: Other contribution
File162 Downloads (Pure) -
Proceedings of the 2nd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2008)
Heymans, P., Kang, K. C., Metzger, A. & Pohl, K., 2008Research output: Other contribution
-
2007
Proceedings of the 1st International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2007)
Pohl, K., Heymans, P., Kang, K. C. & Metzger, A., 2007Research output: Other contribution
-
Towards a General Framework for Consistency Management in the Context of Database Application Evolution
Cleve, A. & Van Der Straeten, R., 2007, (Unpublished)Research output: Other contribution
-
When Requirements Elicitation Meets Database Reverse Engineering
Ramdoyal, R., Meurisse, J.-R., Cleve, A., Brogneaux, A.-F., Detienne, V. & Hainaut, J.-L., 2007, (Unpublished)Research output: Other contribution
-
2003
Modelling Variability Requirements in Software Product Lines
Trigaux, J.-C. & Heymans, P., 2003Research output: Other contribution
-
Strategies and techniques for data-centered applications renovation
Henrard, J., Hick, J.-M., Thiran, P. & Hainaut, J.-L., 2003Research output: Other contribution