Publications

All papers or CL only?:

Filter by keyword:

Filter by author:

Filter by publication type:

Export this view as BibTex:
Preprints of Accepted Papers
  • Codish, M., Cruz-Filipe, L., Ehlers, T., Müller, M., & Schneider-Kamp, P. Sorting networks: to the end and back again. Journal of Computer and System Sciences.
  • Cruz-Filipe, L., Gaspar, G., Nunes, I., & Schneider-Kamp, P. Active Integrity Constraints for General-Purpose Knowledge Bases. Annals of Mathematics and Artificial Intelligence.
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
  • Cruz-Filipe Luı́s, & Montesi, F. (2020). A core model for choreographic programming. Theor. Comput. Sci., 802, 38–66.
  • Alessio, C., 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
  • Safina, L. (2020). Formal methods and patterns for microservices [PhD thesis]. University of Southern Denmark.
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
  • Bogaerts, B., & Cruz-Filipe, L. (2018). Fixpoint Semantics for Active Integrity Constraints. Artificial Intelligence, 255, 43–70.
  • Callegati, F., Giallorenzo, S., Melis, A., & Prandini, M. (2018). Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective. Computers & Security, 74, 277–295.
  • 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
  • Carbone, M., Montesi, F., & Schürmann, C. (2018). Choreographies, logically. Distributed Computing, 31(1), 51–67.
  • 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.
  • Bundala, D., Codish, M., Cruz-Filipe, L., Schneider-Kamp, P., & Závodný, J. (2017). Optimal-Depth Sorting Networks. Journal of Computer and System Sciences, 84, 185–204.
  • Codish, M., Cruz-Filipe, L., Nebel, M., & Schneider-Kamp, P. (2017). Optimizing Sorting Algorithms by Using Sorting Networks. Formal Aspects of Computing, 29, 559–579.
  • Callegati, F., Gabbrielli, M., Giallorenzo, S., Melis, A., & Prandini, M. (2017). Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators. ITSC2017-20th International Conference on Intelligent Transportation.
  • Callegati, F., Giallorenzo, S., Melis, A., & Prandini, M. (2017). Insider Threats in Emerging Mobility-as-a-Service Scenarios. 50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017.
  • Cruz-Filipe, L., Heule, M., Hunt Jr., W., Kaufmann, M., & Schneider-Kamp, P. (2017). Efficient Certified RAT Verification. In L. de Moura (Ed.), CADE 2017 (Vol. 10395, pp. 220–236). Springer.
  • Cruz-Filipe, L., Gaspar, G., & Nunes, I. (2017). From description-logic programs to multi-context systems. Journal of Logical and Algebraic Methods in Programming, 88, 26–44.
  • Cruz-Filipe, L., Larsen, K. S., & Montesi, F. (2017). The Paths to Choreography Extraction. In J. Esparza & A. S. Murawski (Eds.), FoSSaCS (Vol. 10203, pp. 424–440). Springer.
  • 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., Larsen, K. S., & Schneider-Kamp, P. (2017). Formally Proving Size Optimality of Sorting Networks. Journal of Automated Reasoning, 59(4), 425–454.
  • Cruz-Filipe, L., & Montesi, F. (2017). A Core Model for Choreographic Programming. In O. Kouchnarenko & R. Khosravi (Eds.), FACS (Vol. 10231, pp. 17–35). Springer.
  • Cruz-Filipe, L., & Montesi, F. (2017). Encoding Asynchrony in Choreographies. In D. Shin & M. Lencastre (Eds.), Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 (pp. 1175–1177).
  • 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.
  • Cruz-Filipe, L., & Montesi, F. (2017). On Asynchrony and Choreographies. In M. Bartoletti, L. Bocchi, L. Henrio, & S. Knight (Eds.), Proceedings 10th Interaction and Concurrency Experience (Vol. 261, pp. 76–90). Open Publishing Association.
  • Cruz-Filipe Luı́s, Marques-Silva, J., & Schneider-Kamp, P. (2017). Efficient Certified Resolution Proof Checking. In A. Legay & T. Margaria (Eds.), TACAS (Vol. 10205, pp. 118–135). Springer.
  • Carbone, M., Montesi, F., Schürmann, C., & Yoshida, N. (2017). Multiparty session types as coherence proofs. Acta Inf., 54(3), 243–269.
  • Cruz-Filipe, L., & Schneider-Kamp, P. (2017). Formally Proving the Boolean Triples Conjecture. In T. Eiter & D. Sands (Eds.), Proceedings of LPAR-21 (Vol. 46, pp. 509–522). EasyChair Publications.
  • Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R., & Safina, L. (2017). Microservices: yesterday, today, and tomorrow. In Present and Ulterior Software Engineering (pp. 195–216). Springer.
  • Giallorenzo, S., Lanese, I., Mauro, J., & Gabbrielli, M. (2017). Programming Adaptive Microservice Applications: An AIOCJ Tutorial. In S. Gay & A. Ravara (Eds.), Behavioural Types: from Theory to Tools (pp. 147–167). River Publishers.
  • Guidi, C., Lanese, I., Mazzara, M., & Montesi, F. (2017). Microservices: A Language-Based Approach. In Present and Ulterior Software Engineering (pp. 217–225). Springer.
  • Montesi, F. (2017). Classical Higher-Order Processes - (Short Paper). FORTE, 10321, 171–178.
  • 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.
  • Montesi, F., & Thrane, D. S. (2017). Packaging Microservices - (Work in Progress). DAIS, 10320, 131–137.
  • Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I., & Mauro, J. (2017). Dynamic Choreographies: Theory And Implementation. Logical Methods in Computer Science, 13(2).
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.
  • Codish, M., Cruz-Filipe, L., Frank, M., & Schneider-Kamp, P. (2016). Sorting nine inputs requires twenty-five comparisons. Journal of Computer and System Sciences, 82(3), 551–563.
  • 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.
  • Safina, L., Mazzara, M., Montesi, F., & Rivera Vı́ctor. (2016). Data-Driven Workflows for Microservices: Genericity in Jolie. AINA, 430–437.
  • Carbone, M., Lindley, S., Montesi, F., Schürmann, C., & Wadler, P. (2016). Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR, 59, 33:1–33:15.
  • 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.
  • Montesi, F. (2016). Process-aware web programming with Jolie. Sci. Comput. Program., 130, 69–96.
  • De Nart, D., Degl’Innocenti, D., & Peressotti, M. (2016). Well-Stratified Linked Data for Well-Behaved Data Citation. TCDL Bulletin, 12(1).
  • 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).
  • Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J., & Montesi, F. (2016). Self-Reconfiguring Microservices. Theory and Practice of Formal Methods - Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday, 194–210.
  • Miculan, M., & Peressotti, M. (2016). Structural operational semantics for non-deterministic processes with quantitative aspects. Theor. Comput. Sci., 655, 135–154.
  • 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
  • Brengos, T., Miculan, M., & Peressotti, M. (2015). Behavioural equivalences for coalgebras with unobservable moves. J. Log. Algebr. Meth. Program., 84(6), 826–852.
  • 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., & Ferreira, F. (2015). The Finitistic Consistency of Heck’s Predicative Fregean System. Notre-Dame Journal of Formal Logic, 56(1), 61–79.
  • 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.
  • Bravetti, M., Lluch-Lafuente, A., Mazzara, M., & Montesi, F. (2015). Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur., 5(1), 1–2.
  • Lanese, I., Mazzara, M., & Montesi, F. (2015). Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program., 97, 181–182.
  • 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). Developing correct, distributed, adaptive software. Sci. Comput. Program., 97, 41–46.
  • 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.
  • Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A., & Vasconcelos, V. T. (2014). The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming. Formal Aspects of Computing, 26, 865–918.
  • Montesi, F., Guidi, C., & Zavattaro, G. (2014). Service-Oriented Programming with Jolie. In A. Bouguettaya, Q. Z. Sheng, & F. Daniel (Eds.), Web Services Foundations (pp. 81–107). 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). Distributed execution of bigraphical reactive systems. ECEASST, 71.
  • 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.
  • Montesi, F. (2013). Process-aware web programming with Jolie. In S. Y. Shin & J. C. Maldonado (Eds.), Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13, Coimbra, Portugal, March 18-22, 2013 (pp. 761–763). 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).
  • Montesi, F. (2013). Choreographic Programming [Ph.D. Thesis]. IT University of Copenhagen.
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.
  • Guidi, C., Lanese, I., Montesi, F., & Zavattaro, G. (2009). Dynamic Error Handling in Service Oriented Applications. Fundam. Inform., 95(1), 73–102.
