Sites Inria

Version française

FOCUS Research team

FOCUS team publications

2017

Conference papers

titre
The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects
auteur
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
article
POPL 2017, Jan 2017, Paris, France. pp.833-845, 2017, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, January 15 - 21, 2017. 〈10.1145/3009837.3009859〉
Accès au bibtex
https://arxiv.org/pdf/1610.09629 BibTex

Reports

titre
Analysis of synchronisation patterns in stateful active objects
auteur
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
article
[Research Report] I3S; Inria - Sophia antipolis. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01542595/file/Effects-FULL.pdf BibTex

2016

Journal articles

titre
Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
auteur
Marco Solieri
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, pp.1 - 43. 〈10.1017/S0960129516000311〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01400359/file/GoRI-Taylor_2016-09-07.pdf BibTex
titre
Behavioral Types in Programming Languages
auteur
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco Vasconcelos, Nobuko Yoshida
article
Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. 〈10.1561/2500000031〉
Accès au bibtex
BibTex
titre
New Results on Morris's Observational Theory
auteur
Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo
article
Leibniz International Proceedings in Informatics (LIPIcs), 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. 〈http://fscd2016.dcc.fc.up.pt/〉. 〈10.4230/LIPIcs.FSCD.2016.70〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337192/file/proc-breuvart.pdf BibTex
titre
Foundations of Session Types and Behavioural Contracts
auteur
Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara
article
ACM Computing Surveys, Association for Computing Machinery, 2016, 49 (1), 〈10.1145/2873052〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01336707/file/main.pdf BibTex
titre
Dynamic Rebinding for Concurrent Object Groups: Theory and Practice
auteur
Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Wong
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, 〈10.1016/j.jlamp.2016.03.002〉
Accès au bibtex
BibTex
titre
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
International Journal of Interactive Multimedia and Artificial Intelligence, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336684/file/ijimai_2016.pdf BibTex
titre
Name-passing calculi: From fusions to preorders and types
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
Journal of Information and Computation, Elsevier, 2016, 251, pp.26. 〈10.1016/j.ic.2016.10.003〉
Accès au bibtex
BibTex
titre
(Leftmost-outermost) beta reduction is invariant, indeed
auteur
Beniamino Accattoli, Ugo Dal Lago
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 〈10.2168/LMCS-12(1:4)2016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337712/file/lmcs2016.pdf BibTex
titre
Light Logics and Higher-Order Processes
auteur
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (06), pp.969 - 992. 〈10.1017/S0960129514000310〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01400903/file/MSCS.pdf BibTex
titre
Global Escape in Multiparty Sessions
auteur
Sara Capecchi, Elena Giachino, Nobuko Yoshida
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 〈10.1017/S0960129514000164〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336832/file/main.pdf BibTex
titre
A framework for deadlock detection in core ABS
auteur
Elena Giachino, Cosimo Laneve, Michael Lienhardt
article
Software and Systems Modeling, Springer Verlag, 2016, 〈10.1007/s10270-014-0444-y〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01229046/file/longDF4ABS.pdf BibTex
titre
Reversibility in the higher-order π-calculus
auteur
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
article
Theoretical Computer Science, Elsevier, 2016, 625, pp.25-84. 〈10.1016/j.tcs.2016.02.019〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303090/file/journal-rhopi.pdf BibTex
titre
Portfolio Approaches for Constraint Optimization Problems
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336686/file/amai_2014.pdf BibTex
titre
Higher-order interpretations and program complexity
auteur
Patrick Baillot, Ugo Dal Lago
article
Information and Computation, Elsevier, 2016, 〈10.1016/j.ic.2015.12.008〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337728/file/main.pdf BibTex
titre
Computation by interaction for space-bounded functional programming
auteur
Ugo Dal Lago, Ulrich Schöpp
article
Information and Computation, Elsevier, 2016, 248, 〈10.1016/j.ic.2015.04.006〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337724/file/intml2_singlespaced.pdf BibTex

Conference papers

titre
Data Security Issues in MaaS-enabling Platforms
auteur
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
article
International Forum on Research and Technologies for Society and Industry, Sep 2016, Bologna, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336700/file/RTSI2016.pdf BibTex
titre
Envisage: Developing SLA-aware Deployed Services with Formal Methods
auteur
Elvira Albert, Frank De Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
article
ESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Sep 2016, Wien, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01345020/file/ESOCC_2016_paper_46.pdf BibTex
titre
Declarative Elasticity in ABS
auteur
Stijn De Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
article
Proceedings of the European Conference on Service-Oriented and Cloud Computing 2016, Sep 2016, Vienna, Austria. pp.118 - 134, 2016, 〈10.1007/978-3-319-44482-6_8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399887/file/main.pdf BibTex
titre
Actors may synchronize, safely! *
auteur
Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
article
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01345315/file/gASP-FULL.pdf BibTex
titre
Up-To Techniques for Generalized Bisimulation Metrics
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
article
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. 59, pp.35:1--35:14, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.CONCUR.2016.35〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01335234/file/paper.pdf BibTex
titre
Infinitary Lambda Calculi from a Linear Perspective
auteur
Ugo Dal Lago
article
Logic in Computer Science, Jul 2016, New York, United States. 〈10.1145/2933575.2934505〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01400883/file/main%20%281%29.pdf BibTex
titre
Types in Programming Languages, between Modelling, Abstraction, and Correctness
auteur
Simone Martini
article
Computability in Europe, CiE 2016: Pursuit of the Universal, Jun 2016, Paris, France. Springer, 9709, LNCS. 〈https://lipn.univ-paris13.fr/CIE2016/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01335657/file/Cie-revised.pdf BibTex
titre
Complexity of Acyclic Term Graph Rewriting
auteur
Martin Avanzini, Georg Moser
article
Proceedings of FSCD'16, Jun 2016, Porto, Portugal. 〈10.4230/LIPIcs.FSCD.2016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336582/file/proc-avanzini.pdf BibTex
titre
A Modular Formalization of Reversibility for Concurrent Models and Languages
auteur
Alexis Bernadet, Ivan Lanese
article
ICE 2016, Jun 2016, Heraklion, Greece. EPTCS
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337423/file/main.pdf BibTex
titre
TcT: Tyrolean Complexity Tool
auteur
Martin Avanzini, Georg Moser, Michael Schaper
article
Marsha Chechnik; Jean-Francois Raskin. Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. Springer Verlag Heidelberg, 9636, pp.407-423, 2016, LNCS. 〈10.1007/978-3-662-49674-9_24〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01392188/file/paper.pdf BibTex
titre
Environmental Bisimulations for Probabilistic Higher-Order Languages
auteur
Davide Sangiorgi, Valeria Vignudelli
article
POPL '16, Jan 2016, St. Petersburg, United States. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 〈http://conf.researchr.org/home/POPL-2016〉. 〈10.1145/2837614.2837651〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337665/file/main.pdf BibTex
titre
A lambda-calculus foundation for universal probabilistic programming
auteur
Johannes Borgström, Ugo Dal Lago, Andrew Gordon, Marcin Szymczak
article
International Conference on Functional Programming, 2016, Nara, Japan. pp.33 - 46, 2016, 〈10.1145/2951913.2951942〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01400890/file/mh-lambda.pdf BibTex
titre
Slicing Concurrent Constraint Programs
auteur
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
article
Manuel V. Hermenegildo ; Pedro Lopez-Garcia. Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016, Edinburgh, United Kingdom. 2016
Accès au bibtex
https://arxiv.org/pdf/1608.05252 BibTex

Book sections

titre
On the Expressiveness of Synchronization in Component Deployment
auteur
Jacopo Mauro, Gianluigi Zavattaro
article
Theory and Practice of Formal Methods , 9660 pp.344-359, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-30734-3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01334772/file/DeBoerFest.pdf BibTex
titre
Self-Reconfiguring Microservices
auteur
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
article
Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Theory and Practice of Formal Methods, Springer, pp.194-210, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. 〈10.1007/978-3-319-30734-3_14〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336688/file/main.pdf BibTex
titre
Statically and Dynamically Verifiable SLA Metrics
auteur
Elena Giachino, Stijn De Gouw, Cosimo Laneve, Behrooz Nobakht
article
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. 〈10.1007/978-3-319-30734-3_15〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01336836/file/main.pdf BibTex

Reports

titre
Parallelizing Constraint Solvers for Hard RCPSP Instances
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
[Technical Report] Inria Sophia Antipolis. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01295061/file/main.pdf BibTex
titre
SUNNY-CP: a Portfolio Solver for Constraint Programming
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
[Technical Report] Inria Sophia Antipolis. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336407/file/sunny_hal.pdf BibTex

Theses

titre
Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
auteur
Marco Solieri
article
Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01400369/file/main-paper-1.2.pdf BibTex
titre
Real-World Choreographies
auteur
Saverio Giallorenzo
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Università degli studi di Bologna, 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01336757/file/Saverio_Giallorenzo_-_Real-World_Choreographies.pdf BibTex

2015

Journal articles

titre
An Algebraic Theory for Web Service Contracts
auteur
Cosimo Laneve, Luca Padovani
article
Formal Aspects of Computing, Springer Verlag, 2015, 27 (4), pp.27. 〈10.1007/s00165-015-0334-2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01229401/file/ifm2013full.pdf BibTex
titre
Geometry of Resource Interaction - A Minimalist Approach
auteur
Marco Solieri
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2015, Proceedings Third International Workshop on Linearity - Vienna, Austria, 13th July, 2014, 176, pp.79-94. 〈http://eptcs.org/〉. 〈10.4204/EPTCS.176.7〉
Accès au texte intégral et bibtex
https://hal-univ-paris13.archives-ouvertes.fr/hal-01091754/file/GeometryOfResourceInteraction_2015-02-16.pdf BibTex
titre
Automatic deployment of component-based applications
auteur
Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro
article
Science of Computer Programming, Elsevier, 2015, 〈10.1016/j.scico.2015.07.006〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233485/file/scp14-lmz.pdf BibTex
titre
Developing correct, distributed, adaptive software
auteur
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
article
Science of Computer Programming, Elsevier, 2015, 〈10.1016/j.scico.2013.11.019〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227610/file/scp_2013_full.pdf BibTex
titre
Portfolio Approaches for Constraint Optimization Problems
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2015, 〈10.1007/s10472-015-9459-5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227939/file/amai_2014.pdf BibTex
titre
A Higher-Order Characterization of Probabilistic Polynomial Time
auteur
Ugo Dal Lago, Paolo Parisen
article
Information and Computation, Elsevier, 2015, 241, pp.114-141. 〈10.1016/j.ic.2014.10.009〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231752/file/main.pdf BibTex

Conference papers

titre
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
auteur
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
article
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20), Nov 2015, Suva, Fiji
Accès au bibtex
BibTex
titre
Automatic Deployment of Services in the Cloud with Aeolus Blender
auteur
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
article
Alistair Barros and Daniela Grigori and Nanjangud C. Narendra and Hoa Khanh Dam. ICSOC, Nov 2015, Goa, India. Springer, 9435, pp.397--411, 2015, Service-Oriented Computing - 13th International Conference, 2015, Goa, India, November 16-19, 2015, Proceedings. 〈10.1007/978-3-662-48616-0_28〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233489/file/main.pdf BibTex
titre
Feature Selection for SUNNY: a Study on the Algorithm Selection Library
auteur
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
article
ICTAI, Nov 2015, Vietri sul Mare, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227600/file/main.pdf BibTex
titre
The Proof Technique of Unique Solutions of Contractions
auteur
Davide Sangiorgi
article
Springer. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. Lecture Notes in Computer Science (9399), pp.63--68, 2015, 〈10.1007/978-3-319-25150-9_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227569/file/icta.pdf BibTex
titre
Time complexity of concurrent programs
auteur
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
article
FACS 2015, Oct 2015, Niterói, Rio de Janeiro, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01229068/file/main.pdf BibTex
titre
Several Types of Types in Programming Languages
auteur
Simone Martini
article
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. Springer, IFIP Advances in Information and Communication Technology, AICT-487, pp.216-227, 2016, History and Philosophy of Computing. 〈https://hapoc2015.sciencesconf.org〉. 〈10.1007/978-3-319-47286-7_15〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399694/file/pisa-proceedings-corrected.pdf BibTex
titre
On the Integration of Automatic Deployment into the ABS Modeling Language
auteur
Stijn De Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
article
Schahram Dustdar and Frank Leymann and Massimo Villari. ESOCC, Sep 2015, Taormina, Italy. Springer, 9306, pp.49--64, 2015, Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. 〈10.1007/978-3-319-24072-5_4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233474/file/main.pdf BibTex
titre
On Applicative Similarity, Sequentiality, and Full Abstraction
auteur
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
article
Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Sep 2015, Oldenburg, Germany. 2015, 〈10.1007/978-3-319-23506-6_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01229398/file/main.pdf BibTex
titre
Towards Dynamic Updates in Service Composition
auteur
Mario Bravetti
article
FOCLASA 2015 - Proceedings of 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Sep 2015, Madrid, Spain. EPTCS - Electronic Proceedings in Theoretical Computer Science
Accès au bibtex
BibTex
titre
Automatic Application Deployment in the Cloud: from Practice to Theory and Back
auteur
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
article
Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 42, pp.1--16, 2015, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.CONCUR.2015.1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233426/file/main.pdf BibTex
titre
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
auteur
Martin Avanzini, Ugo Dal Lago, Georg Moser
article
ICFP 2015, Aug 2015, Vancouver, Canada. 2015, Proceedings of ICFP 2015. 〈10.1145/2784731.2784753〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231809/file/paper.pdf BibTex
titre
On the Complexity of Reconfiguration in Systems with Legacy Components
auteur
Jacopo Mauro, Gianluigi Zavattaro
article
Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella. MFCS, Aug 2015, Milan, Italy. Springer, 9234, pp.382--393, 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part 〈10.1007/978-3-662-48057-1_30〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233482/file/main.pdf BibTex
titre
On Equivalences, Metrics, and Polynomial Time
auteur
Alberto Cappai, Ugo Dal Lago
article
FCT 2015, Aug 2015, Gdansk, Poland. LNCS, 9210, pp.311-323, 2015, 〈10.1007/978-3-319-22177-9_24〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231790/file/main.pdf BibTex
titre
A Multicore Tool for Constraint Solving
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238, IJCAI 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227592/file/ijcai_2015.pdf BibTex
titre
Static analysis of cloud elasticity
auteur
Abel Garcia, Cosimo Laneve, Michael Lienhardt
article
17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. pp.12, 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 〈10.1145/2790449.2790524〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01229424/file/VM-conf.pdf BibTex
titre
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
LOPSTR, Jul 2015, Siena, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227598/file/lopstr_2015.pdf BibTex
titre
Parallelism and Synchronization in an Infinitary Context
auteur
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
article
LICS 2015, Jul 2015, Kyoto, Japan. 2015, Proceedings of LICS 2015. 〈10.1109/LICS.2015.58〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231813/file/main_lics.pdf BibTex
titre
Metric Reasoning About λ-Terms: The Affine Case
auteur
Raphaëlle Crubillé, Ugo Dal Lago
article
LICS 2015, Jul 2015, Kyoto, Japan. 2015, Proceedings of LICS 2015. 〈10.1109/LICS.2015.64〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231814/file/main.pdf BibTex
titre
SUNNY for Algorithm Selection: A Preliminary Study
auteur
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
article
CILC, Jul 2015, Genova, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227595/file/paper3.pdf BibTex
titre
Certification of Complexity Proofs using CeTA
auteur
Martin Avanzini, Christian Sternagel, René Thiemann
article
26th International Conference on Rewriting Techniques and Applications, Jun 2015, Warsaw, Poland. 〈10.4230/LIPIcs.RTA.2015.23〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252000/file/paper.pdf BibTex
titre
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
auteur
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
article
COORDINATION 2015, Jun 2015, Grenoble, France. 〈10.1007/978-3-319-19282-6_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227612/file/main.pdf BibTex
titre
A Behavioural Theory for a π-calculus with Preorders
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
article
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.143-158, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_10〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01246094/file/978-3-319-24644-4_10_Chapter.pdf BibTex
titre
Applicative Bisimulation and Quantum λ-Calculi
auteur
Ugo Dal Lago, Alessandro Rioli
article
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.54-68, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231800/file/main.pdf BibTex
titre
Retractable Contracts
auteur
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo De 'Liguoro
article
Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom. 2015, Electronic Proceedings in Theoretical Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227693/file/bdll.pdf BibTex
titre
SUNNY-CP : a Sequential CP Portfolio Solver
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
SAC, Apr 2015, Salamanca, Spain. 2015, 〈10.1145/2695664.2695741〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227589/file/sac_2015%20%281%29.pdf BibTex
titre
Towards a Composition-based APIaaS Layer
auteur
Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli
article
CLOSER 2014, Apr 2015, Barcelona, Spain. 〈10.1007/978-3-319-07593-8_17〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090125/file/Towards%20a%20Composition-Based%20APIaaS%20Layer.pdf https://hal.inria.fr/hal-01090125/file/main.pdf BibTex
titre
The Evolution of Jolie
auteur
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
article
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Mar 2015, Munich, Germany. Lecture Notes in Computer Science, pp.506-521, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-15545-6_29〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227623/file/main.pdf BibTex
titre
Causal-Consistent Reversibility in a Tuple-Based Language
auteur
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
article
PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2015, Turku, Finland. IEEE, pp.467 - 475, 2015, 〈http://www.pdp2015.org/〉. 〈10.1109/PDP.2015.98〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01227615/file/pdp.pdf BibTex
titre
Equations, contractions, and unique solutions
auteur
Davide Sangiorgi
article
POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, Jan 2015, Mumbai, India. ACM, 〈10.1145/2676726.2676965〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01089205/file/main.pdf BibTex
titre
On Coinduction and Quantum Lambda Calculi
auteur
Yuxin Deng, Yuan Feng, Ugo Dal Lago
article
Proceedings of CONCUR 2015, 2015, Madrid, Spain. LIPIcs, 42, 2015, 〈10.4230/LIPIcs.CONCUR.2015.427〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231782/file/28.pdf BibTex
titre
On Sharing, Memoization, and Polynomial Time
auteur
Martin Avanzini, Ugo Dal Lago
article
Proceedings of STACS 2015, 2015, Munich, Germany. LIPIcs, 62, 2015, 〈10.4230/LIPIcs.STACS.2015.62〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231816/file/4.pdf BibTex

Book sections

titre
When to Move to Transfer Nets On the limits of Petri nets as models for process calculi
auteur
Gianluigi Zavattaro
article
Programming Languages with Applications to Biology and Security, 9465, Springer, pp.339-353, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2. 〈10.1007/978-3-319-25527-9_22〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233419/file/degano.pdf BibTex

Reports

titre
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Long version)
auteur
Patrick Baillot, Gilles Barthe, Ugo Dal Lago
article
[Research Report] ENS Lyon. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01197456/file/main.pdf BibTex
titre
On the Integration of Automatic Deployment into the ABS Modeling Language
auteur
Stijn De Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
article
[Technical Report] Inria Sophia Antipolis. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01170926/file/main.pdf BibTex
titre
On the Complexity of Reconfiguration in Systems with Legacy Components
auteur
Jacopo Mauro, Gianluigi Zavattaro
article
[Technical Report] INRIA Sophia Antipolis. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01160369/file/main.pdf BibTex
titre
Automatic Deployment of Software Components in the Cloud with the Aeolus Blender
auteur
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Gianluigi Zavattaro, Stefano Zacchiroli, Jakub Zwolakowski
article
[Technical Report] Inria Sophia Antipolis. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01103806/file/main.pdf BibTex

Theses

titre
Portfolio Approaches in Constraint Programming
auteur
Roberto Amadini
article
Computer Science [cs]. University of Bologna, 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01227582/file/thesis.pdf BibTex

2014

Journal articles

titre
Causal-Consistent Reversibility
auteur
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
article
Bulletin of the EATCS, EATCS, 2014, 114, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089350/file/Survey%20on%20Causal-Consistent%20Reversibility.pdf BibTex
titre
SUNNY: a Lazy Portfolio Approach for Constraint Solving
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2014, pp.509-524
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088489/file/iclp_2014.pdf BibTex
titre
Aeolus: a Component Model for the Cloud
auteur
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
article
Information and Computation, Elsevier, 2014, pp.100-121
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091062/file/main.pdf BibTex
titre
Decidability Problems for Actor Systems
auteur
F. De Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 104, pp.1 - 29. 〈10.2168/LMCS-10(4:5)2014〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090952/file/LMCS2014.pdf BibTex
titre
Linear dependent types in a call-by-value scenario
auteur
Ugo Dal Lago, Barbara Petit
article
Science of Computer Programming, Elsevier, 2014, pp.24. 〈10.1145/2370776.2370792〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091610/file/main.pdf BibTex

Conference papers

titre
Towards the Typing of Resource Deployment
auteur
Elena Giachino, Cosimo Laneve
article
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 - 103, 2014, 〈10.1007/978-3-662-45231-8_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091748/file/LaneveIsola2014.pdf BibTex
titre
Fault Model Design Space for Cooperative Concurrency
auteur
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Volker Stolz, Rudolf Schlatte, Einar Broch Johnsen, Gianluigi Zavattaro
article
ISOLA 2014, Oct 2014, Corfu, Greece. Springer, 8803, pp.22 - 36, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-45231-8_3〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089341/file/isola2014.pdf BibTex
titre
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
auteur
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
article
SLE 2014, Sep 2014, Västerås, Sweden. pp.161 - 170, 2014, 〈10.1007/978-3-319-11245-9_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089187/file/sle.pdf BibTex
titre
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
auteur
Mario Bravetti, Gianluigi Zavattaro
article
Proceedings First Workshop on Logics and Model-checking for Self*-Systems, Sep 2014, Bertinoro (FC), Italy. pp.12 - 31, 2014, 〈10.4204/EPTCS.168.2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090924/file/MODstar2014.pdf BibTex
titre
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers
auteur
Roberto Amadini, Peter J. Stuckey
article
Principles and Practice of Constraint Programming (CP 2014), Sep 2014, Lyon, France. pp.108 - 124, 2014, 〈10.1007/978-3-319-10428-7_11〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091664/file/timesplit.pdf BibTex
titre
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
auteur
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
article
QEST 2014, Sep 2014, Florence, Italy. 8657, pp.281 - 296, 2014, Lecture Notes in Computer Science. 〈http://www.qest.org/qest2014/〉. 〈10.1007/978-3-319-10696-0_23〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089484/file/qest2014.pdf BibTex
titre
Deadlock Analysis of Unbounded Process Networks
auteur
Elena Giachino, Naoki Kobayashi, Cosimo Laneve
article
CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy. pp.63 - 77, 2014, 〈10.1007/978-3-662-44584-6_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091749/file/mfd.pdf BibTex
titre
Trees from Functions as Processes
auteur
Davide Sangiorgi, Xian Xu
article
25th International Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.78 - 92, 2014, 〈10.1007/978-3-662-44584-6_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092809/file/main.pdf BibTex
titre
Bisimulations up-to: beyond first-order transition systems
auteur
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
article
CONCUR, Sep 2014, Rome, Italy. 2014, 〈10.1007/978-3-662-44584-6_8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00990859/file/fo.pdf BibTex
titre
Probabilistic Recursion Theory and Implicit Computational Complexity
auteur
Ugo Dal Lago, Sara Zuppiroli
article
11th International Colloquium on Theoretical Aspects of Computing., Sep 2014, Bucharest, Romania. 〈10.1007/978-3-319-10882-7_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091595/file/main.pdf BibTex
titre
On the Discriminating Power of Passivation and Higher-Order Interaction
auteur
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
article
CSL-LICS '14, Jul 2014, Vienna, Austria. 〈http://lics.rwth-aachen.de/csl-lics14/〉. 〈10.1145/2603088.2603113〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089467/file/csllics_2014.pdf BibTex
titre
Beta Reduction is Invariant, Indeed
auteur
Beniamino Accattoli, Ugo Dal Lago
article
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. 2014, 〈10.1145/2603088.2603105〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091551/file/main%20%283%29.pdf BibTex
titre
The Geometry of Synchronization
auteur
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
article
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. 〈10.1145/2603088.2603154〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091560/file/main.pdf BibTex
titre
Deadlock Detection in Linear Recursive Programs
auteur
Elena Giachino, Cosimo Laneve
article
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2014, Jun 2014, Bertinoro, Italy. pp.26 - 64, 2014, 〈10.1007/978-3-319-07317-0_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091747/file/sfm-main.pdf BibTex
titre
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns
auteur
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
article
11th International Symposium on Distributed Computing and Artificial Intelligence, Jun 2014, Salamanca, Spain. 〈10.1007/978-3-319-07593-8_17〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090128/file/Service-Oriented%20Architectures-%20From%20Design%20to%20Production%20Exploiting%20Workflow%20Patterns.pdf BibTex
titre
Progress as Compositional Lock-Freedom
auteur
Marco Carbone, Ornela Dardha, Fabrizio Montesi
article
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Jun 2014, Berlin, Germany
Accès au bibtex
BibTex
titre
Causal-Consistent Reversible Debugging
auteur
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
article
FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-642-54804-8_26〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089270/file/revDB.pdf BibTex
titre
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
auteur
Davide Sangiorgi
article
Marcello M. Bonsangue. Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. Springer, Lecture Notes in Computer Science, LNCS-8446, pp.3 - 9, 2014, Coalgebraic Methods in Computer Science. 〈10.1007/978-3-662-44124-4_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092815/file/main.pdf BibTex
titre
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
auteur
Raphaëlle Crubillé, Ugo Dal Lago
article
23rd European Symposium on Programming, Apr 2014, Grenoble, France. 2014, 〈10.1007/978-3-642-54833-8_12〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091564/file/main.pdf BibTex
titre
Measurements in Proof Nets as Higher-Order Quantum Circuits
auteur
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
article
23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 - 391, 2014, 〈10.1007/978-3-642-54833-8_20〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091582/file/esop14extended.pdf BibTex
titre
An enhanced features extractor for a portfolio of constraint solvers
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1357 - 1359, 2014, 〈10.1145/2554850.2555114〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089183/file/sac_2014.pdf BibTex
titre
Portfolio Approaches for Constraint Optimization Problems
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
LION 8, Feb 2014, Gainesville, Florida, United States. pp.21 - 35, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088429/file/lion_2014.pdf BibTex
titre
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
auteur
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
article
The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 〈10.1145/2535838.2535872〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091573/file/main.pdf BibTex
titre
Towards Global and Local Types for Adaptation
auteur
Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Perez, Gianluigi Zavattaro
article
SEFM 2013 Collocated Workshops, 2014, Madrid, Spain. Springer, 8368, pp.3 - 14, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-05032-4_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089358/file/main.pdf BibTex

Book sections

titre
Service-Oriented Programming with Jolie
auteur
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
article
Athman Bouguettaya and Quan Z. Sheng and Florian Daniel. Web Services Foundations, Springer, pp.81-107, 2014
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings 7th Interaction and Concurrency Experience
auteur
Ivan Lanese, Alberto Lluch Lafuente, Hugo Torres Vieira, Ana Sokolova
article
Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira; Ana Sokolova. Jun 2014, Berlin, Germany. 166, 2014, Electronic Proceedings in Theoretical Computer Science, 〈10.4204/EPTCS.166〉
Accès au bibtex
BibTex

Theses

titre
On operational properties of quantitative extensions of λ-calculus
auteur
Michele Alberti
article
Mathematics [math]. Aix Marseille Université; Università di Bologna, 2014. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01096067/file/main.pdf BibTex
titre
Extending Implicit Computational Complexity and Abstract Machines to Languages with Control
auteur
Giulio Pellitta
article
Programming Languages [cs.PL]. Università di Bologna, 2014. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01090624/file/main.pdf BibTex
titre
Type Systems for Distributed Programs: Components and Sessions
auteur
Ornela Dardha
article
Programming Languages [cs.PL]. Università degli studi di Bologna, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01020998/file/big_main.pdf BibTex

Preprints, Working Papers, ...

titre
Reversibility in the higher-order π-calculus
auteur
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081714/file/journal-rhopi.pdf BibTex
titre
A behavioural theory for a π-calculus with preorders
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
article
This paper obtained the best paper award at the conference FSEN'2015. A revised version of this paper has been published in JLAMP (Journal of Logical and Algebraic Methods in Programming), Volume 84, Issue 6, November 2015, Pages 806–825. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00949521/file/longpip.pdf BibTex

2013

Journal articles

titre
Complex Functional Rates in the Modeling of Nano Devices
auteur
Cristian Versari, Gianluigi Zavattaro
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2013, Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12), 293, pp.3-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00825147/file/journal-noreview.pdf BibTex
titre
The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming
auteur
Luís Cruz Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Vasconcelos
article
Formal Aspects of Computing, Springer Verlag, 2013, 60 p
Accès au bibtex
BibTex
titre
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
auteur
Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
article
international Jorunal of Interactive Multimedia and Artificial Intelligence, ImaI-Software, 2013, 2 (4), pp.67-75
Accès au bibtex
BibTex
titre
Deriving session and union types for objects
auteur
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23, pp.1163--1219
Accès au bibtex
BibTex
titre
Global Escape in Multiparty Sessions
auteur
Sara Capecchi, Elena Giachino, Nobuko Yoshida
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909314/file/GExc-MSCS.pdf BibTex
titre
Light Logics and Higher-Order Processes
auteur
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909315/file/mscs2013.pdf BibTex
titre
Linear Dependent Types in a Call-by-Value Scenario
auteur
Ugo Dal Lago, Barbara Petit
article
Science of Computer Programming, Elsevier, 2013, 〈10.1016/j.scico.2013.07.010〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909317/file/scp2013.pdf BibTex
titre
The expressive power of CHR with priorities
auteur
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
article
Information and Computation, Elsevier, 2013, 228-229, pp.62-82. 〈10.1016/j.ic.2013.05.001〉
Accès au bibtex
BibTex
titre
An Higher-Order Characterization of Probabilistic Polynomial Time
auteur
Ugo Dal Lago, Paolo Parisen Toldin
article
Information and Computation, Elsevier, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909316/file/ic2013.pdf BibTex

Conference papers

