Publications

Filter by type:

Survival prediction of trauma patients: a study on US National Trauma Data Bank

Details PDF DOI PrePrint

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

Details PDF DOI PrePrint

Dynamic Choreographies: Theory And Implementation

Details DOI PrePrint

Anomaly Detection and Explanation in Context-Aware Software Product Lines

Details DOI PrePrint

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

Details PDF DOI PrePrint

User Profiles for Context-Aware Reconfiguration in Software Product Lines

Details PDF DOI PrePrint

Self-Reconfiguring Microservices

Details PDF DOI PrePrint

Portfolio approaches for constraint optimization problems

Details PDF DOI PrePrint

Parallelizing Constraint Solvers for Hard RCPSP Instances

Details PDF DOI PrePrint

On the Expressiveness of Synchronization in Component Deployment

Details PDF DOI PrePrint

Declarative Elasticity in ABS

Details PDF DOI PrePrint

Context Aware Reconfiguration in Software Product Lines

Details PDF DOI PrePrint

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems

Details PDF DOI

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

Details PDF DOI PrePrint

SUNNY-CP: a sequential CP portfolio solver

Details PDF DOI PrePrint

SUNNY for algorithm selection: a preliminary study

Details PDF DOI

On the Integration of Automatic Deployment into the ABS Modeling Language

Details PDF DOI PrePrint

On the Complexity of Reconfiguration in Systems with Legacy Components

Details PDF DOI PrePrint

Feature Selection for SUNNY: A Study on the Algorithm Selection Library

Details PDF DOI PrePrint

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

Details PDF DOI PrePrint

Developing correct, distributed, adaptive software

Details PDF DOI PrePrint

Constraints meet concurrency

Details PDF DOI PrePrint

Automatic deployment of component-based applications

Details PDF DOI PrePrint

Automatic Deployment of Services in the Cloud with Aeolus Blender

Details PDF DOI PrePrint

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)

Details DOI PrePrint

A Multicore Tool for Constraint Solving

Details DOI PrePrint

SUNNY: a Lazy Portfolio Approach for Constraint Solving

Details DOI PrePrint

Portfolio Approaches for Constraint Optimization Problems

Details PDF DOI PrePrint

Constraints Meet Concurrency

Details DOI PrePrint

An enhanced features extractor for a portfolio of constraint solvers

Details PDF DOI PrePrint

Aeolus: A component model for the cloud

Details PDF DOI PrePrint

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Details PDF DOI PrePrint

Towards Global and Local Types for Adaptation

Details PDF DOI PrePrint

The expressive power of CHR with priorities

Details PDF DOI PrePrint

Fast Post-Disaster Emergency Vehicle Scheduling

Details PDF DOI PrePrint

Expressive power of Constraint Handling Rules extensions and fragments

Details PDF DOI

Component Reconfiguration in the Presence of Conflicts

Details PDF DOI PrePrint

Automatic Component Deployment in the Presence of Circular Dependencies

Details PDF DOI PrePrint

An Empirical Evaluation of Portfolios Approaches for Solving CSPs

Details PDF DOI PrePrint

Aeolus: Mastering the Complexity of Cloud Application Deployment

Details PDF DOI PrePrint

A Planning Tool Supporting the Deployment of Cloud Applications

Details PDF DOI PrePrint

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing

Details PDF DOI

Service integration via target-transparent mediation

Details PDF DOI PrePrint

Interface-Based Service Composition with Aggregation

Details PDF DOI PrePrint

Constraints meet concurrency

Details PDF DOI

Solving XCSP problems by using Gecode

Details PDF DOI

Graceful Interruption of Request-Response Service Interactions

Details PDF DOI PrePrint

An Efficient Management of Correlation Sets with Broadcast

Details PDF DOI PrePrint

A classification-based approach to managing a solver portfolio for CSPs

Details PrePrint

Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios

Details PDF DOI PrePrint

Decidability properties for fragments of CHR

Details DOI PrePrint

On the expressive power of priorities in CHR

Details PDF DOI PrePrint

Constraint based implementation of a PDDL-like language with static causal laws and time fluents

Details PrePrint

Compiling and Executing Declarative Modeling Languages to Gecode

Details PDF DOI PrePrint

Compiling and Executing Declarative Modeling Languages in Gecode

Details PrePrint