Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Søgeresultater

  • 2021

    Anomaly detection in Context-aware Feature Models

    Mauro, J., 9. feb. 2021, Proceedings - VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Grunbacher, P. (red.). Association for Computing Machinery, 9 s. 3442405

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Boreas – A Service Scheduler for Optimal Kubernetes Deployment

    Lebesbye, T., Mauro, J., Turin, G. & Yu, I. C., 2021, Service-Oriented Computing - 19th International Conference, ICSOC 2021, Proceedings. Hacid, H., Kao, O., Mecella, M., Moha, N. & Paik, H. (red.). Springer Science+Business Media, s. 221-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13121 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Microservice Dynamic Architecture-Level Deployment Orchestration

    Bacchiani, L., Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 257-275 (Lecture Notes in Computer Science, Bind 12717). (Programming and Software Engineering, Bind 12717).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • sunny-as2: Enhancing sunny for algorithm selection

    Liu, T., Amadini, R., Gabbrielli, M. & Mauro, J., 2021, I: Journal of Artificial Intelligence Research. 72, s. 329-376 48 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Wandering and getting lost: The architecture of an app activating local communities on dementia issues

    Andersen, N. S., Chiarandini, M. & Mauro, J., jun. 2021, Proceedings - 2021 IEEE/ACM 3rd International Workshop on Software Engineering for Healthcare, SEH. IEEE, s. 36-43

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2020

    A Formal Approach to Microservice Architecture Deployment

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2020, Microservices: Science and Engineering. Bucchiarone, A., Dragoni, N., Dustdar, S., Lago, P., Mazzara, M., Rivera, V. & Sadovykh, A. (red.). Cham: Springer Publishing Company, s. 183-208

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogFormidling

  • Allocation priority policies for serverless function-execution scheduling optimisation

    De Palma, G., Giallorenzo, S., Mauro, J. & Zavattaro, G., 2020, Service-Oriented Computing - 18th International Conference, ICSOC 2020, Proceedings. Kafeza, E., Benatallah, B., Martinelli, F., Hacid, H., Bouguettaya, A. & Motahari, H. (red.). Springer, s. 416-430 (Lecture Notes in Computer Science, Bind 12571).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Lazy product discovery in huge configuration spaces

    Lienhardt, M., Damiani, F., Johnsen, E. B. & Mauro, J., 27. jun. 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. Association for Computing Machinery, s. 1509-1521 3380372

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • SMT-based variability analyses in FeatureIDE

    Sprey, J., Sunderman, C., Krieter, S., Nieke, M., Mauro, J., Thum, T. & Schaefer, I., feb. 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (red.). Association for Computing Machinery, 9 s. 6

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2019

    Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

    Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (red.). Springer VS, s. 118-138 (Lecture Notes in Computer Science, Bind 11760).

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

  • On the modeling of optimal and automatized cloud application deployment

    de Gouw, S., Mauro, J. & Zavattaro, G., okt. 2019, I: Journal of Logical and Algebraic Methods in Programming. 107, s. 108-135

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • Optimal and automated deployment for microservices

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2019, Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. Hähnle, R. & van der Aalst, W. (red.). Springer VS, s. 351-368 (Lecture Notes in Computer Science, Bind 11424).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    80 Downloads (Pure)
  • Special track on microservices, devops, and service-oriented architecture

    Cruz-Filipe, L., Di Nitto, E. & Mauro, J., 8. apr. 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, s. 1224

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

  • 2018

    A Model-Based Scalability Optimization Methodology for Cloud Applications

    Lin, J. C., Mauro, J., Røst, T. B. & Yu, I. C., 13. mar. 2018, Proceedings - 2017 IEEE 7th International Symposium on Cloud and Service Computing, SC2 2017. IEEE, s. 163-170 8 s. (Proceedings - 2017 IEEE 7th International Symposium on Cloud and Service Computing, SC2 2017, Bind 2018-January).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Anomaly analyses for feature-model evolution

    Nieke, M., Thüm, T., Mauro, J., Yu, I. C., Seidl, C. & Franzke, F., nov. 2018, GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. Van Wyk, E. & Rompf, T. (red.). Association for Computing Machinery, s. 188-201 14 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Context-aware reconfiguration in evolving software product lines

    Mauro, J., Nieke, M., Seidl, C. & Chieh Yu, I., 2018, I: Science of Computer Programming. 163, s. 139-159

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
    287 Downloads (Pure)
  • Release the beasts: When formal methods meet real world data

    Schlatte, R., Johnsen, E. B., Mauro, J., Tapia Tarifa, S. L. & Yu, I. C., 1. jan. 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag London Ltd, s. 107-121 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10865 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

  • SUNNY-CP and the minizinc challenge

    Amadini, R., Gabbrielli, M. & Mauro, J., jan. 2018, I: Theory and Practice of Logic Programming. 18, 1, s. 1-14 14 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • 2017

    Anomaly detection and explanation in context-aware software product lines

    Mauro, J., Nieke, M., Seidl, C. & Yu, I. C., 25. sep. 2017, SPLC 2017 - 21st International Systems and Software Product Line Conference, Proceedings. Cazzola, W., Ruiz-Cortes, A., Benavides, D., La Rosa, M., Lopez-Herrejon, R. E., Thum, T., Troya, J., ter Beek, M. & Diaz, O. (red.). Association for Computing Machinery / Special Interest Group on Programming Languages, s. 18-21 4 s. (ACM International Conference Proceeding Series, Bind 2).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Dynamic Choreographies: Theory And Implementation

    Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2017, I: Logical Methods in Computer Science. 13, 2, 57 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • NightSplitter: A scheduling tool to optimize (sub)group activities

    Liu, T., Di Cosmo, R., Gabbrielli, M. & Mauro, J., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, J. C. (red.). Springer-Verlag London Ltd, s. 370-386 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10416 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Programming Adaptive Microservice Applications: An AIOCJ Tutorial

    Giallorenzo, S., Lanese, I., Mauro, J. & Gabbrielli, M., 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (red.). River Publishers, s. 147-167

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

    Åben adgang
  • Survival prediction of trauma patients: a study on US National Trauma Data Bank

    Sefrioui, I., Amadini, R., Mauro, J., El Fallahi, A. & Gabbrielli, M., 1. dec. 2017, I: European Journal of Trauma and Emergency Surgery. 43, 6, s. 805-822 18 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • 2016

    Context aware reconfiguration in Software Product Lines

    Mauro, J., Nieke, M., Seidl, C. & Yu, I. C., 27. jan. 2016, Proceedings - VaMoS 2016: 10th International Workshop on Variability Modelling of Software-Intensive Systems. Alves, V., Schaefer, I. & de Almeida, E. S. (red.). Association for Computing Machinery / Special Interest Group on Programming Languages, s. 41-48 8 s. (ACM International Conference Proceeding Series, Bind 27-29-January-2016).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Declarative elasticity in ABS

    de Gouw, S., Mauro, J., Nobakht, B. & Zavattaro, G., 1. jan. 2016, Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Proceedings. Aiello, M., Georgievski, I., Johnsen, E. B. & Dustdar, S. (red.). Springer-Verlag London Ltd, s. 118-134 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9846 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the expressiveness of synchronization in component deployment

    Mauro, J. & Zavattaro, G., 1. jan. 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Johnsen, E. B. & Bonsangue, M. (red.). Springer-Verlag London Ltd, s. 344-359 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9660).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Parallelizing constraint solvers for hard RCPSP instances

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. jan. 2016, Learning and Intelligent Optimization - 10th International Conference, LION 10, Revised Selected Papers. Festa, P., Sellmann, M. & Vanschoren, J. (red.). Springer-Verlag London Ltd, s. 227-233 7 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10079 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Portfolio approaches for constraint optimization problems

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. feb. 2016, I: Annals of Mathematics and Artificial Intelligence. 76, 1-2, s. 229-246 18 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • Self-reconfiguring microservices

    Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J. & Montesi, F., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (red.). Springer, s. 194-210 (Lecture Notes in Computer Science, Bind 9660).

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskning

  • User profiles for context-aware reconfiguration in software product lines

    Nieke, M., Mauro, J., Seidl, C. & Yu, I. C., 1. jan. 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Steffen, B. & Margaria, T. (red.). Springer-Verlag London Ltd, s. 563-578 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9953 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Zephyrus2: On the fly deployment optimization using SMT and CP technologies

    Ábrahám, E., Corzilius, F., Johnsen, E. B., Kremer, G. & Mauro, J., 1. jan. 2016, Dependable Software Engineering: Theories, Tools, and Applications - 2nd International Symposium, SETTA 2016, Proceedings. Franzle, M., Kapur, D. & Zhan, N. (red.). Springer-Verlag London Ltd, s. 229-245 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9984 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2015

    A multicore tool for constraint solving

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. jan. 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (red.). International Joint Conferences on Artificial Intelligence, s. 232-238 7 s. (IJCAI International Joint Conference on Artificial Intelligence, Bind 2015-January).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Automatic application deployment in the cloud: From practice to theory and back

    Di Cosmo, R., Lienhardt, M., Mauro, J., Zacchiroli, S., Zavattaro, G. & Zwolakowski, J., 1. aug. 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-16 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 42).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Automatic deployment of component-based applications

    Lascu, T. A., Mauro, J. & Zavattaro, G., 1. dec. 2015, I: Science of Computer Programming. 113, s. 261-284 24 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • 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. (red.). Springer-Verlag London Ltd, 1 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9435).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Developing correct, distributed, adaptive software

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). Springer, s. 67-82 16 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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, s. 25-32 8 s. 7372114. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, Bind 2016-January).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer-Verlag London Ltd, s. 382-393 12 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9234).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer-Verlag London Ltd, s. 49-64 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9306).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. (red.). Association for Computing Machinery / Special Interest Group on Programming Languages, s. 1861-1867 7 s. (Proceedings of the ACM Symposium on Applied Computing, Bind 13-17-April-2015).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • SUNNY for algorithm selection: A preliminary study

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

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer 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. (red.). Springer-Verlag London Ltd, s. 349-364 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9527).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2014

    Aeolus: A component model for the cloud

    Di Cosmo, R., Mauro, J., Zacchiroli, S. & Zavattaro, G., dec. 2014, I: Information and Computation. 239, s. 100-121 22 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • 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, s. 161-170 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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, s. 1357-1359 3 s. (Proceedings of the ACM Symposium on Applied Computing).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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-Verlag London Ltd, s. 254-272 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8348 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • SUNNY: A lazy portfolio approach for constraint solving

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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-Verlag London Ltd, s. 3-14 12 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8368 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. okt. 2013, Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Proceedings. s. 1-3 3 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8135 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review