Arnaud Hubaux

  • 128 Citations
  • 6 h-Index
20072013
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2013

Filter
Paper
2012

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

Unifying Software and Product Configuration: A Research Roadmap (to appear)

Hubaux, A., Dietmar, J., Drescher, C., Murta, L., Mannisto, T., Czarnecki, K., Heymans, P., Nguyen, T. & Zanker, M., 1 Jan 2012.

Research output: Contribution to conferencePaper