Search results

  • 2015

    Automatic deployment of services in the cloud with aeolus blender

    Di Cosmo, R., Eiche, A., Mauro, J., Zacchiroli, S., Zavattaro, G. & Zwolakowski, J., 1. Jan 2015, Service-Oriented Computing - 13th International Conference, ICSOC 2015, Proceedings. Barros, A., Narendra, N. C., Grigori, D. & Dam, H. K. (eds.). Springer, 1 p. (Lecture Notes in Computer Science, Vol. 9435).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Developing correct, distributed, adaptive software

    Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 1. Jan 2015, In: Science of Computer Programming. 97, p. 41-46 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

    Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2015, 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. Holvoet, T. & Viroli, M. (eds.). Springer, p. 67-82 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Feature selection for SUNNY: A study on the algorithm selection library

    Amadini, R., Biselli, F., Gabbrielli, M., Liu, T. & Mauro, J., 1. Dec 2015, Proceedings - 2015 IEEE 27th International Conference on Tools with Artificial Intelligence, ICTAI 2015. IEEE Computer Society, p. 25-32 8 p. 7372114. (Proceedings of the International Conference on Tools with Artificial Intelligence, ICTAI, Vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • On the complexity of reconfiguration in systems with legacy components

    Mauro, J. & Zavattaro, G., 1. Jan 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Proceedings. Pighizzini, G., Italiano, G. F. & Sannella, D. T. (eds.). Springer, p. 382-393 12 p. (Lecture Notes in Computer Science, Vol. 9234).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • On the integration of automatic deployment into the ABS modeling language

    De Gouw, S., Lienhardt, M., Mauro, J., Nobakht, B. & Zavattaro, G., 1. Jan 2015, Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Proceedings. Leymann, F., Villari, M. & Dustdar, S. (eds.). Springer, p. 49-64 16 p. (Lecture Notes in Computer Science, Vol. 9306).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • SUNNY-CP: A sequential cp portfolio solver

    Amadini, R., Gabbrielli, M. & Mauro, J., 13. Apr 2015, 2015 Symposium on Applied Computing, SAC 2015. Shin, D. (ed.). Association for Computing Machinery / Special Interest Group on Programming Languages, p. 1861-1867 7 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • SUNNY for algorithm selection: A preliminary study

    Amadini, R., Biselli, F., Gabbrielli, M., Liu, T. & Mauro, J., 1. Jan 2015, In: CEUR Workshop Proceedings. 1459, p. 202-206 5 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  • Why CP portfolio solvers are (under)utilized? Issues and challenges

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Jan 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer, p. 349-364 16 p. (Lecture Notes in Computer Science, Vol. 9527).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2014

    Aeolus: A component model for the cloud

    Di Cosmo, R., Mauro, J., Zacchiroli, S. & Zavattaro, G., Dec 2014, In: Information and Computation. 239, p. 100-121 22 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
  • AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

    Preda, M. D., Giallorenzo, S., Lanese, I., Mauro, J. & Gabbrielli, M., 2014, Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Springer, p. 161-170 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • An enhanced features extractor for a portfolio of constraint solvers

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Jan 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. Association for Computing Machinery / Special Interest Group on Programming Languages, p. 1357-1359 3 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • Automatic component deployment in the presence of circular dependencies

    Lascu, T. A., Mauro, J. & Zavattaro, G., 1. Jan 2014, Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Revised Selected Papers. Springer, p. 254-272 19 p. (Lecture Notes in Computer Science, Vol. 8348 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • SUNNY: A lazy portfolio approach for constraint solving

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Jul 2014, In: Theory and Practice of Logic Programming. 14, 4-5, p. 509-524 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Towards global and local types for adaptation

    Bravetti, M., Carbone, M., Hildebrandt, T., Lanese, I., Mauro, J., Pérez, J. A. & Zavattaro, G., 1. Jan 2014, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers. Springer, p. 3-14 12 p. (Lecture Notes in Computer Science, Vol. 8368 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2013

    Aeolus: Mastering the complexity of cloud application deployment

    Catan, M., Di Cosmo, R., Eiche, A., Lascu, T. A., Lienhardt, M., Mauro, J., Treinen, R., Zacchiroli, S., Zavattaro, G. & Zwolakowski, J., 22. Oct 2013, Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Proceedings. p. 1-3 3 p. (Lecture Notes in Computer Science, Vol. 8135 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • An empirical evaluation of portfolios approaches for solving CSPs

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. Dec 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 10th International Conference, CPAIOR 2013, Proceedings. p. 316-324 9 p. (Lecture Notes in Computer Science, Vol. 7874 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • A planning tool supporting the deployment of cloud applications

    Lascu, T. A., Mauro, J. & Zavattaro, G., 1. Dec 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. p. 213-220 8 p. 6735252. (Proceedings of the International Conference on Tools with Artificial Intelligence, ICTAI).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Component reconfiguration in the presence of conflicts

    Di Cosmo, R., Mauro, J., Zacchiroli, S. & Zavattaro, G., 23. Jul 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings. PART 2 ed. p. 187-198 12 p. (Lecture Notes in Computer Science; No. PART 2, Vol. 7966 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Fast post-disaster emergency vehicle scheduling

    Amadini, R., Sefrioui, I., Mauro, J. & Gabbrielli, M., 1. Jan 2013, Distributed Computing and Artificial Intelligence - 10th International Conference. Springer, p. 219-226 8 p. (Advances in Intelligent Systems and Computing, Vol. 217).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • The expressive power of CHR with priorities

    Gabbrielli, M., Mauro, J. & Meo, M. C., 1. Jul 2013, In: Information and Computation. 228-229, p. 62-82 21 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
  • 2012

    Interface-Based Service Composition with Aggregation

    Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. p. 48-63 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Service integration via target-transparent mediation

    Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2011

    An Efficient Management of Correlation Sets with Broadcast

    Mauro, J., Gabbrielli, M., Guidi, C. & Montesi, F., 2011, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. p. 80-94 15 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Graceful interruption of request-response service interactions

    Dalla Preda, M., Gabbrielli, M., Lanese, I., Mauro, J. & Zavattaro, G., 29. Nov 2011, Service-Oriented Computing - 9th International Conference, ICSOC 2011, Proceedings. p. 590-600 11 p. (Lecture Notes in Computer Science, Vol. 7084 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Solving XCSP problems by using Gecode

    Morara, M., Mauro, J. & Gabbrielli, M., 1. Dec 2011, In: CEUR Workshop Proceedings. 810, p. 401-405 5 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  • 2010

    Decidability properties for fragments of CHR

    Gabbrielli, M., Mauro, J., Meo, M. C. & Sneyers, J., 1. Jul 2010, In: Theory and Practice of Logic Programming. 10, 4-6, p. 611-626 16 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Service-oriented volunteer computing for massively parallel constraint solving using portfolios

    Kiziltan, Z. & Mauro, J., 16. Aug 2010, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 7th International Conference, CPAIOR 2010, Proceedings. p. 246-251 6 p. (Lecture Notes in Computer Science, Vol. 6140 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2009

    On the expressive power of priorities in CHR

    Gabbrielli, M., Mauro, J. & Meo, M. C., 30. Nov 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 267-275 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2008

    Compiling and executing declarative modeling languages to gecode

    Cipriano, R., Dovier, A. & Mauro, J., 1. Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 744-748 5 p. (Lecture Notes in Computer Science, Vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review