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

  • mauro@imada.sdu.dk
  • +45 65 50 25 72
  • Department of Mathematics and Computer Science (IMADA), Campusvej 55, 5230 Odense M, Denmark
  • Email for appointment. Office Ø13-604a-2