Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
M. Bravetti, G. Zavattaro.
A Foundational Theory of Contracts for Multi-party Service Composition, in: Fundam. Inform., 2008, vol. 89, no 4, pp. 451-478.
[2]
N. 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.
[3]
P. 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.
[4]
M. Gabbrielli, S. Martini.
Programming Languages: Principles and Paradigms, Springer, 2010.
[5]
D. Hirschkoff, É. Lozes, D. Sangiorgi.
On the Expressiveness of the Ambient Logic, in: Logical Methods in Computer Science, 2006, vol. 2, no 2.
[6]
U. 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.
[7]
I. Lanese, C. A. Mezzina, J. Stefani.
Reversibility in the higher-order π-calculus, in: Theor. Comput. Sci., 2016, vol. 625, pp. 25–84.
https://doi.org/10.1016/j.tcs.2016.02.019
[8]
F. Montesi, C. Guidi, G. Zavattaro.
Composing Services with JOLIE, in: Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007, pp. 13-22.
[9]
D. Sangiorgi.
An introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
Publications of the year

Doctoral Dissertations and Habilitation Theses

[10]
F. Gavazzo.
Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects, Alma Mater Studiorum Università di Bologna, April 2019.
https://hal.inria.fr/tel-02386201

Articles in International Peer-Reviewed Journals

[11]
M. Avanzini, U. Dal Lago, A. Yamada.
On probabilistic term rewriting, in: Science of Computer Programming, January 2020, vol. 185, 102338 p. [ DOI : 10.1016/j.scico.2019.102338 ]
https://hal.inria.fr/hal-02381877
[12]
P. Baillot, G. Barthe, U. Dal Lago.
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs, in: Journal of Automated Reasoning, December 2019, vol. 63, no 4, pp. 813-855. [ DOI : 10.1007/978-3-662-48899-7_15 ]
https://hal.archives-ouvertes.fr/hal-01197456
[13]
T. Bell, M. Lodi.
Authors’ Response: Keeping the “Computation” in “Computational Thinking” Through Unplugged Activities, in: Constructivist foundations, July 2019, vol. 14, no 3, pp. 357-359.
https://hal.inria.fr/hal-02378782
[14]
T. Bell, M. Lodi.
Constructing Computational Thinking Without Using Computers, in: Constructivist foundations, July 2019, vol. 14, no 3, pp. 342-351.
https://hal.inria.fr/hal-02378761
[15]
C. Camacho, L. Llana, A. Núñez, M. Bravetti.
Probabilistic Software product lines, in: Journal of Logical and Algebraic Methods in Programming, October 2019. [ DOI : 10.1016/j.jlamp.2019.05.007 ]
https://hal.inria.fr/hal-02387462
[16]
U. Dal Lago, M. de Visme, D. Mazza, A. Yoshimizu.
Intersection Types and Runtime Errors in the Pi-Calculus, in: Proceedings of the ACM on Programming Languages, January 2019, vol. 3, no POPL, pp. 1-29. [ DOI : 10.1145/3290320 ]
https://hal.archives-ouvertes.fr/hal-02399565
[17]
U. Dal Lago, C. Grellois.
Probabilistic Termination by Monadic Affine Sized Typing, in: ACM Transactions on Programming Languages and Systems (TOPLAS), June 2019, vol. 41, no 2, pp. 1-65. [ DOI : 10.1145/3293605 ]
https://hal.archives-ouvertes.fr/hal-02399423
[18]
S. De Gouw, J. Mauro, G. Zavattaro.
On the modeling of optimal and automatized cloud application deployment, in: Journal of Logical and Algebraic Methods in Programming, October 2019, vol. 107, pp. 108-135. [ DOI : 10.1016/j.jlamp.2019.06.001 ]
https://hal.inria.fr/hal-02401380
[19]
A. Durier, D. Hirschkoff, D. Sangiorgi.
Divergence and unique solution of equations, in: Logical Methods in Computer Science, August 2019, https://arxiv.org/abs/1806.11354 - This is an extended version of the paper with the same title published in the proceedings of CONCUR'17. [ DOI : 10.23638/LMCS-15(3:12)2019 ]
https://hal.archives-ouvertes.fr/hal-02376814
[20]
A. Durier, D. Hirschkoff, D. Sangiorgi.
Towards 'up to context' reasoning about higher-order processes, in: Theoretical Computer Science, 2019, forthcoming. [ DOI : 10.1016/j.tcs.2019.09.036 ]
https://hal.archives-ouvertes.fr/hal-01857391
[21]
M. Falaschi, M. Gabbrielli, C. Olarte, C. Palamidessi.
Dynamic slicing for Concurrent Constraint Languages, in: Fundamenta Informaticae, 2019, forthcoming.
https://hal.archives-ouvertes.fr/hal-02423973
[22]
C. Laneve.
A lightweight deadlock analysis for programs with threads and reentrant locks, in: Science of Computer Programming, 2019, vol. 181, pp. 64 - 81. [ DOI : 10.1016/j.scico.2019.06.002 ]
https://hal.inria.fr/hal-02392938
[23]
C. Laneve, M. Lienhardt, K. I. Pun, G. Román-Díez.
Time analysis of actor programs, in: Journal of Logical and Algebraic Methods in Programming, 2019, vol. 105, pp. 1 - 27. [ DOI : 10.1016/j.jlamp.2019.02.007 ]
https://hal.inria.fr/hal-02392909
[24]
M. Lodi, D. Malchiodi, M. Monga, A. Morpurgo, B. Spieler.
Constructionist Attempts at Supporting the Learning of Computer Programming: A Survey, in: Olympiads in Informatics: An International Journal, July 2019, vol. 13, pp. 99-121. [ DOI : 10.15388/ioi.2019.07 ]
https://hal.inria.fr/hal-02379084
[25]
D. Pous, D. Sangiorgi.
Bisimulation and Coinduction Enhancements: A Historical Perspective, in: Formal Aspects of Computing, December 2019, vol. 31, no 6, pp. 733-749. [ DOI : 10.1007/s00165-019-00497-w ]
https://hal.archives-ouvertes.fr/hal-02393949

