Publications – FOCUS

Publications HAL de la structure 175461

2024

Journal articles

ref_biblio: Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Marco Prandini. Ranflood: A mitigation tool based on the principles of data flooding against ransomware. SoftwareX, 2024, 25, pp.101605. ⟨10.1016/j.softx.2023.101605⟩. ⟨hal-04362711⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale. On Basic Feasible Functionals and the Interpretation Method. FoSSaCS 2024 – International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg City, Luxembourg. ⟨hal-04376613⟩
Accès au bibtex

2023

Journal articles

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti. Choral: Object-Oriented Choreographic Programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, ⟨10.1145/3632398⟩. ⟨hal-04316324⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Emilio Tuosto. Composition of synchronous communicating systems. Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100890. ⟨10.1016/j.jlamp.2023.100890⟩. ⟨hal-04343521⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Emilio Tuosto. A Theory of Formal Choreographic Languages. Logical Methods in Computer Science, 2023, 19 (3), ⟨10.46298/lmcs-19(3:9)2023⟩. ⟨hal-04343514⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Loris Onori, et al.. Data Flooding against Ransomware: Concepts and Implementations. Computers and Security, 2023, 131, pp.103295. ⟨10.1016/j.cose.2023.103295⟩. ⟨hal-04316302⟩
Accès au texte intégral et bibtex

ref_biblio: Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Simon Modeste, Viviane Durand-Guerrier, et al.. An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics. Informatics in Education, 2023, ⟨10.15388/infedu.2024.06⟩. ⟨hal-04184262⟩
Accès au bibtex

ref_biblio: Martin Avanzini, Georg Moser, Michael Schaper. Automated Expected Value Analysis of Recursive Programs. Proceedings of the ACM on Programming Languages, 2023, 7 (PLDI), pp.1050-1072. ⟨10.1145/3591263⟩. ⟨hal-04345663⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher. LEMMA2Jolie: A tool to generate microservice APIs from domain models. Science of Computer Programming, 2023, 228, pp.102956. ⟨10.1016/j.scico.2023.102956⟩. ⟨hal-04316295⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Mezzina, Sabina Rossi, et al.. Causal Reversibility Implies Time Reversibility. QEST 2023 – International Conference on Quantitative Evaluation of Systems, Sep 2023, Antwerp, Belgium. pp.270-287, ⟨10.1007/978-3-031-43835-6_19⟩. ⟨hal-04343506⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Maurizio Murgia. Contextual Behavioural Metrics. CONCUR 2023 – 34th International Conference on Concurrency Theory, Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.38⟩. ⟨hal-04356984⟩
Accès au texte intégral et bibtex

ref_biblio: Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi. EXPRESSing Session Types. EXPRESS / SOS 2023 – Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Sep 2023, Anvers (Antwerpen), Belgium. pp.8-25, ⟨10.4204/EPTCS.387.2⟩. ⟨hal-04349502⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Gabriele Vanoni. (Not So) Boring Abstract Machines. ICTCS 2023 – Italian Conference on Theoretical Computer Science 2023, Sep 2023, Palermo, Italy. ⟨hal-04356993⟩
Accès au texte intégral et bibtex

ref_biblio: Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jarosław Adam Miszczak, Iain Phillips, et al.. Towards a Taxonomy for Reversible Computation Approaches. Reversible Computation – RC 2023, Jul 2023, Giessen, Germany. pp.24-39, ⟨10.1007/978-3-031-38100-3_3⟩. ⟨hal-04343408⟩
Accès au texte intégral et bibtex

ref_biblio: Sara Capecchi, Michael Lodi, Violetta Lonati, Marco Sbaraglia. Castle and Stairs to Learn Iteration: Co-designing a UMC Learning Module with Teachers. ITiCSE 2023: Innovation and Technology in Computer Science Education, Jul 2023, Turku, Finland. pp.222-228, ⟨10.1145/3587102.3588793⟩. ⟨hal-04343281⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone. On the Lattice of Program Metrics. FSCD 2023 – 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy. ⟨10.4230/LIPIcs.FSCD.2023.20⟩. ⟨hal-04356985⟩
Accès au texte intégral et bibtex

ref_biblio: Ken Sakayori, Davide Sangiorgi. Extensional and Non-extensional Functions as Processes. 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. ⟨10.1109/LICS56636.2023.10175686⟩. ⟨hal-04081885⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana. JoT: A Jolie Framework for Testing Microservices. COORDINATION 2023 – 25th International Conference on Coordination Models and Languages, Jun 2023, Lisbon, Portugal. pp.172-191, ⟨10.1007/978-3-031-35361-1_10⟩. ⟨hal-04316287⟩
Accès au texte intégral et bibtex

ref_biblio: Giuseppe de Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, et al.. Serverless Scheduling Policies based on Cost Analysis. TiCSA 2023 – First Workshop on Trends in Configurable Systems Analysis – TiCSA@ETAPS 2023, Apr 2023, Paris, France. pp.40-52, ⟨10.4204/EPTCS.392.3⟩. ⟨hal-04316320⟩
Accès au texte intégral et bibtex

ref_biblio: Carlo Bellettini, Michael Lodi, Violetta Lonati, Mattia Monga, Anna Morpurgo. Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3. CSEDU 2023 – 15th International Conference on Computer Supported Education, Apr 2023, Prague, Czech Republic. pp.59-69, ⟨10.5220/0012007500003470⟩. ⟨hal-04343267⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen. Open Higher-Order Logic. CSL 2023 – 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. ⟨10.4230/LIPIcs.CSL.2023.17⟩. ⟨hal-04356990⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed Systems. RR-9511, Inria. 2023. ⟨hal-04123758⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Melissa Antonelli, Ugo Dal Lago, Paolo Pistone. Curry and Howard Meet Borel. 2023. ⟨hal-03921649⟩
Accès au texte intégral et bibtex

ref_biblio: Melissa Antonelli. Some Remarks on Counting Propositional Logic. 2023. ⟨hal-03921651⟩
Accès au texte intégral et bibtex

2022

Journal articles

ref_biblio: Lorenzo Bacchiani, Giuseppe de Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, et al.. Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet of Things Magazine, 2022, 5 (3), pp.32-37. ⟨10.1109/IOTM.001.2200120⟩. ⟨hal-03916067⟩
Accès au bibtex

ref_biblio: Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara. A Java typestate checker supporting inheritance. Science of Computer Programming, 2022, 221, pp.102844. ⟨10.1016/j.scico.2022.102844⟩. ⟨hal-03930280⟩
Accès au bibtex

ref_biblio: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo. On Feller continuity and full abstraction. Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.826-854. ⟨10.1145/3547651⟩. ⟨hal-03923488⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. Multi Types and Reasonable Space. Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.799-825. ⟨10.1145/3547650⟩. ⟨hal-03912436⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo. A relational theory of effects and coeffects. Proceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-28. ⟨10.1145/3498692⟩. ⟨hal-03923470⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi. From enhanced coinduction towards enhanced induction. Proceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-29. ⟨10.1145/3498679⟩. ⟨hal-03922092⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo. Effectful program distancing. Proceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-30. ⟨10.1145/3498680⟩. ⟨hal-03923478⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Ulrik Schultz, Irek Ulidowski. Reversible Computing in Debugging of Erlang Programs. IT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩. ⟨hal-03917301⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro. Ephemeral data handling in microservices with Tquery. PeerJ Computer Science, 2022, 8, pp.e1037. ⟨10.7717/peerj-cs.1037⟩. ⟨hal-03915136⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, et al.. Microservice security: a systematic literature review. PeerJ Computer Science, 2022, 7, pp.e779. ⟨10.7717/peerj-cs.779⟩. ⟨hal-03915125⟩
Accès au texte intégral et bibtex

ref_biblio: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi. Eager Functions as Processes (long version). Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2022.01.043⟩. ⟨hal-03466150v3⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Melissa Antonelli. Two Remarks on Counting Propositional Logic. BEWARE 2022 – 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming, Dec 2022, Udine, Italy. ⟨hal-03921654⟩
Accès au bibtex

ref_biblio: Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, et al.. Proactive-Reactive Global Scaling, with Analytics. ICSOC 2022 – International Conference on Service-Oriented Computing, Nov 2022, Seville, Spain. pp.18, ⟨10.1007/978-3-031-20984-0_16⟩. ⟨hal-03915139⟩
Accès au texte intégral et bibtex

ref_biblio: Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina. Tidy: Symbolic Verification of Timed Cryptographic Protocols. CCS 2022 – 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles, CA, United States. pp.263-276, ⟨10.1145/3548606.3559343⟩. ⟨hal-03921822⟩
Accès au texte intégral et bibtex

ref_biblio: Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Generation of a Reversible Semantics for Erlang in Maude. ICFEM 2022 – 23rd International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain. pp.106-122, ⟨10.1007/978-3-031-17244-1_7⟩. ⟨hal-03916227⟩
Accès au texte intégral et bibtex

ref_biblio: Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto. On Formal Choreographic Modelling: A Case Study in EU Business Processes. Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes (Grèce), Greece. pp.205-219, ⟨10.1007/978-3-031-19849-6_13⟩. ⟨hal-03915950⟩
Accès au texte intégral et bibtex

ref_biblio: Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session Types Revisited: A Decade Later. PPDP 2022 / 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-4, ⟨10.1145/3551357.3556676⟩. ⟨hal-03922188⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Giulia Giusti. On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. CONCUR 2022 – 33rd International Conference on Concurrency Theory, Sep 2022, Warsaw, Poland. ⟨hal-03921809⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone. On Quantitative Algebraic Higher-Order Theories. FSCD 2022 – 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel. ⟨hal-03921800⟩
Accès au texte intégral et bibtex

ref_biblio: Melissa Antonelli, Ugo Dal Lago, Paolo Pistone. Curry and Howard Meet Borel. LICS 2022 – 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533361⟩. ⟨hal-03921650⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. Reasonable Space for the λ-Calculus, Logarithmically. LICS 2022 – 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13, ⟨10.1145/3531130.3533362⟩. ⟨hal-03912449⟩
Accès au bibtex

ref_biblio: Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev. Quantum Expectation Transformers for Cost Analysis. Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel. ⟨hal-03540366⟩
Accès au texte intégral et bibtex

ref_biblio: Francesco Dagnino, Francesco Gavazzo. A Fibrational Tale of Operational Logical Relations. FSCD 2022 – 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa (Israël), Israel. ⟨10.4230/LIPIcs.FSCD.2022.3⟩. ⟨hal-03933446⟩
Accès au texte intégral et bibtex

ref_biblio: Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli. Student Low Achievement Prediction. 23rd International Conference, AIED 2022, Durham, UK, July 27–31, 2022, Proceedings, Part I, Jul 2022, Durham, United Kingdom. pp.737-742, ⟨10.1007/978-3-031-11644-5_76⟩. ⟨hal-04370890⟩
Accès au texte intégral et bibtex

ref_biblio: Giuseppe de Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro. A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. 2022 IEEE ICWS – International Conference on Web Services, Jul 2022, Barcelona, Spain. pp.337-342, ⟨10.1109/ICWS55610.2022.00056⟩. ⟨hal-03915134⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi, Marco Sbaraglia, Simone Martini. Cryptography in Grade 10: Core Ideas with Snap! and Unplugged. ITiCSE 2022 – Innovation and Technology in Computer Science Education, ACM, Jul 2022, Dublin, Ireland. pp.456-462, ⟨10.1145/3502718.3524767⟩. ⟨hal-03916819⟩
Accès au texte intégral et bibtex

ref_biblio: Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti. Reversibility in Erlang: Imperative Constructs. RC 2022 – 14th International Conference on Reversible Computation, Jul 2022, Urbino, Italy. pp.187-203, ⟨10.1007/978-3-031-09005-9_13⟩. ⟨hal-03915947⟩
Accès au texte intégral et bibtex

ref_biblio: Enguerrand Prebet. Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques. ICALP 2022 – 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩. ⟨hal-03920025⟩
Accès au texte intégral et bibtex

ref_biblio: Andrea Colledan, Ugo Dal Lago. On Dynamic Lifting and Effect Typing in Circuit Description Languages. TYPES 2022 – 28th International Conference on Types for Proofs and Programs, Jun 2022, Nantes, France. ⟨10.4230/LIPIcs.TYPES.2022.3⟩. ⟨hal-04350852⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Emilio Tuosto. On Composing Communicating Systems. ICE 2022 – 15th Interaction and Concurrency Experience, Jun 2022, Lucca, Italy. pp.53-68, ⟨10.4204/EPTCS.365.4⟩. ⟨hal-03915946⟩
Accès au texte intégral et bibtex

ref_biblio: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen. The Reversible Temporal Process Language. FORTE 2022 – 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2022, Lucca, Italy. pp.31-49, ⟨10.1007/978-3-031-08679-3_3⟩. ⟨hal-03917240⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher. Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. 24th IFIP WG 6.1 International Conference, 17th International Federated Conference on Distributed Computing Techniques (DisCoTec 2022), Jun 2022, Lucca, Italy. pp.223-240, ⟨10.1007/978-3-031-08143-9_13⟩. ⟨hal-03915132⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Emilio Tuosto. Formal Choreographic Languages. COORDINATION 2022 – 24th International Conference on Coordination Models and Languages, Jun 2022, Lucca, Italy. pp.121-139, ⟨10.1007/978-3-031-08143-9_8⟩. ⟨hal-03917266⟩
Accès au texte intégral et bibtex

ref_biblio: Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022 – European Conference on Object-Oriented Programming, Jun 2022, Berlin (DE), Germany. ⟨10.4230/LIPIcs.ECOOP.2022.8⟩. ⟨hal-03917259⟩
Accès au texte intégral et bibtex

ref_biblio: Evmorfia-Iro Bartzia, Simon Modeste, Michael Lodi, Marco Sbaraglia, Viviane Durand-Guerrier. Conception et organisation d’une situation didactique en cryptographie. Didapro 9 – DidaSTIC – 9ème colloque francophone de didactique de l’informatique, May 2022, Le Mans, France. ⟨hal-03916810⟩
Accès au texte intégral et bibtex

ref_biblio: Giuseppe de Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro. Custom Serverless Function Scheduling Policies: An APP Tutorial. Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022), May 2022, Paris, France. ⟨10.4230/OASIcs.Microservices.2020-2022.5⟩. ⟨hal-04362714⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher. Model-Driven Code Generation for Microservices: Service Models. Microservices 2020/2022 – Joint Post-proceedings of the Third and Fourth International Conference on Microservices, May 2022, Paris, France. ⟨10.4230/OASIcs.Microservices.2020-2022.6⟩. ⟨hal-04362712⟩
Accès au texte intégral et bibtex

ref_biblio: Lorenzo Bacchiani, Giuseppe de Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, et al.. SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 2022 – 5th Conference on Cloud and Internet of Things, Mar 2022, Marrakech, Morocco. pp.90-91, ⟨10.1109/CIoT53061.2022.9766643⟩. ⟨hal-03916073⟩
Accès au bibtex

ref_biblio: Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner. A MAPE-K Approach to Autonomic Microservices. ICSA-C 2022 – IEEE 19th International Conference on Software Architecture Companion, Mar 2022, Honolulu, United States. pp.100-103, ⟨10.1109/ICSA-C54293.2022.00025⟩. ⟨hal-03916224⟩
Accès au texte intégral et bibtex

ref_biblio: Guilhem Jaber, Davide Sangiorgi. Games, mobile processes, Dfunctions. CSL 2022 – 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Göttingen, Germany. pp.1-35. ⟨hal-03407123⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti. Reversibility in Erlang: Imperative Constructs -Technical Report. [Research Report] Inria – Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28. ⟨hal-03655372⟩
Accès au texte intégral et bibtex

ref_biblio: Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Generation of a reversible semantics for Erlang in Maude. [Research Report] RR-9468, Inria – Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22. ⟨hal-03630407v3⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Enguerrand Prebet. Typed Behavioural Equivalences in the Pi-Calculus. Logic in Computer Science [cs.LO]. Ecole normale supérieure de lyon – ENS LYON; Università degli studi (Bologne, Italie), 2022. English. ⟨NNT : 2022ENSL0017⟩. ⟨tel-03920089v2⟩
Accès au texte intégral et bibtex

ref_biblio: Gabriele Vanoni. On Reasonable Space and Time Cost Models for the λ-Calculus. Computer Science [cs]. Università di Bologna [Bologna], 2022. English. ⟨NNT : ⟩. ⟨tel-03923206⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Enguerrand Prebet. On Up-to Context Techniques in the π-calculus. 2022. ⟨hal-03482459v2⟩
Accès au texte intégral et bibtex

2021

Journal articles

ref_biblio: Ugo Dal Lago, Francesco Gavazzo. Differential logical relations, part II increments and derivatives. Theoretical Computer Science, 2021, 895, pp.34-47. ⟨10.1016/j.tcs.2021.09.027⟩. ⟨hal-03520721⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Sbaraglia, Michael Lodi, Simone Martini. A necessity-driven ride on the abstraction rollercoaster of CS1 programming. Informatics in Education, 2021, 20 (4), pp.641-682. ⟨10.15388/infedu.2021.28⟩. ⟨hal-03466065v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Modular coinduction up-to for higher-order languages via first-order transition systems. Logical Methods in Computer Science, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩. ⟨hal-03350199⟩
Accès au bibtex

ref_biblio: Stefano Bistarelli, Rocco de Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, et al.. Stochastic Modelling and Analysis of the Bitcoin Protocol in Presence of Block Communication Delays. Concurrency and Computation: Practice and Experience, 2021, ⟨10.1002/cpe.6749⟩. ⟨hal-03347912⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Gilles Barthe, Ugo Dal Lago. On continuation-passing transformations and expected cost analysis. Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1 – 30. ⟨10.1145/3473592⟩. ⟨hal-03338493⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky. Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. SN Computer Science, 2021, 2, ⟨10.1007/s42979-021-00781-8⟩. ⟨hal-03337920⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Bresolin, Ivan Lanese. Static and Dynamic Property-Preserving Updates. Information and Computation, 2021, ⟨10.1016/j.ic.2020.104611⟩. ⟨hal-03338673⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi, Simone Martini. Computational Thinking, Between Papert and Wing. Science and Education, 2021, 30 (4), pp.883-908. ⟨10.1007/s11191-021-00202-5⟩. ⟨hal-03338884⟩
Accès au texte intégral et bibtex

ref_biblio: Simone Martini, Andrea Masini, Margherita Zorzi. From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. ACM Transactions on Computational Logic, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩. ⟨hal-03342394⟩
Accès au texte intégral et bibtex

ref_biblio: Laneve Cosimo, Claudio Sacerdoti Coen. Analysis of Smart Contracts Balances. Blockchain: Research and Applications, 2021, 2 (3), pp.100020. ⟨10.1016/j.bcra.2021.100020⟩. ⟨hal-03347233⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Ulrik P Schultz, Irek Ulidowski. Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Professional, 2021, 23, pp.12 – 17. ⟨10.1109/mitp.2021.3073757⟩. ⟨hal-03338672⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Doriana Medić, Claudio Antares Mezzina. Static versus Dynamic Reversibility in CCS. Acta Informatica, 2021, ⟨10.1007/s00236-019-00346-6⟩. ⟨hal-03338675⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro. A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:20)2021⟩. ⟨hal-03340689⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto. Composition and Decomposition of Multiparty Sessions. Journal of Logical and Algebraic Methods in Programming, 2021, ⟨10.1016/j.jlamp.2020.100620⟩. ⟨hal-03338671⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti. Axiomatizing Maximal Progress and Discrete Time. Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:1)2021⟩. ⟨hal-03340630⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Adrián Palacios, Germán Vidal. Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundamenta Informaticae, 2021, ⟨10.3233/FI-2021-2005⟩. ⟨hal-03338674⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. The (In)Efficiency of interaction. Proceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.1-33. ⟨10.1145/3434332⟩. ⟨hal-03346750⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Gianluigi Zavattaro. Asynchronous session subtyping as communicating automata refinement. Software and Systems Modeling, 2021, 20, pp.311 – 333. ⟨10.1007/s10270-020-00838-x⟩. ⟨hal-03340699⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca. Intersection Types and (Positive) Almost-Sure Termination. Proceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3434313⟩. ⟨hal-03044416⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto. Corinne, a Tool for Choreography Automata. Formal Aspects of Component Software, Oct 2021, Grenoble (online due to covid), France. pp.82-92, ⟨10.1007/978-3-030-90636-8_5⟩. ⟨hal-03468190⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi, Marco Sbaraglia, Stefano Pio Zingaro, Simone Martini. The Online Course Was Great: I Would Attend It Face-to-Face: The Good, The Bad, and the Ugly of IT in Emergency Remote Teaching of CS1. GoodIT ’21: Conference on Information Technology for Social Good, Sep 2021, Roma, Italy. pp.242-247, ⟨10.1145/3462203.3475902⟩. ⟨hal-03338808⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem. A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS 2021 – 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. ⟨10.4230/LIPIcs.MFCS.2021.35⟩. ⟨hal-03346791⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo. Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. FSCD 2021 – 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires, Argentina. ⟨hal-03520742⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, et al.. Multiparty Languages: The Choreographic and Multitier Cases. ECOOP 2021 – European Conference on Object-Oriented Programming, Jul 2021, Aarhus, Denmark. ⟨10.4230/LIPIcs.ECOOP.2021.23⟩. ⟨hal-03337915⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Iain Phillips. Forward-Reverse Observational Equivalences in CCSK. RC 2021 – 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.126 – 143, ⟨10.1007/978-3-030-79837-6_8⟩. ⟨hal-03338669⟩
Accès au texte intégral et bibtex

ref_biblio: Clément Aubert, Doriana Medić. Explicit Identifiers and Contexts in Reversible Concurrent Calculus. RC 2021 – 13th International Conference on Reversible Computation, Jul 2021, Nagoya / Virtual, Japan. ⟨10.1007/978-3-030-79837-6_9⟩. ⟨hal-03300726⟩
Accès au texte intégral et bibtex

ref_biblio: Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Causal-Consistent Debugging of Distributed Erlang Programs. RC 2021 – 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.79-95, ⟨10.1007/978-3-030-79837-6_5⟩. ⟨hal-03338670⟩
Accès au texte intégral et bibtex

ref_biblio: Claudia Faggian, Francesco Gavazzo. A Relational Theory of Monadic Rewriting Systems, Part I. LICS 2021 – 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-14, ⟨10.1109/LICS52264.2021.9470633⟩. ⟨hal-03455778⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. The Space of Interaction. LICS 2021 – 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩. ⟨hal-03346767⟩
Accès au texte intégral et bibtex

ref_biblio: Paolo Pistone. On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. LICS 2021 – 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470696⟩. ⟨hal-03346950⟩
Accès au texte intégral et bibtex

ref_biblio: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi. On sequentiality and well-bracketing in the π-calculus. LICS 2021 – 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470559⟩. ⟨hal-03203191v2⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh. Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. OORDINATION 2021 – 23th International Conference on Coordination Languages and Models, Jun 2021, Valletta, Malta. pp.276 – 284, ⟨10.1007/978-3-030-78142-2_17⟩. ⟨hal-03347326⟩
Accès au texte intégral et bibtex

ref_biblio: Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, et al.. Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION 2021 – 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.257-275, ⟨10.1007/978-3-030-78142-2_16⟩. ⟨hal-03338602⟩
Accès au texte intégral et bibtex

ref_biblio: Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro. A Session Subtyping Tool. COORDINATION 2021 – 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩. ⟨hal-03340750⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Julien Lange, Gianluigi Zavattaro. Fair Refinement for Asynchronous Session Types. FOSSACS 2021 – 24th International Conference on Foundations of Software Science and Computation Structures, Mar 2021, Luxembourgh, Luxembourg. ⟨10.1007/978-3-030-71995-1⟩. ⟨hal-03340696⟩
Accès au texte intégral et bibtex

ref_biblio: Guillaume Geoffroy, Paolo Pistone. A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. CSL 2021 – Computer Science Logic, Jan 2021, Lubjana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.23⟩. ⟨hal-03009790⟩
Accès au texte intégral et bibtex

ref_biblio: Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli. Multimodal Side- Tuning for Document Classification. 2020 25th International Conference on Pattern Recognition (ICPR), Jan 2021, Milan, Italy. pp.5206-5213, ⟨10.1109/ICPR48806.2021.9413208⟩. ⟨hal-04370806⟩
Accès au bibtex

Book sections

ref_biblio: Melissa Antonelli, Ugo Dal Lago, Paolo Pistone. On Measure Quantifiers in First-Order Arithmetic. Proceedings of CIE 2021, pp.12-24, 2021, ⟨10.1007/978-3-030-80049-9_2⟩. ⟨hal-03346804⟩
Accès au texte intégral et bibtex

Poster communications

ref_biblio: Marco Sbaraglia, Michael Lodi, Stefano Pio Zingaro, Simone Martini. The Good, The Bad, and The Ugly of a Synchronous Online CS1. ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Jun 2021, Virtual Event, Germany. ACM, 2, pp.660-660, 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2 (ITiCSE 2021). ⟨10.1145/3456565.3460075⟩. ⟨hal-03338864⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi. On sequentiality and well-bracketing in the π-calculus (Long Version). 2021. ⟨hal-03478052⟩
Accès au texte intégral et bibtex

ref_biblio: Guillaume Geoffroy. Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case. 2021. ⟨hal-03187624v2⟩
Accès au texte intégral et bibtex

ref_biblio: Clément Aubert, Doriana Medić. Enabling Replications and Contexts in Reversible Concurrent Calculus. 2021. ⟨hal-03183053⟩
Accès au texte intégral et bibtex

2020

Journal articles

ref_biblio: Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi. Dynamic slicing for Concurrent Constraint Languages. Fundamenta Informaticae, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩. ⟨hal-02423973v2⟩
Accès au texte intégral et bibtex

ref_biblio: Chun Tian, Davide Sangiorgi. Unique solutions of contractions, CCS, and their HOL formalisation. Information and Computation, 2020, 275, pp.104606. ⟨10.1016/j.ic.2020.104606⟩. ⟨hal-03120563⟩
Accès au texte intégral et bibtex

ref_biblio: Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida. A parametric framework for reversible π-calculi. Information and Computation, 2020, 275, pp.104644. ⟨10.1016/j.ic.2020.104644⟩. ⟨hal-03132462⟩
Accès au bibtex

ref_biblio: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois. On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Logical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(4:2)2020⟩. ⟨hal-03120859v2⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi. Informatical Thinking. Olympiads in Informatics: An International Journal, 2020, 14, pp.113-132. ⟨10.15388/ioi.2020.09⟩. ⟨hal-02981734⟩
Accès au texte intégral et bibtex

ref_biblio: Stefano Guerrini, Simone Martini, Andrea Masini. Quantum Turing Machines: Computations and Measurements. Applied Sciences, 2020, 10 (16), ⟨10.3390/app10165551⟩. ⟨hal-02915924⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka. Effectful applicative similarity for call-by-name lambda calculi. Theoretical Computer Science, 2020, 813, pp.234-247. ⟨10.1016/j.tcs.2019.12.025⟩. ⟨hal-02991694⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Gianluigi Zavattaro. Process calculi as a tool for studying coordination, contracts and session types. Journal of Logical and Algebraic Methods in Programming, 2020, 112, pp.100527. ⟨10.1016/j.jlamp.2020.100527⟩. ⟨hal-03102438⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago, Akihisa Yamada. On probabilistic term rewriting. Science of Computer Programming, 2020, 185, pp.102338. ⟨10.1016/j.scico.2019.102338⟩. ⟨hal-02381877⟩
Accès au bibtex

ref_biblio: Zingaro Stefano, Agnese Del Zozzo, Maurizio Gabbrielli. Predictive models for effective policy making against university dropout. Form@re – Open Journal per la formazione in rete, 2020, ⟨10.13128/form-9767⟩. ⟨hal-04370909⟩
Accès au texte intégral et bibtex

ref_biblio: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi. Towards ‘up to context’ reasoning about higher-order processes. Theoretical Computer Science, 2020, 807, pp.154-168. ⟨10.1016/j.tcs.2019.09.036⟩. ⟨hal-01857391⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Giuseppe de Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro. Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC 2020 – 18 th International Conference on Service-Oriented Computing, Dec 2020, Dubai, United Arab Emirates. pp.416 – 430, ⟨10.1007/978-3-030-65310-1_29⟩. ⟨hal-03347275⟩
Accès au texte intégral et bibtex

ref_biblio: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi. On the Representation of References in the Pi-Calculus. CONCUR 2020 – 31st International Conference on Concurrency Theory, Dec 2020, Vienna / Virtual, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.31⟩. ⟨hal-03053368⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S Jakobsen, et al.. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. APLAS 2020 – 18th Asian Symposium on Programming Languages and Systems, Nov 2020, Fukuoka / Virtual, Japan. ⟨hal-03102375⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro. The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Recent Developments in the Design and Implementation of Programming Languages, Nov 2020, Bologna, Italy. ⟨10.4230/OASIcs.Gabbrielli.2020.5⟩. ⟨hal-03076904⟩
Accès au texte intégral et bibtex

ref_biblio: Simone Martini. The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation. Recent Developments in the Design and Implementation of Programming Languages, Nov 2020, Bologna, Italy. ⟨10.4230/OASIcs.Gabbrielli.8⟩. ⟨hal-03028634⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Georg Moser, Michael Schaper. A Modular Cost Analysis for Probabilistic Programs. OOPSLA 2020 – Conference on Object-oriented Programming, Systems, Languages, and Applications part of SPLASH 2020, Nov 2020, Chicago / Online, United States. ⟨hal-03013544⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi, Simone Martini, Marco Sbaraglia, Stefano Pio Zingaro. (Non) parliamo di pensiero computazionale. XXXIV Convegno Nazionale “Incontri con la Matematica”, Nov 2020, Castel San Pietro Terme / Online, Italy. ⟨hal-02981770⟩
Accès au texte intégral et bibtex

ref_biblio: Laneve Cosimo, Adele Veschetti. A Formal Analysis of the Bitcoin Protocol. Developments in the Design and Implementation of Programming Languages., Nov 2020, –, Italy. ⟨10.4230/OASIcs.Gabbrielli.2020.2⟩. ⟨hal-03346870⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Emilio Tuosto. Composing Communicating Systems, Synchronously. ISoLA 2020 – 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2020, Rhodes, Greece. ⟨hal-03005380⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. The Machinery of Interaction. PPDP ’20 – 22nd International Symposium on Principles and Practice of Declarative Programming, Sep 2020, Bologna, Italy. pp.1-15, ⟨10.1145/3414080.3414108⟩. ⟨hal-03089342⟩
Accès au bibtex

ref_biblio: Ivan Lanese, Doriana Medić. A General Approach to Derive Uncontrolled Reversible Semantics. CONCUR 2020 – 31st International Conference on Concurrency Theory, Sep 2020, Wien / Online, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.33⟩. ⟨hal-03005374⟩
Accès au texte intégral et bibtex

ref_biblio: Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida. Towards a formal account for software transactional memory. RC 2020 – 12th International Conference on Reversible Computation, Jul 2020, Oslo, Norway. ⟨hal-03005449⟩
Accès au texte intégral et bibtex

ref_biblio: Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago. On Higher-Order Cryptography. ICALP 2020 – 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩. ⟨hal-03120781⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Emilio Tuosto. Choreography Automata. COORDINATION 2020 – 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 – 106, ⟨10.1007/978-3-030-50029-0_6⟩. ⟨hal-03005377⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes. Decomposing Probabilistic Lambda-Calculi. FOSSACS 2020 – Foundations of Software Science and Computation Structures – 23rd International Conference, Apr 2020, Dublin, Ireland. pp.136-156, ⟨10.1007/978-3-030-45231-5_8⟩. ⟨hal-03120783⟩
Accès au texte intégral et bibtex

ref_biblio: Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. ESOP 2020 – 29th European Symposium on Programming. Held as Part of the ETAPS 2020 – European Joint Conferences on Theory and Practice of Software, Apr 2020, Dublin, Ireland. ⟨hal-02991652⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Iain Phillips, Irek Ulidowski. An Axiomatic Approach to Reversible Computation. FoSSaCS 2020 – 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.442 – 461, ⟨10.1007/978-3-030-45231-5_23⟩. ⟨hal-03004421⟩
Accès au texte intégral et bibtex

Book sections

ref_biblio: Michael Lodi, Renzo Davoli, Rebecca Montanari, Simone Martini. Informatica senza e con computer nella Scuola Primaria. Enrico Nardelli. Coding e oltre: l’Informatica nella scuola, , 2020. ⟨hal-02379212⟩
Accès au texte intégral et bibtex

ref_biblio: Francesca del Bonifro, Maurizio Gabbrielli, Giuseppe Lisanti, Stefano Pio Zingaro. Student Dropout Prediction. Artificial Intelligence in Education, pp.129-140, 2020, ⟨10.1007/978-3-030-52237-7_11⟩. ⟨hal-02983978⟩
Accès au texte intégral et bibtex

ref_biblio: Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, et al.. Foundations of Reversible Computation. Reversible Computation: Extending Horizons of Computing – Selected Results of the COST Action IC1405, 12070, pp.1 – 40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩. ⟨hal-03005384⟩
Accès au texte intégral et bibtex

ref_biblio: James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Reversible Computation: Extending Horizons of Computing – Selected Results of the COST Action IC1405, pp.108 – 127, 2020, ⟨10.1007/978-3-030-47361-7_5⟩. ⟨hal-03005383⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. A Formal Approach to Microservice Architecture Deployment *. Microservices, Science and Engineering, 2020. ⟨hal-03077047⟩
Accès au texte intégral et bibtex

ref_biblio: Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, et al.. Software and Reversible Systems: A Survey of Recent Activities. Reversible Computation: Extending Horizons of Computing – Selected Results of the COST Action IC1405, pp.41 – 59, 2020, ⟨10.1007/978-3-030-47361-7_2⟩. ⟨hal-03005386⟩
Accès au texte intégral et bibtex

Books

ref_biblio: Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira (Dir.). Reversible Computation: Extending Horizons of Computing. 2020, ⟨10.1007/978-3-030-47361-7⟩. ⟨hal-03341253⟩
Accès au bibtex

Reports

ref_biblio: Ivan Lanese, Doriana Medić. A General Approach to Derive Uncontrolled Reversible Semantics (TR). [Research Report] INRIA Sophia Antipolis – Méditerranée; Universita di Bologna. 2020. ⟨hal-02902204⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Michael Lodi. Introducing Computational Thinking in K-12 Education: Historical, Epistemological, Pedagogical, Cognitive, and Affective Aspects. Computers and Society [cs.CY]. Dipartimento di Informatica – Scienza e Ingegneria, Alma Mater Studiorum – Università di Bologna, 2020. English. ⟨NNT : ⟩. ⟨tel-02981951⟩
Accès au texte intégral et bibtex

ref_biblio: Zingaro Stefano. Interoperability Challenges in Internet of Things Systems: a Service-Oriented Computing Approach. Programming Languages [cs.PL]. Bologna University, 2020. English. ⟨NNT : ⟩. ⟨tel-04370904⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi. On the Representation of References in the pi-calculus. 2020. ⟨hal-02895654v2⟩
Accès au texte intégral et bibtex

2019

Journal articles

ref_biblio: Patrick Baillot, Gilles Barthe, Ugo Dal Lago. Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. Journal of Automated Reasoning, 2019, 63 (4), pp.813-855. ⟨10.1007/978-3-662-48899-7_15⟩. ⟨hal-01197456v3⟩
Accès au texte intégral et bibtex

ref_biblio: Damien Pous, Davide Sangiorgi. Bisimulation and Coinduction Enhancements: A Historical Perspective. Formal Aspects of Computing, 2019, 31 (6), pp.733-749. ⟨10.1007/s00165-019-00497-w⟩. ⟨hal-02393949⟩
Accès au texte intégral et bibtex

ref_biblio: Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro. On the modeling of optimal and automatized cloud application deployment. Journal of Logical and Algebraic Methods in Programming, 2019, 107, pp.108-135. ⟨10.1016/j.jlamp.2019.06.001⟩. ⟨hal-02401380⟩
Accès au texte intégral et bibtex

ref_biblio: Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti. Probabilistic Software product lines. Journal of Logical and Algebraic Methods in Programming, 2019, ⟨10.1016/j.jlamp.2019.05.007⟩. ⟨hal-02387462⟩
Accès au texte intégral et bibtex

ref_biblio: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi. Divergence and unique solution of equations. Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:12)2019⟩. ⟨hal-02376814⟩
Accès au bibtex

ref_biblio: Tim Bell, Michael Lodi. Constructing Computational Thinking Without Using Computers. Constructivist foundations, 2019, Special Issue “Constructionism and Computational Thinking”, 14 (3), pp.342-351. ⟨hal-02378761⟩
Accès au texte intégral et bibtex

ref_biblio: Tim Bell, Michael Lodi. Authors’ Response: Keeping the “Computation” in “Computational Thinking” Through Unplugged Activities. Constructivist foundations, 2019, Special Issue “Constructionism and Computational Thinking”, 14 (3), pp.357-359. ⟨hal-02378782⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi, Dario Malchiodi, Mattia Monga, Anna Morpurgo, Bernadette Spieler. Constructionist Attempts at Supporting the Learning of Computer Programming: A Survey. Olympiads in Informatics: An International Journal, 2019, 13, pp.99-121. ⟨10.15388/ioi.2019.07⟩. ⟨hal-02379084⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Charles Grellois. Probabilistic Termination by Monadic Affine Sized Typing. ACM Transactions on Programming Languages and Systems (TOPLAS), 2019, 41 (2), pp.1-65. ⟨10.1145/3293605⟩. ⟨hal-02399423⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu. Intersection Types and Runtime Errors in the Pi-Calculus. Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290320⟩. ⟨hal-02399565⟩
Accès au texte intégral et bibtex

ref_biblio: Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez. Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming, 2019, 105, pp.1 – 27. ⟨10.1016/j.jlamp.2019.02.007⟩. ⟨hal-02392909⟩
Accès au texte intégral et bibtex

ref_biblio: Cosimo Laneve. A lightweight deadlock analysis for programs with threads and reentrant locks. Science of Computer Programming, 2019, 181, pp.64 – 81. ⟨10.1016/j.scico.2019.06.002⟩. ⟨hal-02392938⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Davide Sangiorgi. Asynchronous pi-calculus at Work: The Call-by-Need Strategy. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Nov 2019, Paris, France. pp.33-49, ⟨10.1007/978-3-030-31175-9_3⟩. ⟨hal-02399695⟩
Accès au texte intégral et bibtex

ref_biblio: Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti. On the Prediction of Smart Contracts’ Behaviours. SG65 – Colloquium in Honour of Stefania Gnesi, Oct 2019, Porto, Portugal. pp.397–415, ⟨10.1007/978-3-030-30985-5_23⟩. ⟨hal-02392997⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Gianluigi Zavattaro. Relating Session Types and Behavioural Contracts: the Asynchronous Case. SEFM 2019 – 17th International Conference on Software Engineering and Formal Methods, Sep 2019, Oslo, Norway. ⟨hal-02387456⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro. A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019 – 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CONCUR.2019.38⟩. ⟨hal-02387473⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi. Does Studying CS Automatically Foster a Growth Mindset?. ITiCSE 2019 – 24th ACM Conference on Innovation and Technology in Computer Science Education, Jul 2019, Aberdeen, United Kingdom. pp.147-153, ⟨10.1145/3304221.3319750⟩. ⟨hal-02379130⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro. Ephemeral Data Handling in Microservices. SCC 2019 – IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.234-236, ⟨10.1109/SCC.2019.00048⟩. ⟨hal-02400020⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu. Differential Logical Relations Part I: The Simply-Typed Case. ICALP 2019 – 46th International Colloquium on Automata, Languages and Programming, Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.XXX⟩. ⟨hal-02386110⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Naohiko Hoshino. The Geometry of Bayesian Programming. LICS 2019 – 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785663⟩. ⟨hal-02399343⟩
Accès au texte intégral et bibtex

ref_biblio: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois. On the Termination Problem for Probabilistic Higher-Order Recursive Programs. LICS 2019 – 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, France. pp.1-14, ⟨10.1109/LICS.2019.8785679⟩. ⟨hal-02399361⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen. Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS 2019 – 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785725⟩. ⟨hal-02381829⟩
Accès au texte intégral et bibtex

ref_biblio: Lukasz Mikulski, Ivan Lanese. Reversing Unbounded Petri Nets. PETRI NETS 2019 – Applications and Theory of Petri Nets, Jun 2019, Aachen, Germany. ⟨10.1007/978-3-030-21571-2_13⟩. ⟨hal-02376158⟩
Accès au texte intégral et bibtex

ref_biblio: Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, et al.. No More, No Less – A Formal Model for Serverless Computing. COORDINATION 2019 – 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩. ⟨hal-02365509⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Adrián Palacios, Germán Vidal. Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019 – 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩. ⟨hal-02313745⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo. On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. MFPS 2019 – 35th Conference on the Mathematical Foundations of Programming Semantics, Jun 2019, London, United Kingdom. ⟨hal-02386083⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. Optimal and Automated Deployment for Microservices. FASE 2019 – 22nd International Conference on Held as Part of the European, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩. ⟨hal-02387483⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo. Effectful Normal Form Bisimulation. ESOP 2019 – European Symposium on Programming, Apr 2019, Prague, Czech Republic. ⟨hal-02386004⟩
Accès au texte intégral et bibtex

ref_biblio: Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, et al.. Constraint programming for flexible Service Function Chaining deployment. HICS 2019 – 52nd Hawaii International Conference on System Sciences, Jan 2019, Maui, United States. ⟨hal-02395208⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andréa Melis, Marco Prandini. Federated Platooning: Insider Threats and Mitigations. HICSS – 52nd Hawaii International Conference on System Sciences, Jan 2019, Grand Wailea, Maui, Hawaii, USA,, United States. ⟨10.24251/HICSS.2019.389⟩. ⟨hal-02400010⟩
Accès au texte intégral et bibtex

ref_biblio: Laneve Cosimo, Luca Padovani. Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy – Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019, Paris, France. pp.50-67. ⟨hal-02166082⟩
Accès au bibtex

Book sections

ref_biblio: Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro. Linguistic Abstractions for Interoperability of IoT Platforms. Towards Integrated Web, Mobile, and IoT Technology, pp.83-114, 2019, ⟨10.1007/978-3-030-28430-5_5⟩. ⟨hal-02383918⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro. Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩. ⟨hal-02376217⟩
Accès au texte intégral et bibtex

ref_biblio: Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, ⟨10.1007/978-3-030-31175-9_8⟩. ⟨hal-02376243⟩
Accès au texte intégral et bibtex

Other publications

ref_biblio: Doriana Medic. Relative expressiveness of calculi for reversible concurrency. 2019. ⟨hal-02376279⟩
Accès au bibtex

Reports

ref_biblio: Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen. Type-Based Complexity Analysis of Probabilistic Functional Programs (Technical Report). [Research Report] INRIA Sophia Antipolis; University of Bologna; ENS Lyon. 2019. ⟨hal-02103943⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Francesco Gavazzo. Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects. Programming Languages [cs.PL]. Alma Mater Studiorum Università di Bologna, 2019. English. ⟨NNT : ⟩. ⟨tel-02386201⟩
Accès au texte intégral et bibtex

2018

Journal articles

ref_biblio: Franco Barbanera, Ivan Lanese, Ugo De’Liguoro. A theory of retractable and speculative contracts. Science of Computer Programming, 2018, 167, pp.25 – 50. ⟨10.1016/j.scico.2018.06.005⟩. ⟨hal-01912858⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Naoki Nishida, Adrian Palacios, Germán Vidal. A theory of reversibility for Erlang. Journal of Logical and Algebraic Methods in Programming, 2018, 100, pp.71 – 97. ⟨10.1016/j.jlamp.2018.06.004⟩. ⟨hal-01912856⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi, Xian Xu. Trees from functions as processes. Logical Methods in Computer Science, 2018, ⟨10.2168/LMCS-14(3:11)2018⟩. ⟨hal-01931186⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago. On sharing, memoization, and polynomial time. Information and Computation, 2018, 261, pp.3 – 22. ⟨10.1016/j.ic.2018.05.003⟩. ⟨hal-01926431⟩
Accès au bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP and the MiniZinc challenge. Theory and Practice of Logic Programming, 2018, 18 (01), pp.81 – 96. ⟨10.1017/S1471068417000205⟩. ⟨hal-01931324⟩
Accès au texte intégral et bibtex

ref_biblio: Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro. A Petri Net Based Modeling of Active Objects and Futures. Fundamenta Informaticae, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩. ⟨hal-01919136⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti. Reduction Semantics in Markovian Process Algebra. Journal of Logical and Algebraic Methods in Programming, 2018, 96, pp.41-64. ⟨10.1016/j.jlamp.2018.01.002⟩. ⟨hal-01921194⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Marco Carbone, Gianluigi Zavattaro. On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping. Theoretical Computer Science, 2018, 722, pp.19-51. ⟨10.1016/j.tcs.2018.02.010⟩. ⟨hal-01921168⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro. A Language-based Approach for Interoperability of IoT Platforms. Hawaii International Conference on System Science, Nov 2018, Waikoloa Village, United States. ⟨hal-01912958⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Ivan Lanese, Daniel Russo. ChIP: a Choreographic Integration Process. On the Move to Meaningful Internet Systems, Oct 2018, La Valletta, Malta. ⟨hal-01912917⟩
Accès au texte intégral et bibtex

ref_biblio: Luca Forlizzi, Michael Lodi, Violetta Lonati, Claudio Mirolo, Mattia Monga, et al.. A Core Informatics Curriculum for Italian Compulsory Education. Informatics in Schools. Fundamentals of Computer Science and Software Engineering – 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, Oct 2018, St. Petersburg, Russia. pp.141–153, ⟨10.1007/978-3-030-02750-6_11⟩. ⟨hal-01913057⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Borchia, Antonella Carbonaro, Giorgio Casadei, Luca Forlizzi, Michael Lodi, et al.. Problem Solving Olympics: an inclusive education model for learning Informatics. Informatics in Schools. Fundamentals of Computer Science and Software Engineering – 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, Oct 2018, St. Petersburg, Russia. pp.319–335, ⟨10.1007/978-3-030-02750-6_25⟩. ⟨hal-01913064⟩
Accès au texte intégral et bibtex

ref_biblio: Isabella Corradini, Michael Lodi, Enrico Nardelli. An Investigation of Italian Primary School Teachers’ View on Coding and Programming. Informatics in Schools. Fundamentals of Computer Science and Software Engineering – 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, Oct 2018, St. Petersburg, Russia. pp.228–243, ⟨10.1007/978-3-030-02750-6_18⟩. ⟨hal-01913059⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Gabriele Vanoni. On Randomised Strategies in the $λ$-Calculus. 19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy. ⟨hal-01926512⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi. Bisimilarity via unique-solution techniques. 19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy. ⟨hal-01931203⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese. From Reversible Semantics to Reversible Debugging. Reversible Computation, Sep 2018, Leicester, United Kingdom. ⟨hal-01912920⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi. Can Creative Computing foster Growth Mindset?. Joint Proceedings of the 1st Co-Creation in the Design, Development and Implementation of Technology-Enhanced Learning workshop (CC-TEL 2018) and Systems of Assessments for Computational Thinking Learning workshop (TACKLE 2018) co-located with 13th European Conference on Technology Enhanced Learning (ECTEL 2018), Sep 2018, Leeds, United Kingdom. ⟨hal-01913053⟩
Accès au texte intégral et bibtex

ref_biblio: Flavien Breuvart, Ugo Dal Lago. On Intersection Types and Probabilistic Lambda Calculi. 20th International Symposium on Principles and Practice of Declarative Programming, Sep 2018, Frankfurt am Main, Germany. ⟨10.1145/3236950.3236968⟩. ⟨hal-01926420⟩
Accès au texte intégral et bibtex

ref_biblio: Chun Tian, Davide Sangiorgi. Unique solutions of contractions, CCS, and their HOL formalisation. Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, Sep 2018, Beijing, China. pp.122 – 139, ⟨10.4204/EPTCS.276.10⟩. ⟨hal-01931199⟩
Accès au texte intégral et bibtex

ref_biblio: Mattia Monga, Michael Lodi, Dario Malchiodi, Anna Morpurgo, Bernadette Spieler. Learning to program in a constructionist way. Proceedings of Constructionism 2018, Aug 2018, Vilnius, Lithuania. ⟨hal-01913065⟩
Accès au texte intégral et bibtex

ref_biblio: Cosimo Laneve. A lightweight deadlock analysis for programs with threads and reentrant locks. 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. ⟨hal-01926509⟩
Accès au texte intégral et bibtex

ref_biblio: Francesco Gavazzo. Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. LICS ’18- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209149⟩. ⟨hal-01926069⟩
Accès au texte intégral et bibtex

ref_biblio: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi. Eager Functions as Processes. the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209152⟩. ⟨hal-01917255v2⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli. Applied Choreographies. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩. ⟨hal-01824812⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Gianluigi Zavattaro. Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩. ⟨hal-01821498⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago, Akihisa Yamada. On Probabilistic Term Rewriting. Functional and Logic Programming – 14th International Symposium, Proceedings, May 2018, Nagoya, Japan. ⟨hal-01926502⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Naoki Nishida, Adrian Palacios, Germán Vidal. CauDEr: A Causal-Consistent Reversible Debugger for Erlang. Functional and Logic Programming, May 2018, Nagoya, Japan. ⟨hal-01912894⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi. Pensiero Computazionale: dalle “scuole di samba della computazione” ai CoderDojo. Atti del convegno DIDAMATICA 2018, Apr 2018, Cesena, Italy. ⟨hal-01913063⟩
Accès au texte intégral et bibtex

Poster communications

ref_biblio: Isabella Corradini, Michael Lodi, Enrico Nardelli. Coding and Programming: What Do Italian Primary School Teachers Think? (Abstract Only). SIGCSE ’18 – Proceedings of the 49th ACM Technical Symposium on Computer Science Education, Feb 2018, Baltimore, United States. ACM Press, ⟨10.1145/3159450.3162268⟩. ⟨hal-01913062⟩
Accès au bibtex

2017

Journal articles

ref_biblio: Pierre Clairambault, Charles Grellois, Andrzej Murawski. Linearity in higher-order recursion schemes. Proceedings of the ACM on Programming Languages, 2017, 2, pp.1 – 29. ⟨10.1145/3158127⟩. ⟨hal-01886931⟩
Accès au bibtex

ref_biblio: Simone Martini. Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto. IL NODO, SCUOLA IN RETE, 2017, 47, pp.18-28. ⟨hal-01643699⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi, Simone Martini, Enrico Nardelli. Abbiamo davvero bisogno del pensiero computazionale?. Mondo Digitale, 2017, 72, pp.1-15. ⟨hal-01656340⟩
Accès au texte intégral et bibtex

ref_biblio: Abel Garcia, Cosimo Laneve, Michael Lienhardt. Static analysis of cloud elasticity. Science of Computer Programming, 2017, 147, pp.27 – 53. ⟨10.1016/j.scico.2017.03.008⟩. ⟨hal-01643175⟩
Accès au bibtex

ref_biblio: Mario Bravetti, Marco Carbone, Gianluigi Zavattaro. Undecidability of asynchronous session subtyping. Information and Computation, 2017, 256, pp.300 – 320. ⟨10.1016/j.ic.2017.07.010⟩. ⟨hal-01637935⟩
Accès au bibtex

ref_biblio: Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session Types Revisited. Information and Computation, 2017, 256, pp.253 – 286. ⟨10.1016/j.ic.2017.06.002⟩. ⟨hal-01647086⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago. Automating sized-type inference for complexity analysis. Proceedings of the ACM on Programming Languages, 2017, 1 (ICFP), pp.1 – 29. ⟨10.1145/3110287⟩. ⟨hal-01639200⟩
Accès au texte intégral et bibtex

ref_biblio: Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes Merayo. Analysis of temporal complex events in sensor networks. Journal of Information and Telecommunication, 2017, 1 (3), pp.273-289. ⟨10.1080/24751839.2017.1347763⟩. ⟨hal-01637941⟩
Accès au texte intégral et bibtex

ref_biblio: Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Dynamic Choreographies: Theory And Implementation. Logical Methods in Computer Science, 2017, 13, pp.1 – 57. ⟨10.23638/LMCS-13(2:1)2017⟩. ⟨hal-01631394⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi. Equations, Contractions, and Unique Solutions. ACM Transactions on Computational Logic, 2017, 18 (1), pp.1-36. ⟨10.1145/2971339⟩. ⟨hal-01647063⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 2017, 88, pp.99 – 120. ⟨10.1016/j.jlamp.2016.09.003⟩. ⟨hal-01633260⟩
Accès au texte intégral et bibtex

ref_biblio: Naoki Kobayashi, Cosimo Laneve. Deadlock analysis of unbounded process networks. Information and Computation, 2017, 252, pp.48 – 70. ⟨10.1016/j.ic.2016.03.004⟩. ⟨hal-01643152⟩
Accès au bibtex

Conference papers

ref_biblio: Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini. Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators. ITSC2017- 20th International Conference on Intelligent Transportation , Oct 2017, Yokohama, Japan. ⟨hal-01631427⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka. Effectful applicative similarity for call-by-name lambda calculi. ICTCS 2017 – 18th Italian Conference on Theoretical Computer Science, Sep 2017, Naples, Italy. ⟨hal-01636368⟩
Accès au texte intégral et bibtex

ref_biblio: Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of Synchronisations in Stateful Active Objects. IFM 2017 – 13th International Conference on Integrated Formal Methods, Sep 2017, Torino, France. ⟨10.1007/978-3-540-74792-5_5⟩. ⟨hal-01627866⟩
Accès au texte intégral et bibtex

ref_biblio: Tong Liu, Roberto Amadini, Jacopo Mauro. SUNNY with Algorithm Configuration. OASC 2017 – Open Algorithm Selection Challenge, Sep 2017, Brussels, Belgium. pp.12-14. ⟨hal-01674691⟩
Accès au texte intégral et bibtex

ref_biblio: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi. Divergence and unique solution of equations. CONCUR 2017 – 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.1 – 7, ⟨10.4230/LIPIcs.CONCUR.2017.7⟩. ⟨hal-01643502⟩
Accès au texte intégral et bibtex

ref_biblio: Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro. NightSplitter: a scheduling tool to optimize (sub)group activities. CP 2017 – 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. pp.370-386, ⟨10.1007/978-3-319-66158-2_24⟩. ⟨hal-01648192⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lodi. Growth Mindset in Computational Thinking Teaching and Teacher Training. ICER ’17 International Computing Education Research Conference , Aug 2017, Tacoma (WA), United States. ⟨10.1145/3105726.3105736⟩. ⟨hal-01636236⟩
Accès au texte intégral et bibtex

ref_biblio: Isabella Corradini, Michael Lodi, Enrico Nardelli. Conceptions and Misconceptions about Computational Thinking among Italian Primary School Teachers. ICER ’17 – Proceedings of the 2017 ACM Conference on International Computing Education Research, Aug 2017, Tacoma (WA), United States. ⟨10.1145/3105726.3106194⟩. ⟨hal-01636235⟩
Accès au texte intégral et bibtex

ref_biblio: Isabella Corradini, Michael Lodi, Enrico Nardelli. Computational Thinking in Italian Schools: Quantitative Data and Teachers’ Sentiment Analysis after Two Years of “Programma il Futuro” Project. ITiCSE ’17 – Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, Jul 2017, Bologna, Italy. ⟨10.1145/3059009.3059040⟩. ⟨hal-01636232⟩
Accès au texte intégral et bibtex

ref_biblio: Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, et al.. Microservices: How To Make Your Application Scale. A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition), Jun 2017, Moscow, Russia. ⟨hal-01636132⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy. Effectful Applicative Bisimilarity: Monads, Relators, and Howe’s Method. LICS 2017 – ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005117⟩. ⟨hal-01636365⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens. LICS 2017 – Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨hal-01639411⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Ivan Lanese, Ugo de ‘Liguoro. Retractable and Speculative Contracts. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩. ⟨hal-01633262⟩
Accès au texte intégral et bibtex

ref_biblio: Raphaëlle Crubillé, Ugo Dal Lago. Metric Reasoning About λ-Terms: The General Case. ESOP 2017 – 26th European Symposium on Programming, Apr 2017, Uppsala, Sweden. pp.341-367, ⟨10.1007/978-3-662-54434-1_13⟩. ⟨hal-01639369⟩
Accès au texte intégral et bibtex

ref_biblio: Flavien Breuvart, Ugo Dal Lago, Agathe Herrou. On Higher-Order Probabilistic Subrecursion. FoSSaCS 2017 – 20th International Conference on Foundations of Software Science and Computation Structures, Apr 2017, Uppsala, Sweden. pp.370-386, ⟨10.1007/978-3-662-54458-7_22⟩. ⟨hal-01639379⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Charles Grellois. Probabilistic Termination by Monadic Affine Sized Typing. ESOP 2017 – 26th European Symposium on Programming, Apr 2017, Uppsala, Sweden. ⟨hal-01635077⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Bresolin, Ivan Lanese. Most General Property-Preserving Updates. LATA 2017 – Language and Automata Theory and Applications, Mar 2017, Umea, Sweden. ⟨hal-01635801⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects. POPL 2017 – 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.833-845, ⟨10.1145/3009837.3009859⟩. ⟨hal-01474620⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini. Insider Threats in Emerging Mobility-as-a-Service Scenarios. HICSS 2017 – 50th annual Hawaii International Conference on System Science, Jan 2017, Hilton Waikoloa Village, United States. ⟨hal-01631388⟩
Accès au texte intégral et bibtex

Book sections

ref_biblio: Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi. Microservices: a Language-based Approach. Manuel Mazzara; Bertrand Meyer. Present and Ulterior Software Engineering, Springer, 2017. ⟨hal-01635817⟩
Accès au texte intégral et bibtex

ref_biblio: Nicola Dragoni, Saverio Giallorenzo, Alberto Lafuente, Manuel Mazzara, Fabrizio Montesi, et al.. Microservices: yesterday, today, and tomorrow. Manuel Mazzara; Bertrand Meyer. Present and Ulterior Software Engineering, Springer, 2017, 978-3-319-67425-4. ⟨hal-01631455⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli. Programming Adaptive Microservice Applications: an AIOCJ Tutorial. Simon Gay; António Ravara. Behavioural Types: from Theory to Tools, River Publishers, 2017. ⟨hal-01631422⟩
Accès au texte intégral et bibtex

ref_biblio: Abel Garcia, Cosimo Laneve. JaDA – the Java Deadlock Analyzer. Simon Gay; Antonio Ravara. Behavioural Types: from Theory to Tools, River Publishers, pp.169-192, 2017. ⟨hal-01643216⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of synchronisation patterns in stateful active objects. [Research Report] I3S; Inria – Sophia antipolis. 2017. ⟨hal-01542595⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Vicenzo Mastandrea. Analysis of synchronisation patterns in active objects based on behavioural types. Other [cs.OH]. Université Côte d’Azur, 2017. English. ⟨NNT : 2017AZUR4113⟩. ⟨tel-01651649v2⟩
Accès au texte intégral et bibtex

ref_biblio: Abel García Celestrín. Static analysis of concurrent programs based on behavioral type systems. Programming Languages [cs.PL]. University of Bologna, 2017. English. ⟨NNT : ⟩. ⟨tel-01660749⟩
Accès au texte intégral et bibtex

ref_biblio: Valeria Vignudelli. Behavioral Equivalences for Higher-Order Languages with Probabilities. Logic in Computer Science [cs.LO]. University of Bologna, 2017. English. ⟨NNT : ⟩. ⟨tel-01644462⟩
Accès au texte intégral et bibtex

2016

Journal articles

ref_biblio: Marco Solieri. Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach. Mathematical Structures in Computer Science, 2016, pp.1 – 43. ⟨10.1017/S0960129516000311⟩. ⟨hal-01400359⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, et al.. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩. ⟨hal-01348054⟩
Accès au bibtex

ref_biblio: Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo. New Results on Morris’s Observational Theory: the benefits of separating the inseparable. Leibniz International Proceedings in Informatics , 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩. ⟨hal-01337192⟩
Accès au texte intégral et bibtex

ref_biblio: Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, et al.. Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 2016, 49 (1), ⟨10.1145/2873052⟩. ⟨hal-01336707⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Wong. Dynamic Rebinding for Concurrent Object Groups: Theory and Practice. Journal of Logical and Algebraic Methods in Programming, 2016, ⟨10.1016/j.jlamp.2016.03.002⟩. ⟨hal-01337333⟩
Accès au bibtex

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: From fusions to preorders and types. Information and Computation, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩. ⟨hal-01419632⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Ulrich Schöpp. Computation by interaction for space-bounded functional programming. Information and Computation, 2016, 248, ⟨10.1016/j.ic.2015.04.006⟩. ⟨hal-01337724⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. International Journal of Interactive Multimedia and Artificial Intelligence, 2016. ⟨hal-01336684⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Simone Martini, Davide Sangiorgi. Light Logics and Higher-Order Processes. Mathematical Structures in Computer Science, 2016, 26 (06), pp.969 – 992. ⟨10.1017/S0960129514000310⟩. ⟨hal-01400903⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed. Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩. ⟨hal-01337712⟩
Accès au texte intégral et bibtex

ref_biblio: Sara Capecchi, Elena Giachino, Nobuko Yoshida. Global Escape in Multiparty Sessions. Mathematical Structures in Computer Science, 2016, ⟨10.1017/S0960129514000164⟩. ⟨hal-01336832⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus. Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩. ⟨hal-01303090⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Cosimo Laneve, Michael Lienhardt. A framework for deadlock detection in core ABS. Software and Systems Modeling, 2016, ⟨10.1007/s10270-014-0444-y⟩. ⟨hal-01229046⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Portfolio Approaches for Constraint Optimization Problems. Annals of Mathematics and Artificial Intelligence, 2016. ⟨hal-01336686⟩
Accès au texte intégral et bibtex

ref_biblio: Patrick Baillot, Ugo Dal Lago. Higher-order interpretations and program complexity. Information and Computation, 2016, ⟨10.1016/j.ic.2015.12.008⟩. ⟨hal-01337728⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini. Data Security Issues in MaaS-enabling Platforms. International Forum on Research and Technologies for Society and Industry, Sep 2016, Bologna, Italy. ⟨hal-01336700⟩
Accès au texte intégral et bibtex

ref_biblio: Stijn De Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. Declarative Elasticity in ABS. 5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩. ⟨hal-01638585⟩
Accès au texte intégral et bibtex

ref_biblio: Elvira Albert, Frank de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve. Envisage: Developing SLA-aware Deployed Services with Formal Methods. ESOCC 2016:Fifth European Conference on Service-Oriented and Cloud Computing, Sep 2016, Wien, Austria. ⟨hal-01345020⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Actors may synchronize, safely! *. PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom. ⟨hal-01345315⟩
Accès au texte intégral et bibtex

ref_biblio: Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli. Up-To Techniques for Generalized Bisimulation Metrics. 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.35:1–35:14, ⟨10.4230/LIPIcs.CONCUR.2016.35⟩. ⟨hal-01335234⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago. Infinitary Lambda Calculi from a Linear Perspective. Logic in Computer Science, Jul 2016, New York, United States. ⟨10.1145/2933575.2934505⟩. ⟨hal-01400883⟩
Accès au texte intégral et bibtex

ref_biblio: Simone Martini. Types in Programming Languages, between Modelling, Abstraction, and Correctness. Computability in Europe, CiE 2016: Pursuit of the Universal, Jun 2016, Paris, France. ⟨hal-01335657⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Georg Moser. Complexity of Acyclic Term Graph Rewriting. Proceedings of FSCD’16, Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016⟩. ⟨hal-01336582⟩
Accès au texte intégral et bibtex

ref_biblio: Alexis Bernadet, Ivan Lanese. A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE 2016, Jun 2016, Heraklion, Greece. ⟨hal-01337423⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Georg Moser, Michael Schaper. TcT: Tyrolean Complexity Tool. Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. pp.407-423, ⟨10.1007/978-3-662-49674-9_24⟩. ⟨hal-01392188⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi, Valeria Vignudelli. Environmental Bisimulations for Probabilistic Higher-Order Languages. POPL ’16, Jan 2016, St. Petersburg, United States. ⟨10.1145/2837614.2837651⟩. ⟨hal-01337665⟩
Accès au texte intégral et bibtex

ref_biblio: Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi. Slicing Concurrent Constraint Programs. Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016, Edinburgh, United Kingdom. ⟨hal-01421407⟩
Accès au bibtex

ref_biblio: Johannes Borgström, Ugo Dal Lago, Andrew D Gordon, Marcin Szymczak. A lambda-calculus foundation for universal probabilistic programming. International Conference on Functional Programming, 2016, Nara, Japan. pp.33 – 46, ⟨10.1145/2951913.2951942⟩. ⟨hal-01400890⟩
Accès au texte intégral et bibtex

Book sections

ref_biblio: Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi. Self-Reconfiguring Microservices. Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Theory and Practice of Formal Methods, 9660, Springer, pp.194-210, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_14⟩. ⟨hal-01336688⟩
Accès au texte intégral et bibtex

ref_biblio: Jacopo Mauro, Gianluigi Zavattaro. On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods , 9660 pp.344-359, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-30734-3⟩. ⟨hal-01334772⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht. Statically and Dynamically Verifiable SLA Metrics. 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⟩. ⟨hal-01336836⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Parallelizing Constraint Solvers for Hard RCPSP Instances. [Technical Report] Inria Sophia Antipolis. 2016. ⟨hal-01295061⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP: a Portfolio Solver for Constraint Programming. [Technical Report] Inria Sophia Antipolis. 2016. ⟨hal-01336407⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Marco Solieri. Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets. Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English. ⟨NNT : ⟩. ⟨tel-01400369⟩
Accès au texte intégral et bibtex

ref_biblio: Saverio Giallorenzo. Real-World Choreographies. Distributed, Parallel, and Cluster Computing [cs.DC]. Università degli studi di Bologna, 2016. English. ⟨NNT : ⟩. ⟨tel-01336757⟩
Accès au texte intégral et bibtex

2015

Journal articles

ref_biblio: Cosimo Laneve, Luca Padovani. An Algebraic Theory for Web Service Contracts. Formal Aspects of Computing, 2015, 27 (4), pp.27. ⟨10.1007/s00165-015-0334-2⟩. ⟨hal-01229401⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Solieri. Geometry of Resource Interaction – A Minimalist Approach. Electronic Proceedings in Theoretical Computer Science, 2015, Proceedings Third International Workshop on Linearity – Vienna, Austria, 13th July, 2014, 176, pp.79-94. ⟨10.4204/EPTCS.176.7⟩. ⟨hal-01091754⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Paolo Parisen. A Higher-Order Characterization of Probabilistic Polynomial Time. Information and Computation, 2015, 241, pp.114-141. ⟨10.1016/j.ic.2014.10.009⟩. ⟨hal-01231752v2⟩
Accès au texte intégral et bibtex

ref_biblio: Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro. Automatic deployment of component-based applications. Science of Computer Programming, 2015, ⟨10.1016/j.scico.2015.07.006⟩. ⟨hal-01233485⟩
Accès au texte intégral et bibtex

ref_biblio: Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Developing correct, distributed, adaptive software. Science of Computer Programming, 2015, ⟨10.1016/j.scico.2013.11.019⟩. ⟨hal-01227610⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, et al.. Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC, Nov 2015, Goa, India. pp.397–411, ⟨10.1007/978-3-662-48616-0_28⟩. ⟨hal-01233489⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. Feature Selection for SUNNY: a Study on the Algorithm Selection Library. ICTAI, Nov 2015, Vietri sul Mare, Italy. ⟨hal-01227600⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi. The Proof Technique of Unique Solutions of Contractions. 12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.63–68, ⟨10.1007/978-3-319-25150-9_5⟩. ⟨hal-01227569⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun. Time complexity of concurrent programs: a technique based on behavioural types. FACS 2015, Oct 2015, Niterói, Rio de Janeiro, Brazil. ⟨hal-01229068⟩
Accès au texte intégral et bibtex

ref_biblio: Simone Martini. Several Types of Types in Programming Languages. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.216-227, ⟨10.1007/978-3-319-47286-7_15⟩. ⟨hal-01399694⟩
Accès au texte intégral et bibtex

ref_biblio: Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli. On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Sep 2015, Oldenburg, Germany. ⟨10.1007/978-3-319-23506-6_7⟩. ⟨hal-01229398⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti. Towards Dynamic Updates in Service Composition. FOCLASA 2015 – Proceedings of 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Sep 2015, Madrid, Spain. ⟨hal-01231465⟩
Accès au bibtex

ref_biblio: Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, et al.. Automatic Application Deployment in the Cloud: from Practice to Theory and Back . Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.1–16, ⟨10.4230/LIPIcs.CONCUR.2015.1⟩. ⟨hal-01233426⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago, Georg Moser. Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order. ICFP 2015, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784753⟩. ⟨hal-01231809⟩
Accès au texte intégral et bibtex

ref_biblio: Jacopo Mauro, Gianluigi Zavattaro. On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS, Aug 2015, Milan, Italy. pp.382–393, ⟨10.1007/978-3-662-48057-1_30⟩. ⟨hal-01233482⟩
Accès au texte intégral et bibtex

ref_biblio: Alberto Cappai, Ugo Dal Lago. On Equivalences, Metrics, and Polynomial Time. FCT 2015, Aug 2015, Gdansk, Poland. pp.311-323, ⟨10.1007/978-3-319-22177-9_24⟩. ⟨hal-01231790⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. A Multicore Tool for Constraint Solving. IJCAI 2015 – Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238. ⟨hal-01227592⟩
Accès au texte intégral et bibtex

ref_biblio: Abel Garcia, Cosimo Laneve, Michael Lienhardt. Static analysis of cloud elasticity. 17th International Symposium on Principles and Practice of Declarative Programming, Moreno Falaschi; Elvira Albert, Jul 2015, Siena, Italy. pp.12, ⟨10.1145/2790449.2790524⟩. ⟨hal-01229424⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR, Jul 2015, Siena, Italy. ⟨hal-01227598⟩
Accès au texte intégral et bibtex

ref_biblio: Raphaëlle Crubillé, Ugo Dal Lago. Metric Reasoning About λ-Terms: The Affine Case. LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.64⟩. ⟨hal-01231814⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. Parallelism and Synchronization in an Infinitary Context. LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩. ⟨hal-01231813⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. SUNNY for Algorithm Selection: A Preliminary Study. CILC, Jul 2015, Genova, Italy. ⟨hal-01227595⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Christian Sternagel, René Thiemann. Certification of Complexity Proofs using CeTA. 26th International Conference on Rewriting Techniques and Applications, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.23⟩. ⟨hal-01252000⟩
Accès au texte intégral et bibtex

ref_biblio: Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Dynamic Choreographies Safe Runtime Updates of Distributed Applications. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩. ⟨hal-01227612⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Alessandro Rioli. Applicative Bisimulation and Quantum λ-Calculi. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩. ⟨hal-01231800⟩
Accès au texte intégral et bibtex

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A Behavioural Theory for a π-calculus with Preorders. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩. ⟨hal-01246094v2⟩
Accès au texte intégral et bibtex

ref_biblio: Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de ‘Liguoro. Retractable Contracts. Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom. ⟨hal-01227693⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP : a Sequential CP Portfolio Solver. SAC, Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695741⟩. ⟨hal-01227589⟩
Accès au texte intégral et bibtex

ref_biblio: Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli. Towards a Composition-based APIaaS Layer. CLOSER 2014, Apr 2015, Barcelona, Spain. ⟨10.1007/978-3-319-07593-8_17⟩. ⟨hal-01090125⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. The Evolution of Jolie: From Orchestrations to Adaptable Choreographies. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Mar 2015, Munich, Germany. pp.506-521, ⟨10.1007/978-3-319-15545-6_29⟩. ⟨hal-01227623⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015 – 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2015, Turku, Finland. pp.467 – 475, ⟨10.1109/PDP.2015.98⟩. ⟨hal-01227615⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi. Equations, contractions, and unique solutions. POPL 2015 – Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676965⟩. ⟨hal-01089205⟩
Accès au texte intégral et bibtex

ref_biblio: Martin Avanzini, Ugo Dal Lago. On Sharing, Memoization, and Polynomial Time. Proceedings of STACS 2015, 2015, Munich, Germany. ⟨10.4230/LIPIcs.STACS.2015.62⟩. ⟨hal-01231816⟩
Accès au texte intégral et bibtex

ref_biblio: Yuxin Deng, Yuan Feng, Ugo Dal Lago. On Coinduction and Quantum Lambda Calculi. Proceedings of CONCUR 2015, 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.427⟩. ⟨hal-01231782⟩
Accès au texte intégral et bibtex

Book sections

ref_biblio: Gianluigi Zavattaro. When to Move to Transfer Nets On the limits of Petri nets as models for process calculi. 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⟩. ⟨hal-01233419⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. On the Integration of Automatic Deployment into the ABS Modeling Language. [Technical Report] Inria Sophia Antipolis. 2015. ⟨hal-01170926v2⟩
Accès au texte intégral et bibtex

ref_biblio: Jacopo Mauro, Gianluigi Zavattaro. On the Complexity of Reconfiguration in Systems with Legacy Components. [Technical Report] INRIA Sophia Antipolis. 2015. ⟨hal-01160369⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Gianluigi Zavattaro, Stefano Zacchiroli, et al.. Automatic Deployment of Software Components in the Cloud with the Aeolus Blender. [Technical Report] Inria Sophia Antipolis. 2015. ⟨hal-01103806⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Roberto Amadini. Portfolio Approaches in Constraint Programming. Computer Science [cs]. University of Bologna, 2015. English. ⟨NNT : ⟩. ⟨tel-01227582⟩
Accès au texte intégral et bibtex

2014

Journal articles

ref_biblio: Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility. Bulletin- European Association for Theoretical Computer Science, 2014, 114, pp.17. ⟨hal-01089350⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory and Practice of Logic Programming, 2014, pp.509-524. ⟨hal-01088489⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Aeolus: a Component Model for the Cloud. Information and Computation, 2014, pp.100-121. ⟨hal-01091062⟩
Accès au texte intégral et bibtex

ref_biblio: F. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro. Decidability Problems for Actor Systems. Logical Methods in Computer Science, 2014, 104, pp.1 – 29. ⟨10.2168/LMCS-10(4:5)2014⟩. ⟨hal-01090952⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Elena Giachino, Cosimo Laneve. Towards the Typing of Resource Deployment. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications – 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 – 103, ⟨10.1007/978-3-662-45231-8_7⟩. ⟨hal-01091748⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Michael Lienhardt, Mario Bravetti, Volker Stolz, Rudolf Schlatte, et al.. Fault Model Design Space for Cooperative Concurrency. ISOLA 2014, Oct 2014, Corfu, Greece. pp.22 – 36, ⟨10.1007/978-3-662-45231-8_3⟩. ⟨hal-01089341⟩
Accès au texte intégral et bibtex

ref_biblio: Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014, Sep 2014, Västerås, Sweden. pp.161 – 170, ⟨10.1007/978-3-319-11245-9_9⟩. ⟨hal-01089187⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Gianluigi Zavattaro. Choreographies and Behavioural Contracts on the Way to Dynamic Updates. Proceedings First Workshop on Logics and Model-checking for Self*-Systems, Sep 2014, Bertinoro (FC), Italy. pp.12 – 31, ⟨10.4204/EPTCS.168.2⟩. ⟨hal-01090924⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli. On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. QEST 2014, Sep 2014, Florence, Italy. pp.281 – 296, ⟨10.1007/978-3-319-10696-0_23⟩. ⟨hal-01089484⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Peter J. Stuckey. Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. Principles and Practice of Constraint Programming (CP 2014), Sep 2014, Lyon, France. pp.108 – 124, ⟨10.1007/978-3-319-10428-7_11⟩. ⟨hal-01091664⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Naoki Kobayashi, Cosimo Laneve. Deadlock Analysis of Unbounded Process Networks. CONCUR 2014 – Concurrency Theory – 25th International Conference, Sep 2014, Rome, Italy. pp.63 – 77, ⟨10.1007/978-3-662-44584-6_6⟩. ⟨hal-01091749⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Bisimulations up-to: beyond first-order transition systems. CONCUR, Sep 2014, Rome, Italy. ⟨10.1007/978-3-662-44584-6_8⟩. ⟨hal-00990859⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi, Xian Xu. Trees from Functions as Processes. 25th International Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.78 – 92, ⟨10.1007/978-3-662-44584-6_7⟩. ⟨hal-01092809⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Sara Zuppiroli. Probabilistic Recursion Theory and Implicit Computational Complexity. 11th International Colloquium on Theoretical Aspects of Computing., Sep 2014, Bucharest, Romania. ⟨10.1007/978-3-319-10882-7_7⟩. ⟨hal-01091595⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli. On the Discriminating Power of Passivation and Higher-Order Interaction. CSL-LICS ’14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603113⟩. ⟨hal-01089467⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu. The Geometry of Synchronization. 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⟩. ⟨hal-01091560⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago. Beta Reduction is Invariant, Indeed. 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.2603105⟩. ⟨hal-01091551⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Cosimo Laneve. Deadlock Detection in Linear Recursive Programs. Formal Methods for Executable Software Models – 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2014, Jun 2014, Bertinoro, Italy. pp.26 – 64, ⟨10.1007/978-3-319-07317-0_2⟩. ⟨hal-01091747⟩
Accès au texte intégral et bibtex

ref_biblio: Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi. Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. 11th International Symposium on Distributed Computing and Artificial Intelligence, Jun 2014, Salamanca, Spain. ⟨10.1007/978-3-319-07593-8_17⟩. ⟨hal-01090128⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Carbone, Ornela Dardha, Fabrizio Montesi. Progress as Compositional Lock-Freedom. Coordination Models and Languages – 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Jun 2014, Berlin, Germany. ⟨hal-01090742⟩
Accès au bibtex

ref_biblio: Elena Giachino, Ivan Lanese, Claudio Antares Mezzina. Causal-Consistent Reversible Debugging. FASE 2014, Apr 2014, Grenoble, France. pp.370 – 384, ⟨10.1007/978-3-642-54804-8_26⟩. ⟨hal-01089270⟩
Accès au texte intégral et bibtex

ref_biblio: Davide Sangiorgi. Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 – 9, ⟨10.1007/978-3-662-44124-4_1⟩. ⟨hal-01092815⟩
Accès au texte intégral et bibtex

ref_biblio: Raphaëlle Crubillé, Ugo Dal Lago. On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. 23rd European Symposium on Programming, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54833-8_12⟩. ⟨hal-01091564⟩
Accès au texte intégral et bibtex

ref_biblio: Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago. Measurements in Proof Nets as Higher-Order Quantum Circuits. 23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 – 391, ⟨10.1007/978-3-642-54833-8_20⟩. ⟨hal-01091582⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. An enhanced features extractor for a portfolio of constraint solvers. SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1357 – 1359, ⟨10.1145/2554850.2555114⟩. ⟨hal-01089183⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Portfolio Approaches for Constraint Optimization Problems. LION 8, Feb 2014, Gainesville, Florida, United States. pp.21 – 35. ⟨hal-01088429⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Davide Sangiorgi, Michele Alberti. On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs. The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. ⟨10.1145/2535838.2535872⟩. ⟨hal-01091573⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, et al.. Towards Global and Local Types for Adaptation. SEFM 2013 Collocated Workshops, 2014, Madrid, Spain. pp.3 – 14, ⟨10.1007/978-3-319-05032-4_1⟩. ⟨hal-01089358⟩
Accès au texte intégral et bibtex

Book sections

ref_biblio: Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro. Service-Oriented Programming with Jolie. Athman Bouguettaya and Quan Z. Sheng and Florian Daniel. Web Services Foundations, Springer, pp.81-107, 2014. ⟨hal-00909323⟩
Accès au bibtex

Books

ref_biblio: Ivan Lanese, Alberto Lluch Lafuente, Hugo Torres Vieira, Ana Sokolova (Dir.). Proceedings 7th Interaction and Concurrency Experience. Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira; Ana Sokolova. 166, 2014, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.166⟩. ⟨hal-01089381⟩
Accès au bibtex

Theses

ref_biblio: Michele Alberti. On operational properties of quantitative extensions of λ-calculus. Mathematics [math]. Aix Marseille Université; Università di Bologna, 2014. English. ⟨NNT : ⟩. ⟨tel-01096067⟩
Accès au texte intégral et bibtex

ref_biblio: Ornela Dardha. Type Systems for Distributed Programs: Components and Sessions. Programming Languages [cs.PL]. Università degli studi di Bologna, 2014. English. ⟨NNT : ⟩. ⟨tel-01020998⟩
Accès au texte intégral et bibtex

ref_biblio: Giulio Pellitta. Extending Implicit Computational Complexity and Abstract Machines to Languages with Control. Programming Languages [cs.PL]. Università di Bologna, 2014. English. ⟨NNT : ⟩. ⟨tel-01090624⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus. 2014. ⟨hal-01081714⟩
Accès au texte intégral et bibtex

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A behavioural theory for a π-calculus with preorders. 2014. ⟨hal-00949521⟩
Accès au texte intégral et bibtex

2013

Journal articles

ref_biblio: Cristian Versari, Gianluigi Zavattaro. Complex Functional Rates in the Modeling of Nano Devices. Electronic Notes in Theoretical Computer Science, 2013, Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio’12), 293, pp.3-15. ⟨hal-00825147⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli. A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. International Journal of Interactive Multimedia and Artificial Intelligence, 2013, 2 (4), pp.67-75. ⟨hal-00909296⟩
Accès au bibtex

ref_biblio: Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri. Deriving session and union types for objects. Mathematical Structures in Computer Science, 2013, 23, pp.1163–1219. ⟨hal-00909312⟩
Accès au bibtex

ref_biblio: Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo. The expressive power of CHR with priorities. Information and Computation, 2013, 228-229, pp.62-82. ⟨10.1016/j.ic.2013.05.001⟩. ⟨hal-00909295⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Barbara Petit. Linear Dependent Types in a Call-by-Value Scenario. Science of Computer Programming, 2013, ⟨10.1016/j.scico.2013.07.010⟩. ⟨hal-00909317⟩
Accès au texte intégral et bibtex

ref_biblio: Luís Cruz Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Vasconcelos. The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming. Formal Aspects of Computing, 2013, 60 p. ⟨hal-00909308⟩
Accès au bibtex

Conference papers

ref_biblio: Elvira Albert, Frank De Boer, Reiner Hahnle, Einar Broch Johnsen, Cosimo Laneve. Engineering Virtualized Services. NordiCloud 2013 – 2nd Nordic Symposium on Cloud Computing and Internet Technologies, Sep 2013, Oslo, Norway. pp.59–63, ⟨10.1145/2513534.2513545⟩. ⟨hal-00909294⟩
Accès au bibtex

ref_biblio: Ornela Dardha, Daniele Gorla, Daniele Varacca. Semantic Subtyping for Objects and Classes. 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. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩. ⟨hal-00909299⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩. ⟨hal-00811629⟩
Accès au texte intégral et bibtex

ref_biblio: Michele Alberti. Normal Forms for the Algebraic Lambda-Calculus. JFLA – Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779911⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin Pierce. Linear Dependent Types for Differential Privacy. 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013, Rome, Italy, Italy. pp.357–370, ⟨10.1145/2429069.2429113⟩. ⟨hal-00909340⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Giulio Pellitta. Complexity Analysis in Presence of Control Operators and Higher-Order Functions. LPAR-19 – Logic for Programming, Artificial Intelligence, and Reasoning – 2013, 2013, Stellenbosch, South Africa. pp.258-273, ⟨10.1007/978-3-642-45221-5_19⟩. ⟨hal-00909319⟩
Accès au texte intégral et bibtex

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types. LICS – 28th Annual ACM/IEEE Symposium on Logic in Computer Science – 2013, 2013, New Orleans, United States. pp.378-387, ⟨10.1109/LICS.2013.44⟩. ⟨hal-00904138⟩
Accès au texte intégral et bibtex

ref_biblio: Loris d’Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin Pierce. Sensitivity analysis using type-based constraints. FPCDSL – 1st annual workshop on Functional programming concepts in domain-specific languages – 2013, 2013, Boston, BA, USA, United States. pp.43–50, ⟨10.1145/2505351.2505353⟩. ⟨hal-00909341⟩
Accès au bibtex

ref_biblio: Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Component Reconfiguration in the Presence of Conflicts. ICALP – International Colloquium on Automata, Languages and Programming – 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩. ⟨hal-00909336⟩
Accès au texte intégral et bibtex

ref_biblio: Fabrizio Montesi, Nobuko Yoshida. Compositional Choreographies. CONCUR – Concurrency Theory – 2013, 2013, Buenos Aires, Argentina. pp.425-439, ⟨10.1007/978-3-642-40184-8_30⟩. ⟨hal-00909321⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Barbara Petit. The geometry of types. The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’13, Proceedings, 2013, Rome, Italy. pp.167-178. ⟨hal-00909318⟩
Accès au texte intégral et bibtex

ref_biblio: Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. Amending Choreographies. WWV – 9th International Workshop on Automated Specification and Verification of Web Systems – 2013, 2013, Florence, Italy. pp.34-48, ⟨10.4204/EPTCS.123.5⟩. ⟨hal-00909305⟩
Accès au bibtex

ref_biblio: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. An Empirical Evaluation of Portfolios Approaches for Solving CSPs. 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. pp.316-324, ⟨10.1007/978-3-642-38171-3_21⟩. ⟨hal-00909297⟩
Accès au texte intégral et bibtex

ref_biblio: Fabrizio Montesi. Process-aware web programming with Jolie. SAC – Symposium on Applied Computing – 2013, 2013, Coimbra, Portugal. pp.761-763, ⟨10.1145/2480362.2480507⟩. ⟨hal-00909322⟩
Accès au bibtex

ref_biblio: Ornela Dardha, Elena Giachino, Michael Lienhardt. A Type System for Components. SEFM – International Conference on Software Engineering and Formal Methods – 2013, 2013, Madrid, Spain. pp.167-181, ⟨10.1007/978-3-642-40561-7_12⟩. ⟨hal-00909310⟩
Accès au texte intégral et bibtex

ref_biblio: Marco Carbone, Fabrizio Montesi. Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL – 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages – 2013, 2013, Rome, Italy. pp.263-274. ⟨hal-00909320⟩
Accès au bibtex

ref_biblio: Ivan Lanese, Luca Bedogni, Marco Di Felice. Internet of things: a process calculus approach. SAC, 2013, Coimbra, Portugal. pp.1339-1346. ⟨hal-00909303⟩
Accès au bibtex

ref_biblio: Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro. Automatic Component Deployment in the Presence of Circular Dependencies. 10th International Symposium on Formal Aspects of Component Software, FACS 2013, 2013, Nanchang, China. ⟨hal-00909300⟩
Accès au texte intégral et bibtex

ref_biblio: Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Wong. DeadLock Analysis of Concurrent Objects ― Theory and Practice. IFM – 10th International Conference on integrated Formal Methods – 2013, 2013, Turku, Finland. pp.394-411, ⟨10.1007/978-3-642-38613-8_27⟩. ⟨hal-00909311⟩
Accès au bibtex

ref_biblio: Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor Alexandru Lascu, Michael Lienhardt, et al.. Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC – European Conference on Service-Oriented and Cloud Computing – 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩. ⟨hal-00909298⟩
Accès au bibtex

ref_biblio: Ivan Lanese, Gianluigi Zavattaro. Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION, 2013, Florence, Italy. pp.136-150. ⟨hal-00909301⟩
Accès au texte intégral et bibtex

Other publications

ref_biblio: Tudor Alexandru Lascu, Jacopo Mauro, Gianluigi Zavattaro. A Planning Tool Supporting the Deployment of Cloud Applications. 2013. ⟨hal-00843925⟩
Accès au texte intégral et bibtex

Reports

ref_biblio: Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski. Optimal Provisioning in the Cloud. Technical report of the Aeolus project. 2013. ⟨hal-00831455⟩
Accès au texte intégral et bibtex

ref_biblio: Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project. 2013. ⟨hal-00816468⟩
Accès au texte intégral et bibtex

Theses

ref_biblio: Paolo Parisen Toldin. ICC and Probabilistic Classes. Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English. ⟨NNT : ⟩. ⟨tel-00909410⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types. 2013. ⟨hal-00818068v2⟩
Accès au texte intégral et bibtex

2012

Journal articles

ref_biblio: Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen. On quasi-interpretations, blind abstractions and implicit complexity.. Mathematical Structures in Computer Science, 2012, 22 (04), pp.549-580. ⟨10.1017/S0960129511000685⟩. ⟨hal-00798377⟩
Accès au bibtex

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the π-Calculus. Lecture Notes in Computer Science, 2012, 7454, pp 302-316. ⟨hal-00798028⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Adaptable Processes. Logical Methods in Computer Science, 2012, 8 (4:13), pp.1–71. ⟨hal-00909365⟩
Accès au bibtex

ref_biblio: Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo. On the Expressive Power of Multiple Heads in CHR. ACM Transactions on Computational Logic, 2012, 13 (1), ⟨10.1145/2071368.2071374⟩. ⟨hal-00909390⟩
Accès au bibtex

ref_biblio: Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca. An Implicit Characterization of PSPACE. ACM Transactions on Computational Logic, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩. ⟨hal-00591868⟩
Accès au texte intégral et bibtex

ref_biblio: Simone Martini. Lingua Universalis. Annali della Pubblica Istruzione, 2012, 4-5, pp.65–70. ⟨hal-00909609⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Marco Gaboardi. Linear Dependent Types and Relative Completeness. Logical Methods in Computer Science, 2012, 8 (4). ⟨hal-00906347⟩
Accès au texte intégral et bibtex

ref_biblio: Ugo Dal Lago, Simone Martini. On Constructor Rewrite Systems and the Lambda Calculus. Logical Methods in Computer Science, 2012, 8 (3). ⟨hal-00909372⟩
Accès au bibtex

ref_biblio: Marco Gaboardi, Mauro Piccolo. What is a Model for a Semantically Linear Lambda-calculus?. Journal of Logic and Computation, 2012, ⟨10.1093/logcom/exs023⟩. ⟨hal-00909362⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Margherita Zorzi. Probabilistic operational semantics for the lambda calculus. RAIRO – Theoretical Informatics and Applications (RAIRO: ITA), 2012, 46 (3), pp.413–450. ⟨10.1051/ita/2012012⟩. ⟨hal-00909373⟩
Accès au bibtex

ref_biblio: Cristian Versari, Gianluigi Zavattaro. Complex Functional Rates in Rule-Based Languages for Biochemistry. Transactions on Computational Systems Biology, 2012, 7625 (XIV), pp.123-150. ⟨hal-00825138⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro. Towards a Formal Component Model for the Cloud. 10th International Conference Software Engineering and Formal Methods (SEFM 2012), Oct 2012, Thessaloniki, Greece. pp.156–171. ⟨hal-00909369⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Barbara Petit. Linear dependent types in a call-by-value scenario. PPDP ’12: Proceedings of the 14th symposium on Principles and practice of declarative programming, Sep 2012, Leuven, Belgium. pp.24, ⟨10.1145/2370776.2370792⟩. ⟨hal-01091610⟩
Accès au texte intégral et bibtex

ref_biblio: Frank S. De Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro. Decidability Problems for Actor Systems. CONCUR 2012 – 23rd International Conference on Concurrency Theory, Sep 2012, Newcastle, United Kingdom. pp.562-577, ⟨10.1007/978-3-642-32940-1_39⟩. ⟨hal-00909366⟩
Accès au bibtex

ref_biblio: Patrick Baillot, Ugo Dal Lago. Higher-Order Interpretations and Program Complexity. 21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. pp.62-76, ⟨10.4230/LIPIcs.CSL.2012.62⟩. ⟨hal-00798298⟩
Accès au bibtex

ref_biblio: Alejandro Díaz-Caro, Barbara Petit. Linearity in the non-deterministic call-by-value setting. WoLLIC – 19th International Workshop on Logic, Language, Information and Computation – 2012, Sep 2012, Buenos Aires, Argentina. pp.216-231, ⟨10.1007/978-3-642-32621-9_16⟩. ⟨hal-00924992⟩
Accès au bibtex

ref_biblio: Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro. Verification of Ad Hoc Networks with Node and Communication Failures. 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. pp.235-250. ⟨hal-00909367⟩
Accès au texte intégral et bibtex

ref_biblio: Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. A Reversible Abstract Machine and Its Space Overhead. 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. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩. ⟨hal-00909384⟩
Accès au texte intégral et bibtex

ref_biblio: Beniamino Accattoli, Ugo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction. 23rd International Conference on Rewriting Techniques and Applications (RTA’12), May 2012, Nagoya, Japan. ⟨hal-00780349⟩
Accès au texte intégral et bibtex

ref_biblio: Jean-Bernard Stefani, Claudio Antares Mezzina, Ivan Lanese. Controlled Reversibility and Compensations. Proceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, pp.233–240. ⟨hal-00909377⟩
Accès au bibtex

ref_biblio: Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in impure lambda-calculus. Fundamentals of Software Engineering, 2012, Unknown, Afghanistan. pp.128–142. ⟨hal-00909392⟩
Accès au bibtex

ref_biblio: Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi. Interface-Based Service Composition with Aggregation. First European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, 2012, Bertinoro, Italy. pp.48–63, ⟨10.1007/978-3-642-33427-6_4⟩. ⟨hal-00909379⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Paolo Parisen Toldin. A Higher-Order Characterization of Probabilistic Polynomial Time. Foundational and Practical Aspects of Resource Analysis, 2012, Madrid, Spain. pp.1–18, ⟨10.1007/978-3-642-32495-6_1⟩. ⟨hal-00909376⟩
Accès au bibtex

ref_biblio: Michael Lienhardt, Dave Clarke. Conflict Detection in Delta-Oriented Programming. ISoLA – 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 2012, 2012, Heraklion, Crete, Greece. pp.178–192, ⟨10.1007/978-3-642-34026-0_14⟩. ⟨hal-00909381⟩
Accès au bibtex

ref_biblio: Michael Lienhardt, Dave Clarke. Row types for delta-oriented programming. VaMoS – Sixth International Workshop on Variability Modeling of Software-Intensive Systems – 2012, 2012, Leipzig, Germany. pp.121–128, ⟨10.1145/2110147.2110161⟩. ⟨hal-00909385⟩
Accès au bibtex

ref_biblio: Mila Dalla Preda. The Grand Challenge in Metamorphic Analysis. ICISTM – Information Systems, Technology and Management – 2012, 2012, Grenoble, France. pp.439-444, ⟨10.1007/978-3-642-29166-1_42⟩. ⟨hal-00909386⟩
Accès au bibtex

ref_biblio: Michael Lienhardt, Mario Bravetti, Davide Sangiorgi. An Object Group-Based Component Model. ISoLA – 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 2012, 2012, Heraklion, Crete, Greece. pp.64–78, ⟨10.1007/978-3-642-34026-0_6⟩. ⟨hal-00909382⟩
Accès au bibtex

ref_biblio: Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi. Service integration via target-transparent mediation. SOCA – 5th conference on service-oriented computing and applications – 2012, 2012, Taipei, Taiwan. pp.1 – 5, ⟨10.1109/SOCA.2012.6449432⟩. ⟨hal-00909380⟩
Accès au bibtex

ref_biblio: Elena Giachino, Cosimo Laneve. A Beginner’s Guide to the DeadLock Analysis Model. TGC, 2012, Newcastle, United Kingdom. pp.49-63. ⟨hal-00909309⟩
Accès au texte intégral et bibtex

ref_biblio: Frank S. De Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, et al.. A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. Formal Aspects of Component Software, 9th International Symposium, FACS 2012, 2012, Mountain View, United States. pp.110-127. ⟨hal-00909292⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Barbara Petit. Linear dependent types in a call-by-value scenario. Principles and Practice of Declarative Programming, (PPDP’12), 2012, Leuven, Belgium. pp.115–126, ⟨10.1145/2370776.2370792⟩. ⟨hal-00909371⟩
Accès au bibtex

ref_biblio: Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the pi-calculus. 23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. pp.302–316, ⟨10.1007/978-3-642-32940-1_22⟩. ⟨hal-00909375⟩
Accès au bibtex

ref_biblio: Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited. Principles and Practice of Declarative Programming, PPDP’12, 2012, Unknown, pp.139–150. ⟨hal-00909389⟩
Accès au bibtex

ref_biblio: Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Towards the Verification of Adaptable Processes. 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. pp.269–283, ⟨10.1007/978-3-642-34026-0_20⟩. ⟨hal-00909368⟩
Accès au bibtex

Book sections

ref_biblio: Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method. Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012. ⟨hal-00909391⟩
Accès au bibtex

ref_biblio: Davide Sangiorgi. Origins of Bisimulation and Coinduction. Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012. ⟨hal-00907029⟩
Accès au bibtex

Books

ref_biblio: Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Dir.). Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012). Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova. Open Publishing Association, 104, pp.99, 2012, Electronic Proceedings in Theoretical Computer Science. ⟨hal-00907665⟩
Accès au bibtex

ref_biblio: Davide Sangiorgi, Jan Rutten. Advanced Topics in Bisimulation and Coinduction. Davide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012. ⟨hal-00907322⟩
Accès au bibtex

ref_biblio: Davide Sangiorgi. Introduction to Bisimulation and Coinduction. Cambridge University Press, pp.247, 2012. ⟨hal-00907026⟩
Accès au bibtex

Reports

ref_biblio: Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro. On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. 2012. ⟨hal-00740518⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

ref_biblio: Patrick Baillot, Ugo Dal Lago. Higher-order Interpretations and Program Complexity (Long Version). 2012. ⟨hal-00667816⟩
Accès au texte intégral et bibtex

2011

Journal articles

ref_biblio: Patrick Baillot, Paolo Coppola, Ugo Dal Lago. Light logics and optimal reduction: Completeness and complexity. Information and Computation, 2011, 209 (2), pp.118-142. ⟨10.1016/j.ic.2010.10.002⟩. ⟨hal-00798315⟩
Accès au bibtex

ref_biblio: Ivan Lanese, Jorge A Perez, Davide Sangiorgi, Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi. Information and Computation, 2011, 209 (2), pp.29. ⟨10.1016/j.ic.2010.10.001⟩. ⟨hal-01112294⟩
Accès au texte intégral et bibtex

Conference papers

ref_biblio: Reiner Hähnle, Michiel Helvenstijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, et al.. HATS Abstract Behavioral Specification: The Architectural View. FMCO – Formal Methods for Components and Objects – 2011, Oct 2011, Turin, Italy. pp.165–185, ⟨10.1007/978-3-642-35887-6_6⟩. ⟨hal-00909383⟩
Accès au bibtex

ref_biblio: Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Adaptable Processes (Extended Abstract). 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. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩. ⟨hal-01583325⟩
Accès au texte intégral et bibtex

ref_biblio: Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi. An Efficient Management of Correlation Sets with Broadcast. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.80-94, ⟨10.1007/978-3-642-21464-6_6⟩. ⟨hal-01582988⟩
Accès au texte intégral et bibtex

ref_biblio: Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro. Fault in the Future. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.1-15, ⟨10.1007/978-3-642-21464-6_1⟩. ⟨hal-01582997⟩
Accès au texte intégral et bibtex

ref_biblio: Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Strong Normalisation in λ-Calculi with References. FSEN, Apr 2011, Téhéran, Iran. pp.128-142, ⟨10.1007/978-3-642-29320-7_9⟩. ⟨hal-00798786⟩
Accès au bibtex

ref_biblio: Ugo Dal Lago, Claudia Faggian. On Multiplicative Linear Logic, Modality and Quantum Circuits. Quantum Physics and Logic, 2011, Netherlands. pp.81-96. ⟨hal-00695352⟩
Accès au bibtex

Reports

ref_biblio: Ugo Dal Lago, Paolo Di Giamberardino. Soft Session Types. 2011. ⟨hal-00616388v3⟩
Accès au texte intégral et bibtex

2010

Journal articles

ref_biblio: Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in higher-order concurrent calculi. Journal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩. ⟨hal-00798788⟩
Accès au bibtex

Conference papers

ref_biblio: Ivan Lanese, Jorge A. Peréz, Davide Sangiorgi, Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. pp.442–453. ⟨inria-00514912⟩
Accès au texte intégral et bibtex

ref_biblio: Patrick Baillot, Marco Gaboardi, Virgile Mogbil. A PolyTime Functional Language from Light Linear Logic. 19th European Symposium on Programming (ESOP 2010), Mar 2010, Paphos, Cyprus. pp. 104-124, ⟨10.1007/978-3-642-11957-6⟩. ⟨hal-00443944⟩
Accès au texte intégral et bibtex

ref_biblio: Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract). Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. ⟨hal-00881630⟩
Accès au bibtex

ref_biblio: Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi. Termination in Impure Concurrent Languages. CONCUR’10, 2010, Paris, France. pp.328-342, ⟨10.1007/978-3-642-15375-4_23⟩. ⟨hal-00798789⟩
Accès au bibtex

Book sections

ref_biblio: Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia. Concurrent and Reactive Constraint Programming. 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⟩. ⟨hal-00545256⟩
Accès au texte intégral et bibtex

2009

Conference papers

ref_biblio: Marco Gaboardi, Romain Péchoux. Global and local space properties of stream programs. FOPARA 2009 – First International Workshop on Foundational and Practical Aspects of Resource Analysis, Nov 2009, Eindhoven, Netherlands. pp.51–66, ⟨10.1007/978-3-642-15331-0_4⟩. ⟨inria-00539835⟩
Accès au texte intégral et bibtex