Søgeresultater

  • 2017

    On Asynchrony and Choreographies

    Cruz-Filipe, L. & Montesi, F., 2017, I: Electronic Proceedings in Theoretical Computer Science. 261, s. 76-90

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
    139 Downloads (Pure)
  • Packaging microservices: (work in progress)

    Montesi, F. & Thrane, D. S., 2017, Distributed Applications and Interoperable Systems: 17th IFIP WG 6.1 International Conference, DAIS 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Y. Chen, L. & P. Reiser, H. (red.). Springer, s. 131-137 (Lecture Notes in Computer Science, Bind 10320).

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

  • Procedural Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017. Bouajjani, A. & Silva, A. (red.). Springer, s. 92-107 (Lecture Notes in Computer Science, Bind 10321).

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

    Fil
    138 Downloads (Pure)
  • The Paths to Choreography Extraction

    Cruz-Filipe, L., Larsen, K. S. & Montesi, F., 2017, Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (red.). Springer, s. 424-440 (Lecture Notes in Computer Science, Bind 10203).

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

    Fil
    151 Downloads (Pure)
  • 2016

    Behavioral types in programming languages

    Ancona, D., Bono, V., Bravetti, M., Campos, J., Castagna, G., Deniélou, P. M., Gay, S. J., Gesbert, N., Giachino, E., Hu, R., Johnsen, E. B., Martins, F., Mascardi, V., Montesi, F., Neykova, R., Ng, N., Padovani, L., Vasconcelos, V. T. & Yoshida, N., 2016, I: Foundations and Trends in Programming Languages. 3, 3, s. 95-230

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • Choreographies in Practice

    Cruz-Filipe, L. & Montesi, F., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (red.). Springer, s. 114-123 (Lecture Notes in Computer Science, Bind 9688).

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

  • Coherence generalises duality: A logical explanation of multiparty session types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, Proceedings of the 27th International Conference on Concurrency Theory. Desharnais, J. & Jagadeesan, R. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 1–15 33. (Leibniz International Proceedings in Informatics, Bind 59).

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

    Åben adgang
    Fil
    67 Downloads (Pure)
  • Data-driven workflows for microservices: Genericity in jolie

    Safina, L., Mazzara, M., Montesi, F. & Rivera, V., 2016, Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications. IEEE, s. 430-437 (Proceedings of the International Conference on Advanced Information Networking and Applications).

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

  • Kickstarting Choreographic Programming

    Montesi, F., 2016, Web Services, Formal Methods, and Behavioral Types: Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing. Hildebrandt, T., Ravara, A., van der Werf, J. M. & Weidlich, M. (red.). Springer, s. 3-10 (Lecture Notes in Computer Science, Bind 9421).

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

  • Process-aware web programming with Jolie

    Montesi, F., 2016, I: Science of Computer Programming. 130, s. 69-96

    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

  • 2015

    Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. Aceto, L. & de Frutos Escrig, D. (red.). s. 412-426 (Leibniz International Proceedings in Informatics, Bind 42).

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

    Åben adgang
    Fil
    92 Downloads (Pure)
  • Special issue on Service-Oriented Architecture and Programming (SOAP 2013)

    Lanese, I., Mazzara, M. & Montesi, F., 2015, I: Science of Computer Programming. 97, P2, s. 181-182

    Publikation: Bidrag til tidsskriftLeder

    Åben adgang
  • The Evolution of Jolie: From Orchestrations to Adaptable Choreographies

    Lanese, I., Montesi, F. & Zavattaro, G., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (red.). Springer, s. 506-521 (Lecture Notes in Computer Science, Bind 8950).

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

  • 2014

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, CONCUR 2014 – Concurrency Theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Paldan, P. & Gorda, D. (red.). Springer, s. 47-62 16 s. (Lecture Notes in Computer Science, Bind 8704).

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

  • Progress as Compositional Lock-Freedom

    Carbone, M., Dardha, O. & Montesi, F., 2014, Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Kühn, E. & Pugliese, R. (red.). Springer, s. 49-64

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

  • Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns

    Gabbrielli, M., Giallorenzo, S. & Montesi, F., 2014, Distributed Computing and Artificial Intelligence: 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014. Omatu et al., S. (red.). Springer, s. 131-139 9 s. (Advances in Intelligent Systems and Computing, Bind 290).

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

  • Service-Oriented Programming with Jolie

    Montesi, F., Guidi, C. & Zavattaro, G., 2014, Web Services Foundations. s. 81-107 27 s.

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

  • 2013

    Amending Choreographies

    Lanese, I., Montesi, F. & Zavattaro, G., 2013, Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013.. s. 34-48 15 s.

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

  • Choreographic Programming

    Montesi, F., 2013, IT-Universitetet i København. 276 s.

    Publikation: AfhandlingPh.d.-afhandling

  • Compositional Choreographies

    Montesi, F. & Yoshida, N., 2013, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. s. 425-439 15 s.

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

  • Deadlock-freedom-by-design: multiparty asynchronous global programming

    Carbone, M. & Montesi, F., 2013, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. s. 263-274 12 s.

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

  • Process-aware web programming with Jolie

    Montesi, F., 2013, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. s. 761-763 3 s.

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

  • 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. s. 48-63 16 s.

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

  • Merging Multiparty Protocols in Multiparty Choreographies

    Carbone, M. & Montesi, F., 2012, Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012.. s. 21-27 7 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. s. 1-5 5 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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. s. 80-94 15 s.

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

  • Programming Services with Correlation Sets

    Montesi, F. & Carbone, M., 2011, Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings. s. 125-141 17 s.

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

  • 2010

    A Framework for Rule-Based Dynamic Adaptation

    Lanese, I., Bucchiarone, A. & Montesi, F., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. s. 284-300 17 s.

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

  • A Model of Evolvable Components

    Montesi, F. & Sangiorgi, D., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. s. 153-171 19 s.

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

  • Error Handling: From Theory to Practice

    Lanese, I. & Montesi, F., 2010, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. s. 66-81 16 s.

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

  • 2009

    Dynamic Error Handling in Service Oriented Applications

    Guidi, C., Lanese, I., Montesi, F. & Zavattaro, G., 2009, I: Fundamenta Informaticae. 95, 1, s. 73-102 30 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • Reasoning About a Service-oriented Programming Paradigm

    Guidi, C. & Montesi, F., 2009, Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009.. s. 67-81 15 s.

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

  • 2008

    Bridging the Gap between Interaction- and Process-Oriented Choreographies

    Lanese, I., Guidi, C., Montesi, F. & Zavattaro, G., 2008, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. s. 323-332 10 s.

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

  • Dynamic Fault Handling Mechanisms for Service-Oriented Applications

    Montesi, F., Guidi, C., Lanese, I. & Zavattaro, G., 2008, ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland. s. 225-234 10 s.

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

  • On the interplay between fault handling and request-response service invocations

    Guidi, C., Lanese, I., Montesi, F. & Zavattaro, G., 2008, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. s. 190-198 9 s.

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

  • 2007

    Composing Services with JOLIE

    Montesi, F., Guidi, C. & Zavattaro, G., 2007, Fifth IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale), Germany. s. 13-22 10 s.

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

  • JOLIE: a Java Orchestration Language Interpreter Engine

    Montesi, F., Guidi, C., Lucchi, R. & Zavattaro, G., 2007, I: Electronic Notes in Theoretical Computer Science. 181, s. 19-33 15 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang