Recent Publications

More Publications

SUNNY-CP and the MiniZinc challenge

DOI PrePrint

A Model-Based Scalability Optimization Methodology for Cloud Applications

DOI PrePrint

Anomaly Detection and Explanation in Context-Aware Software Product Lines

DOI PrePrint

Dynamic Choreographies: Theory And Implementation

DOI PrePrint

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities

PDF DOI PrePrint

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

AEOLUS

Mastering Cloud Complexity.

CINA

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

FOCUS

FOundations of Component-based Ubiquitous Systems.

Hyvar

Scalable Hybrid Variability for Distributed, Evolving Software Systems.

PRIN9M932N

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

SIRIUS

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

Recent Talks

Teaching

Office hours: by e-mail appointment.

Awards

Contact