Aucune photo de Raphaël Michel

Raphaël Michel

  • 24 Citations
  • 1 h-Index
20102014
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Projets 2010 2014

Résultat de recherche 2010 2012

  • 24 Citations
  • 1 h-Index
  • 4 Article dans les actes d'une conférence/un colloque
  • 2 Article

An SMT-based Approach to Automated Configuration

Michel, R., Hubaux, A., Ganesh, V. & Heymans, P., 1 janv. 2012, p. 107-117. 11 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

An SMT-LIB Format for Sequences and Regular Expressions

Bjørner, N., Ganesh, V., Michel, R. & Veanes, M., 1 janv. 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Languages and Tools for Managing Feature Models (To appear)

Acher, M., Michel, R., Heymans, P., Collet, P. & Lahire, P., 2012, (Non publié) Proceedings of the 3rd International Workshop on Product LinE Approaches in Software Engineering co-located with ICSE'12.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

Acher, M., Michel, R. & Heymans, P., 2012, (Non publié) Proceedings of the 16th International Software Product Line Conference (SPLC'12).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

A Formal Semantics for Feature Cardinalities in Feature Diagrams

Michel, R., Classen, A., Hubaux, A. & Boucher, Q., 2011, Proceedings of the Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'11), Namur, Belgium, January 27-29. ACM Press, p. 83-90 8 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File

Thèse

Implémentation d'un langage de variabilité

Auteur: Warnon, P., 2012

Superviseur: Heymans, P. (Promoteur), Michel, R. (Promoteur) & Saval, G. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Migrating from single software development to a software product line: application to the film critik website

Auteur: Michel, R., 2009

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques