Jacopo Mauro

According to our database1, Jacopo Mauro authored at least 70 papers between 2008 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
On the modeling of optimal and automatized cloud application deployment.
J. Log. Algebr. Meth. Program., 2019

Optimal and Automated Deployment for Microservices.
CoRR, 2019

Optimal and Automated Deployment for Microservices.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
SUNNY-CP and the MiniZinc challenge.
TPLP, 2018

Context-aware reconfiguration in evolving software product lines.
Sci. Comput. Program., 2018

Automatic Parameter Optimisation of Service Quality and Resource Usage.
Proceedings of the 31th Norsk Informatikkonferanse, 2018

Anomaly analyses for feature-model evolution.
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.
Proceedings of the It's All About Coordination, 2018

2017
Dynamic Choreographies: Theory And Implementation.
Logical Methods in Computer Science, 2017

SUNNY-CP and the MiniZinc Challenge.
CoRR, 2017

Anomaly Detection and Explanation in Context-Aware Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Model-Based Scalability Optimization Methodology for Cloud Applications.
Proceedings of the 2017 IEEE 7th International Symposium on Cloud and Service Computing, 2017

SUNNY with Algorithm Configuration.
Proceedings of the Open Algorithm Selection Challenge 2017, 2017

CaSPL-gen: a Context-aware Software Product Line benchmark generator.
Proceedings of the 30th Norsk Informatikkonferanse, 2017

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems.
IJIMAI, 2016

Portfolio approaches for constraint optimization problems.
Ann. Math. Artif. Intell., 2016

Context Aware Reconfiguration in Software Product Lines.
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.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Parallelizing Constraint Solvers for Hard RCPSP Instances.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

User Profiles for Context-Aware Reconfiguration in Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Declarative Elasticity in ABS.
Proceedings of the Service-Oriented and Cloud Computing, 2016

On the Expressiveness of Synchronization in Component Deployment.
Proceedings of the Theory and Practice of Formal Methods, 2016

Self-Reconfiguring Microservices.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Developing correct, distributed, adaptive software.
Sci. Comput. Program., 2015

Automatic deployment of component-based applications.
Sci. Comput. Program., 2015

SUNNY-CP 2: a Parallel CP Portfolio Solver.
CoRR, 2015

Constraints meet concurrency.
Constraints, 2015

SUNNY-CP: a sequential CP portfolio solver.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

On the Complexity of Reconfiguration in Systems with Legacy Components.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

A Multicore Tool for Constraint Solving.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Feature Selection for SUNNY: A Study on the Algorithm Selection Library.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Automatic Deployment of Services in the Cloud with Aeolus Blender.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

On the Integration of Automatic Deployment into the ABS Modeling Language.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.
Proceedings of the Coordination Models and Languages, 2015

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).
Proceedings of the 26th International Conference on Concurrency Theory, 2015

SUNNY for algorithm selection: a preliminary study.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014
SUNNY: a Lazy Portfolio Approach for Constraint Solving.
TPLP, 2014

Aeolus: A component model for the cloud.
Inf. Comput., 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
CoRR, 2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.
CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

An enhanced features extractor for a portfolio of constraint solvers.
Proceedings of the Symposium on Applied Computing, 2014

Portfolio Approaches for Constraint Optimization Problems.
Proceedings of the Learning and Intelligent Optimization, 2014

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

The expressive power of CHR with priorities.
Inf. Comput., 2013

Expressive power of Constraint Handling Rules extensions and fragments.
Bulletin of the EATCS, 2013

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

Features for Building CSP Portfolio Solvers.
CoRR, 2013

Towards Global and Local Types for Adaptation.
Proceedings of the Software Engineering and Formal Methods, 2013

A Planning Tool Supporting the Deployment of Cloud Applications.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Component Reconfiguration in the Presence of Conflicts.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Automatic Component Deployment in the Presence of Circular Dependencies.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Aeolus: Mastering the Complexity of Cloud Application Deployment.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

Fast Post-Disaster Emergency Vehicle Scheduling.
Proceedings of the Distributed Computing and Artificial Intelligence, 2013

An Empirical Evaluation of Portfolios Approaches for Solving CSPs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012
Constraints meet concurrency.
PhD thesis, 2012

An Empirical Evaluation of Portfolios Approaches for solving CSPs
CoRR, 2012

Service integration via target-transparent mediation.
Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Interface-Based Service Composition with Aggregation.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011
Solving XCSP problems by using Gecode
CoRR, 2011

Graceful Interruption of Request-Response Service Interactions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Efficient Management of Correlation Sets with Broadcast.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Solving XCSP problems by using Gecode.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
Decidability properties for fragments of CHR.
TPLP, 2010

Decidability properties for fragments of CHR
CoRR, 2010

Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios.
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.
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.
Proceedings of the Logic Programming, 24th International Conference, 2008


  Loading...