Billede af Marco Peressotti

Vis Scopus-profil

Marco Peressotti

 https://orcid.org/0000-0002-0243-0480
Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2023

    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. (red.). Springer Science+Business Media, s. 172-191 (Lecture Notes in Computer Science, Bind 13908 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Model-Driven Code Generation for Microservices: Service Models.

    Giallorenzo, S., Montesi, F., Peressotti, M. & Rademacher, F., 2023, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 6:1-6:17 6. (Open Access Series in Informatics, Bind 111).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    11 Downloads (Pure)

  • Modular Choreographies: Bridging Alice and Bob Notation to Java.

    Cruz-Filipe, L., Madsen, A., Montesi, F. & Peressotti, M., dec. 2023, Joint Post-Proceedings of the 3rd and 4th International Conference on Microservices ( (Microservices 2020/2022). Dorai, G., Gabbrielli, M., Manzonetto, G., Osmani, A., Prandini, M., Zavattaro, G. & Zimmermann, O. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 3:1-3:18 (Open Access Series in Informatics, Bind 111).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    14 Downloads (Pure)

  • 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. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 263. 37 s. 7. (Leibniz International Proceedings in Informatics, LIPIcs).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    127 Downloads (Pure)

  • Reasoning About Choreographic Programs

    Cruz-Filipe, L., Graversen, E., Montesi, F. & Peressotti, M., 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. (red.). Springer Science+Business Media, s. 144-162 19 s. (Lecture Notes in Computer Science, Bind 13908 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2022

    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. (red.). Springer Science+Business Media, s. 212-237 26 s. (Lecture Notes in Computer Science, Bind 13572 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    24 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. (red.). Springer Science+Business Media, s. 223-240 (Lecture Notes in Computer Science, Bind 13271 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 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. (red.). Springer Science+Business Media, s. 115-133 (Lecture Notes in Computer Science, Bind 12819 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 193. s. 15:1-15:18 (Leibniz International Proceedings in Informatics, LIPIcs, Bind 193).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    25 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. (red.). Springer, Bind 12717. s. 276-284 (Lecture Notes in Computer Science, Bind 12717).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 194. s. 22:1-22:27 22. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    39 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. (red.). IEEE, s. 364-366 (IEEE International Conference on Services Computing (SCC)).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2020

    Computing Embeddings of Directed Bigraphs

    Chiapperini, A., Miculan, M. & Peressotti, M., 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (red.). Springer, s. 38-56 (Lecture Notes in Computer Science, Bind 12150).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Towards a formal model for composable container systems

    Burco, F., Miculan, M. & Peressotti, M., 30. mar. 2020, 35th Annual ACM Symposium on Applied Computing, SAC 2020. Association for Computing Machinery, s. 173-175

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2019

    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. (red.). Springer, s. 148-157 (Lecture Notes in Computer Science, Bind 11533).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    162 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. (red.). Open Publishing Association, Bind 292. s. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 292).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    78 Downloads (Pure)
  • 2018

    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, s. 1248-1255

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Fil
    168 Downloads (Pure)

  • Loose Graph Simulations

    Mansutti, A., Miculan, M. & Peressotti, M., 2018, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (red.). Springer, s. 109-126 (Lecture Notes in Computer Science, Bind 10748). (Programming and Software Engineering, Bind 10748).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2017

    Stratifying semantic data for citation and trust: An introduction to RDFDF

    De Nart, D., Degl’Innocenti, D., Peressotti, M. & Tasso, C., 8. apr. 2017, Digital Libraries and Multimedia Archives - 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Revised Selected Papers. Springer, s. 104-111 (Communications in Computer and Information Science, Bind 701).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2016

    A uniform framework for timed automata

    Brengos, T. & Peressotti, M., 1. aug. 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 59. 26

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2015

    Open transactions on shared memory

    Miculan, M., Peressotti, M. & Toneguzzo, A., 1. jan. 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, Proceedings. Holvoet, T. & Viroli, M. (red.). Springer, s. 213-229 17 s. (Lecture Notes in Computer Science, Bind 9037).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2014

    Multi-agent systems design and prototyping with bigraphical reactive systems

    Mansutti, A., Miculan, M. & Peressotti, M., 1. jan. 2014, Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 Int. Conference, DAIS 2014, Held as Part of the 9th Int. Federated Conf. on Distributed Computing Techn. DisCoTec 2014, Proc.. Springer, s. 201-208 8 s. (Lecture Notes in Computer Science, Bind 8460 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review