Filter
Article in proceedings

Search results

  • 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. (eds.). Springer Science+Business Media, p. 172-191 (Lecture Notes in Computer Science, Vol. 13908 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 6:1-6:17 6. (Open Access Series in Informatics, Vol. 111).

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

    Open Access
    File
    5 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 3:1-3:18 (Open Access Series in Informatics, Vol. 111).

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

    Open Access
    File
    10 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. (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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    114 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. (eds.). Springer Science+Business Media, p. 144-162 19 p. (Lecture Notes in Computer Science, Vol. 13908 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer Science+Business Media, p. 212-237 26 p. (Lecture Notes in Computer Science, Vol. 13572 LNCS).

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

    Open Access
    File
    17 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, Vol. 13271 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer Science+Business Media, p. 115-133 (Lecture Notes in Computer Science, Vol. 12819 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    22 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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    36 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 proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, p. 38-56 (Lecture Notes in Computer Science, Vol. 12150).

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

    Open Access
  • 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, p. 173-175

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, p. 148-157 (Lecture Notes in Computer Science, Vol. 11533).

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

    Open Access
    File
    158 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 proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    77 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, p. 1248-1255

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

    File
    166 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. (eds.). Springer, p. 109-126 (Lecture Notes in Computer Science, Vol. 10748). (Programming and Software Engineering, Vol. 10748).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 104-111 (Communications in Computer and Information Science, Vol. 701).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Vol. 59. 26

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, p. 213-229 17 p. (Lecture Notes in Computer Science, Vol. 9037).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 201-208 8 p. (Lecture Notes in Computer Science, Vol. 8460 LNCS).

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