No photo of Raphaël Michel

Raphaël Michel

  • 24 Citations
  • 1 h-Index
20102014
If you made any changes in Pure these will be visible here soon.

Projects 2010 2014

Research Output 2010 2012

  • 24 Citations
  • 1 h-Index
  • 4 Conference contribution
  • 2 Paper

An SMT-based Approach to Automated Configuration

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

Research output: Contribution to conferencePaper

An SMT-LIB Format for Sequences and Regular Expressions

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

Research output: Contribution to conferencePaper

Languages and Tools for Managing Feature Models (To appear)

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File

Thesis

Implémentation d'un langage de variabilité

Author: Warnon, P., 2012

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

Student thesis: Master typesMaster in Computer science

File

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

Author: Michel, R., 2009

Supervisor: Heymans, P. (Supervisor)

Student thesis: Master typesMaster in Computer science