 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00907665v1
Direction d'ouvrage, Proceedings
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova. Proceedings of Fifth Interaction and Concurrency Experience (ICE 2012) Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova. 104, Open Publishing Association, pp.99, 2012, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-01227623v1
Communication dans un congrès
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. The Evolution of Jolie Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Mar 2015, Munich, Germany. Lecture Notes in Computer Science, pp.506-521, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-15545-6_29> |
||
|
hal-01227693v1
Communication dans un congrès
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. 2015, Electronic Proceedings in Theoretical Computer Science |
||
|
hal-01227615v1
Communication dans un congrès
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. IEEE, pp.467 - 475, 2015, <http://www.pdp2015.org/>. <10.1109/PDP.2015.98> |
||
|
hal-01089270v1
Communication dans un congrès
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina. Causal-Consistent Reversible Debugging FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-54804-8_26> |
||
|
hal-01337423v1
Communication dans un congrès
Alexis Bernadet, Ivan Lanese. A Modular Formalization of Reversibility for Concurrent Models and Languages ICE 2016, Jun 2016, Heraklion, Greece. EPTCS |
||
|
hal-01089187v1
Communication dans un congrès
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, 2014, <10.1007/978-3-319-11245-9_9> |
||
|
hal-01336707v1
Article dans une revue
Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese et al. Foundations of Session Types and Behavioural Contracts ACM Computing Surveys, Association for Computing Machinery, 2016, 49 (1), <10.1145/2873052> |
||
|
inria-00514912v1
Communication dans un congrès
Ivan Lanese, Jorge Peréz, Davide Sangiorgi, Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. Springer, 6199, pp.442--453, 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) |
||
|
hal-00909377v1
Communication dans un congrès
Jean-Bernard Stefani, Claudio Antares Mezzina, Ivan Lanese. Controlled Reversibility and Compensations Robert Gluck and Tetsuo Yokoyama. Proceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, Springer Verlag, 7581, pp.233--240, 2012, LNCS |
||
|
hal-00909303v1
Communication dans un congrès
Ivan Lanese, Luca Bedogni, Marco Di Felice. Internet of things: a process calculus approach Sung Y. Shin and José Carlos Maldonado. SAC, 2013, Coimbra, Portugal. ACM, pp.1339-1346, 2013 |
||
|
hal-00909305v1
Communication dans un congrès
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. Amending Choreographies António Ravara and Josep Silva. WWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, 2013, Florence, Italy. Open Publishing Association, 123, pp.34-48, 2013, EPTCS. <10.4204/EPTCS.123.5> |
||
|
hal-00909301v1
Communication dans un congrès
Ivan Lanese, Gianluigi Zavattaro. Decidability Results for Dynamic Installation of Compensation Handlers Rocco De Nicola and Christine Julien. COORDINATION, 2013, Florence, Italy. Springer, 7890, pp.136-150, 2013, Lecture Notes in Computer Science |
||
|
hal-00909384v1
Communication dans un congrès
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. A Reversible Abstract Machine and Its Space Overhead Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.1-17, 2012, Formal Techniques for Distributed Systems. <10.1007/978-3-642-30793-5_1> |
||
|
hal-01081714v1
Pré-publication, Document de travail
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus 2014 |
||
|
hal-01089358v1
Communication dans un congrès
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. Springer, 8368, pp.3 - 14, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-05032-4_1> |
||
|
hal-01089350v1
Article dans une revue
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility Bulletin of the EATCS, EATCS, 2014, 114, pp.17 |
||
|
hal-01089341v1
Communication dans un congrès
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. Springer, 8803, pp.22 - 36, 2014, Lecture Notes in Computer Science. <10.1007/978-3-662-45231-8_3> |
||
|
hal-01089381v1
Direction d'ouvrage, Proceedings
Ivan Lanese, Alberto Lluch Lafuente, Hugo Torres Vieira, Ana Sokolova. Proceedings 7th Interaction and Concurrency Experience Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira; Ana Sokolova. Jun 2014, Berlin, Germany. 166, 2014, Electronic Proceedings in Theoretical Computer Science, <10.4204/EPTCS.166> |
||
|
hal-01227612v1
Communication dans un congrès
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Dynamic Choreographies Safe Runtime Updates of Distributed Applications COORDINATION 2015, Jun 2015, Grenoble, France. <10.1007/978-3-319-19282-6_5> |
||
|
hal-00811629v1
Communication dans un congrès
Ivan Lanese, Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. Springer, 7792, pp.370-390, 2013, Lecture Notes in Computer Science (LNCS); Programming Languages and Systems. <10.1007/978-3-642-37036-6_21> |
||
|
hal-01112294v1
Article dans une revue
Ivan Lanese, Jorge Perez, Davide Sangiorgi, Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi Journal of Information and Computation, Elsevier, 2011, 209 (2), pp.29. <10.1016/j.ic.2010.10.001> |
||
|
hal-00909308v1
Article dans une revue
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, Springer Verlag, 2013, 60 p |
||
|
hal-01227610v1
Article dans une revue
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Developing correct, distributed, adaptive software Science of Computer Programming, Elsevier, 2015, <10.1016/j.scico.2013.11.019> |
||
|
hal-01303090v1
Article dans une revue
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus Theoretical Computer Science, Elsevier, 2016, 625, pp.25-84. <10.1016/j.tcs.2016.02.019> |
||
|
|
||