titre
Semantic Subtyping for Objects and Classes
auteur
Ornela Dardha, Daniele Gorla, Daniele Varacca
article
Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.66-82, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909299/file/DGV13.pdf BibTex
titre
Concurrent Flexible Reversibility
auteur
Ivan Lanese, Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani
article
Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. Springer, 7792, pp.370-390, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-37036-6_21〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00811629/file/crop.pdf BibTex
titre
Normal Forms for the Algebraic Lambda-Calculus
auteur
Michele Alberti
article
Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779911/file/jfla2013-14.pdf BibTex
titre
Name-passing calculi: from fusions to preorders and types
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. 〈10.1109/LICS.2013.44〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00904138/file/concsub.pdf BibTex
titre
Automatic Component Deployment in the Presence of Circular Dependencies
auteur
Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro
article
10th International Symposium on Formal Aspects of Component Software, FACS 2013, 2013, Nanchang, China. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909300/file/facs2013-lmz.pdf BibTex
titre
DeadLock Analysis of Concurrent Objects ― Theory and Practice
auteur
Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Wong
article
Einar Broch Johnsen and Luigia Petr. IFM - 10th International Conference on integrated Formal Methods - 2013, 2013, Turku, Finland. Springer, 7940, pp.394-411, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-38613-8_27〉
Accès au bibtex
BibTex
titre
Process-aware web programming with Jolie
auteur
Fabrizio Montesi
article
SAC - Symposium on Applied Computing - 2013, 2013, Coimbra, Portugal. ACM, pp.761-763, 2013, SAC '13: proceedings of the 28th Annual ACM Symposium on Applied Computing. 〈10.1145/2480362.2480507〉
Accès au bibtex
BibTex
titre
Sensitivity analysis using type-based constraints
auteur
Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin Pierce
article
FPCDSL - 1st annual workshop on Functional programming concepts in domain-specific languages - 2013, 2013, Boston, BA, USA, United States. ACM, pp.43--50, 2013, Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages. 〈10.1145/2505351.2505353〉
Accès au bibtex
BibTex
titre
Component Reconfiguration in the Presence of Conflicts
auteur
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
article
Fedor V. Fomin and Rūsiņš Freivalds and Marta Kwiatkowska and David Peleg. ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. Springer, 7966, pp.187-198, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39212-2_19〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909336/file/icalp-2013.pdf BibTex
titre
Aeolus: Mastering the Complexity of Cloud Application Deployment
auteur
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor Alexandru Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
article
Kung-Kiu Lau and Winfried Lamersdorf and Ernesto Pimentel. ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. Springer, 8135, pp.1-3, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40651-5_1〉
Accès au bibtex
BibTex
titre
An Empirical Evaluation of Portfolios Approaches for Solving CSPs
auteur
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
article
Carla Gomes and Meinolf Sellmann. CPAIOR - 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming - 2013, 2013, Yorktown Heights, United States. Springer, 7874, pp.316-324, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-38171-3_21〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909297/file/cpaior_2013.pdf BibTex
titre
Linear Dependent Types for Differential Privacy
auteur
Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin Pierce
article
40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013, Rome, Italy, Italy. ACM, pp.357--370, 2013, POPL '13. 〈10.1145/2429069.2429113〉
Accès au bibtex
BibTex
titre
Internet of things: a process calculus approach
auteur
Ivan Lanese, Luca Bedogni, Marco Di Felice
article
Sung Y. Shin and José Carlos Maldonado. SAC, 2013, Coimbra, Portugal. ACM, pp.1339-1346, 2013
Accès au bibtex
BibTex
titre
Complexity Analysis in Presence of Control Operators and Higher-Order Functions
auteur
Ugo Dal Lago, Giulio Pellitta
article
Ken McMillan and Aart Middeldorp and Andrei Voronkov. LPAR-19 - Logic for Programming, Artificial Intelligence, and Reasoning - 2013, 2013, Stellenbosch, South Africa. Springer, 8312, pp.258-273, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-45221-5_19〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909319/file/lpar2013.pdf BibTex
titre
Deadlock-freedom-by-design: multiparty asynchronous global programming
auteur
Marco Carbone, Fabrizio Montesi
article
POPL - 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2013, 2013, Rome, Italy. ACM, pp.263-274, 2013
Accès au bibtex
BibTex
titre
Engineering Virtualized Services
auteur
Elvira Albert, Frank Boer, Reiner Hahnle, Einar Broch Johnsen, Cosimo Laneve
article
Proc. 2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud 2013), 2013, Oslo, Norway. ACM, pp.59--63, 2013, 〈10.1145/2513534.2513545〉
Accès au bibtex
BibTex
titre
A Type System for Components
auteur
Ornela Dardha, Elena Giachino, Michael Lienhardt
article
Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti. SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. Springer, 8137, pp.167-181, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40561-7_12〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909310/file/DGL13.pdf BibTex
titre
The geometry of types
auteur
Ugo Dal Lago, Barbara Petit
article
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings, 2013, Rome, Italy. ACM, pp.167-178, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909318/file/popl2013.pdf BibTex
titre
Compositional Choreographies
auteur
Fabrizio Montesi, Nobuko Yoshida
article
Pedro R. D'Argenio and Hernán Melgratti. CONCUR - Concurrency Theory - 2013, 2013, Buenos Aires, Argentina. Springer, 8052, pp.425-439, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40184-8_30〉
Accès au bibtex
BibTex
titre
Decidability Results for Dynamic Installation of Compensation Handlers
auteur
Ivan Lanese, Gianluigi Zavattaro
article
Rocco De Nicola and Christine Julien. COORDINATION, 2013, Florence, Italy. Springer, 7890, pp.136-150, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909301/file/coordination2013.pdf BibTex
titre
Amending Choreographies
auteur
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
article
António Ravara and Josep Silva. WWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, 2013, Florence, Italy. Open Publishing Association, 123, pp.34-48, 2013, EPTCS. 〈10.4204/EPTCS.123.5〉
Accès au bibtex
BibTex

Other publications

titre
A Planning Tool Supporting the Deployment of Cloud Applications
auteur
Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro
article
Other publication. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00843925/file/amin_planner_tr.pdf BibTex

Reports

titre
Optimal Provisioning in the Cloud. Technical report of the Aeolus project
auteur
Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00831455/file/zephyrus-tr.pdf BibTex
titre
Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project
auteur
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00816468/file/icalp-2013.pdf BibTex

Theses

titre
ICC and Probabilistic Classes
auteur
Paolo Parisen Toldin
article
Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00909410/file/Parisen_Toldin_Paolo_tesi.pdf BibTex

Preprints, Working Papers, ...

titre
Name-passing calculi: from fusions to preorders and types
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00818068/file/appendix.pdf BibTex

2012

Journal articles

titre
On quasi-interpretations, blind abstractions and implicit complexity.
auteur
Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp.549-580. 〈10.1017/S0960129511000685〉
Accès au bibtex
BibTex
titre
Duality and i/o-Types in the π-Calculus
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
Lecture notes in computer science, springer, 2012, 7454, pp 302-316
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00798028/file/main.pdf BibTex
titre
Complex Functional Rates in Rule-Based Languages for Biochemistry
auteur
Cristian Versari, Gianluigi Zavattaro
article
Transactions on Computational Systems Biology, Springer, 2012, 7625 (XIV), pp.123-150
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00825138/file/journal-review.pdf BibTex
titre
Lingua Universalis
auteur
Simone Martini
article
Annali della Pubblica Istruzione, Le Monnier, 2012, 4-5, pp.65--70
Accès au bibtex
BibTex
titre
What is a Model for a Semantically Linear Lambda-calculus?
auteur
Marco Gaboardi, Mauro Piccolo
article
Journal of Logic and Computation, Oxford University Press (OUP), 2012, 〈10.1093/logcom/exs023〉
Accès au bibtex
BibTex
titre
Adaptable Processes
auteur
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4:13), pp.1--71
Accès au bibtex
BibTex
titre
On Constructor Rewrite Systems and the Lambda Calculus
auteur
Ugo Dal Lago, Simone Martini
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (3)
Accès au bibtex
BibTex
titre
Linear Dependent Types and Relative Completeness
auteur
Ugo Dal Lago, Marco Gaboardi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00906347/file/1104.0193.pdf BibTex
titre
On the Expressive Power of Multiple Heads in CHR
auteur
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (1), 〈10.1145/2071368.2071374〉
Accès au bibtex
BibTex
titre
An Implicit Characterization of PSPACE
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. 〈10.1145/2159531.2159540〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591868/file/main.pdf BibTex
titre
Probabilistic operational semantics for the lambda calculus
auteur
Ugo Dal Lago, Margherita Zorzi
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2012, 46 (3), pp.413--450. 〈10.1051/ita/2012012〉
Accès au bibtex
BibTex

Conference papers

titre
Linearity in the non-deterministic call-by-value setting
auteur
Alejandro Díaz-Caro, Barbara Petit
article
Luke Ong and Ruy de Queiroz. WoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. Springer, 7456, pp.216-231, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32621-9_16〉
Accès au bibtex
https://arxiv.org/pdf/1011.3542 BibTex
titre
Higher-Order Interpretations and Program Complexity
auteur
Patrick Baillot, Ugo Dal Lago
article
Patrick Cegielski and Arnaud Durand. 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. Schloss Dagstuhl, 16, pp.62-76, 2012, LIPIcs. 〈10.4230/LIPIcs.CSL.2012.62〉
Accès au bibtex
BibTex
titre
Verification of Ad Hoc Networks with Node and Communication Failures
auteur
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
article
Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.235-250, 2012, Formal Techniques for Distributed Systems
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909367/file/978-3-642-30793-5_15_Chapter.pdf BibTex
titre
A Reversible Abstract Machine and Its Space Overhead
auteur
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
article
Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.1-17, 2012, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-30793-5_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909384/file/978-3-642-30793-5_1_Chapter.pdf BibTex
titre
On the Invariance of the Unitary Cost Model for Head Reduction
auteur
Beniamino Accattoli, Ugo Dal Lago
article
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780349/file/RTA2012-2.pdf BibTex
titre
Duality and i/o-Types in the pi-calculus
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
Maciej Koutny and Irek Ulidowski. 23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. Springer, 7454, pp.302--316, 2012, CONCUR 2012 - Concurrency Theory. 〈10.1007/978-3-642-32940-1_22〉
Accès au bibtex
BibTex
titre
Row types for delta-oriented programming
auteur
Michael Lienhardt, Dave Clarke
article
VaMoS - Sixth International Workshop on Variability Modeling of Software-Intensive Systems - 2012, 2012, Leipzig, Germany. ACM, pp.121--128, 2012, VaMoS '12. 〈10.1145/2110147.2110161〉
Accès au bibtex
BibTex
titre
A Beginner's Guide to the DeadLock Analysis Model
auteur
Elena Giachino, Cosimo Laneve
article
TGC, 2012, Newcastle, United Kingdom. Springer, 8191, pp.49-63, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909309/file/TGC.pdf BibTex
titre
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
auteur
Frank S. Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
article
Corina S. Pasareanu and Gwen Salaün. Formal Aspects of Component Software, 9th International Symposium, FACS 2012, 2012, Mountain View, United States. Springer, 7684, pp.110-127, 2013, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Conflict Detection in Delta-Oriented Programming
auteur
Michael Lienhardt, Dave Clarke
article
Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.178--192, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_14〉
Accès au bibtex
BibTex
titre
An Object Group-Based Component Model
auteur
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi
article
Tiziana Margaria and Bernhard Steffe. ISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. Springer, 7609, pp.64--78, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Proceedings, Part I. 〈10.1007/978-3-642-34026-0_6〉
Accès au bibtex
BibTex
titre
Session types revisited
auteur
Ornela Dardha, Elena Giachino, Davide Sangiorgi
article
Danny De Schreye and Gerda Janssens and Andy King. Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, ACM, pp.139--150, 2012
Accès au bibtex
BibTex
titre
Decidability Problems for Actor Systems
auteur
Frank S. Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
article
23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Unknown, Springer, 7454, pp.562--577, 2012, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
A Higher-Order Characterization of Probabilistic Polynomial Time
auteur
Ugo Dal Lago, Paolo Parisen Toldin
article
Pena, Ricardo and van Eekelen, Marko and Shkaravska, Olha. Foundational and Practical Aspects of Resource Analysis, 2012, Madrid, Spain. Springer, 7177, pp.1--18, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32495-6_1〉
Accès au bibtex
BibTex
titre
Controlled Reversibility and Compensations
auteur
Jean-Bernard Stefani, Claudio Antares Mezzina, Ivan Lanese
article
Robert Gluck and Tetsuo Yokoyama. Proceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, Springer Verlag, 7581, pp.233--240, 2012, LNCS
Accès au bibtex
BibTex
titre
Service integration via target-transparent mediation
auteur
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
article
SOCA - 5th conference on service-oriented computing and applications - 2012, 2012, Taipei, Taiwan. IEEE, pp.1 - 5, 2012, Service-Oriented Computing and Applications (SOCA), 2012 5th IEEE International Conference on. 〈10.1109/SOCA.2012.6449432〉
Accès au bibtex
BibTex
titre
Termination in impure lambda-calculus
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
Fundamentals of Software Engineering, 2012, Unknown, Springer, 7141, pp.128--142, 2012, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Towards the Verification of Adaptable Processes
auteur
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
article
Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, 2012, Heraklion, Crète, Greece. Springer, 7609, pp.269--283, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_20〉
Accès au bibtex
BibTex
titre
Towards a Formal Component Model for the Cloud
auteur
Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
article
10th International Conference Software Engineering and Formal Methods (SEFM 2012), 2012, Unknown, 7504, pp.156--171, 2012, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Interface-Based Service Composition with Aggregation
auteur
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
article
Flavio De Paoli and Ernesto Pimentel and Gianluigi Zavattaro. First European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, 2012, Bertinoro, Italy. Springer, 7592, pp.48--63, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33427-6_4〉
Accès au bibtex
BibTex
titre
The Grand Challenge in Metamorphic Analysis
auteur
Mila Dalla Preda
article
Sumeet Dua and Aryya Gangopadhyay and Parimala Thulasiraman and Umberto Straccia and Michael Shepherd and Benno Stein. ICISTM - Information Systems, Technology and Management - 2012, 2012, Grenoble, France. Springer, 285, pp.439-444, 2012, Communications in Computer and Information Science. 〈10.1007/978-3-642-29166-1_42〉
Accès au bibtex
BibTex
titre
Linear dependent types in a call-by-value scenario
auteur
Ugo Dal Lago, Barbara Petit
article
Principles and Practice of Declarative Programming, (PPDP'12), 2012, Leuven, Belgium. ACM, pp.115--126, 2012, 〈10.1145/2370776.2370792〉
Accès au bibtex
BibTex

Book sections

titre
Origins of Bisimulation and Coinduction
auteur
Davide Sangiorgi
article
Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Accès au bibtex
BibTex
titre
Enhancements of the bisimulation proof method
auteur
Damien Pous, Davide Sangiorgi
article
Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012)
auteur
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
article
Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova. 104, Open Publishing Association, pp.99, 2012, Electronic Proceedings in Theoretical Computer Science
Accès au bibtex
BibTex

