Fabrizio Montesi

View Scopus Profile

Fabrizio Montesi

 https://orcid.org/0000-0003-4666-901X
If you made any changes in Pure these will be visible here soon.

Search results

  • 2023

    A Formal Theory of Choreographic Programming

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., May 2023, In: Journal of Automated Reasoning. 67, 2, 34 p., 21.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • Certified Compilation of Choreographies with hacc

    Cruz-Filipe, L., Lugović, L. & Montesi, F., 2023, Formal Techniques for Distributed Objects, Components, and Systems. Huisman, M. & Ravara, A. (eds.). Springer Science+Business Media, p. 29-36 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13910 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Choreographic Programming in Coq

    Rasmussen, R. R., Cruz-Filipe, L., Montesi, F., Lugovic, L. & Peressotti, M., Jun 2023, p. 73-76. 4 p.

    Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › peer-review

  • Introduction to Choreographies

    Montesi, F., May 2023, Cambridge University Press. 253 p.

    Research output: Book/report › Monograph › Research

  • JoT: A Jolie Framework for Testing Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Unwerawattana, N., 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S-S. & Lopes, A. (eds.). Springer Science+Business Media, p. 172-191 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13908 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Keep me out of the loop: a more flexible choreographic projection

    Cruz-Filipe, L., Rasmussen, R. R. & Montesi, F., 3. Jun 2023, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning: EPiC Series in Computing. Piskac, R. & Voronkov, A. (eds.). Ethnographic Praxis in Industry Conference (EPIC), Vol. 94. p. 144-163 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access

  • LEMMA2Jolie: A tool to generate microservice APIs from domain models[Formula presented]

    Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., Jun 2023, In: Science of Computer Programming. 228, 11 p., 102956.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • Modular Compilation for Higher-Order Functional Choreographies

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., Jul 2023, 37th European Conference on Object-Oriented Programming (ECOOP 2023). Karim, A. & Guido, S. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 263. 37 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

    Cruz-Filipe, L. & Montesi, F., Jul 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 268. 19 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 268).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Reasoning About Choreographic Programs

    Cruz-Filipe, L., Graversen, E., Montesi, F. & Peressotti, M., 2023, Coordination Models and Languages . Jongmans, S-S. & Lopes, A. (eds.). Springer Science+Business Media, p. 144-162 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13908 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2022

    Ephemeral data handling in microservices with Tquery

    Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., Jul 2022, In: PeerJ Computer Science. 8, e1037.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • From infinity to choreographies: Extraction for unbounded Systems

    Kjær, B. A., Cruz-Filipe, L. & Montesi, F., 11. Sept 2022, Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Proceedings. Villanueva, A. (ed.). Springer Science+Business Media, p. 103-120 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13474 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File

  • Functional Choreographic Programming

    Cruz-Filipe, L., Graversen, E., Lugović, L., Montesi, F. & Peressotti, M., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science+Business Media, p. 212-237 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Microservice security: a systematic literature review

    Berardi, D., Giallorenzo, S., Mauro, J., Melis, A., Montesi, F. & Prandini, M., 2022, In: PeerJ Computer Science. 8, e779.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    283 Downloads (Pure)

  • Model-driven generation of microservice interfaces: From LEMMA domain models to Jolie APIs

    Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., 2022, Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. ter Beek, M. H. & Sirjani, M. (eds.). Springer Science+Business Media, p. 223-240 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13271 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Preface

    Montesi, F., Papadopoulos, G. A. & Zimmermann, W., 2022, Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22–24, 2022, Proceedings. Montesi, F., Papadopoulos, G. A. & Zimmermann, W. (eds.). Vol. 13226 LNCS. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

  • 2021

    Certifying Choreography Compilation

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (eds.). Springer Science+Business Media, p. 115-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12819 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Formalising a turing-complete choreographic language in Coq

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 1. Jun 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 193. p. 15:1-15:18 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 193).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    19 Downloads (Pure)

  • Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., 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. (eds.). Springer, Vol. 12717. p. 276-284 (Lecture Notes in Computer Science, Vol. 12717).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Multiparty Languages: The Choreographic and Multitier Cases

    Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G. & Weisenburger, P., 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 194. p. 22:1-22:27 22. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    10 Downloads (Pure)

  • Sliceable Monolith: Monolith First, Microservices Later

    Montesi, F., Peressotti, M. & Picotti, V., 15. Nov 2021, Proceedings - 2021 IEEE International Conference on Services Computing, SCC 2021. Carminati, B., Chang, C. K., Damiani, E., Shuiguang, D., Tan, W., Wang, Z., Ward, R. & Zhang, J. (eds.). IEEE, p. 364-366 (IEEE International Conference on Services Computing (SCC)).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2020

    A core model for choreographic programming

    Cruz-Filipe, L. & Montesi, F., 8. Jan 2020, In: Theoretical Computer Science. 802, p. 38-66 29 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • Preface

    Cruz-Filipe, L., Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., Feb 2020, Joint Post-proceedings of the First and Second International Conference on Microservices. Filipe, L. C., Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 78. p. 0:vii–0:viii 2 p. (OpenAccess Series in Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research › peer-review

    Open Access
  • 2019

    Better Late Than Never: A Fully-abstract Semantics for Classical Processes

    Kokke, W., Montesi, F. & Peressotti, M., 1. Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, p. 24:1-24:29 29 p., 24.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    247 Downloads (Pure)

  • Ephemeral data handling in microservices

    Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., 2019, Proceedings of the 2019 IEEE International Conference on Services Computing, SCC 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (eds.). IEEE, p. 234-236 (IEEE International Conference on Services Computing (SCC), Vol. 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    140 Downloads (Pure)

  • Multiparty Classical Choreographies

    Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1. Jan 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer, p. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11408 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • No more, no less: A formal model for serverless computing

    Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M. & Zingaro, S. P., 2019, Coordination Models and Languages. COORDINATION 2019. Riis Nielson, H. & Tuosto, E. (eds.). Springer, p. 148-157 (Lecture Notes in Computer Science, Vol. 11533).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    122 Downloads (Pure)

  • Taking Linear Logic Apart

    Kokke, W., Montesi, F. & Peressotti, M., 15. Apr 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (eds.). Open Publishing Association, Vol. 292. p. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 292).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    73 Downloads (Pure)
  • 2018

    Applied choreographies

    Giallorenzo, S., Montesi, F. & Gabbrielli, M., 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer, p. 21-40 (Lecture Notes in Computer Science, Vol. 10854).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Better Late Than Never: A Fully Abstract Semantics for Classical Processes

    Kokke, W., Montesi, F. & Peressotti, M., 6. Nov 2018.

    Research output: Working paper › Research

  • Choreographies, logically

    Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67

    Research output: Contribution to journal › Journal article › Research › peer-review

    File
    237 Downloads (Pure)

  • Communications in choreographies, revisited

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 9. Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1248-1255

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    151 Downloads (Pure)

  • From the decorator pattern to circuit breakers in microservices

    Montesi, F. & Weber, J., 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, Vol. Part F137816. p. 1733-1735

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2017

    A Core Model for Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Khosravi, R. & Kouchnarenko, O. (eds.). Springer, p. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    187 Downloads (Pure)

  • Classical higher-order processes

    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, Proceedings. Bouajjani, A. & Silva, A. (eds.). Springer, p. 171-178 (Lecture Notes in Computer Science, Vol. 10321).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    157 Downloads (Pure)

  • Encoding Asynchrony in Choreographies

    Cruz-Filipe, L. & Montesi, F., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, p. 1175-1177

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Microservices: A language-based approach

    Guidi, C., Lanese, I., Mazzara, M. & Montesi, F., Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 217-225

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Microservices: Yesterday, today, and tomorrow

    Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 1. Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 195-216

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    File
    529 Downloads (Pure)

  • Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269

    Research output: Contribution to journal › Journal article › Research › peer-review

  • On Asynchrony and Choreographies

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

    Research output: Contribution to journal › Conference article › Research › peer-review

    Open Access
    File
    118 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. (eds.). Springer, p. 131-137 (Lecture Notes in Computer Science, Vol. 10320).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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. (eds.). Springer, p. 92-107 (Lecture Notes in Computer Science, Vol. 10321).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    108 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. (eds.). Springer, p. 424-440 (Lecture Notes in Computer Science, Vol. 10203).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    135 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, In: Foundations and Trends in Programming Languages. 3, 3, p. 95-230

    Research output: Contribution to journal › Journal article › Research › peer-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. (eds.). Springer, p. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 1–15 33. (Leibniz International Proceedings in Informatics, Vol. 59).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    45 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, p. 430-437 (Proceedings of the International Conference on Advanced Information Networking and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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. (eds.). Springer, p. 3-10 (Lecture Notes in Computer Science, Vol. 9421).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Process-aware web programming with Jolie

    Montesi, F., 2016, In: Science of Computer Programming. 130, p. 69-96

    Research output: Contribution to journal › Journal article › Research › peer-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. (eds.). Springer, p. 194-210 (Lecture Notes in Computer Science, Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research