Publications

Filter by type:

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

DOI PrePrint

. Survival prediction of trauma patients: a study on US National Trauma Data Bank. European journal of trauma and emergency surgery, 2017.

PDF DOI PrePrint

. NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, 2017.

PDF DOI PrePrint

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

DOI PrePrint

. Anomaly Detection and Explanation in Context-Aware Software Product Lines. Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017, 2017.

DOI PrePrint

. A Model-Based Scalability Optimization Methodology for Cloud Applications. 2017 IEEE 7th International Symposium on Cloud and Service Computing, SC(^2) 2017, Kanazawa, Japan, November 22-25, 2017, 2017.

DOI PrePrint

. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, 2016.

PDF DOI PrePrint

. User Profiles for Context-Aware Reconfiguration in Software Product Lines. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, 2016.

PDF DOI PrePrint

. Self-Reconfiguring Microservices. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 2016.

PDF DOI PrePrint

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

PDF DOI PrePrint

. Parallelizing Constraint Solvers for Hard RCPSP Instances. Learning and Intelligent Optimization - 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers, 2016.

PDF DOI PrePrint

. On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 2016.

PDF DOI PrePrint

. Declarative Elasticity in ABS. Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, 2016.

PDF DOI PrePrint

. Context Aware Reconfiguration in Software Product Lines. Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016, 2016.

PDF DOI PrePrint

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

PDF DOI

. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, 2015.

PDF DOI PrePrint

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

PDF DOI PrePrint

. SUNNY for algorithm selection: a preliminary study. Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., 2015.

PDF DOI

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

PDF DOI PrePrint

. On the Complexity of Reconfiguration in Systems with Legacy Components. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015.

PDF DOI PrePrint

. Feature Selection for SUNNY: A Study on the Algorithm Selection Library. 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015, 2015.

PDF DOI PrePrint

. Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, 2015.

PDF DOI PrePrint

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

PDF DOI PrePrint

. Constraints meet concurrency. Constraints, 2015.

PDF DOI PrePrint

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

PDF DOI PrePrint

. Automatic Deployment of Services in the Cloud with Aeolus Blender. Service-Oriented Computing - 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings, 2015.

PDF DOI PrePrint

. Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, 2015.

DOI PrePrint

. A Multicore Tool for Constraint Solving. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015.

DOI PrePrint

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

DOI PrePrint

. Portfolio Approaches for Constraint Optimization Problems. Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers, 2014.

PDF DOI PrePrint

. Constraints Meet Concurrency. Atlantis Press, 2014.

DOI PrePrint

. An enhanced features extractor for a portfolio of constraint solvers. Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, 2014.

PDF DOI PrePrint

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

PDF DOI PrePrint

. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, 2014.

PDF DOI PrePrint

. Towards Global and Local Types for Adaptation. Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, 2013.

PDF DOI PrePrint

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

PDF DOI PrePrint

. Fast Post-Disaster Emergency Vehicle Scheduling. Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013, 2013.

PDF DOI PrePrint

. Component Reconfiguration in the Presence of Conflicts. Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, 2013.

PDF DOI PrePrint

. Automatic Component Deployment in the Presence of Circular Dependencies. Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, 2013.

PDF DOI PrePrint

. An Empirical Evaluation of Portfolios Approaches for Solving CSPs. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings, 2013.

PDF DOI PrePrint

. Aeolus: Mastering the Complexity of Cloud Application Deployment. Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings, 2013.

PDF DOI PrePrint

. A Planning Tool Supporting the Deployment of Cloud Applications. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013, 2013.

PDF DOI PrePrint

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

PDF DOI

. Service integration via target-transparent mediation. 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012, 2012.

PDF DOI PrePrint

. Interface-Based Service Composition with Aggregation. Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, 2012.

PDF DOI PrePrint

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

PDF DOI

. Graceful Interruption of Request-Response Service Interactions. Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, 2011.

PDF DOI PrePrint

. An Efficient Management of Correlation Sets with Broadcast. Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, 2011.

PDF DOI PrePrint

. A classification-based approach to managing a solver portfolio for CSPs. The 22nd Irish Conference on Artificial Intelligence and Cognitive Science, Londonderry, UK, 31 August - 2 September, 2011, 2011.

PrePrint

. Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings, 2010.

PDF DOI PrePrint

. Decidability properties for fragments of CHR. TPLP, 2010.

DOI PrePrint

. On the expressive power of priorities in CHR. Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, 2009.

PDF DOI PrePrint

. Constraint based implementation of a PDDL-like language with static causal laws and time fluents. Proceedings of the 24th Italian Conference on Computational Logic, Ferrara, Italy, June 24-26, 2009, 2009.

PrePrint

. Compiling and Executing Declarative Modeling Languages to Gecode. Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, 2008.

PDF DOI PrePrint

. Compiling and Executing Declarative Modeling Languages in Gecode. Proceedings of the 23th Italian Conference on Computational Logic, Perugia, Italy, July 10-12, 2008, 2008.

PrePrint