Books

titre
Advanced Topics in Bisimulation and Coinduction
auteur
Davide Sangiorgi, Jan Rutten
article
Davide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012
Accès au bibtex
BibTex
titre
Introduction to Bisimulation and Coinduction
auteur
Davide Sangiorgi
article
Cambridge University Press, pp.247, 2012
Accès au bibtex
BibTex

Reports

titre
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks
auteur
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00740518/file/fsttcs12-long.pdf BibTex

Preprints, Working Papers, ...

titre
Higher-order Interpretations and Program Complexity (Long Version)
auteur
Patrick Baillot, Ugo Dal Lago
article
21 pages. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00667816/file/HOI_Long08022012.pdf BibTex

2011

Journal articles

titre
On the Expressiveness and Decidability of Higher-Order Process Calculi
auteur
Ivan Lanese, Jorge Perez, Davide Sangiorgi, Alan Schmitt
article
Journal of Information and Computation, Elsevier, 2011, 209 (2), pp.29. 〈10.1016/j.ic.2010.10.001〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01112294/file/Lanese2011On-the-Expressivenes.pdf BibTex
titre
Light logics and optimal reduction: Completeness and complexity
auteur
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
article
Information and Computation, Elsevier, 2011, 209 (2), pp.118-142. 〈10.1016/j.ic.2010.10.002〉
Accès au bibtex
BibTex

Conference papers

titre
HATS Abstract Behavioral Specification: The Architectural View
auteur
Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Wong
article
Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue. FMCO - Formal Methods for Components and Objects - 2011, Oct 2011, Turin, Italy. Springer Berlin / Heidelberg, 7542, pp.165--185, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35887-6_6〉
Accès au bibtex
BibTex
titre
An Efficient Management of Correlation Sets with Broadcast
auteur
Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
article
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.80-94, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01582988/file/978-3-642-21464-6_6_Chapter.pdf BibTex
titre
Fault in the Future
auteur
Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
article
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.1-15, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01582997/file/978-3-642-21464-6_1_Chapter.pdf BibTex
titre
Adaptable Processes (Extended Abstract)
auteur
Mario Bravetti, Cinzia Di Giusto, Jorge Pérez, Gianluigi Zavattaro
article
Roberto Bruni; Juergen Dingel. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6722, pp.90-105, 2011, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-21461-5_6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583325/file/978-3-642-21461-5_6_Chapter.pdf BibTex
titre
On Multiplicative Linear Logic, Modality and Quantum Circuits
auteur
Ugo Dal Lago, Claudia Faggian
article
Quantum Physics and Logic, 2011, Netherlands. pp.81-96, 2011
Accès au bibtex
BibTex
titre
Strong Normalisation in λ-Calculi with References
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
FSEN, 2011, Iran. 7141, pp.128-142, 2011, 〈10.1007/978-3-642-29320-7_9〉
Accès au bibtex
BibTex

Reports

titre
Soft Session Types
auteur
Ugo Dal Lago, Paolo Di Giamberardino
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00616388/file/sose_long.pdf BibTex

2010

Journal articles

titre
Termination in higher-order concurrent calculi
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
Journal of Logic and Algebraic Programming, Elsevier, 2010, 79 (7), pp.550-577. 〈10.1016/j.jlap.2010.07.007〉
Accès au bibtex
BibTex

Conference papers

titre
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
auteur
Ivan Lanese, Jorge Peréz, Davide Sangiorgi, Alan Schmitt
article
Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. Springer, 6199, pp.442--453, 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00514912/file/Lanese2010On-the-Expressivenes.pdf BibTex
titre
A PolyTime Functional Language from Light Linear Logic
auteur
Patrick Baillot, Marco Gaboardi, Virgile Mogbil
article
Andrew D. Gordon. 19th European Symposium on Programming (ESOP 2010), Mar 2010, Paphos, Cyprus. Springer Berlin / Heidelberg, 6012 (6012), pp. 104-124, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-11957-6〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00443944/file/lpl_preprintLIPN10.pdf BibTex
titre
A Calculus for Component Evolvability (Extended Abstract)
auteur
Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro
article
Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010
Accès au bibtex
BibTex
titre
Termination in Impure Concurrent Languages
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
CONCUR'10, 2010, France. 6269, pp.328-342, 2010, 〈10.1007/978-3-642-15375-4_23〉
Accès au bibtex
BibTex

Book sections

titre
Concurrent and Reactive Constraint Programming
auteur
Maurizio Gabbrielli, Catuscia Palamidessi, Frank Valencia
article
Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming, Springer, pp.231-253, 2010, 〈10.1007/978-3-642-14309-0_11〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545256/file/25anniGPV.pdf BibTex

2009

Conference papers

titre
Global and local space properties of stream programs
auteur
Marco Gaboardi, Romain Péchoux
article
Marko van Eekelen and Olha Shkaravska. First International Workshop on Foundational and Practical Aspects of Resource Analysis - FOPARA 2009, Nov 2009, Eindhoven, Netherlands. Springer, 6324, pp.51--66, 2010, Lecture notes in computer science. 〈10.1007/978-3-642-15331-0_4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00539835/file/main.pdf BibTex