EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1M. Bravetti, G. Zavattaro.

    A Foundational Theory of Contracts for Multi-party Service Composition, in: Fundam. Inform., 2008, vol. 89, no 4, pp. 451-478.
  • 2N. Busi, M. Gabbrielli, G. Zavattaro.

    On the expressive power of recursion, replication and iteration in process calculi, in: Mathematical Structures in Computer Science, 2009, vol. 19, no 6, pp. 1191-1222.
  • 3P. Coppola, S. Martini.

    Optimizing optimal reduction: A type inference algorithm for elementary affine logic, in: ACM Trans. Comput. Log., 2006, vol. 7, no 2, pp. 219-260.
  • 4M. Gabbrielli, S. Martini.

    Programming Languages: Principles and Paradigms, Springer, 2010.
  • 5D. Hirschkoff, É. Lozes, D. Sangiorgi.

    On the Expressiveness of the Ambient Logic, in: Logical Methods in Computer Science, 2006, vol. 2, no 2.
  • 6U. D. Lago, M. Gaboardi.

    Linear Dependent Types and Relative Completeness, in: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, IEEE Computer Society, 2011, pp. 133-142.

    http://www.cs.unibo.it/~gaboardi/publication/DalLagoGaboardi11lics.pdf
  • 7I. Lanese, C. A. Mezzina, A. Schmitt, J.-B. Stefani.

    Controlling Reversibility in Higher-Order Pi, in: Proc. of CONCUR 2011, J.-P. Katoen, B. König (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6901, pp. 297-311.

    http://www.cs.unibo.it/~lanese/publications/fulltext/concur2011.pdf.gz
  • 8F. Montesi, C. Guidi, G. Zavattaro.

    Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, pp. 13-22.
  • 9D. Sangiorgi.

    An introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 11R. Amadini, I. Sefrioui, J. Mauro, M. Gabbrielli.

    A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing, in: international Jorunal of Interactive Multimedia and Artificial Intelligence, 2013, vol. 2, no 4, pp. 67-75.

    http://hal.inria.fr/hal-00909296
  • 12L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, B. Venneri.

    Deriving session and union types for objects, in: Mathematical Structures in Computer Science, 2013, vol. 23, pp. 1163–1219.

    http://hal.inria.fr/hal-00909312
  • 13S. Capecchi, E. Giachino, N. Yoshida.

    Global Escape in Multiparty Sessions, in: Mathematical Structures in Computer Science, 2013, to appear.

    http://hal.inria.fr/hal-00909314
  • 14U. Dal Lago, S. Martini, D. Sangiorgi.

    Light Logics and Higher-Order Processes, in: Mathematical Structures in Computer Science, 2013, to appear.

    http://hal.inria.fr/hal-00909315
  • 15U. Dal Lago, P. Parisen Toldin.

    An Higher-Order Characterization of Probabilistic Polynomial Time, in: Information and Computation, 2013, to appear.

    http://hal.inria.fr/hal-00909316
  • 16U. Dal Lago, B. Petit.

    Linear Dependent Types in a Call-by-Value Scenario, in: Science of Computer Programming, 2013, to appear. [ DOI : 10.1016/j.scico.2013.07.010 ]

    http://hal.inria.fr/hal-00909317
  • 17L. C. Filipe, I. Lanese, F. Martins, A. Ravara, V. Vasconcelos.

    The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming, in: Formal Aspects of Computing, 2013, 60 p, To appear.

    http://hal.inria.fr/hal-00909308
  • 18M. Gabbrielli, J. Mauro, M. C. Meo.

    The expressive power of CHR with priorities, in: Information and Computation, 2013, vol. 228-229, pp. 62-82. [ DOI : 10.1016/j.ic.2013.05.001 ]

    http://hal.inria.fr/hal-00909295
  • 19C. Versari, G. Zavattaro.

    Complex Functional Rates in the Modeling of Nano Devices, in: Electronic Notes in Theoretical Computer Science, March 2013, vol. 293, pp. 3-15.

    http://hal.inria.fr/hal-00825147

International Conferences with Proceedings

  • 20E. Albert, F. Boer, R. Hahnle, E. B. Johnsen, C. Laneve.

    Engineering Virtualized Services, in: Proc. 2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud 2013), Oslo, Norway, ACM, 2013, pp. 59–63. [ DOI : 10.1145/2513534.2513545 ]

    http://hal.inria.fr/hal-00909294
  • 21M. Alberti.

    Normal Forms for the Algebraic Lambda-Calculus, in: JFLA - Journées francophones des langages applicatifs, Aussois, France, D. Pous, C. Tasson (editors), Damien Pous and Christine Tasson, February 2013.

    http://hal.inria.fr/hal-00779911
  • 22R. Amadini, M. Gabbrielli, J. Mauro.

    An Empirical Evaluation of Portfolios Approaches for Solving CSPs, in: CPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, Yorktown Heights, United States, C. Gomes, M. Sellmann (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7874, pp. 316-324. [ DOI : 10.1007/978-3-642-38171-3_21 ]

    http://hal.inria.fr/hal-00909297
  • 23F. S. Boer, M. Bravetti, I. Grabe, M. D. Lee, M. Steffen, G. Zavattaro.

    A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, in: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, United States, C. S. Pasareanu, G. Salaün (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7684, pp. 110-127.

    http://hal.inria.fr/hal-00909292
  • 24M. Carbone, F. Montesi.

    Deadlock-freedom-by-design: multiparty asynchronous global programming, in: POPL - 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2013, Rome, Italy, ACM, 2013, pp. 263-274.

    http://hal.inria.fr/hal-00909320
  • 25M. Catan, R. D. Cosmo, A. Eiche, T. A. Lascu, M. Lienhardt, J. Mauro, R. Treinen, S. Zacchiroli, G. Zavattaro, J. Zwolakowski.

    Aeolus: Mastering the Complexity of Cloud Application Deployment, in: ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, Malaga, Spain, K.-K. Lau, W. Lamersdorf, E. Pimentel (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8135, pp. 1-3. [ DOI : 10.1007/978-3-642-40651-5_1 ]

    http://hal.inria.fr/hal-00909298
  • 26L. D'Antoni, M. Gaboardi, A. E. J. Gallego, A. Haeberlen, B. Pierce.

    Sensitivity analysis using type-based constraints, in: FPCDSL - 1st annual workshop on Functional programming concepts in domain-specific languages - 2013, Boston, BA, USA, United States, ACM, 2013, pp. 43–50. [ DOI : 10.1145/2505351.2505353 ]

    http://hal.inria.fr/hal-00909341
  • 27U. Dal Lago, G. Pellitta.

    Complexity Analysis in Presence of Control Operators and Higher-Order Functions, in: LPAR-19 - Logic for Programming, Artificial Intelligence, and Reasoning - 2013, Stellenbosch, South Africa, K. McMillan, A. Middeldorp, A. Voronkov (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8312, pp. 258-273. [ DOI : 10.1007/978-3-642-45221-5_19 ]

    http://hal.inria.fr/hal-00909319
  • 28U. Dal Lago, B. Petit.

    The geometry of types, in: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings, Rome, Italy, ACM, 2013, pp. 167-178.

    http://hal.inria.fr/hal-00909318
  • 29O. Dardha, E. Giachino, M. Lienhardt.

    A Type System for Components, in: SEFM - International Conference on Software Engineering and Formal Methods - 2013, Madrid, Spain, R. M. Hierons, M. G. Merayo, M. Bravetti (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8137, pp. 167-181. [ DOI : 10.1007/978-3-642-40561-7_12 ]

    http://hal.inria.fr/hal-00909310
  • 30O. Dardha, D. Gorla, D. Varacca.

    Semantic Subtyping for Objects and Classes, in: FMOODS/FORTE - IFIP Joint International Conference on Formal Techniques for Distributed Systems - 2013, Firenze, Italy, D. Beyer, M. Boreale (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7892, pp. 66-82. [ DOI : 10.1007/978-3-642-38592-6_6 ]

    http://hal.inria.fr/hal-00909299
  • 31R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro.

    Component Reconfiguration in the Presence of Conflicts, in: ICALP - International Colloquium on Automata, Languages and Programming - 2013, Riga, Latvia, F. V. Fomin, R. Freivalds, M. Kwiatkowska, D. Peleg (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7966, pp. 187-198. [ DOI : 10.1007/978-3-642-39212-2_19 ]

    http://hal.inria.fr/hal-00909336
  • 32M. Gaboardi, A. Haeberlen, J. Hsu, A. Narayan, B. Pierce.

    Linear Dependent Types for Differential Privacy, in: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, Italy, POPL '13, ACM, 2013, pp. 357–370. [ DOI : 10.1145/2429069.2429113 ]

    http://hal.inria.fr/hal-00909340
  • 33E. Giachino, C. A. Grazia, C. Laneve, M. Lienhardt, P. Wong.

    DeadLock Analysis of Concurrent Objects – Theory and Practice, in: IFM - 10th International Conference on integrated Formal Methods - 2013, Turku, Finland, E. B. Johnsen, L. Petr (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7940, pp. 394-411. [ DOI : 10.1007/978-3-642-38613-8_27 ]

    http://hal.inria.fr/hal-00909311
  • 34E. Giachino, C. Laneve.

    A Beginner's Guide to the DeadLock Analysis Model, in: TGC, Newcastle, United Kingdom, Lecture Notes in Computer Science, Springer, 2013, vol. 8191, pp. 49-63.

    http://hal.inria.fr/hal-00909309
  • 35D. Hirschkoff, J.-M. Madiot, D. Sangiorgi.

    Name-passing calculi: from fusions to preorders and types, in: LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, New Orleans, United States, IEEE, 2013, pp. 378-387. [ DOI : 10.1109/LICS.2013.44 ]

    http://hal.inria.fr/hal-00904138
  • 36R. Hähnle, M. Helvenstijn, E. B. Johnsen, M. Lienhardt, D. Sangiorgi, I. Schaefer, P. Wong.

    HATS Abstract Behavioral Specification: The Architectural View, in: FMCO - Formal Methods for Components and Objects - 2011, Turin, Italy, B. Beckert, F. Damiani, F. S. de Boer, M. M. Bonsangue (editors), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2013, vol. 7542, pp. 165–185. [ DOI : 10.1007/978-3-642-35887-6_6 ]

    http://hal.inria.fr/hal-00909383
  • 37I. Lanese, L. Bedogni, M. D. Felice.

    Internet of things: a process calculus approach, in: SAC, Coimbra, Portugal, S. Y. Shin, J. C. Maldonado (editors), ACM, 2013, pp. 1339-1346.

    http://hal.inria.fr/hal-00909303
  • 38I. Lanese, M. Lienhardt, C. Mezzina, A. Schmitt, J.-B. Stefani.

    Concurrent Flexible Reversibility, in: 22nd European Symposium on Programming, ESOP 2013, Rome, Italy, M. Felleisen, P. Gardner (editors), Lecture Notes in Computer Science (LNCS), Springer, March 2013, vol. 7792, pp. 370-390. [ DOI : 10.1007/978-3-642-37036-6_21 ]

    http://hal.inria.fr/hal-00811629
  • 39I. Lanese, F. Montesi, G. Zavattaro.

    Amending Choreographies, in: WWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, Florence, Italy, A. Ravara, J. Silva (editors), EPTCS, Open Publishing Association, 2013, vol. 123, pp. 34-48. [ DOI : 10.4204/EPTCS.123.5 ]

    http://hal.inria.fr/hal-00909305
  • 40I. Lanese, G. Zavattaro.

    Decidability Results for Dynamic Installation of Compensation Handlers, in: COORDINATION, Florence, Italy, R. D. Nicola, C. Julien (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7890, pp. 136-150.

    http://hal.inria.fr/hal-00909301
  • 41T. A. Lascu, J. Mauro, G. Zavattaro.

    Automatic Component Deployment in the Presence of Circular Dependencies, in: 10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, 2013.

    http://hal.inria.fr/hal-00909300
  • 42F. Montesi.

    Process-aware web programming with Jolie, in: SAC - Symposium on Applied Computing - 2013, Coimbra, Portugal, ACM, 2013, pp. 761-763. [ DOI : 10.1145/2480362.2480507 ]

    http://hal.inria.fr/hal-00909322
  • 43F. Montesi, N. Yoshida.

    Compositional Choreographies, in: CONCUR - Concurrency Theory - 2013, Buenos Aires, Argentina, P. R. D'Argenio, H. Melgratti (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8052, pp. 425-439. [ DOI : 10.1007/978-3-642-40184-8_30 ]

    http://hal.inria.fr/hal-00909321

Scientific Books (or Scientific Book chapters)

  • 44F. Montesi, C. Guidi, G. Zavattaro.

    Service-Oriented Programming with Jolie, in: Web Services Foundations, A. Bouguettaya, Q. Z. Sheng, F. Daniel (editors), Springer, 2014, pp. 81-107.

    http://hal.inria.fr/hal-00909323

Internal Reports

  • 45R. Di Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski.

    Optimal Provisioning in the Cloud. Technical report of the Aeolus project, March 2013.

    http://hal.inria.fr/hal-00831455
  • 46R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro.

    Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project, 2013.

    http://hal.inria.fr/hal-00816468

Other Publications

References in notes
  • 49Chor.

    Programming Language.

    http://www.chor-lang.org/
  • 50U. Dal Lago, U. Schöepp.

    Functional Programming in Sublinear Space, in: Programming Languages and Systems, 19th European Symposium, Proceedings, Lecture Notes in Computer Science, Springer, 2010, vol. 6012, pp. 205-225.
  • 51K. Pohl, G. Böckle, F. v. der Linden.

    Software Product Line Engineering: Foundations, Principles, and Techniques Objects, Springer Verlag, 2005.