Recent Publications

More Publications

Software

  • Zephyrus2: an optimal deployment configurator
  • HyVarRec: a context-aware reconfiguration for Software Product Lines
  • SUNNY-CP: a portfolio based constraint solver
  • mzn2feat: a feature extractor for MiniZinc/XCSP files
  • XCSP-to-MiniZinc: a file converter form XCSP to MiniZinc

Projects

  • Hyvar

    Scalable Hybrid Variability for Distributed, Evolving Software Systems.

  • SIRIUS

    Norwegian Centre for Research-driven Innovation in the oil & gas industry.

  • AEOLUS

    Mastering Cloud Complexity.

  • CINA

    Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society.

  • FOCUS

    FOundations of Component-based Ubiquitous Systems.

  • PRIN9M932N

    Innovative and multi-disciplinary approaches for constraint and preference reasoning.

Recent Talks

Teaching

Office hours: by e-mail appointment.

Awards

Contact