2008
  • Cruz-Filipe, L., Rasga, J., Sernadas Amı́lcar, & Sernadas, C. (2008). Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. Journal of Logic and Computation, 18(6), 885–911.
  • 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.
  • Cruz-Filipe, L., Sernadas Amı́lcar, & Sernadas, C. (2008). Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems. Logic Journal of the IGPL, 16(2), 121–153.
  • Guidi, C., Lanese, I., Montesi, F., & Zavattaro, G. (2008). On the interplay between fault handling and request-response service invocations. ACSD, 190–198.
  • 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.
  • Lanese, I., Guidi, C., Montesi, F., & Zavattaro, G. (2008). Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM, 323–332.
2007
  • Chadha, R., Cruz-Filipe, L., Mateus, P., & Sernadas Amı́lcar. (2007). Reasoning about Probabilistic Sequential Programs. Theoretical Computer Science, 379(1–2), 142–165.
  • Montesi, F., Guidi, C., & Zavattaro, G. (2007). Composing Services with JOLIE. ECOWS, 13–22.
  • Montesi, F., Guidi, C., Lucchi, R., & Zavattaro, G. (2007). JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci., 181, 19–33.
2006
  • Cruz-Filipe, L., & Letouzey, P. (2006). A Large-Scale Experiment in Executing Extracted Programs. Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), 151(1), 75–91.
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.
  • Cruz-Filipe, L., & Wiedijk, F. (2004). Hierarchical Reflection. In K. Slind, A. Bunker, & G. Gopalakrishnan (Eds.), Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004 (Vol. 3223, pp. 66–81). Springer.
2003
  • Cruz-Filipe, L. (2003). A Constructive Formalization of the Fundamental Theorem of Calculus. In H. Geuvers & F. Wiedijk (Eds.), Types for Proofs and Programs (Vol. 2646, pp. 108–126). Springer.
  • Cruz-Filipe, L., & Spitters, B. (2003). Program Extraction from Large Proof Developments. In D. A. Basin & B. Wolff (Eds.), Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003 (Vol. 2758, pp. 205–220). Springer.
Technical Reports
  • Arbab, F., Cruz-Filipe, L., Jongmans, S.-S., & Montesi, F. Connectors Meet Choreographies.
  • Brengos, T., & Peressotti, M. (2019). Two modes of recognition: algebra, coalgebra, and languages. CoRR, abs/1906.05573.
    Supporting Grants: DFF-7014-00041
  • Carbone, M., Cruz-Filipe, L., Montesi, F., & Murawska, A. Multiparty Classical Choreographies.
  • Cruz-Filipe, L., & Montesi, F. A Core Model for Choreographic Programming.
  • Cruz-Filipe, L., & Montesi, F. Procedural Choreographic Programming.
  • Cruz-Filipe, L., & Montesi, F. On Asynchrony and Choreographies.
  • Gabbrielli, M., Giallorenzo, S., & Montesi, F. (2015). Applied Choreographies. CoRR, abs/1510.03637.
    Supporting Grants: CRC
  • Montesi, F., & Peressotti, M. (2017). Choreographies meet Communication Failures. CoRR, abs/1712.05465.
  • Montesi, F., & Peressotti, M. (2018). Classical Transitions. CoRR, abs/1803.01049.
Export this view as BibTex: