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
  • Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, & Peter Schneider-Kamp. Sorting networks: to the end and back again. Journal of Computer and System Sciences.
  • Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, & Peter Schneider-Kamp. Active Integrity Constraints for General-Purpose Knowledge Bases. Annals of Mathematics and Artificial Intelligence.
2018
  • Bart Bogaerts, & Luís Cruz-Filipe. (2018). Fixpoint Semantics for Active Integrity Constraints. Artificial Intelligence, 255, 43–70.
  • Franco Callegati, Saverio Giallorenzo, Andrea Melis, & Marco Prandini. (2018). Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective. Computers & Security, 74, 277–295.
  • Luís Cruz-Filipe, Fabrizio Montesi, & Marco Peressotti. (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.
  • Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, & Stefano Pio Zingaro. (2018). A Language-based Approach for Interoperability of IoT Platforms. In 51st Hawaii International Conference on System Sciences, HICSS 2018, Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018. AIS Electronic Library (AISeL).
  • Saverio Giallorenzo, Ivan Lanese, & Daniel Russo. (2018). ChIP: A Choreographic Integration Process. In 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 (pp. 22–40). Springer.
  • Fabrizio Montesi, & Janine Weber. (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.
  • Marco Carbone, Fabrizio Montesi, & Carsten Schürmann. (2018). Choreographies, logically. Distributed Computing, 31(1), 51–67.
  • Saverio Giallorenzo, Fabrizio Montesi, & Maurizio Gabbrielli. (2018). Applied Choreographies. In 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 (pp. 21–40). Springer.
2017
  • Bart Bogaerts, & Luís Cruz-Filipe. (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.
  • Daniel Bundala, Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp, & Jakub Závodný. (2017). Optimal-Depth Sorting Networks. Journal of Computer and System Sciences, 84, 185–204.
  • Michael Codish, Luís Cruz-Filipe, Markus Nebel, & Peter Schneider-Kamp. (2017). Optimizing Sorting Algorithms by Using Sorting Networks. Formal Aspects of Computing, 29, 559–579.
  • Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, & Marco Prandini. (2017). Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators. In ITSC2017-20th International Conference on Intelligent Transportation.
  • Franco Callegati, Saverio Giallorenzo, Andrea Melis, & Marco Prandini. (2017). Insider Threats in Emerging Mobility-as-a-Service Scenarios. In 50th Hawaii International Conference on System Sciences, HICSS 2017, Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017. AIS Electronic Library (AISeL).
  • Luís Cruz-Filipe, Marijn Heule, Warren Hunt Jr., Matt Kaufmann, & Peter Schneider-Kamp. (2017). Efficient Certified RAT Verification. In L. de Moura (Ed.), CADE 2017 (Vol. 10395, pp. 220–236). Springer.
  • Luís Cruz-Filipe, Graça Gaspar, & Isabel Nunes. (2017). From description-logic programs to multi-context systems. Journal of Logical and Algebraic Methods in Programming, 88, 26–44.
  • Luís Cruz-Filipe, Kim S. Larsen, & Fabrizio Montesi. (2017). The Paths to Choreography Extraction. In J. Esparza & A. S. Murawski (Eds.), FoSSaCS (Vol. 10203, pp. 424–440). Springer.
  • Luís Cruz-Filipe, Kim S. Larsen, & Peter Schneider-Kamp. (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.
  • Luís Cruz-Filipe, Kim S. Larsen, & Peter Schneider-Kamp. (2017). Formally Proving Size Optimality of Sorting Networks. Journal of Automated Reasoning, 59(4), 425–454.
  • Luís Cruz-Filipe, & Fabrizio Montesi. (2017). A Core Model for Choreographic Programming. In O. Kouchnarenko & R. Khosravi (Eds.), FACS (Vol. 10231, pp. 17–35). Springer.
  • Luís Cruz-Filipe, & Fabrizio Montesi. (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).
  • Luís Cruz-Filipe, & Fabrizio Montesi. (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, & Fabrizio Montesi. (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.
  • Luís Cruz-Filipe, & Fabrizio Montesi. (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, Joao Marques-Silva, & Peter Schneider-Kamp. (2017). Efficient Certified Resolution Proof Checking. In A. Legay & T. Margaria (Eds.), TACAS (Vol. 10205, pp. 118–135). Springer.
  • Marco Carbone, Fabrizio Montesi, Carsten Schürmann, & Nobuko Yoshida. (2017). Multiparty session types as coherence proofs. Acta Inf., 54(3), 243–269.
  • Luís Cruz-Filipe, & Peter Schneider-Kamp. (2017). Formally Proving the Boolean Triples Conjecture. In T. Eiter & D. Sands (Eds.), Proceedings of LPAR-21 (Vol. 46, pp. 509–522). EasyChair Publications.
  • Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, & Larisa Safina. (2017). Microservices: yesterday, today, and tomorrow. In Present and Ulterior Software Engineering (pp. 195–216). Springer.
  • Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, & Maurizio Gabbrielli. (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.
  • Claudio Guidi, Ivan Lanese, Manuel Mazzara, & Fabrizio Montesi. (2017). Microservices: A Language-Based Approach. In Present and Ulterior Software Engineering (pp. 217–225). Springer.
  • Fabrizio Montesi. (2017). Classical Higher-Order Processes - (Short Paper). In FORTE (Vol. 10321, pp. 171–178). Springer.
  • Alessio Mansutti, Marino Miculan, & Marco Peressotti. (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.
  • Marino Miculan, & Marco Peressotti. (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.
  • Fabrizio Montesi, & Dan Sebastian Thrane. (2017). Packaging Microservices - (Work in Progress). In DAIS (Vol. 10320, pp. 131–137). Springer.
  • Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, & Jacopo Mauro. (2017). Dynamic Choreographies: Theory And Implementation. Logical Methods in Computer Science, 13(2).
2016
  • Tomasz Brengos, & Marco Peressotti. (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.
  • Luís Cruz-Filipe. (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.
  • Michael Codish, Luís Cruz-Filipe, Michael Frank, & Peter Schneider-Kamp. (2016). Sorting nine inputs requires twenty-five comparisons. Journal of Computer and System Sciences, 82(3), 551–563.
  • Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, & Peter Schneider-Kamp. (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 (pp. 399–420). Springer.
  • Franco Callegati, Saverio Giallorenzo, Andrea Melis, & Marco Prandini. (2016). Data security issues in MaaS-enabling platforms. In IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, RTSI 2016, Bologna, Italy, September 7-9, 2016 (pp. 1–5). IEEE.
  • Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, & Peter Schneider-Kamp. (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.
  • Luís Cruz-Filipe, & Fabrizio Montesi. (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.
  • Luís Cruz-Filipe, Isabel Nunes, & Peter Schneider-Kamp. (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.
  • Larisa Safina, Manuel Mazzara, Fabrizio Montesi, & Rivera Vı́ctor. (2016). Data-Driven Workflows for Microservices: Genericity in Jolie. In AINA (pp. 430–437). IEEE Computer Society.
  • Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, & Philip Wadler. (2016). Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. In CONCUR (Vol. 59, pp. 33:1–33:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
  • Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, … Nobuko Yoshida. (2016). Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 3(2-3), 95–230.
  • Fabrizio Montesi. (2016). Process-aware web programming with Jolie. Sci. Comput. Program., 130, 69–96.
  • Dario De Nart, Dante Degl’Innocenti, & Marco Peressotti. (2016). Well-Stratified Linked Data for Well-Behaved Data Citation. TCDL Bulletin, 12(1).
  • Dario De Nart, Dante Degl’Innocenti, Marco Peressotti, & Carlo Tasso. (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).
  • Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, & Fabrizio Montesi. (2016). Self-Reconfiguring Microservices. In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (pp. 194–210). Springer.
  • Marino Miculan, & Marco Peressotti. (2016). Structural operational semantics for non-deterministic processes with quantitative aspects. Theor. Comput. Sci., 655, 135–154.
  • Marino Miculan, & Marco Peressotti. (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
  • Tomasz Brengos, Marino Miculan, & Marco Peressotti. (2015). Behavioural equivalences for coalgebras with unobservable moves. J. Log. Algebr. Meth. Program., 84(6), 826–852.
  • Michael Codish, Luís Cruz-Filipe, Markus Nebel, & Peter Schneider-Kamp. (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.
  • Michael Codish, Luís Cruz-Filipe, & Peter Schneider-Kamp. (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.
  • Luís Cruz-Filipe, & Fernando Ferreira. (2015). The Finitistic Consistency of Heck’s Predicative Fregean System. Notre-Dame Journal of Formal Logic, 56(1), 61–79.
  • Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, & Peter Schneider-Kamp. (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.
  • Luís Cruz-Filipe, Graça Gaspar, & Isabel Nunes. (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.
  • Luís Cruz-Filipe, & Peter Schneider-Kamp. (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.
  • Luís Cruz-Filipe, & Peter Schneider-Kamp. (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.
  • Marco Carbone, Fabrizio Montesi, Carsten Schürmann, & Nobuko Yoshida. (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.
  • Fabrizio Montesi. (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.
  • Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, & Fabrizio Montesi. (2015). Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur., 5(1), 1–2.
  • Ivan Lanese, Manuel Mazzara, & Fabrizio Montesi. (2015). Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program., 97, 181–182.
  • Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (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.
  • Marino Miculan, Marco Peressotti, & Andrea Toneguzzo. (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.
  • Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, & Jacopo Mauro. (2015). Developing correct, distributed, adaptive software. Sci. Comput. Program., 97, 41–46.
  • Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, & Jacopo Mauro. (2015). Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. In 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 (pp. 67–82). Springer.
2014
  • Luís Cruz-Filipe. (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.
  • Michael Codish, Luís Cruz-Filipe, Michael Frank, & Peter Schneider-Kamp. (2014). Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten). In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10–12, 2014 (pp. 186–193). IEEE.
  • Michael Codish, Luís Cruz-Filipe, & Peter Schneider-Kamp. (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.
  • Luís Cruz-Filipe, Graça Gaspar, & Isabel Nunes. (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.
  • Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, & Vasco T. Vasconcelos. (2014). The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming. Formal Aspects of Computing, 26, 865–918.
  • Fabrizio Montesi, Claudio Guidi, & Gianluigi Zavattaro. (2014). Service-Oriented Programming with Jolie. In A. Bouguettaya, Q. Z. Sheng, & F. Daniel (Eds.), Web Services Foundations (pp. 81–107). Springer.
  • Marco Carbone, Fabrizio Montesi, & Carsten Schürmann. (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.
  • Marco Carbone, Ornela Dardha, & Fabrizio Montesi. (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.
  • Maurizio Gabbrielli, Saverio Giallorenzo, & Fabrizio Montesi. (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.
  • Alessio Mansutti, Marino Miculan, & Marco Peressotti. (2014). Distributed execution of bigraphical reactive systems. ECEASST, 71.
  • Alessio Mansutti, Marino Miculan, & Marco Peressotti. (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.
  • Marino Miculan, & Marco Peressotti. (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).
  • Marino Miculan, & Marco Peressotti. (2014). A CSP implementation of the bigraph embedding problem. In First International Workshop on Meta Models for Process Languages (Vol. abs/1412.1042).
  • Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, & Maurizio Gabbrielli. (2014). AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. In Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings (pp. 161–170). Springer.
2013
  • Luís Cruz-Filipe, Engrácia Patrı́cia, Graça Gaspar, & Isabel Nunes. (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.
  • Luís Cruz-Filipe, Rita Henriques, & Isabel Nunes. (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.
  • Luís Cruz-Filipe, Isabel Nunes, & Graça Gaspar. (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.
  • Fabrizio Montesi, & Nobuko Yoshida. (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.
  • Marco Carbone, & Fabrizio Montesi. (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.
  • Fabrizio Montesi. (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.
  • Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (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).
  • Fabrizio Montesi. (2013). Choreographic Programming (Ph.D. Thesis). IT University of Copenhagen.
2012
  • Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, & Fabrizio Montesi. (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.
  • Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, & Fabrizio Montesi. (2012). Service integration via target-transparent mediation. In 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012 (pp. 1–5). IEEE Computer Society.
  • Marco Carbone, & Fabrizio Montesi. (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
  • Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, & Fabrizio Montesi. (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.
  • Fabrizio Montesi, & Marco Carbone. (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
  • Ivan Lanese, & Fabrizio Montesi. (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.
  • Ivan Lanese, Antonio Bucchiarone, & Fabrizio Montesi. (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.
  • Fabrizio Montesi, & Davide Sangiorgi. (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
  • Fabrizio Montesi, Claudio Guidi, Ivan Lanese, & Gianluigi Zavattaro. (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.
  • Claudio Guidi, Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (2009). Dynamic Error Handling in Service Oriented Applications. Fundam. Inform., 95(1), 73–102.
2008
  • Luís Cruz-Filipe, João Rasga, Sernadas Amı́lcar, & Cristina Sernadas. (2008). Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. Journal of Logic and Computation, 18(6), 885–911.
  • Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, & Vasco T. Vasconcelos. (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.
  • Luís Cruz-Filipe, Sernadas Amı́lcar, & Cristina Sernadas. (2008). Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems. Logic Journal of the IGPL, 16(2), 121–153.
  • Claudio Guidi, Ivan Lanese, Fabrizio Montesi, & Gianluigi Zavattaro. (2008). On the interplay between fault handling and request-response service invocations. In ACSD (pp. 190–198). IEEE.
  • Fabrizio Montesi, Claudio Guidi, Ivan Lanese, & Gianluigi Zavattaro. (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.
  • Ivan Lanese, Claudio Guidi, Fabrizio Montesi, & Gianluigi Zavattaro. (2008). Bridging the Gap between Interaction- and Process-Oriented Choreographies. In SEFM (pp. 323–332). IEEE Computer Society.
2007
  • Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, & Sernadas Amı́lcar. (2007). Reasoning about Probabilistic Sequential Programs. Theoretical Computer Science, 379(1–2), 142–165.
  • Fabrizio Montesi, Claudio Guidi, & Gianluigi Zavattaro. (2007). Composing Services with JOLIE. In ECOWS (pp. 13–22). IEEE Computer Society.
  • Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, & Gianluigi Zavattaro. (2007). JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci., 181, 19–33.
2006
  • Luís Cruz-Filipe, & Pierre Letouzey. (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
  • Luís Cruz-Filipe, Herman Geuvers, & Freek Wiedijk. (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.
  • Luís Cruz-Filipe, & Freek Wiedijk. (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
  • Luís Cruz-Filipe. (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.
  • Luís Cruz-Filipe, & Bas Spitters. (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
  • Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, & Fabrizio Montesi. Connectors Meet Choreographies.
  • Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, & Agata Murawska. Multiparty Classical Choreographies.
  • Luís Cruz-Filipe, & Fabrizio Montesi. A Core Model for Choreographic Programming.
  • Luís Cruz-Filipe, & Fabrizio Montesi. Procedural Choreographic Programming.
  • Luís Cruz-Filipe, & Fabrizio Montesi. On Asynchrony and Choreographies.
  • Maurizio Gabbrielli, Saverio Giallorenzo, & Fabrizio Montesi. (2015). Applied Choreographies. CoRR, abs/1510.03637.
    Supporting Grants: CRC
  • Fabrizio Montesi, & Marco Peressotti. (2017). Choreographies meet Communication Failures. CoRR, abs/1712.05465.
  • Fabrizio Montesi, & Marco Peressotti. (2018). Classical Transitions. CoRR, abs/1803.01049.
Export this view as BibTex: