Jacopo Mauro

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Boreas - A Service Scheduler for Optimal Kubernetes Deployment.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

Wandering and getting lost: the architecture of an app activating local communities on dementia issues.

[BibT_eX]

[DOI]

Nicklas Sindlev Andersen

Marco Chiarandini

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Healthcare, 2021

Microservice Dynamic Architecture-Level Deployment Orchestration.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2021

2020

Microservice Interface Based Deployment Orchestration.

[BibT_eX]

[DOI]

CoRR, 2020

SMT-based variability analyses in FeatureIDE.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

Lazy product discovery in huge configuration spaces.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

A Formal Approach to Microservice Architecture Deployment.

[BibT_eX]

[DOI]

Proceedings of the Microservices, Science and Engineering., 2020

2019

On the modeling of optimal and automatized cloud application deployment.

[BibT_eX]

[DOI]

Stijn de Gouw

J. Log. Algebraic Methods Program., 2019

Optimal and Automated Deployment for Microservices.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

SUNNY-CP and the MiniZinc challenge.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Context-aware reconfiguration in evolving software product lines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Automatic Parameter Optimisation of Service Quality and Resource Usage.

[BibT_eX]

[DOI]

Silvia Lizeth Tapia Tarifa

Ingrid Chieh Yu

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Anomaly analyses for feature-model evolution.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Release the Beasts: When Formal Methods Meet Real World Data.

[BibT_eX]

[DOI]

Rudolf Schlatte

Einar Broch Johnsen

Silvia Lizeth Tapia Tarifa

Ingrid Chieh Yu

Proceedings of the It's All About Coordination, 2018

2017

Dynamic Choreographies: Theory And Implementation.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Anomaly Detection and Explanation in Context-Aware Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Model-Based Scalability Optimization Methodology for Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE 7th International Symposium on Cloud and Service Computing, 2017

SUNNY with Algorithm Configuration.

[BibT_eX]

[DOI]

Tong Liu

Proceedings of the Open Algorithm Selection Challenge 2017, 2017

CaSPL-gen: a Context-aware Software Product Line benchmark generator.

[BibT_eX]

[DOI]

Magnus Hestvik

Ingrid Chieh Yu

Proceedings of the 30th Norsk Informatikkonferanse, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2016

Portfolio approaches for constraint optimization problems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2016

Context Aware Reconfiguration in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Parallelizing Constraint Solvers for Hard RCPSP Instances.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

User Profiles for Context-Aware Reconfiguration in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Declarative Elasticity in ABS.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2016

On the Expressiveness of Synchronization in Component Deployment.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

Self-Reconfiguring Microservices.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Developing correct, distributed, adaptive software.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Automatic deployment of component-based applications.

[BibT_eX]

[DOI]

Tudor A. Lascu

Sci. Comput. Program., 2015

SUNNY-CP 2: a Parallel CP Portfolio Solver.

[BibT_eX]

[DOI]

CoRR, 2015

Constraints meet concurrency.

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

SUNNY-CP: a sequential CP portfolio solver.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

On the Complexity of Reconfiguration in Systems with Legacy Components.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

A Multicore Tool for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Automatic Deployment of Services in the Cloud with Aeolus Blender.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

On the Integration of Automatic Deployment into the ABS Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

SUNNY for algorithm selection: a preliminary study.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

Constraints Meet Concurrency.

[BibT_eX]

[DOI]

Atlantis Studies in Computing 5, Atlantis Press, ISBN: 978-94-6239-067-6, 2014

SUNNY: a Lazy Portfolio Approach for Constraint Solving.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Aeolus: A component model for the cloud.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.

[BibT_eX]

[DOI]

CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

An enhanced features extractor for a portfolio of constraint solvers.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

2013

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

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2013

The expressive power of CHR with priorities.

[BibT_eX]

[DOI]

Maria Chiara Meo

Inf. Comput., 2013

Expressive power of Constraint Handling Rules extensions and fragments.

[BibT_eX]

[DOI]

Bull. EATCS, 2013

SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs.

[BibT_eX]

[DOI]

CoRR, 2013

Features for Building CSP Portfolio Solvers.

[BibT_eX]

[DOI]

CoRR, 2013

Towards Global and Local Types for Adaptation.

[BibT_eX]

[DOI]

Mario Bravetti

Marco Carbone

Thomas T. Hildebrandt

Proceedings of the Software Engineering and Formal Methods, 2013

A Planning Tool Supporting the Deployment of Cloud Applications.

[BibT_eX]

[DOI]

Tudor A. Lascu

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Component Reconfiguration in the Presence of Conflicts.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Automatic Component Deployment in the Presence of Circular Dependencies.

[BibT_eX]

[DOI]

Tudor A. Lascu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Aeolus: Mastering the Complexity of Cloud Application Deployment.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

Fast Post-Disaster Emergency Vehicle Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

An Empirical Evaluation of Portfolios Approaches for Solving CSPs.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012

Constraints meet concurrency.

[BibT_eX]

[DOI]

PhD thesis, 2012

Service integration via target-transparent mediation.

[BibT_eX]

[DOI]

Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Interface-Based Service Composition with Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Graceful Interruption of Request-Response Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Efficient Management of Correlation Sets with Broadcast.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Solving XCSP problems by using Gecode.

[BibT_eX]

[DOI]

Massimo Morara

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Decidability properties for fragments of CHR.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

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

[BibT_eX]

[DOI]

Zeynep Kiziltan

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009

On the expressive power of priorities in CHR.

[BibT_eX]

[DOI]

Maria Chiara Meo

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

Compiling and Executing Declarative Modeling Languages to Gecode.

[BibT_eX]

[DOI]

Raffaele Cipriano

Agostino Dovier