Publications
All papers or ACP only?:
Filter by keyword:
Filter by author:
Filter by publication type:
Export this view as BibTex:
Preprints of Accepted Papers
2023
-
Cruz-Filipe Luı́s, Graversen, E., Lugović, L., Montesi, F., & Peressotti, M. (2023). Modular Compilation for Higher-Order Functional Choreographies. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming (ECOOP 2023) (Vol. 263, pp. 7:1–7:37). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.Supporting Grants: Choco
-
Cruz-Filipe Luı́s, Graversen, E., Montesi, F., & Peressotti, M. (2023). Reasoning About Choreographic Programs. In S.-S. Jongmans & A. Lopes (Eds.), Coordination Models and Languages (Vol. 13908, pp. 144–162). Springer.Supporting Grants: Choco
-
Cruz-Filipe Luı́s, Montesi, F., & Peressotti, M. (2023). A Formal Theory of Choreographic Programming. Journal of Automated Reasoning, 67(21), 1–34.Supporting Grants: Choco
-
Giallorenzo, S., Montesi, F., Peressotti, M., & Rademacher, F. (2023). LEMMA2Jolie: A Tool to Generate Microservice APIs from Domain. Science of Computer Programming, 228, 102956.Supporting Grants: GEM
-
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., & Unwerawattana, N. (2023). JoT: A Jolie Framework for Testing Microservices. In S.-S. Jongmans & A. Lopes (Eds.), Coordination Models and Languages (Vol. 13908, pp. 172–191). Springer.Supporting Grants: GEM
2022
-
Cruz-Filipe Luı́s, Graversen, E., Lugović, L., Montesi, F., & Peressotti, M. (2022). Functional Choreographic Programming. In H. Seidl, Z. Liu, & C. Pasareanu (Eds.), Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (pp. 212–237). Springer.Supporting Grants: GEM
-
Giallorenzo, S., Montesi, F., Peressotti, M., & Rademacher, F. (2022). Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. In M. H. ter Beek & M. Sirjani (Eds.), Coordination Models and Languages (Vol. 13271, pp. 223–240). Springer.Supporting Grants: Gem
2021
-
Cruz-Filipe, L., Montesi, F., & Peressotti, M. (2021). Formalising a Turing-Complete Choreographic Language in Coq. In L. Cohen & C. Kaliszyk (Eds.), 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference) (Vol. 193, pp. 15:1–15:18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Supporting Grants: Choco
-
Cruz-Filipe Luı́s, Montesi, F., & Peressotti, M. (2021). Certifying Choreography Compilation. Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings, 12819, 115–133.Supporting Grants: Choco
-
Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., & Sachweh, S. (2021). Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. In F. Damiani & O. Dardha (Eds.), 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 (Vol. 12717, pp. 276–284). Springer.Supporting Grants: Gem
-
Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., & Weisenburger, P. (2021). Multiparty Languages: The Choreographic and Multitier Cases (Pearl). In A. Møller & M. Sridharan (Eds.), 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference) (Vol. 194, pp. 22:1–22:27). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Supporting Grants: Choco
-
Montesi, F., Peressotti, M., & Picotti, V. (2021). Sliceable Monolith: Monolith First, Microservices Later. In B. Carminati, C. K. Chang, E. Daminai, S. Deng, W. Tan, Z. Wang, R. Ward, & J. Zhang (Eds.), IEEE International Conference on Services Computing, SCC 2021, Chicago, IL, USA, September 5-10, 2021 (pp. 364–366). IEEE.Supporting Grants: Gem
2020
-
Andersen, J. L., Hellmuth, M., Merkle, D., Nøjgaard, N., & Peressotti, M. (2020). A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. In Y. Manolopoulos, G. A. Papadopoulos, & T. Tzouramanis (Eds.), Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020), Limassol, Cyprus, January 20-24, 2020 (Vol. 2568, pp. 121–132). CEUR-WS.org.Supporting Grants: DFF-7014-00041
-
Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., & Zavattaro, G. (2020). A Formal Approach to Microservice Architecture Deployment. In A. Bucchiarone, N. Dragoni, S. Dustdar, P. Lago, M. Mazzara, V. Rivera, & A. Sadovykh (Eds.), Microservices, Science and Engineering (pp. 183–208). Springer.
-
Burco, F., Miculan, M., & Peressotti, M. (2020). Towards a Formal Model for Composable Container Systems. Proceedings of the 35rd Annual ACM Symposium on Applied Computing, SAC 2020, Brno, Czech Republic, March 29-April 03, 2020, 173–175.Supporting Grants: DFF-7014-00041
-
Chiapperini, A., Miculan, M., & Peressotti, M. (2020). Computing Embeddings of Directed Bigraphs. Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, 12150, 38–56.Supporting Grants: DFF-7014-00041
-
Giallorenzo, S., Lanese, I., Montesi, F., Sangiorgi, D., & Zingaro, S. P. (2020). The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. In F. S. de Boer & J. Mauro (Eds.), Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli’s Festschrift, November 27, 2020, Bologna, Italy (Vol. 86, pp. 5:1–5:21). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
-
Cruz-Filipe Luı́s, Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., & Sachweh, S. (2020). Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, October 23-27, 2017, Odense, Denmark / February 19-21, 2019, Dortmund, Germany (Vol. 78).
-
Miculan, M., & Peressotti, M. (2020). Software Transactional Memory with Interactions. In G. Cordasco, L. Gargano, & A. A. Rescigno (Eds.), Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020 (Vol. 2756, pp. 67–80). CEUR-WS.org.Supporting Grants: DFF-7014-00041
2019
-
Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., & Zavattaro, G. (2019). Optimal and Automated Deployment for Microservices. Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 351–368.
-
Brengos, T., & Peressotti, M. (2019). Behavioural equivalences for timed systems. Logical Methods in Computer Science, 15(1), 17:1–14:41.Supporting Grants: DFF-7014-00041
-
Callegati, F., Giallorenzo, S., Gabbrielli, M., Melis, A., & Prandini, M. (2019). Federated Platooning: Insider Threats and Mitigations. 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019, 1–10.
-
Gabbrielli, M., Giallorenzo, S., Lanese, I., & Mauro, J. (2019). Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. 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, 118–138.
-
Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M., & Zingaro, S. P. (2019). No More, No Less - A Formal Model for Serverless Computing. In H. R. Nielson & E. Tuosto (Eds.), Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings (Vol. 11533, pp. 148–157). Springer.Supporting Grants: DFF-7014-00041
-
Giallorenzo, S., Montesi, F., Safina, L., & Zingaro, S. P. (2019). Ephemeral Data Handling in Microservices. 2019 IEEE International Conference on Services Computing, SCC 2019, Milan, Italy, July 8-13, 2019, 234–236.Supporting Grants: DFF-7014-00041
-
Kokke, W., Montesi, F., & Peressotti, M. (2019). Better Late Than Never: A Fully-abstract Semantics for Classical Processes. Proc. ACM Program. Lang., 3(POPL), 24:1–24:29.Supporting Grants: DFF-7014-00041
-
Liu, T., Callegati, F., Cerroni, W., Contoli, C., Gabbrielli, M., & Giallorenzo, S. (2019). Constraint Programming for Flexible Service Function Chaining Deployment. 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019, 1–10.
2018
-
Carbone, M., Cruz-Filipe, L., Montesi, F., & Murawska, A. (2018). Multiparty Classical Choreographies. In F. Mesnard & P. J. Stuckey (Eds.), Logic-Based Program Synthesis and Transformation – 28th International Symposium, LOPSTR 2018 (Vol. 11408, pp. 59–76). Springer.
-
Cruz-Filipe, L., Montesi, F., & Peressotti, M. (2018). Communications in choreographies, revisited. In H. M. Haddad, R. L. Wainwright, & R. Chbeir (Eds.), Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018 (pp. 1248–1255). ACM.Supporting Grants: DFF-7014-00041
-
Gabbrielli, M., Giallorenzo, S., Lanese, I., & Zingaro, S. P. (2018). A Language-based Approach for Interoperability of IoT Platforms. 51st Hawaii International Conference on System Sciences, HICSS 2018, Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018.
-
Giallorenzo, S., Lanese, I., & Russo, D. (2018). ChIP: A Choreographic Integration Process. On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II, 22–40.
-
Giallorenzo, S., Montesi, F., & Gabbrielli, M. (2018). Applied Choreographies. 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, Madrid, Spain, June 18-21, 2018, Proceedings, 21–40.
-
Kokke, W., Montesi, F., & Peressotti, M. (2018). Taking Linear Logic Apart. In T. Ehrhard, M. Fernández, V. de Paiva, & L. T. de Falco (Eds.), Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. (Vol. 292, pp. 90–103).Supporting Grants: DFF-7014-00041
-
Montesi, F., & Weber, J. (2018). From the decorator pattern to circuit breakers in microservices. In H. M. Haddad, R. L. Wainwright, & R. Chbeir (Eds.), Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018 (pp. 1733–1735). ACM.
2017
-
Bogaerts, B., & Cruz-Filipe, L. (2017). Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. In C. Sierra (Ed.), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (pp. 866–872). ijcai.org.
-
Cruz-Filipe, L., Larsen, K. S., & Schneider-Kamp, P. (2017). How to Get More Out of Your Oracles. In M. Ayala-Rincon & C. Muñoz (Eds.), Interactive Theorem Proving – 8th International Conference, ITP 2017, Brası́lia, Brazil, September 26-29, 2017, Proceedings (Vol. 10499, pp. 164–170). Springer.
-
Cruz-Filipe, L., & Montesi, F. (2017). Procedural Choreographic Programming. In A. Bouajjani & A. Silva (Eds.), Formal Techniques for Distributed Objects, Components, and Systems – 37th IFIP WG 6.1 International Conference, FORTE 2017 (Vol. 10321, pp. 92–107). Springer.
-
Cruz-Filipe Luı́s, & Montesi, F. (2017). That’s Enough: Asynchrony with Standard Choreography Primitives. In C. Caleiro, Dionı́sio Francisco, P. Gouveia, P. Mateus, & J. Rasga (Eds.), Logic and Computation: Essays in Honour of Amı́lcar Sernadas (Vol. 33, pp. 125–142). College Publications.
-
Mansutti, A., Miculan, M., & Peressotti, M. (2017). Loose Graph Simulations. In M. Seidl & S. Zschaler (Eds.), Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Vol. 10748, pp. 109–126). Springer.
-
Miculan, M., & Peressotti, M. (2017). Deciding Weak Weighted Bisimulation. In D. Della Monica, A. Murano, S. Rubin, & L. Sauro (Eds.), Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. (Vol. 1949, pp. 126–137). CEUR-WS.org.
2016
-
Brengos, T., & Peressotti, M. (2016). A Uniform Framework for Timed Automata. In J. Desharnais & R. Jagadeesan (Eds.), 27th International Conference on Concurrency Theory (CONCUR 2016) (Vol. 59, pp. 26:1–26:15). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
-
Cruz-Filipe, L. (2016). Grounded Fixpoints and Active Integrity Constraints. In M. Carro, A. King, M. De Vos, & N. Saeedloei (Eds.), Technical Communications of the 32nd International Conference on Logic Programming (ICLP’16) (Vol. 52, pp. 11.1–11.14). Schloss Dagstuhl.
-
Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I., & Schneider-Kamp, P. (2016). Active Integrity Constraints: from Theory to Implementation. In A. Fred, J. L. G. Dietz, D. Aveiro, K. Liu, & J. Filipe (Eds.), Knowledge Discovery, Knowledge Engineering and Knowledge Management (Issue 631, pp. 399–420). Springer.
-
Callegati, F., Giallorenzo, S., Melis, A., & Prandini, M. (2016). Data security issues in MaaS-enabling platforms. IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a Better Tomorrow, RTSI 2016, Bologna, Italy, September 7-9, 2016, 1–5.
-
Cruz-Filipe, L., Gaspar, G., Nunes, I., & Schneider-Kamp, P. (2016). Active Integrity Constraints for Multi-Context Systems. In E. Blomqvist, F. Vitali, P. Ciancarini, & F. Poggi (Eds.), Knowledge Engineering and Knowledge Management – 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016. Proceedings (Vol. 10024, pp. 98–112). Springer.
-
Cruz-Filipe, L., & Montesi, F. (2016). Choreographies in Practice. In E. Albert & I. Lanese (Eds.), Formal Techniques for Distributed Objects, Components, and Systems – 36th IFIP WG 6.1 International Conference, FORTE 2016 (Vol. 9688, pp. 114–123). Springer.
-
Cruz-Filipe, L., Nunes, I., & Schneider-Kamp, P. (2016). Integrity Constraints for General-Purpose Knowledge Bases. In M. Gyssens & G. Simari (Eds.), Foundations of Information and Knowledge Systems – 9th International Symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings (Vol. 9616, pp. 235–254). Springer.
-
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). Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 3(2-3), 95–230.
-
De Nart, D., Degl’Innocenti, D., Peressotti, M., & Tasso, C. (2016). Stratifying Semantic Data for Citation and Trust: An Introduction to RDFDF. In M. Agosti, M. Bertini, S. Ferilli, S. Marinai, & N. Orio (Eds.), Digital Libraries and Multimedia Archives - 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers (Vol. 701, pp. 104–111).
-
Miculan, M., & Peressotti, M. (2016). On the Bisimulation Hierarchy of State-to-Function Transition Systems. In V. Bilò & A. Caruso (Eds.), Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016. (Vol. 1720, pp. 88–102). CEUR-WS.org.
2015
-
Codish, M., Cruz-Filipe, L., Nebel, M., & Schneider-Kamp, P. (2015). Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In M. Falaschi (Ed.), Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised Selected Papers (Vol. 9527, pp. 127–142). Springer.
-
Codish, M., Cruz-Filipe, L., & Schneider-Kamp, P. (2015). Sorting networks: the end game. In A.-H. Dediu, E. Formenti, Martı́n-Vide Carlos, & B. Truthe (Eds.), Language and Automata Theory and Applications – 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings (Vol. 8977, pp. 664–675). Springer.
-
Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I., & Schneider-Kamp, P. (2015). repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. In A. Fred, J. Dietz, D. Aveiro, K. Liu, & J. Filipe (Eds.), Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K2015) (Vol. 3, pp. 17–26). SCITEPRESS.
-
Cruz-Filipe, L., Gaspar, G., & Nunes, I. (2015). Design Patterns for Description-logic Programs. In A. Fred, J. L. G. Dietz, K. Liu, & J. Filipe (Eds.), Knowledge Discovery, Knowledge Engineering and Knowledge Management (Vol. 454, pp. 199–214). Springer.
-
Cruz-Filipe, L., & Schneider-Kamp, P. (2015). Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof. In M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, & V. Sorge (Eds.), Intelligent Computer Mathematics – International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (Vol. 9150, pp. 55–70). Springer.
-
Cruz-Filipe, L., & Schneider-Kamp, P. (2015). Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. In C. Urban & X. Zhang (Eds.), Interactive Theorem Proving – 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Vol. 9236, pp. 154–169). Springer.
-
Carbone, M., Montesi, F., Schürmann, C., & Yoshida, N. (2015). Multiparty Session Types as Coherence Proofs. In L. Aceto & D. de Frutos-Escrig (Eds.), 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015 (Vol. 42, pp. 412–426). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
-
Montesi, F. (2015). Kickstarting Choreographic Programming. In T. T. Hildebrandt, A. Ravara, J. M. van der Werf, & M. Weidlich (Eds.), Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers (Vol. 9421, pp. 3–10). Springer.
-
Lanese, I., Montesi, F., & Zavattaro, G. (2015). The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. In R. D. Nicola & R. Hennicker (Eds.), Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Vol. 8950, pp. 506–521). Springer.
-
Miculan, M., Peressotti, M., & Toneguzzo, A. (2015). Open Transactions on Shared Memory. In T. Holvoet & M. Viroli (Eds.), 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 (Vol. 9037, pp. 213–229). Springer.
-
Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I., & Mauro, J. (2015). Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. 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, 67–82.
2014
-
Cruz-Filipe, L. (2014). Optimizing Computation of Repairs from Active Integrity Constraints. In C. Beierle & C. Meghini (Eds.), Foundations of Information and Knowledge Systems – 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings (Vol. 8367, pp. 361–380). Springer.
-
Codish, M., Cruz-Filipe, L., Frank, M., & Schneider-Kamp, P. (2014). Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10–12, 2014, 186–193.
-
Codish, M., Cruz-Filipe, L., & Schneider-Kamp, P. (2015). The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. In F. Winkler, V. Negru, T. Ida, T. Jebelan, D. Petcu, S. M. Watt, & D. Zaharie (Eds.), 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014 (pp. 359–366). IEEE.
-
Cruz-Filipe, L., Gaspar, G., & Nunes, I. (2014). Information Flow within Relational Multi-context Systems. In K. Janowicz, S. Schlobach, P. Lambrix, & E. Hyvönen (Eds.), Knowledge Engineering and Knowledge Management – 19th International Conference, EKAW 2014, Linköping, Sweden, November 24–28, 2014. Proceedings (Vol. 8876, pp. 97–108). Springer.
-
Carbone, M., Montesi, F., & Schürmann, C. (2014). Choreographies, Logically. In P. Baldan & D. Gorla (Eds.), CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Vol. 8704, pp. 47–62). Springer.
-
Carbone, M., Dardha, O., & Montesi, F. (2014). Progress as Compositional Lock-Freedom. In eva Kühn & R. Pugliese (Eds.), 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 (Vol. 8459, pp. 49–64). Springer.
-
Gabbrielli, M., Giallorenzo, S., & Montesi, F. (2014). Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. In S. Omatu, H. Bersini, Rodrı́guez Juan M. Corchado, Rodrı́guez Sara, P. Pawlewski, & E. Bucciarelli (Eds.), Distributed Computing and Artificial Intelligence, 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014 (Vol. 290, pp. 131–139). Springer.
-
Mansutti, A., Miculan, M., & Peressotti, M. (2014). Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. In K. Magoutis & P. R. Pietzuch (Eds.), Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (Vol. 8460, pp. 201–208). Springer.
-
Miculan, M., & Peressotti, M. (2014). GSOS for non-deterministic processes with quantitative aspects. In N. Bertrand & L. Bortolussi (Eds.), Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. (Vol. 154, pp. 17–33).
-
Miculan, M., & Peressotti, M. (2014). A CSP implementation of the bigraph embedding problem. First International Workshop on Meta Models for Process Languages, abs/1412.1042.
-
Preda, M. D., Giallorenzo, S., Lanese, I., Mauro, J., & Gabbrielli, M. (2014). AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings, 161–170.
2013
-
Cruz-Filipe, L., Engrácia Patrı́cia, Gaspar, G., & Nunes, I. (2013). Computing Repairs from Active Integrity Constraints. In H. Wang & R. Banach (Eds.), 2013 International Symposium on Theoretical Aspects of Software Engineering, Birmingham, UK, July 1st–July 3rd 2013 (pp. 183–190). IEEE.
-
Cruz-Filipe, L., Henriques, R., & Nunes, I. (2013). Description Logics, Rules and Multi-context Systems. In K. L. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013, Proceedings (Vol. 8312, pp. 243–257). Springer.
-
Cruz-Filipe, L., Nunes, I., & Gaspar, G. (2013). Patterns for Interfacing between Logic Programs and Multiple Ontologies. In J. Filipe & J. Dietz (Eds.), KEOD 2013 Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Algarve, Portugal, 19-22 September, 2013 (pp. 58–69). SCITEPRESS.
-
Montesi, F., & Yoshida, N. (2013). Compositional Choreographies. In P. R. D’Argenio & H. C. Melgratti (Eds.), CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings (Vol. 8052, pp. 425–439). Springer.
-
Carbone, M., & Montesi, F. (2013). Deadlock-freedom-by-design: multiparty asynchronous global programming. In R. Giacobazzi & R. Cousot (Eds.), The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’13, Rome, Italy - January 23 - 25, 2013 (pp. 263–274). ACM.
-
Lanese, I., Montesi, F., & Zavattaro, G. (2013). Amending Choreographies. In A. Ravara & J. Silva (Eds.), Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. (Vol. 123, pp. 34–48).
2012
-
Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J., & Montesi, F. (2012). Interface-Based Service Composition with Aggregation. In F. D. Paoli, E. Pimentel, & G. Zavattaro (Eds.), Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings (Vol. 7592, pp. 48–63). Springer.
-
Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J., & Montesi, F. (2012). Service integration via target-transparent mediation. 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012, 1–5.
-
Carbone, M., & Montesi, F. (2012). Merging Multiparty Protocols in Multiparty Choreographies. In S. J. Gay & P. Kelly (Eds.), Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. (Vol. 109, pp. 21–27).
2011
-
Mauro, J., Gabbrielli, M., Guidi, C., & Montesi, F. (2011). An Efficient Management of Correlation Sets with Broadcast. In W. D. Meuter & G.-C. Roman (Eds.), Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings (Vol. 6721, pp. 80–94). Springer.
-
Montesi, F., & Carbone, M. (2011). Programming Services with Correlation Sets. In G. Kappel, Z. Maamar, & H. R. M. Nezhad (Eds.), Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings (Vol. 7084, pp. 125–141). Springer.
2010
-
Lanese, I., & Montesi, F. (2010). Error Handling: From Theory to Practice. In T. Margaria & B. Steffen (Eds.), 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 (Vol. 6416, pp. 66–81). Springer.
-
Lanese, I., Bucchiarone, A., & Montesi, F. (2010). A Framework for Rule-Based Dynamic Adaptation. In M. Wirsing, M. Hofmann, & A. Rauschmayer (Eds.), Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Vol. 6084, pp. 284–300). Springer.
-
Montesi, F., & Sangiorgi, D. (2010). A Model of Evolvable Components. In M. Wirsing, M. Hofmann, & A. Rauschmayer (Eds.), Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Vol. 6084, pp. 153–171). Springer.
2009
-
Montesi, F., Guidi, C., Lanese, I., & Zavattaro, G. (2008). Dynamic Fault Handling Mechanisms for Service-Oriented Applications. In C. Pahl, S. Clarke, & R. Eshuis (Eds.), ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland (pp. 225–234). IEEE Computer Society.
2008
-
Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A., & Vasconcelos, V. T. (2008). Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. In G. Barthe & F. S. de Boer (Eds.), Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS’08) (Vol. 5051, pp. 59–77). Springer.
-
Montesi, F., Guidi, C., Lanese, I., & Zavattaro, G. (2008). Dynamic Fault Handling Mechanisms for Service-Oriented Applications. In C. Pahl, S. Clarke, & R. Eshuis (Eds.), ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland (pp. 225–234). IEEE Computer Society.
2007
2006
2004
-
Cruz-Filipe, L., Geuvers, H., & Wiedijk, F. (2004). C-CoRN: the Constructive Coq Repository at Nijmegen. In A. Asperti, G. Bancerek, & A. Trybulec (Eds.), Mathematical Knowledge Management, Third International Conference, MKM 2004 (Vol. 3119, pp. 88–103). Springer.
2003
Technical Reports
-
Brengos, T., & Peressotti, M. (2019). Two modes of recognition: algebra, coalgebra, and languages. CoRR, abs/1906.05573.Supporting Grants: DFF-7014-00041
-
Gabbrielli, M., Giallorenzo, S., & Montesi, F. (2015). Applied Choreographies. CoRR, abs/1510.03637.Supporting Grants: CRC
Export this view as BibTex: