Raphaël Michel

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 1

Top Topics

Health Insurance

Movie Recommendation

Matrix Factorization

Top Venues

Publications

Sarah Pinon, Simon Jacquet, Colin Vanden Bulcke, Edouard Chatzopoulos, Xavier Lessage, Raphaël Michel
Federated Health Recommender System. HEALTHINF (2023)
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes
SMT-LIB Sequences and Regular Expressions. SMT@IJCAR (2012)
Mathieu Acher, Raphaël Michel, Patrick Heymans, Philippe Collet, Philippe Lahire
Languages and tools for managing feature models. PLEASE@ICSE (2012)
Mathieu Acher, Patrick Heymans, Raphaël Michel
Next-generation model-based variability management: languages and tools. SPLC (2) (2012)
Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans
An SMT-based approach to automated configuration. SMT@IJCAR (2012)
Raphaël Michel, Andreas Classen, Arnaud Hubaux, Quentin Boucher
A formal semantics for feature cardinalities in feature diagrams. VaMoS (2011)
Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies. SLE (2010)