Publications

@article{CMP22,
  title = {Computing (Optimal) Embeddings of Directed Bigraphs},
  author = {Chiapperini, Alessio and Miculan, Marino and Peressotti, Marco},
  journal = {Science of Computer Programming},
  volume = {221},
  pages = {102842},
  year = {2022},
  issn = {0167-6423},
  doi = {10.1016/j.scico.2022.102842},
  url = {https://www.sciencedirect.com/science/article/pii/S0167642322000752},
  keywords = {Graph Rewriting Systems, Bigraphs, Weighted Bigraphs, Integer Linear Programming}
}

@inproceedings{GMPR22,
  author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Rademacher, Florian},
  editor = {ter Beek, Maurice H. and Sirjani, Marjan},
  title = {Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs},
  booktitle = {Coordination Models and Languages},
  year = {2022},
  series = {Lecture Notes in Computer Science},
  volume = {13271},
  pages = {223--240},
  publisher = {Springer},
  isbn = {978-3-031-08143-9},
  url = {https://doi.org/10.1007/978-3-031-08143-9\_13},
  doi = {10.1007/978-3-031-08143-9\_13}
}

@article{BC21,
  author = {Bogaerts, Bart and Cruz{-}Filipe, Luís},
  title = {Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints},
  journal = {{ACM} Transactions on Computational Logic},
  volume = {22},
  number = {1},
  pages = {6:1--6:19},
  year = {2021}
}

@inproceedings{CMP21a,
  author = {Cruz{-}Filipe, Luís and Montesi, Fabrizio and Peressotti, Marco},
  editor = {Cohen, Liron and Kaliszyk, Cezary},
  title = {Formalising a Turing-Complete Choreographic Language in Coq},
  booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}  2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
  series = {LIPIcs},
  volume = {193},
  pages = {15:1--15:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  year = {2021},
  url = {https://doi.org/10.4230/LIPIcs.ITP.2021.15},
  doi = {10.4230/LIPIcs.ITP.2021.15}
}

@article{CMP21b,
  author = {Cruz{-}Filipe, Lu{\'{\i}}s and Montesi, Fabrizio and Peressotti, Marco},
  editor = {Cerone, Antonio and {\"{O}}lveczky, Peter Csaba},
  title = {Certifying Choreography Compilation},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {12819},
  pages = {115--133},
  publisher = {Springer},
  year = {2021},
  url = {https://doi.org/10.1007/978-3-030-85315-0\_8},
  doi = {10.1007/978-3-030-85315-0\_8}
}

@inproceedings{GMPRS21,
  author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Rademacher, Florian and Sachweh, Sabine},
  editor = {Damiani, Ferruccio and Dardha, Ornela},
  title = {Jolie and {LEMMA:} Model-Driven Engineering and Programming Languages  Meet on Microservices},
  booktitle = {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},
  series = {Lecture Notes in Computer Science},
  volume = {12717},
  pages = {276--284},
  publisher = {Springer},
  year = {2021},
  url = {https://doi.org/10.1007/978-3-030-78142-2_17},
  doi = {10.1007/978-3-030-78142-2_17}
}

@inproceedings{GMPRSW21,
  author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Richter, David and Salvaneschi, Guido and Weisenburger, Pascal},
  editor = {Møller, Anders and Sridharan, Manu},
  title = {Multiparty Languages: The Choreographic and Multitier Cases (Pearl)},
  booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,  July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
  series = {LIPIcs},
  volume = {194},
  pages = {22:1--22:27},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  year = {2021},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.22},
  doi = {10.4230/LIPIcs.ECOOP.2021.22}
}

@inproceedings{MPP21,
  author = {Montesi, Fabrizio and Peressotti, Marco and Picotti, Valentino},
  editor = {Carminati, Barbara and Chang, Carl K. and Daminai, Ernesto and Deng, Shuigung and Tan, Wei and Wang, Zhongjie and Ward, Robert and Zhang, Jia},
  title = {Sliceable Monolith: Monolith First, Microservices Later},
  booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2021, Chicago, IL, USA, September 5-10, 2021},
  pages = {364--366},
  publisher = {{IEEE}},
  year = {2021},
  url = {https://doi.org/10.1109/SCC53864.2021.00050},
  doi = {10.1109/SCC53864.2021.00050}
}

@inproceedings{AHMNP19,
  title = {{A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework}},
  author = {Andersen, Jakob Lykke and Hellmuth, Marc and Merkle, Daniel and N{\o}jgaard, Nikolai and Peressotti, Marco},
  booktitle = {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},
  editor = {Manolopoulos, Yannis and Papadopoulos, George A. and Tzouramanis, Theodoros},
  series = {{CEUR} Workshop Proceedings},
  volume = {2568},
  pages = {121--132},
  publisher = {CEUR-WS.org},
  year = {2020},
  url = {http://ceur-ws.org/Vol-2568/paper11.pdf}
}

@incollection{BGMTZ20,
  author = {Bravetti, Mario and Giallorenzo, Saverio and Mauro, Jacopo and Talevi, Iacopo and Zavattaro, Gianluigi},
  editor = {Bucchiarone, Antonio and Dragoni, Nicola and Dustdar, Schahram and Lago, Patricia and Mazzara, Manuel and Rivera, Victor and Sadovykh, Andrey},
  title = {A Formal Approach to Microservice Architecture Deployment},
  booktitle = {Microservices, Science and Engineering},
  pages = {183--208},
  publisher = {Springer},
  year = {2020},
  url = {https://doi.org/10.1007/978-3-030-31646-4\_8},
  doi = {10.1007/978-3-030-31646-4\_8}
}

@inproceedings{BMP20,
  title = {{Towards a Formal Model for Composable Container Systems}},
  author = {Burco, Fabio and Miculan, Marino and Peressotti, Marco},
  booktitle = {Proceedings of the 35rd Annual {ACM} Symposium on Applied Computing, {SAC} 2020, Brno, Czech Republic, March 29-April 03, 2020},
  pages = {173--175},
  publisher = {{ACM}},
  year = {2020},
  url = {https://doi.org/10.1145/3341105.3374121},
  doi = {10.1145/3341105.3374121}
}

@article{CM20,
  author = {Cruz{-}Filipe, Lu{\'{\i}}s and Montesi, Fabrizio},
  title = {A core model for choreographic programming},
  journal = {Theoretical Computer Science},
  volume = {802},
  pages = {38--66},
  year = {2020},
  url = {https://doi.org/10.1016/j.tcs.2019.07.005},
  doi = {10.1016/j.tcs.2019.07.005}
}

@inproceedings{CMP20,
  title = {{Computing Embeddings of Directed Bigraphs}},
  author = {Chiapperini, Alessio and Miculan, Marino and Peressotti, Marco},
  booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {12150},
  pages = {38--56},
  publisher = {Springer},
  year = {2020},
  url = https://doi.org/10.1007/978-3-030-51372-6_3
}

@inproceedings{CNG20,
  author = {Cruz{-}Filipe, Luís and Nunes, Isabel and Gaspar, Graça},
  title = {Hypothetical Answers to Continuous Queries over Data Streams},
  booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020},
  pages = {2798--2805},
  publisher = {{AAAI} Press},
  year = {2020}
}

@inproceedings{DBLP:conf/birthday/GiallorenzoLMSZ20,
  author = {Giallorenzo, Saverio and Lanese, Ivan and Montesi, Fabrizio and Sangiorgi, Davide and Zingaro, Stefano Pio},
  editor = {de Boer, Frank S. and Mauro, Jacopo},
  title = {The Servers of Serverless Computing: {A} Formal Revisitation of Functions  as a Service},
  booktitle = {Recent Developments in the Design and Implementation of Programming  Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
  series = {OASIcs},
  volume = {86},
  pages = {5:1--5:21},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  year = {2020},
  url = {https://doi.org/10.4230/OASIcs.Gabbrielli.5},
  doi = {10.4230/OASIcs.Gabbrielli.5},
  biburl = {https://dblp.org/rec/conf/birthday/GiallorenzoLMSZ20.bib}
}

@proceedings{DBLP:conf/microservices/2019,
  author = {Cruz{-}Filipe, Lu{\'{\i}}s and Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Rademacher, Florian and Sachweh, Sabine},
  title = {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},
  series = {OASIcs},
  volume = {78},
  year = {2020},
  url = {https://www.dagstuhl.de/dagpub/978-3-95977-137-5}
}

@inproceedings{MP20,
  author = {Miculan, Marino and Peressotti, Marco},
  editor = {Cordasco, Gennaro and Gargano, Luisa and Rescigno, Adele A.},
  title = {Software Transactional Memory with Interactions},
  booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020},
  series = {{CEUR} Workshop Proceedings},
  volume = {2756},
  pages = {67--80},
  publisher = {CEUR-WS.org},
  year = {2020},
  url = {http://ceur-ws.org/Vol-2756/paper_7.pdf}
}

@phdthesis{S20,
  author = {Safina, Larisa},
  title = {Formal methods and patterns for microservices},
  school = {University of Southern Denmark},
  year = {2020},
  month = jan,
  month_numeric = {1}
}

@inproceedings{BGMTZ19,
  author = {Bravetti, Mario and Giallorenzo, Saverio and Mauro, Jacopo and Talevi, Iacopo and Zavattaro, Gianluigi},
  title = {Optimal and Automated Deployment for Microservices},
  booktitle = {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},
  pages = {351--368},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-16722-6\_21},
  doi = {10.1007/978-3-030-16722-6\_21},
  publisher = {Springer}
}

@article{BP19a,
  author = {Brengos, Tomasz and Peressotti, Marco},
  title = {Behavioural equivalences for timed systems},
  journal = {Logical Methods in Computer Science},
  volume = {15},
  number = {1},
  pages = {17:1--14:41},
  year = {2019},
  url = {https://doi.org/10.23638/LMCS-15(1:17)2019},
  doi = {10.23638/LMCS-15(1:17)2019}
}

@article{CCEMS,
  author = {Codish, Michael and Cruz-Filipe, Luís and Ehlers, Thorsten and Müller, Mike and Schneider-Kamp, Peter},
  title = {Sorting networks: to the end and back again},
  journal = {Journal of Computer and System Sciences},
  volume = {104},
  pages = {184--201},
  year = {2019}
}

@inproceedings{CGGMP19,
  author = {Callegati, Franco and Giallorenzo, Saverio and Gabbrielli, Maurizio and Melis, Andrea and Prandini, Marco},
  title = {Federated Platooning: Insider Threats and Mitigations},
  booktitle = {52nd Hawaii International Conference on System Sciences, {HICSS} 2019,  Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019},
  pages = {1--10},
  year = {2019},
  url = {http://hdl.handle.net/10125/59758},
  timestamp = {Sun, 07 Apr 2019 15:32:03 +0200},
  biburl = {https://dblp.org/rec/bib/conf/hicss/CallegatiGGMP19},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)}
}

@article{CMS19,
  author = {Cruz{-}Filipe, Luís and Marques{-}Silva, João and Schneider{-}Kamp, Peter},
  title = {Formally Verifying the Solution to the Boolean Pythagorean Triples Problem},
  ournal = {J. Automated Reasoning},
  volume = {63},
  number = {3},
  pages = {695--722},
  year = {2019}
}

@inproceedings{GGLM19,
  author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Mauro, Jacopo},
  title = {Guess Who's Coming: Runtime Inclusion of Participants in Choreographies},
  booktitle = {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},
  pages = {118--138},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-31175-9\_8},
  doi = {10.1007/978-3-030-31175-9\_8},
  publisher = {Springer}
}

@inproceedings{GGLMPZ19,
  author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Montesi, Fabrizio and Peressotti, Marco and Zingaro, Stefano Pio},
  editor = {Nielson, Hanne Riis and Tuosto, Emilio},
  title = {No More, No Less - {A} Formal Model for Serverless Computing},
  booktitle = {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},
  series = {Lecture Notes in Computer Science},
  volume = {11533},
  pages = {148--157},
  publisher = {Springer},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-22397-7\_9},
  doi = {10.1007/978-3-030-22397-7\_9}
}

@inproceedings{GMSZ19,
  author = {Giallorenzo, Saverio and Montesi, Fabrizio and Safina, Larisa and Zingaro, Stefano Pio},
  title = {Ephemeral Data Handling in Microservices},
  booktitle = {2019 {IEEE} International Conference on Services Computing, {SCC}  2019, Milan, Italy, July 8-13, 2019},
  pages = {234--236},
  year = {2019},
  url = {https://doi.org/10.1109/SCC.2019.00048},
  doi = {10.1109/SCC.2019.00048},
  timestamp = {Wed, 04 Sep 2019 15:59:14 +0200},
  publisher = {{IEEE}}
}

@article{KMP19a,
  author = {Kokke, Wen and Montesi, Fabrizio and Peressotti, Marco},
  title = {Better Late Than Never: A Fully-abstract Semantics for Classical Processes},
  journal = {Proc. ACM Program. Lang.},
  issue_date = {January 2019},
  volume = {3},
  number = {POPL},
  month = jan,
  year = {2019},
  issn = {2475-1421},
  pages = {24:1--24:29},
  articleno = {24},
  numpages = {29},
  url = {http://doi.acm.org/10.1145/3290337},
  doi = {10.1145/3290337},
  acmid = {3290337},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Behavioural Theory, Curry-Howard correspondence, Deadlock-freedom},
  month_numeric = {1}
}

@inproceedings{LCCCGG19,
  author = {Liu, Tong and Callegati, Franco and Cerroni, Walter and Contoli, Chiara and Gabbrielli, Maurizio and Giallorenzo, Saverio},
  title = {Constraint Programming for Flexible Service Function Chaining Deployment},
  booktitle = {52nd Hawaii International Conference on System Sciences, {HICSS} 2019,  Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019},
  pages = {1--10},
  year = {2019},
  url = {http://hdl.handle.net/10125/59640},
  timestamp = {Sun, 07 Apr 2019 15:32:03 +0200},
  biburl = {https://dblp.org/rec/bib/conf/hicss/LiuCCCGG19},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)}
}

@article{BC18,
  author = {Bogaerts, Bart and Cruz-Filipe, Lu{\'i}s},
  title = {Fixpoint Semantics for Active Integrity Constraints},
  year = {2018},
  journal = {Artificial Intelligence},
  month = feb,
  volume = {255},
  pages = {43--70},
  month_numeric = {2}
}

@inproceedings{CCMM18,
  author = {Carbone, Marco and Cruz{-}Filipe, Luís and Montesi, Fabrizio and Murawska, Agata},
  editor = {Mesnard, Fred and Stuckey, Peter J.},
  title = {Multiparty Classical Choreographies},
  booktitle = {Logic-Based Program Synthesis and Transformation -- 28th International Symposium, {LOPSTR} 2018},
  series = {Lecture Notes in Computer Science},
  volume = {11408},
  pages = {59--76},
  publisher = {Springer},
  year = {2018}
}

@article{CGMP17b,
  title = {Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective},
  journal = {Computers & Security},
  volume = {74},
  pages = {277 - 295},
  year = {2018},
  issn = {0167-4048},
  doi = {https://doi.org/10.1016/j.cose.2017.10.006},
  url = {http://www.sciencedirect.com/science/article/pii/S0167404817302134},
  author = {Callegati, Franco and Giallorenzo, Saverio and Melis, Andrea and Prandini, Marco},
  keywords = {Mobility-as-a-Service, Federated platforms, Insider threat, Cloud-of-Things, Internet-of-Things}
}

@article{CGNS18,
  author = {Cruz{-}Filipe, Luís and Gaspar, Graça and Nunes, Isabel and Schneider{-}Kamp, Peter},
  title = {Active integrity constraints for general-purpose knowledge bases},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {83},
  number = {3--4},
  pages = {213--246},
  year = {2018},
  doi = {10.1007/s10472-018-9577-y}
}

@inproceedings{CMP18,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio and Peressotti, Marco},
  editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
  title = {Communications in choreographies, revisited},
  booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages = {1248--1255},
  publisher = {{ACM}},
  year = {2018},
  url = {http://doi.acm.org/10.1145/3167132.3167267},
  doi = {10.1145/3167132.3167267}
}

@article{CMS18,
  author = {Carbone, Marco and Montesi, Fabrizio and Sch{\"{u}}rmann, Carsten},
  title = {Choreographies, logically},
  journal = {Distributed Computing},
  volume = {31},
  number = {1},
  pages = {51--67},
  year = {2018},
  url = {https://doi.org/10.1007/s00446-017-0295-1},
  doi = {10.1007/s00446-017-0295-1},
  timestamp = {Thu, 25 Jan 2018 11:13:07 +0100},
  biburl = {https://dblp.org/rec/bib/journals/dc/CarboneMS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{GGLZ18,
  author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Zingaro, Stefano Pio},
  title = {A Language-based Approach for Interoperability of IoT Platforms},
  booktitle = {51st Hawaii International Conference on System Sciences, {HICSS} 2018,  Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018},
  year = {2018},
  url = {http://aisel.aisnet.org/hicss-51/st/mobile_app_development/3},
  timestamp = {Wed, 06 Jun 2018 10:44:30 +0200},
  biburl = {https://dblp.org/rec/bib/conf/hicss/GabbrielliGLZ18},
  publisher = {{AIS} Electronic Library (AISeL)},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{GLR18,
  author = {Giallorenzo, Saverio and Lanese, Ivan and Russo, Daniel},
  title = {ChIP: {A} Choreographic Integration Process},
  booktitle = {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}},
  pages = {22--40},
  year = {2018},
  publisher = {Springer},
  url = {https://doi.org/10.1007/978-3-030-02671-4\_2},
  doi = {10.1007/978-3-030-02671-4\_2}
}

@inproceedings{GMG18,
  author = {Giallorenzo, Saverio and Montesi, Fabrizio and Gabbrielli, Maurizio},
  title = {Applied Choreographies},
  booktitle = {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},
  pages = {21--40},
  year = {2018},
  url = {https://doi.org/10.1007/978-3-319-92612-4_2},
  doi = {10.1007/978-3-319-92612-4_2},
  timestamp = {Wed, 30 May 2018 14:24:03 +0200},
  biburl = {https://dblp.org/rec/bib/conf/forte/GiallorenzoMG18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  publisher = {Springer}
}

@inproceedings{KMP18,
  author = {Kokke, Wen and Montesi, Fabrizio and Peressotti, Marco},
  editor = {Ehrhard, Thomas and Fern{\'{a}}ndez, Maribel and de Paiva, Valeria and de Falco, Lorenzo Tortora},
  title = {Taking Linear Logic Apart},
  booktitle = {Proceedings Joint International Workshop on Linearity {\&} Trends  in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,  UK, 7-8 July 2018.},
  series = {{EPTCS}},
  volume = {292},
  pages = {90--103},
  year = {2018},
  url = {https://doi.org/10.4204/EPTCS.292.5},
  doi = {10.4204/EPTCS.292.5}
}

@inproceedings{MW18,
  author = {Montesi, Fabrizio and Weber, Janine},
  editor = {Haddad, Hisham M. and Wainwright, Roger L. and Chbeir, Richard},
  title = {From the decorator pattern to circuit breakers in microservices},
  booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages = {1733--1735},
  publisher = {{ACM}},
  year = {2018},
  url = {http://doi.acm.org/10.1145/3167132.3167427},
  doi = {10.1145/3167132.3167427},
  timestamp = {Wed, 04 Jul 2018 14:28:07 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sac/MontesiW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{RC18,
  author = {Rebola{-}Pardo, Adrian and Cruz{-}Filipe, Luís},
  editor = {Björner, Nikolaj and Gurfinkel, Arie},
  title = {Complete and Efficient {DRAT} Proof Checking},
  booktitle = {Proceedings of Formal Methods in Computer Aided Design, {FMCAD} 2018},
  pages = {1--9},
  publisher = {{IEEE}},
  year = {2018},
  doi = {10.23919/FMCAD.2018.8602993}
}

@inproceedings{icm2018,
  title = {Machine-Assisted Proofs},
  author = {Davenport, James and Poonen, Bjorn and Maynard, James and Helfgott, Harald and Tiep, Pham Huu and Cruz-Filipe, Luís},
  booktitle = {Proceedings of the International Congress of Mathematicians},
  year = {2018},
  url = {https://arxiv.org/abs/1809.08062},
  pages = {1085--1110},
  volume = {1}
}

@inproceedings{BC17,
  author = {Bogaerts, Bart and Cruz-Filipe, Lu{\'i}s},
  title = {Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory},
  year = {2017},
  pages = {866--872},
  editor = {Sierra, Carles},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017},
  publisher = {ijcai.org}
}

@article{BCCSZ17,
  author = {Bundala, Daniel and Codish, Michael and Cruz-Filipe, Lu{\'i}s and Schneider-Kamp, Peter and Z{\'a}vodn{\'y}, Jakub},
  title = {Optimal-Depth Sorting Networks},
  journal = {Journal of Computer and System Sciences},
  year = {2017},
  month = mar,
  pages = {185--204},
  volume = {84},
  doi = {10.1016/j.jcss.2016.09.004},
  month_numeric = {3}
}

@article{CCNS17,
  author = {Codish, Michael and Cruz-Filipe, Lu{\'i}s and Nebel, Markus and Schneider-Kamp, Peter},
  title = {Optimizing Sorting Algorithms by Using Sorting Networks},
  journal = {Formal Aspects of Computing},
  year = {2017},
  month = may,
  pages = {559--579},
  volume = {29},
  doi = {10.1007/s00165-016-0401-3},
  month_numeric = {5}
}

@inproceedings{CGGMP17,
  title = {Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators},
  author = {Callegati, Franco and Gabbrielli, Maurizio and Giallorenzo, Saverio and Melis, Andrea and Prandini, Marco},
  booktitle = {ITSC2017-20th International Conference on Intelligent Transportation},
  year = {2017}
}

@inproceedings{CGMP17a,
  author = {Callegati, Franco and Giallorenzo, Saverio and Melis, Andrea and Prandini, Marco},
  title = {Insider Threats in Emerging Mobility-as-a-Service Scenarios},
  booktitle = {50th Hawaii International Conference on System Sciences, {HICSS} 2017,  Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
  year = {2017},
  crossref = {DBLP:conf/hicss/2017},
  url = {http://aisel.aisnet.org/hicss-50/eg/insider_threat/4},
  timestamp = {Thu, 18 May 2017 12:28:39 +0200},
  biburl = {https://dblp.org/rec/bib/conf/hicss/MelisPGC17},
  publisher = {{AIS} Electronic Library (AISeL)},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CHHKS17,
  author = {Cruz-Filipe, Lu{\'i}s and Heule, Marijn and Hunt Jr., Warren and Kaufmann, Matt and Schneider-Kamp, Peter},
  title = {Efficient Certified {RAT} Verification},
  year = {2017},
  booktitle = {CADE 2017},
  editor = {de Moura, Leonardo},
  doi = {10.1007/978-3-319-63046-5\_14},
  publisher = {Springer},
  series = {LNAI},
  volume = {10395},
  pages = {220--236}
}

@article{CHN17,
  author = {Cruz-Filipe, Lu{\'i}s and Gaspar, Graça and Nunes, Isabel},
  title = {From description-logic programs to multi-context systems},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  year = {2017},
  month = apr,
  volume = {88},
  pages = {26--44},
  doi = {10.1016/j.jlamp.2017.01.005},
  month_numeric = {4}
}

@inproceedings{CLM17,
  author = {Cruz{-}Filipe, Lu{\'i}s and Larsen, Kim S. and Montesi, Fabrizio},
  title = {The Paths to Choreography Extraction},
  editor = {Esparza, Javier and Murawski, Andrzej S.},
  series = {LNCS},
  booktitle = {FoSSaCS},
  volume = {10203},
  publisher = {Springer},
  year = {2017},
  pages = {424--440},
  doi = {10.1007/978-3-662-54458-7\_25}
}

@inproceedings{CLS17a,
  author = {Cruz-Filipe, Lu{\'i}s and Larsen, Kim S. and Schneider-Kamp, Peter},
  booktitle = {Interactive Theorem Proving -- 8th International Conference, {ITP} 2017, Bras{\'\i}lia, Brazil, September 26-29, 2017, Proceedings},
  editor = {Ayala-Rincon, Mauricio and Mu{\~n}oz, Cesar},
  publisher = {Springer},
  series = {LNCS},
  volume = {10499},
  pages = {164--170},
  title = {How to Get More Out of Your Oracles},
  year = {2017}
}

@article{CLS17b,
  author = {Cruz{-}Filipe, Lu{\'i}s and Larsen, Kim S. and Schneider{-}Kamp, Peter},
  title = {Formally Proving Size Optimality of Sorting Networks},
  year = {2017},
  month = dec,
  volume = {59},
  number = {4},
  pages = {425--454},
  journal = {Journal of Automated Reasoning},
  month_numeric = {12}
}

@inproceedings{CM17a,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {A Core Model for Choreographic Programming},
  publisher = {Springer},
  series = {LNCS},
  booktitle = {FACS},
  year = {2017},
  volume = {10231},
  pages = {17--35},
  editor = {Kouchnarenko, Olga and Khosravi, Ramin},
  doi = {10.1007/978-3-319-57666-4\_3}
}

@inproceedings{CM17b,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {Encoding Asynchrony in Choreographies},
  editor = {Shin, D. and Lencastre, M.},
  pages = {1175--1177},
  booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017},
  year = {2017},
  doi = {10.1145/3019612.3019901}
}

@inproceedings{CM17c,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {Procedural Choreographic Programming},
  pages = {92--107},
  editor = {Bouajjani, Ahmed and Silva, Alexandra},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems -- 37th IFIP WG 6.1 International Conference, FORTE 2017},
  series = {LNCS},
  publisher = {Springer},
  year = {2017},
  volume = {10321},
  doi = {10.1007/978-3-319-60225-7\_7}
}

@incollection{CM17d,
  author = {Cruz-Filipe, Lu{\'\i}s and Montesi, Fabrizio},
  title = {That's Enough: Asynchrony with Standard Choreography Primitives},
  booktitle = {Logic and Computation: Essays in Honour of Am{\'\i}lcar Sernadas},
  editor = {Caleiro, Carlos and Dion{\'\i}sio, Francisco and Gouveia, Paula and Mateus, Paulo and Rasga, Jo{\~a}o},
  publisher = {College Publications},
  series = {Tributes},
  volume = {33},
  year = {2017},
  isbn = {978-1-84890-248-0},
  pages = {125--142}
}

@incollection{CM17e,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {On Asynchrony and Choreographies},
  booktitle = {Proceedings 10th Interaction and Concurrency Experience},
  editor = {Bartoletti, M. and Bocchi, L. and Henrio, L. and Knight, S.},
  publisher = {Open Publishing Association},
  series = {EPTCS},
  volume = {261},
  year = {2017},
  pages = {76--90},
  doi = {10.4204/EPTCS.261.8}
}

@inproceedings{CMS17,
  author = {Cruz-Filipe, Lu\'{\i}s and Marques-Silva, Joao and Schneider-Kamp, Peter},
  title = {Efficient Certified Resolution Proof Checking},
  editor = {Legay, Axel and Margaria, Tiziana},
  year = {2017},
  series = {LNCS},
  booktitle = {TACAS},
  volume = {10205},
  publisher = {Springer},
  pages = {118--135}
}

@article{CMSY17,
  author = {Carbone, Marco and Montesi, Fabrizio and Sch{\"{u}}rmann, Carsten and Yoshida, Nobuko},
  title = {Multiparty session types as coherence proofs},
  journal = {Acta Inf.},
  volume = {54},
  number = {3},
  pages = {243--269},
  year = {2017},
  doi = {10.1007/s00236-016-0285-y}
}

@inproceedings{CS17,
  author = {Cruz{-}Filipe, Lu{\'i}s and Schneider{-}Kamp, Peter},
  title = {Formally Proving the Boolean Triples Conjecture},
  year = {2017},
  series = {EPiC Series in Computing},
  editor = {Eiter, Thomas and Sands, David},
  publisher = {EasyChair Publications},
  booktitle = {Proceedings of LPAR-21},
  volume = {46},
  pages = {509--522}
}

@incollection{DGLMMMS17,
  title = {Microservices: yesterday, today, and tomorrow},
  author = {Dragoni, Nicola and Giallorenzo, Saverio and Lafuente, Alberto Lluch and Mazzara, Manuel and Montesi, Fabrizio and Mustafin, Ruslan and Safina, Larisa},
  booktitle = {Present and Ulterior Software Engineering},
  pages = {195--216},
  year = {2017},
  publisher = {Springer},
  doi = {10.1007/978-3-319-67425-4\_12}
}

@incollection{GLMG17,
  author = {Giallorenzo, Saverio and Lanese, Ivan and Mauro, Jacopo and Gabbrielli, Maurizio},
  title = {Programming Adaptive Microservice Applications: An {AIOCJ} Tutorial},
  editor = {Gay, Simon and Ravara, Ant{\'o}nio},
  booktitle = {Behavioural Types: from Theory to Tools},
  pages = {147--167},
  year = {2017},
  publisher = {River Publishers}
}

@incollection{GLMM17,
  author = {Guidi, Claudio and Lanese, Ivan and Mazzara, Manuel and Montesi, Fabrizio},
  title = {Microservices: {A} Language-Based Approach},
  booktitle = {Present and Ulterior Software Engineering},
  pages = {217--225},
  publisher = {Springer},
  year = {2017},
  doi = {10.1007/978-3-319-67425-4\_13}
}

@inproceedings{M17,
  author = {Montesi, Fabrizio},
  title = {Classical Higher-Order Processes - (Short Paper)},
  booktitle = {{FORTE}},
  series = {Lecture Notes in Computer Science},
  volume = {10321},
  pages = {171--178},
  publisher = {Springer},
  year = {2017},
  doi = {10.1007/978-3-319-60225-7\_12}
}

@inproceedings{MMP17,
  author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco},
  editor = {Seidl, Martina and Zschaler, Steffen},
  title = {Loose Graph Simulations},
  booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017  Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised  Selected Papers},
  series = {Lecture Notes in Computer Science},
  volume = {10748},
  pages = {109--126},
  publisher = {Springer},
  year = {2017},
  doi = {10.1007/978-3-319-74730-9\_9}
}

@inproceedings{MP17,
  author = {Miculan, Marino and Peressotti, Marco},
  editor = {Della Monica, Dario and Murano, Aniello and Rubin, Sasha and Sauro, Luigi},
  title = {Deciding Weak Weighted Bisimulation},
  booktitle = {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.},
  series = {{CEUR} Workshop Proceedings},
  volume = {1949},
  pages = {126--137},
  publisher = {CEUR-WS.org},
  year = {2017},
  url = {http://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf}
}

@inproceedings{MT17,
  author = {Montesi, Fabrizio and Thrane, Dan Sebastian},
  title = {Packaging Microservices - (Work in Progress)},
  booktitle = {{DAIS}},
  series = {Lecture Notes in Computer Science},
  volume = {10320},
  pages = {131--137},
  publisher = {Springer},
  year = {2017},
  doi = {10.1007/978-3-319-59665-5\_9}
}

@article{PGGLM16,
  author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Mauro, Jacopo},
  title = {Dynamic Choreographies: Theory And Implementation},
  journal = {Logical Methods in Computer Science},
  volume = {13},
  number = {2},
  year = {2017},
  url = {https://doi.org/10.23638/LMCS-13(2:1)2017},
  doi = {10.23638/LMCS-13(2:1)2017},
  timestamp = {Wed, 03 May 2017 14:36:07 +0200},
  biburl = {https://dblp.org/rec/bib/journals/corr/PredaGGLM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BP16,
  author = {Brengos, Tomasz and Peressotti, Marco},
  title = {A Uniform Framework for Timed Automata},
  booktitle = {27th International Conference on Concurrency Theory (CONCUR 2016)},
  pages = {26:1--26:15},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-017-0},
  issn = {1868-8969},
  year = {2016},
  volume = {59},
  editor = {Desharnais, Jos{\'e}e and Jagadeesan, Radha},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  urn = {urn:nbn:de:0030-drops-61690},
  doi = {10.4230/LIPIcs.CONCUR.2016.26}
}

@inproceedings{C16,
  author = {Cruz-Filipe, Lu{\'i}s},
  title = {Grounded Fixpoints and Active Integrity Constraints},
  pages = {11.1--11.14},
  doi = {10.4230/OASIcs.ICLP.2016.11},
  editor = {Carro, Manuel and King, Andy and De Vos, Marina and Saeedloei, Neda},
  booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP'16)},
  series = {OASIcs},
  volume = {52},
  publisher = {Schloss Dagstuhl},
  month = nov,
  year = {2016},
  month_numeric = {11}
}

@article{CCFS16,
  author = {Codish, Michael and Cruz-Filipe, Lu{\'i}s and Frank, Michael and Schneider-Kamp, Peter},
  title = {Sorting nine inputs requires twenty-five comparisons},
  journal = {Journal of Computer and System Sciences},
  volume = {82},
  number = {3},
  pages = {551--563},
  year = {2016},
  doi = {10.1016/j.jcss.2015.11.014}
}

@inproceedings{CFHLNS16,
  author = {Cruz-Filipe, Lu{\'i}s and Franz, Michael and Hakhverdyan, Artavazd and Ludovico, Marta and Nunes, Isabel and Schneider-Kamp, Peter},
  booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management},
  editor = {Fred, Ana and Dietz, Jan L.G. and Aveiro, David and Liu, Kecheng and Filipe, Joaquim},
  publisher = {Springer},
  series = {CCIS},
  number = {631},
  pages = {399--420},
  title = {Active Integrity Constraints: from Theory to Implementation},
  doi = {10.1007/978-3-662-46549-3\_13},
  year = {2016}
}

@inproceedings{CGMP16,
  author = {Callegati, Franco and Giallorenzo, Saverio and Melis, Andrea and Prandini, Marco},
  title = {Data security issues in MaaS-enabling platforms},
  booktitle = {{IEEE} 2nd International Forum on Research and Technologies for Society  and Industry Leveraging a better tomorrow, {RTSI} 2016, Bologna, Italy,  September 7-9, 2016},
  pages = {1--5},
  year = {2016},
  url = {https://doi.org/10.1109/RTSI.2016.7740624},
  doi = {10.1109/RTSI.2016.7740624},
  timestamp = {Thu, 15 Jun 2017 21:43:44 +0200},
  biburl = {https://dblp.org/rec/bib/conf/rtsi/CallegatiGMP16},
  publisher = {{IEEE}},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CGNS16,
  author = {Cruz-Filipe, Lu{\'i}s and Gaspar, Gra{\c c}a and Nunes, Isabel and Schneider-Kamp, Peter},
  title = {Active Integrity Constraints for Multi-Context Systems},
  pages = {98--112},
  doi = {10.1007/978-3-319-49004-5\_7},
  editor = {Blomqvist, Eva and Vitali, Fabio and Ciancarini, Paolo and Poggi, Francesco},
  booktitle = {Knowledge Engineering and Knowledge Management -- 20th International Conference, {EKAW} 2016, Bologna, Italy, November 19-23, 2016. Proceedings},
  publisher = {Springer},
  series = {LNAI},
  month = nov,
  year = {2016},
  volume = {10024},
  month_numeric = {11}
}

@inproceedings{CM16,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {Choreographies in Practice},
  pages = {114--123},
  doi = {10.1007/978-3-319-39570-8\_8},
  editor = {Albert, Elvira and Lanese, Ivan},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems -- 36th IFIP WG 6.1 International Conference, FORTE 2016},
  series = {LNCS},
  volume = {9688},
  publisher = {Springer},
  year = {2016}
}

@inproceedings{CNS16,
  author = {Cruz-Filipe, Lu{\'i}s and Nunes, Isabel and Schneider-Kamp, Peter},
  booktitle = {Foundations of Information and Knowledge Systems -- 9th International Symposium, FoIKS 2016, Linz, Austria, March 7--11, 2016. Proceedings},
  doi = {10.1007/978-3-319-30024-5\_13},
  editor = {Gyssens, Marc and Simari, Guillermo},
  pages = {235--254},
  publisher = {Springer},
  series = {LNCS},
  title = {Integrity Constraints for General-Purpose Knowledge Bases},
  volume = {9616},
  year = {2016}
}

@inproceedings{DBLP:conf/aina/SafinaMMR16,
  author = {Safina, Larisa and Mazzara, Manuel and Montesi, Fabrizio and Rivera, V{\'{\i}}ctor},
  title = {Data-Driven Workflows for Microservices: Genericity in Jolie},
  booktitle = {{AINA}},
  pages = {430--437},
  publisher = {{IEEE} Computer Society},
  year = {2016}
}

@inproceedings{DBLP:conf/concur/CarboneLMSW16,
  author = {Carbone, Marco and Lindley, Sam and Montesi, Fabrizio and Sch{\"{u}}rmann, Carsten and Wadler, Philip},
  title = {Coherence Generalises Duality: {A} Logical Explanation of Multiparty  Session Types},
  booktitle = {{CONCUR}},
  series = {LIPIcs},
  volume = {59},
  pages = {33:1--33:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2016}
}

@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
  author = {Ancona, Davide and Bono, Viviana and Bravetti, Mario and Campos, Joana and Castagna, Giuseppe and Deni{\'{e}}lou, Pierre{-}Malo and Gay, Simon J. and Gesbert, Nils and Giachino, Elena and Hu, Raymond and Johnsen, Einar Broch and Martins, Francisco and Mascardi, Viviana and Montesi, Fabrizio and Neykova, Rumyana and Ng, Nicholas and Padovani, Luca and Vasconcelos, Vasco T. and Yoshida, Nobuko},
  title = {Behavioral Types in Programming Languages},
  journal = {Foundations and Trends in Programming Languages},
  volume = {3},
  number = {2-3},
  pages = {95--230},
  year = {2016}
}

@article{DBLP:journals/scp/Montesi16,
  author = {Montesi, Fabrizio},
  title = {Process-aware web programming with Jolie},
  journal = {Sci. Comput. Program.},
  volume = {130},
  pages = {69--96},
  year = {2016}
}

@article{DDP16,
  author = {De Nart, Dario and Degl'Innocenti, Dante and Peressotti, Marco},
  title = {Well-Stratified Linked Data for Well-Behaved Data Citation},
  journal = {{TCDL} Bulletin},
  volume = {12},
  number = {1},
  year = {2016},
  url = {http://www.ieee-tcdl.org/Bulletin/v12n1/papers/IEEE-TCDL-DC-2016_paper_2.pdf}
}

@inproceedings{DDPT16,
  author = {De Nart, Dario and Degl'Innocenti, Dante and Peressotti, Marco and Tasso, Carlo},
  editor = {Agosti, Maristella and Bertini, Marco and Ferilli, Stefano and Marinai, Simone and Orio, Nicola},
  title = {Stratifying Semantic Data for Citation and Trust: An Introduction  to {RDFDF}},
  booktitle = {Digital Libraries and Multimedia Archives - 12th Italian Research  Conference on Digital Libraries, {IRCDL} 2016, Florence, Italy, February  4-5, 2016, Revised Selected Papers},
  series = {Communications in Computer and Information Science},
  volume = {701},
  pages = {104--111},
  year = {2016},
  doi = {10.1007/978-3-319-56300-8\_10}
}

@inproceedings{GGGMM16,
  author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Guidi, Claudio and Mauro, Jacopo and Montesi, Fabrizio},
  title = {Self-Reconfiguring Microservices},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank  de Boer on the Occasion of His 60th Birthday},
  pages = {194--210},
  year = {2016},
  url = {https://doi.org/10.1007/978-3-319-30734-3_14},
  doi = {10.1007/978-3-319-30734-3\_14},
  timestamp = {Thu, 15 Jun 2017 21:34:41 +0200},
  biburl = {https://dblp.org/rec/bib/conf/birthday/GabbrielliGGMM16},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  publisher = {Springer}
}

@article{MP16a,
  author = {Miculan, Marino and Peressotti, Marco},
  title = {Structural operational semantics for non-deterministic processes with  quantitative aspects},
  journal = {Theor.\ Comput.\ Sci.},
  volume = {655},
  pages = {135--154},
  year = {2016},
  doi = {10.1016/j.tcs.2016.01.012}
}

@inproceedings{MP16b,
  author = {Miculan, Marino and Peressotti, Marco},
  editor = {Bil{\`{o}}, Vittorio and Caruso, Antonio},
  title = {On the Bisimulation Hierarchy of State-to-Function Transition Systems},
  booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer  Science, Lecce, Italy, September 7-9, 2016.},
  series = {{CEUR} Workshop Proceedings},
  volume = {1720},
  pages = {88--102},
  publisher = {CEUR-WS.org},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1720/full7.pdf}
}

@article{BMP15,
  author = {Brengos, Tomasz and Miculan, Marino and Peressotti, Marco},
  title = {Behavioural equivalences for coalgebras with unobservable moves},
  journal = {J. Log. Algebr. Meth. Program.},
  volume = {84},
  number = {6},
  pages = {826--852},
  year = {2015},
  doi = {10.1016/j.jlamp.2015.09.002}
}

@inproceedings{CCNS15,
  author = {Codish, Michael and Cruz-Filipe, Lu{\'i}s and Nebel, Markus and Schneider-Kamp, Peter},
  title = {Applying Sorting Networks to Synthesize Optimized Sorting Libraries},
  pages = {127--142},
  doi = {10.1007/978-3-319-27436-2},
  editor = {Falaschi, Moreno},
  booktitle = {Logic-Based Program Synthesis and Transformation -- 25th International Symposium, {LOPSTR} 2015, Siena, Italy, July 13--15, 2015. Revised Selected Papers},
  series = {LNCS},
  volume = {9527},
  publisher = {Springer},
  year = {2015}
}

@inproceedings{CCS15,
  author = {Codish, Michael and Cruz-Filipe, Lu{\'i}s and Schneider-Kamp, Peter},
  booktitle = {Language and Automata Theory and Applications -- 9th International Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  editor = {Dediu, Adrian-Horia and Formenti, Enrico and Mart{\'\i}n{-}Vide, Carlos and Truthe, Bianca},
  doi = {10.1007/978-3-319-15579-1\_52},
  pages = {664--675},
  publisher = {Springer},
  series = {LNCS},
  title = {Sorting networks: the end game},
  volume = {8977},
  year = {2015}
}

@article{CF15,
  author = {Cruz-Filipe, Lu{\'i}s and Ferreira, Fernando},
  title = {The Finitistic Consistency of Heck's Predicative Fregean System},
  journal = {Notre-Dame Journal of Formal Logic},
  volume = {56},
  number = {1},
  pages = {61--79},
  year = {2015}
}

@inproceedings{CFHLNS15,
  author = {Cruz-Filipe, Lu{\'i}s and Franz, Michael and Hakhverdyan, Artavazd and Ludovico, Marta and Nunes, Isabel and Schneider-Kamp, Peter},
  booktitle = {Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K2015)},
  editor = {Fred, Ana and Dietz, Jan and Aveiro, David and Liu, Kecheng and Filipe, Joaquim},
  month = nov,
  doi = {10.5220/0005586400170026},
  pages = {17--26},
  publisher = {SCITEPRESS},
  title = {{repAIrC}: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints},
  volume = {3},
  year = {2015},
  month_numeric = {11}
}

@inproceedings{CGN15,
  author = {Cruz-Filipe, Lu{\'i}s and Gaspar, Gra{\c c}a and Nunes, Isabel},
  booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management},
  editor = {Fred, Ana and Dietz, Jan L.G. and Liu, Kecheng and Filipe, Joaquim},
  doi = {10.1007/978-3-662-46549-3\_13},
  pages = {199--214},
  publisher = {Springer},
  series = {CCIS},
  title = {Design Patterns for Description-logic Programs},
  volume = {454},
  year = {2015}
}

@inproceedings{CS15a,
  author = {Cruz-Filipe, Lu{\'i}s and Schneider-Kamp, Peter},
  booktitle = {Intelligent Computer Mathematics -- International Conference, {CICM} 2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
  editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker},
  doi = {10.1007/978-3-319-20615-8\_4},
  pages = {55--70},
  publisher = {Springer},
  series = {LNAI},
  title = {Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof},
  volume = {9150},
  year = {2015}
}

@inproceedings{CS15b,
  author = {Cruz-Filipe, Lu{\'i}s and Schneider-Kamp, Peter},
  booktitle = {Interactive Theorem Proving -- 6th International Conference, {ITP} 2015, Nanjing, China, August 24-27, 2015, Proceedings},
  editor = {Urban, Christian and Zhang, Xingyuan},
  doi = {10.1007/978-3-319-22102-1\_10},
  pages = {154--169},
  publisher = {Springer},
  series = {LNCS},
  title = {Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker},
  volume = {9236},
  year = {2015}
}

@inproceedings{DBLP:conf/concur/CarboneMSY15,
  author = {Carbone, Marco and Montesi, Fabrizio and Sch{\"{u}}rmann, Carsten and Yoshida, Nobuko},
  editor = {Aceto, Luca and de Frutos{-}Escrig, David},
  title = {Multiparty Session Types as Coherence Proofs},
  booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,  Madrid, Spain, September 1.4, 2015},
  series = {LIPIcs},
  volume = {42},
  pages = {412--426},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2015},
  url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.412},
  doi = {10.4230/LIPIcs.CONCUR.2015.412}
}

@inproceedings{DBLP:conf/wsfm/Montesi15,
  author = {Montesi, Fabrizio},
  editor = {Hildebrandt, Thomas T. and Ravara, Ant{\'{o}}nio and van der Werf, Jan Martijn and Weidlich, Matthias},
  title = {Kickstarting Choreographic Programming},
  booktitle = {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},
  series = {Lecture Notes in Computer Science},
  volume = {9421},
  pages = {3--10},
  publisher = {Springer},
  year = {2015},
  url = {https://doi.org/10.1007/978-3-319-33612-1_1}
}

@article{DBLP:journals/jisis/BravettiLMM15,
  author = {Bravetti, Mario and Lluch{-}Lafuente, Alberto and Mazzara, Manuel and Montesi, Fabrizio},
  title = {Guest Editorial: Special Issue on Service-Oriented Architectures and  Programming},
  journal = {J. Internet Serv. Inf. Secur.},
  volume = {5},
  number = {1},
  pages = {1--2},
  year = {2015},
  url = {http://isyou.info/jisis/vol5/no1/jisis-2015-vol5-no1-00.pdf}
}

@article{DBLP:journals/scp/LaneseMM15,
  author = {Lanese, Ivan and Mazzara, Manuel and Montesi, Fabrizio},
  title = {Special issue on Service-Oriented Architecture and Programming {(SOAP}  2013)},
  journal = {Sci. Comput. Program.},
  volume = {97},
  pages = {181--182},
  year = {2015},
  url = {https://doi.org/10.1016/j.scico.2014.07.007},
  doi = {10.1016/j.scico.2014.07.007}
}

@inproceedings{LMZ15,
  author = {Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
  editor = {Nicola, Rocco De and Hennicker, Rolf},
  title = {The Evolution of Jolie - From Orchestrations to Adaptable Choreographies},
  booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing  on the Occasion of His Retirement from the Chair of Programming and  Software Engineering},
  series = {Lecture Notes in Computer Science},
  volume = {8950},
  pages = {506--521},
  publisher = {Springer},
  year = {2015},
  url = {https://doi.org/10.1007/978-3-319-15545-6_29},
  doi = {10.1007/978-3-319-15545-6_29}
}

@inproceedings{MPT15,
  author = {Miculan, Marino and Peressotti, Marco and Toneguzzo, Andrea},
  editor = {Holvoet, Tom and Viroli, Mirko},
  title = {Open Transactions on Shared Memory},
  booktitle = {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},
  series = {Lecture Notes in Computer Science},
  volume = {9037},
  pages = {213--229},
  publisher = {Springer},
  year = {2015},
  doi = {10.1007/978-3-319-19282-6\_14}
}

@article{PGGLM15a,
  author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Mauro, Jacopo},
  title = {Developing correct, distributed, adaptive software},
  journal = {Sci. Comput. Program.},
  volume = {97},
  pages = {41--46},
  year = {2015},
  url = {https://doi.org/10.1016/j.scico.2013.11.019},
  doi = {10.1016/j.scico.2013.11.019},
  timestamp = {Wed, 14 Jun 2017 20:29:38 +0200},
  biburl = {https://dblp.org/rec/bib/journals/scp/PredaGGLM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{PGGLM15b,
  author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Mauro, Jacopo},
  title = {Dynamic Choreographies - Safe Runtime Updates of Distributed Applications},
  booktitle = {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},
  pages = {67--82},
  year = {2015},
  crossref = {DBLP:conf/coordination/2015},
  url = {https://doi.org/10.1007/978-3-319-19282-6_5},
  doi = {10.1007/978-3-319-19282-6_5},
  timestamp = {Thu, 15 Jun 2017 21:33:32 +0200},
  biburl = {https://dblp.org/rec/bib/conf/coordination/PredaGGLM15},
  publisher = {Springer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{C14,
  author = {Cruz-Filipe, Lu{\'i}s},
  booktitle = {Foundations of Information and Knowledge Systems -- 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings},
  editor = {Beierle, Christoph and Meghini, Carlo},
  doi = {10.1007/978-3-319-04939-7\_18},
  pages = {361--380},
  publisher = {Springer},
  series = {LNCS},
  title = {Optimizing Computation of Repairs from Active Integrity Constraints},
  volume = {8367},
  year = {2014}
}

@inproceedings{CCFS14,
  author = {Codish, Michael and Cruz-Filipe, Lu{\'i}s and Frank, Michael and Schneider-Kamp, Peter},
  title = {Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)},
  pages = {186--193},
  doi = {10.1109/ICTAI.2014.36},
  booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} 2014, Limassol, Cyprus, November 10--12, 2014},
  publisher = {IEEE},
  year = {2014},
  month = dec,
  month_numeric = {12}
}

@inproceedings{CCS14,
  author = {Codish, Michael and Cruz-Filipe, Lu{\'i}s and Schneider-Kamp, Peter},
  title = {The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes},
  pages = {359--366},
  doi = {10.1109/SYNASC.2014.55},
  editor = {Winkler, Franz and Negru, Viorel and Ida, Tetsuo and Jebelan, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela},
  booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014},
  publisher = {IEEE},
  year = {2015}
}

@inproceedings{CGN2014,
  author = {Cruz-Filipe, Lu{\'i}s and Gaspar, Gra{\c c}a and Nunes, Isabel},
  title = {Information Flow within Relational Multi-context Systems},
  pages = {97--108},
  doi = {10.1007/978-3-319-13704-9\_8},
  editor = {Janowicz, Krzysztof and Schlobach, Stefan and Lambrix, Patrick and Hyv{\"{o}}nen, Eero},
  booktitle = {Knowledge Engineering and Knowledge Management -- 19th International Conference, {EKAW} 2014, Link{\"{o}}ping, Sweden, November 24--28, 2014. Proceedings},
  publisher = {Springer},
  series = {LNAI},
  volume = {8876},
  year = {2014}
}

@article{CLMRV14,
  author = {Cruz-Filipe, Lu{\'i}s and Lanese, Ivan and Martins, Francisco and Ravara, Ant{\'o}nio and Vasconcelos, Vasco T.},
  journal = {Formal Aspects of Computing},
  month = sep,
  doi = {10.1007/s00165-013-0284-5},
  pages = {865--918},
  title = {The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming},
  volume = {26},
  year = {2014},
  month_numeric = {9}
}

@incollection{DBLP:books/sp/wsf14/MontesiGZ14,
  author = {Montesi, Fabrizio and Guidi, Claudio and Zavattaro, Gianluigi},
  editor = {Bouguettaya, Athman and Sheng, Quan Z. and Daniel, Florian},
  title = {Service-Oriented Programming with Jolie},
  booktitle = {Web Services Foundations},
  pages = {81--107},
  publisher = {Springer},
  year = {2014},
  doi = {10.1007/978-1-4614-7518-7_4}
}

@inproceedings{DBLP:conf/concur/CarboneMS14,
  author = {Carbone, Marco and Montesi, Fabrizio and Sch{\"{u}}rmann, Carsten},
  editor = {Baldan, Paolo and Gorla, Daniele},
  title = {Choreographies, Logically},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,  {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {8704},
  pages = {47--62},
  publisher = {Springer},
  year = {2014}
}

@inproceedings{DBLP:conf/coordination/CarboneDM14,
  author = {Carbone, Marco and Dardha, Ornela and Montesi, Fabrizio},
  editor = {eva K{\"{u}}hn and Pugliese, Rosario},
  title = {Progress as Compositional Lock-Freedom},
  booktitle = {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},
  series = {Lecture Notes in Computer Science},
  volume = {8459},
  pages = {49--64},
  publisher = {Springer},
  year = {2014}
}

@inproceedings{DBLP:conf/dcai/GabbrielliGM14,
  author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Montesi, Fabrizio},
  editor = {Omatu, Sigeru and Bersini, Hugues and Rodr{\'{\i}}guez, Juan M. Corchado and Rodr{\'{\i}}guez, Sara and Pawlewski, Pawel and Bucciarelli, Edgardo},
  title = {Service-Oriented Architectures: From Design to Production Exploiting  Workflow Patterns},
  booktitle = {Distributed Computing and Artificial Intelligence, 11th International  Conference, {DCAI} 2014, Salamanca, Spain, June 4-6, 2014},
  series = {Advances in Intelligent Systems and Computing},
  volume = {290},
  pages = {131--139},
  publisher = {Springer},
  year = {2014},
  url = {https://doi.org/10.1007/978-3-319-07593-8_17},
  doi = {10.1007/978-3-319-07593-8_17}
}

@article{MMP14a,
  author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco},
  title = {Distributed execution of bigraphical reactive systems},
  journal = {{ECEASST}},
  volume = {71},
  year = {2014},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/994}
}

@inproceedings{MMP14b,
  author = {Mansutti, Alessio and Miculan, Marino and Peressotti, Marco},
  editor = {Magoutis, Kostas and Pietzuch, Peter R.},
  title = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive  Systems},
  booktitle = {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},
  series = {Lecture Notes in Computer Science},
  volume = {8460},
  pages = {201--208},
  publisher = {Springer},
  year = {2014},
  doi = {10.1007/978-3-662-43352-2\_16}
}

@inproceedings{MP14,
  author = {Miculan, Marino and Peressotti, Marco},
  editor = {Bertrand, Nathalie and Bortolussi, Luca},
  title = {{GSOS} for non-deterministic processes with quantitative aspects},
  booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects  of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,  12-13 April 2014.},
  series = {{EPTCS}},
  volume = {154},
  pages = {17--33},
  year = {2014},
  url = {https://doi.org/10.4204/EPTCS.154.2},
  doi = {10.4204/EPTCS.154.2}
}

@inproceedings{MP14b,
  author = {Miculan, Marino and Peressotti, Marco},
  title = {A {CSP} implementation of the bigraph embedding problem},
  booktitle = {First International Workshop on Meta Models for Process Languages},
  volume = {abs/1412.1042},
  year = {2014}
}

@inproceedings{PGLMG14,
  author = {Preda, Mila Dalla and Giallorenzo, Saverio and Lanese, Ivan and Mauro, Jacopo and Gabbrielli, Maurizio},
  title = {{AIOCJ:} {A} Choreographic Framework for Safe Adaptive Distributed  Applications},
  booktitle = {Software Language Engineering - 7th International Conference, {SLE}  2014, V{\"{a}}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings},
  pages = {161--170},
  year = {2014},
  crossref = {DBLP:conf/sle/2014},
  url = {https://doi.org/10.1007/978-3-319-11245-9_9},
  doi = {10.1007/978-3-319-11245-9_9},
  timestamp = {Tue, 23 May 2017 01:10:43 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sle/PredaGLMG14},
  publisher = {Springer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CEGN2013,
  author = {Cruz-Filipe, Lu{\'i}s and Engr{\' a}cia, Patr{\'\i}cia and Gaspar, Gra{\c c}a and Nunes, Isabel},
  booktitle = {2013 International Symposium on Theoretical Aspects of Software Engineering, Birmingham, UK, July 1st--July 3rd 2013},
  editor = {Wang, Hai and Banach, Richard},
  month = jul,
  doi = {10.1109/TASE.2013.32},
  pages = {183--190},
  publisher = {IEEE},
  title = {Computing Repairs from Active Integrity Constraints},
  year = {2013},
  month_numeric = {7}
}

@inproceedings{CHN2013b,
  author = {Cruz-Filipe, Lu{\'i}s and Henriques, Rita and Nunes, Isabel},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013, Proceedings},
  editor = {McMillan, Kenneth L. and Middeldorp, Aart and Voronkov, Andrei},
  month = dec,
  doi = {10.1007/978-3-642-45221-5\_18},
  pages = {243--257},
  publisher = {Springer},
  series = {LNCS},
  title = {Description Logics, Rules and Multi-context Systems},
  volume = {8312},
  year = {2013},
  month_numeric = {12}
}

@inproceedings{CNG2013,
  author = {Cruz-Filipe, Lu{\'i}s and Nunes, Isabel and Gaspar, Gra{\c c}a},
  booktitle = {KEOD 2013 Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Algarve, Portugal, 19-22 September, 2013},
  editor = {Filipe, Joaquim and Dietz, Jan},
  month = sep,
  doi = {10.5220/0004544100580069},
  pages = {58--69},
  publisher = {SCITEPRESS},
  title = {Patterns for Interfacing between Logic Programs and Multiple Ontologies},
  year = {2013},
  month_numeric = {9}
}

@inproceedings{DBLP:conf/concur/MontesiY13,
  author = {Montesi, Fabrizio and Yoshida, Nobuko},
  editor = {D'Argenio, Pedro R. and Melgratti, Hern{\'{a}}n C.},
  title = {Compositional Choreographies},
  booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,  {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {8052},
  pages = {425--439},
  publisher = {Springer},
  year = {2013},
  url = {https://doi.org/10.1007/978-3-642-40184-8\_30},
  doi = {10.1007/978-3-642-40184-8\_30},
  timestamp = {Fri, 02 Jun 2017 20:50:29 +0200},
  biburl = {https://dblp.org/rec/bib/conf/concur/MontesiY13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/CarboneM13,
  author = {Carbone, Marco and Montesi, Fabrizio},
  editor = {Giacobazzi, Roberto and Cousot, Radhia},
  title = {Deadlock-freedom-by-design: multiparty asynchronous global programming},
  booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of  Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,  2013},
  pages = {263--274},
  publisher = {{ACM}},
  year = {2013},
  url = {http://doi.acm.org/10.1145/2429069.2429101},
  doi = {10.1145/2429069.2429101},
  timestamp = {Mon, 05 Jun 2017 12:41:03 +0200},
  biburl = {https://dblp.org/rec/bib/conf/popl/CarboneM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/Montesi13,
  author = {Montesi, Fabrizio},
  editor = {Shin, Sung Y. and Maldonado, Jos{\'{e}} Carlos},
  title = {Process-aware web programming with Jolie},
  booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,  {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  pages = {761--763},
  publisher = {{ACM}},
  year = {2013},
  url = {http://doi.acm.org/10.1145/2480362.2480507},
  doi = {10.1145/2480362.2480507},
  timestamp = {Mon, 05 Jun 2017 12:41:15 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sac/Montesi13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LaneseMZ13,
  author = {Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
  editor = {Ravara, Ant{\'{o}}nio and Silva, Josep},
  title = {Amending Choreographies},
  booktitle = {Proceedings 9th International Workshop on Automated Specification  and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th  June 2013.},
  series = {{EPTCS}},
  volume = {123},
  pages = {34--48},
  year = {2013},
  url = {https://doi.org/10.4204/EPTCS.123.5},
  doi = {10.4204/EPTCS.123.5},
  timestamp = {Mon, 05 Jun 2017 20:50:58 +0200},
  biburl = {https://dblp.org/rec/bib/journals/corr/LaneseMZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{M13:phd,
  author = {Montesi, Fabrizio},
  title = {Choreographic {P}rogramming},
  school = {IT University of Copenhagen},
  type = {Ph.{D}. Thesis},
  year = {2013},
  note = {\url{http://www.fabriziomontesi.com/files/choreographic_programming.pdf}}
}

@inproceedings{DBLP:conf/esocc/PredaGGMM12,
  author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Guidi, Claudio and Mauro, Jacopo and Montesi, Fabrizio},
  editor = {Paoli, Flavio De and Pimentel, Ernesto and Zavattaro, Gianluigi},
  title = {Interface-Based Service Composition with Aggregation},
  booktitle = {Service-Oriented and Cloud Computing - First European Conference,  {ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {7592},
  pages = {48--63},
  publisher = {Springer},
  year = {2012},
  url = {https://doi.org/10.1007/978-3-642-33427-6\_4},
  doi = {10.1007/978-3-642-33427-6\_4},
  timestamp = {Fri, 02 Jun 2017 20:48:19 +0200},
  biburl = {https://dblp.org/rec/bib/conf/esocc/PredaGGMM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/soca/PredaGGMM12,
  author = {Preda, Mila Dalla and Gabbrielli, Maurizio and Guidi, Claudio and Mauro, Jacopo and Montesi, Fabrizio},
  title = {Service integration via target-transparent mediation},
  booktitle = {2012 Fifth {IEEE} International Conference on Service-Oriented Computing  and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012},
  pages = {1--5},
  publisher = {{IEEE} Computer Society},
  year = {2012},
  url = {https://doi.org/10.1109/SOCA.2012.6449432},
  doi = {10.1109/SOCA.2012.6449432},
  timestamp = {Mon, 05 Jun 2017 12:42:33 +0200},
  biburl = {https://dblp.org/rec/bib/conf/soca/PredaGGMM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6331,
  author = {Carbone, Marco and Montesi, Fabrizio},
  editor = {Gay, Simon J. and Kelly, Paul},
  title = {Merging Multiparty Protocols in Multiparty Choreographies},
  booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,  31 March 2012.},
  series = {{EPTCS}},
  volume = {109},
  pages = {21--27},
  year = {2012},
  url = {https://doi.org/10.4204/EPTCS.109.4},
  doi = {10.4204/EPTCS.109.4},
  timestamp = {Mon, 05 Jun 2017 20:50:57 +0200},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1302-6331},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coordination/MauroGGM11,
  author = {Mauro, Jacopo and Gabbrielli, Maurizio and Guidi, Claudio and Montesi, Fabrizio},
  editor = {Meuter, Wolfgang De and Roman, Gruia{-}Catalin},
  title = {An Efficient Management of Correlation Sets with Broadcast},
  booktitle = {Coordination Models and Languages - 13th International Conference,  {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {6721},
  pages = {80--94},
  publisher = {Springer},
  year = {2011},
  url = {https://doi.org/10.1007/978-3-642-21464-6\_6},
  doi = {10.1007/978-3-642-21464-6\_6},
  timestamp = {Fri, 02 Jun 2017 20:46:56 +0200},
  biburl = {https://dblp.org/rec/bib/conf/coordination/MauroGGM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoc/MontesiC11,
  author = {Montesi, Fabrizio and Carbone, Marco},
  editor = {Kappel, Gerti and Maamar, Zakaria and Nezhad, Hamid R. Motahari},
  title = {Programming Services with Correlation Sets},
  booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}  2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {7084},
  pages = {125--141},
  publisher = {Springer},
  year = {2011},
  url = {https://doi.org/10.1007/978-3-642-25535-9\_9},
  doi = {10.1007/978-3-642-25535-9\_9},
  timestamp = {Sun, 04 Jun 2017 10:06:13 +0200},
  biburl = {https://dblp.org/rec/bib/conf/icsoc/MontesiC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LaneseM10,
  author = {Lanese, Ivan and Montesi, Fabrizio},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  title = {Error Handling: From Theory to Practice},
  booktitle = {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}},
  series = {Lecture Notes in Computer Science},
  volume = {6416},
  pages = {66--81},
  publisher = {Springer},
  year = {2010},
  url = {https://doi.org/10.1007/978-3-642-16561-0\_13},
  doi = {10.1007/978-3-642-16561-0\_13},
  timestamp = {Sun, 04 Jun 2017 10:11:24 +0200},
  biburl = {https://dblp.org/rec/bib/conf/isola/LaneseM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/LaneseBM10,
  author = {Lanese, Ivan and Bucchiarone, Antonio and Montesi, Fabrizio},
  editor = {Wirsing, Martin and Hofmann, Martin and Rauschmayer, Axel},
  title = {A Framework for Rule-Based Dynamic Adaptation},
  booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}  2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series = {Lecture Notes in Computer Science},
  volume = {6084},
  pages = {284--300},
  publisher = {Springer},
  year = {2010},
  url = {https://doi.org/10.1007/978-3-642-15640-3\_19},
  doi = {10.1007/978-3-642-15640-3\_19},
  timestamp = {Mon, 05 Jun 2017 12:40:54 +0200},
  biburl = {https://dblp.org/rec/bib/conf/tgc/LaneseBM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/MontesiS10,
  author = {Montesi, Fabrizio and Sangiorgi, Davide},
  editor = {Wirsing, Martin and Hofmann, Martin and Rauschmayer, Axel},
  title = {A Model of Evolvable Components},
  booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}  2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series = {Lecture Notes in Computer Science},
  volume = {6084},
  pages = {153--171},
  publisher = {Springer},
  year = {2010},
  url = {https://doi.org/10.1007/978-3-642-15640-3\_11},
  doi = {10.1007/978-3-642-15640-3\_11},
  timestamp = {Mon, 05 Jun 2017 12:40:54 +0200},
  biburl = {https://dblp.org/rec/bib/conf/tgc/MontesiS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecows/MontesiGLZ08,
  author = {Montesi, Fabrizio and Guidi, Claudio and Lanese, Ivan and Zavattaro, Gianluigi},
  editor = {Pahl, Claus and Clarke, Siobh{\'{a}}n and Eshuis, Rik},
  title = {Dynamic Fault Handling Mechanisms for Service-Oriented Applications},
  booktitle = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November  2008, Dublin, Ireland},
  pages = {225--234},
  publisher = {{IEEE} Computer Society},
  year = {2008},
  url = {https://doi.org/10.1109/ECOWS.2008.20},
  doi = {10.1109/ECOWS.2008.20}
}

@article{DBLP:journals/fuin/GuidiLMZ09,
  author = {Guidi, Claudio and Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
  title = {Dynamic Error Handling in Service Oriented Applications},
  journal = {Fundam. Inform.},
  volume = {95},
  number = {1},
  pages = {73--102},
  year = {2009},
  url = {https://doi.org/10.3233/FI-2009-143},
  doi = {10.3233/FI-2009-143}
}

@article{CFSS08,
  author = {Cruz-Filipe, Lu{\'i}s and Rasga, Jo{\~a}o and Sernadas, Am{\'\i}lcar and Sernadas, Cristina},
  journal = {Journal of Logic and Computation},
  month = apr,
  doi = {10.1093/logcom/exn014},
  number = {6},
  pages = {885--911},
  publisher = {Oxford University Press},
  title = {Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification},
  volume = {18},
  year = {2008},
  month_numeric = {4}
}

@incollection{CLMRV08,
  author = {Cruz-Filipe, Lu{\'i}s and Lanese, Ivan and Martins, Francisco and Ravara, Ant{\'o}nio and Vasconcelos, Vasco T.},
  booktitle = {Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)},
  editor = {Barthe, Gilles and de Boer, Frank S.},
  month = may,
  doi = {10.1007/978-3-540-68863-1\_5},
  pages = {59--77},
  publisher = {Springer},
  series = {LNCS},
  title = {Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus},
  volume = {5051},
  year = {2008},
  month_numeric = {5}
}

@article{CSS08,
  author = {Cruz-Filipe, Lu{\'i}s and Sernadas, Am{\'\i}lcar and Sernadas, Cristina},
  journal = {Logic Journal of the IGPL},
  month = apr,
  doi = {10.1093/jigpal/jzm057},
  number = {2},
  pages = {121--153},
  publisher = {Oxford University Press},
  title = {Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems},
  volume = {16},
  year = {2008},
  month_numeric = {4}
}

@inproceedings{DBLP:conf/acsd/GuidiLMZ08,
  author = {Guidi, Claudio and Lanese, Ivan and Montesi, Fabrizio and Zavattaro, Gianluigi},
  title = {On the interplay between fault handling and request-response service  invocations},
  booktitle = {{ACSD}},
  pages = {190--198},
  publisher = {{IEEE}},
  year = {2008}
}

@inproceedings{DBLP:conf/ecows/MontesiGLZ08,
  author = {Montesi, Fabrizio and Guidi, Claudio and Lanese, Ivan and Zavattaro, Gianluigi},
  editor = {Pahl, Claus and Clarke, Siobh{\'{a}}n and Eshuis, Rik},
  title = {Dynamic Fault Handling Mechanisms for Service-Oriented Applications},
  booktitle = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November  2008, Dublin, Ireland},
  pages = {225--234},
  publisher = {{IEEE} Computer Society},
  year = {2008},
  url = {https://doi.org/10.1109/ECOWS.2008.20},
  doi = {10.1109/ECOWS.2008.20}
}

@inproceedings{DBLP:conf/sefm/LaneseGMZ08,
  author = {Lanese, Ivan and Guidi, Claudio and Montesi, Fabrizio and Zavattaro, Gianluigi},
  title = {Bridging the Gap between Interaction- and Process-Oriented Choreographies},
  booktitle = {{SEFM}},
  pages = {323--332},
  publisher = {{IEEE} Computer Society},
  year = {2008}
}

@article{CCMS07,
  author = {Chadha, Rohit and Cruz-Filipe, Lu{\'i}s and Mateus, Paulo and Sernadas, Am{\'\i}lcar},
  journal = {Theoretical Computer Science},
  month = jun,
  doi = {10.1016/j.tcs.2007.02.040},
  number = {1--2},
  pages = {142--165},
  publisher = {Elsevier},
  title = {Reasoning about Probabilistic Sequential Programs},
  volume = {379},
  year = {2007},
  month_numeric = {6}
}

@inproceedings{DBLP:conf/ecows/MontesiGZ07,
  author = {Montesi, Fabrizio and Guidi, Claudio and Zavattaro, Gianluigi},
  title = {Composing Services with {JOLIE}},
  booktitle = {{ECOWS}},
  pages = {13--22},
  publisher = {{IEEE} Computer Society},
  year = {2007}
}

@article{DBLP:journals/entcs/MontesiGLZ07,
  author = {Montesi, Fabrizio and Guidi, Claudio and Lucchi, Roberto and Zavattaro, Gianluigi},
  title = {{JOLIE:} a Java Orchestration Language Interpreter Engine},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {181},
  pages = {19--33},
  year = {2007},
  url = {https://doi.org/10.1016/j.entcs.2007.01.051},
  doi = {10.1016/j.entcs.2007.01.051},
  timestamp = {Mon, 05 Jun 2017 20:49:21 +0200},
  biburl = {https://dblp.org/rec/bib/journals/entcs/MontesiGLZ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{CL06,
  author = {Cruz-Filipe, Lu{\'i}s and Letouzey, Pierre},
  booktitle = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)},
  editor = {Carette, Jacques and Farmer, William M.},
  month = mar,
  doi = {10.1016/j.entcs.2005.11.024},
  number = {1},
  pages = {75--91},
  publisher = {Elsevier},
  journal = {Electronic Notes in Computer Science},
  title = {A Large-Scale Experiment in Executing Extracted Programs},
  volume = {151},
  year = {2006},
  month_numeric = {3}
}

@inproceedings{CGW04,
  author = {Cruz-Filipe, Lu{\'i}s and Geuvers, Herman and Wiedijk, Freek},
  booktitle = {Mathematical Knowledge Management, Third International Conference, MKM 2004},
  editor = {Asperti, Andrea and Bancerek, Grzegorz and Trybulec, Andrzej},
  month = sep,
  doi = {10.1007/978-3-540-27818-4\_7},
  pages = {88--103},
  publisher = {Springer},
  series = {LNCS},
  title = {C-CoRN: the Constructive Coq Repository at Nijmegen},
  volume = {3119},
  year = {2004},
  month_numeric = {9}
}

@inproceedings{CW04,
  author = {Cruz-Filipe, Lu{\'i}s and Wiedijk, Freek},
  booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004},
  editor = {Slind, Konrad and Bunker, Annette and Gopalakrishnan, Ganesh},
  month = sep,
  doi = {10.1007/978-3-540-30142-4\_5},
  pages = {66--81},
  publisher = {Springer},
  series = {LNCS},
  title = {Hierarchical Reflection},
  volume = {3223},
  year = {2004},
  month_numeric = {9}
}

@inproceedings{C03,
  author = {Cruz-Filipe, Lu{\'i}s},
  booktitle = {Types for Proofs and Programs},
  editor = {Geuvers, Herman and Wiedijk, Freek},
  month = apr,
  doi = {10.1007/3-540-39185-1\_7},
  pages = {108--126},
  publisher = {Springer},
  series = {LNCS},
  title = {A Constructive Formalization of the Fundamental Theorem of Calculus},
  volume = {2646},
  year = {2003},
  month_numeric = {4}
}

@inproceedings{CS03,
  author = {Cruz-Filipe, Lu{\'i}s and Spitters, Bas},
  booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003},
  editor = {Basin, David A. and Wolff, Burkhart},
  month = sep,
  doi = {10.1007/10930755\_14},
  pages = {205--220},
  publisher = {Springer},
  series = {LNCS},
  title = {Program Extraction from Large Proof Developments},
  volume = {2758},
  year = {2003},
  month_numeric = {9}
}

@unpublished{ACJM,
  author = {Arbab, Farhad and Cruz-Filipe, Lu{\'i}s and Jongmans, Sung-Shik and Montesi, Fabrizio},
  title = {Connectors Meet Choreographies},
  note = {submitted for publication}
}

@article{BP19b,
  author = {Brengos, Tomasz and Peressotti, Marco},
  title = {Two modes of recognition: algebra, coalgebra, and languages},
  journal = {CoRR},
  volume = {abs/1906.05573},
  year = {2019},
  url = {https://arxiv.org/abs/1906.05573}
}

@unpublished{CMb,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {Procedural Choreographic Programming},
  note = {submitted for publication}
}

@unpublished{CMc,
  author = {Cruz-Filipe, Lu{\'i}s and Montesi, Fabrizio},
  title = {On Asynchrony and Choreographies},
  note = {submitted for publication}
}

@article{GGM15,
  author = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Montesi, Fabrizio},
  title = {Applied Choreographies},
  journal = {CoRR},
  volume = {abs/1510.03637},
  year = {2015}
}

@article{MP17,
  author = {Montesi, Fabrizio and Peressotti, Marco},
  title = {Choreographies meet Communication Failures},
  journal = {CoRR},
  volume = {abs/1712.05465},
  year = {2017},
  url = {http://arxiv.org/abs/1712.05465}
}

@article{MP18,
  author = {Montesi, Fabrizio and Peressotti, Marco},
  title = {Classical Transitions},
  journal = {CoRR},
  volume = {abs/1803.01049},
  year = {2018},
  url = {http://arxiv.org/abs/1803.01049}
}