International Conferences with Proceedings

[26]
M. Avanzini, U. Dal Lago, A. Ghyselen.
Type-Based Complexity Analysis of Probabilistic Functional Programs, in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vancouver, Canada, IEEE, June 2019, pp. 1-13. [ DOI : 10.1109/LICS.2019.8785725 ]
https://hal.inria.fr/hal-02381829
[27]
M. Bravetti, M. Carbone, J. Lange, N. Yoshida, G. Zavattaro.
A Sound Algorithm for Asynchronous Session Subtyping, in: CONCUR 2019 - 30th International Conference on Concurrency Theory, Amsterdam, Netherlands, August 2019. [ DOI : 10.4230/LIPIcs.CONCUR.2019.38 ]
https://hal.inria.fr/hal-02387473
[28]
M. Bravetti, S. Giallorenzo, J. Mauro, I. Talevi, G. Zavattaro.
Optimal and Automated Deployment for Microservices, in: 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, Prague, Czech Republic, April 2019. [ DOI : 10.1007/978-3-030-16722-6_21 ]
https://hal.inria.fr/hal-02387483
[29]
M. Bravetti, G. Zavattaro.
Relating Session Types and Behavioural Contracts: the Asynchronous Case, in: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, Oslo, Norway, September 2019.
https://hal.inria.fr/hal-02387456
[30]
F. Callegati, M. Gabbrielli, S. Giallorenzo, A. Melis, M. Prandini.
Federated Platooning: Insider Threats and Mitigations, in: Hawaii International Conference on System Sciences, Grand Wailea, Maui, Hawaii, USA,, United States, January 2019. [ DOI : 10.24251/HICSS.2019.389 ]
https://hal.inria.fr/hal-02400010
[31]
U. Dal Lago, F. Gavazzo.
Effectful Normal Form Bisimulation, in: European Symposium on Programming, Prague, Czech Republic, April 2019.
https://hal.inria.fr/hal-02386004
[32]
U. Dal Lago, F. Gavazzo.
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, in: Mathematical Foundations of Programming Semantics XXXV, London, United Kingdom, June 2019.
https://hal.inria.fr/hal-02386083
[33]
U. Dal Lago, F. Gavazzo, A. Yoshimizu.
Differential Logical Relations Part I: The Simply-Typed Case, in: 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, July 2019. [ DOI : 10.4230/LIPIcs.ICALP.2019.XXX ]
https://hal.inria.fr/hal-02386110
[34]
U. Dal Lago, N. Hoshino.
The Geometry of Bayesian Programming, in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vancouver, Canada, IEEE, June 2019, pp. 1-13. [ DOI : 10.1109/LICS.2019.8785663 ]
https://hal.archives-ouvertes.fr/hal-02399343
[35]
M. Gabbrielli, S. Giallorenzo, I. Lanese, F. Montesi, M. Peressotti, S. P. Zingaro.
No More, No Less - A Formal Model for Serverless Computing, in: 21th International Conference on Coordination Languages and Models (COORDINATION), Kongens Lyngby, Denmark, H. R. Nielson, E. Tuosto (editors), Coordination Models and Languages, Springer International Publishing, 2019, vol. LNCS-11533, pp. 148-157, Part 3: Exploring New Frontiers. [ DOI : 10.1007/978-3-030-22397-7_9 ]
https://hal.inria.fr/hal-02365509
[36]
N. Kobayashi, U. Dal Lago, C. Grellois.
On the Termination Problem for Probabilistic Higher-Order Recursive Programs, in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vancouver, France, IEEE, June 2019, pp. 1-14. [ DOI : 10.1109/LICS.2019.8785679 ]
https://hal.archives-ouvertes.fr/hal-02399361
[37]
I. Lanese, A. Palacios, G. Vidal.
Causal-Consistent Replay Debugging for Message Passing Programs, in: FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Copenhagen, Denmark, J. A. Pérez, N. Yoshida (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, 2019, vol. LNCS-11535, pp. 167-184, Part 1: Full Papers. [ DOI : 10.1007/978-3-030-21759-4_10 ]
https://hal.inria.fr/hal-02313745
[38]
C. Laneve, C. S. Coen, A. Veschetti.
On the Prediction of Smart Contracts' Behaviours, in: SG65 -Colloquium in Honour of Stefania Gnesi, Porto, Portugal, M. H. ter Beek, A. Fantechi, L. Semini (editors), Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, October 2019, vol. 11865, pp. 397–415. [ DOI : 10.1007/978-3-030-30985-5_23 ]
https://hal.inria.fr/hal-02392997
[39]
T. Liu, F. Callegati, W. Cerroni, C. Contoli, M. Gabbrielli, S. Giallorenzo.
Constraint programming for flexible Service Function Chaining deployment, in: HICS 2019 - 52nd Hawaii International Conference on System Sciences, Maui, United States, Proceedings of the 52nd Hawaii International Conference on System Sciences, January 2019.
https://hal.inria.fr/hal-02395208
[40]
M. Lodi.
Does Studying CS Automatically Foster a Growth Mindset?, in: ITiCSE '19 Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, United Kingdom, ACM Press, July 2019, vol. 7, pp. 147-153. [ DOI : 10.1145/3304221.3319750 ]
https://hal.inria.fr/hal-02379130
[41]
L. Mikulski, I. Lanese.
Reversing Unbounded Petri Nets, in: PETRI NETS 2019, Aachen, Germany, S. Donatelli, S. Haar (editors), June 2019. [ DOI : 10.1007/978-3-030-21571-2_13 ]
https://hal.inria.fr/hal-02376158
[42]
D. Sangiorgi.
Asynchronous pi-calculus at Work: The Call-by-Need Strategy, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Paris, France, Lecture Notes in Computer Science, November 2019, vol. 11760, pp. 33-49. [ DOI : 10.1007/978-3-030-31175-9_3 ]
https://hal.inria.fr/hal-02399695

Scientific Books (or Scientific Book chapters)

[43]
M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro.
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019. [ DOI : 10.1007/978-3-030-31175-9_8 ]
https://hal.inria.fr/hal-02376243
[44]
M. Gabbrielli, S. Giallorenzo, I. Lanese, S. P. Zingaro.
Linguistic Abstractions for Interoperability of IoT Platforms, in: Towards Integrated Web, Mobile, and IoT Technology, August 2019, pp. 83-114. [ DOI : 10.1007/978-3-030-28430-5_5 ]
https://hal.inria.fr/hal-02383918
[45]
I. Lanese, D. Sangiorgi, G. Zavattaro.
Playing with Bisimulation in Erlang, in: Models, Languages, and Tools for Concurrent and Distributed Programming, 2019. [ DOI : 10.1007/978-3-030-21485-2_6 ]
https://hal.inria.fr/hal-02376217

Internal Reports

[46]
M. Avanzini, U. Dal Lago, A. Ghyselen.
Type-Based Complexity Analysis of Probabilistic Functional Programs (Technical Report), Inria Sophia Antipolis ; University of Bologna ; ENS Lyon, April 2019.
https://hal.archives-ouvertes.fr/hal-02103943

Scientific Popularization

[47]
M. Lodi, R. Davoli, R. Montanari, S. Martini.
Informatica senza e con computer nella Scuola Primaria, in: Coding e oltre: Informatica nella scuola, E. Nardelli (editor), 2019, forthcoming.
https://hal.inria.fr/hal-02379212

Other Publications

[48]
D. Medic.
Relative expressiveness of calculi for reversible concurrency, October 2019, The Concurrency Column of EATCS Bulletin, No 129.
https://hal.inria.fr/hal-02376279
References in notes
[49]
M. Carbone, K. Honda, N. Yoshida.
A Calculus of Global Interaction based on Session Types, in: Electr. Notes Theor. Comput. Sci., 2007, vol. 171, no 3, pp. 127–151.
[50]
L. Cosimo, L. Padovani.
Deadlock Analysis of Wait-Notify Coordination, University of Bologna ; University of Torino, 2019, To appear in LNCS 11760, Springer, 2019.
https://hal.inria.fr/hal-02166082
[51]
V. Danos, J. Krivine.
Reversible Communicating Systems, in: CONCUR 2004, P. Gardner, N. Yoshida (editors), Lecture Notes in Computer Science, Springer, 2004, vol. 3170, pp. 292–307.
[52]
A. Garcia, C. Laneve, M. Lienhardt.
Static analysis of cloud elasticity, in: 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Moreno Falaschi and Elvira Albert, July 2015, 12 p. [ DOI : 10.1145/2790449.2790524 ]
https://hal.inria.fr/hal-01229424
[53]
A. Igarashi, N. Kobayashi.
Resource usage analysis, in: POPL conference, ACM Press, 2002, pp. 331–342.
[54]
N. Kobayashi, D. Sangiorgi.
A hybrid type system for lock-freedom of mobile processes, in: ACM Trans. Program. Lang. Syst., 2010, vol. 32, no 5.
[55]
I. C. C. Phillips, I. Ulidowski.
Reversing algebraic process calculi, in: J. Log. Algebr. Program., 2007, vol. 73, no 1-2, pp. 70–96.
https://doi.org/10.1016/j.jlap.2006.11.002