Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

56 résultats
Page :
triés par
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Communication dans un congrès hal-02313751v1

From Behavioural Contracts to Session Types

 Alessandro Fantechi , Elie Najm , Jean-Bernard Stefani
Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
Chapitre d'ouvrage hal-02448995v1
Image document

Causal-Consistent Debugging of Distributed Erlang Programs

 Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
RC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.79-95, ⟨10.1007/978-3-030-79837-6_5⟩
Communication dans un congrès hal-03338670v1
Image document

A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed Systems

 Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
RR-9511, Inria. 2023
Rapport hal-04123758v1
Image document

Simple Isolation for an Actor Abstract Machine

 Benoit Claudel , Quentin Sabah , Jean-Bernard Stefani
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Communication dans un congrès hal-01767336v1

Controlled Reversibility and Compensations

 Jean-Bernard Stefani , Claudio Antares Mezzina , Ivan Lanese
Proceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, pp.233--240
Communication dans un congrès hal-00909377v1
Image document

Generation of a reversible semantics for Erlang in Maude

 Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
[Research Report] RR-9468, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22
Rapport hal-03630407v3
Image document

Oz/K: A kernel language for component-based open programming

 Michaël Lienhardt , Alan Schmitt , Jean-Bernard Stefani
[Research Report] RR-6202, INRIA. 2007
Rapport inria-00149612v2
Image document

La science du logiciel libre par Roberto Di Cosmo. Entre auto-organisation et méritocratie, entretien avec Jean-Bernard Stefani, propos recueillis par Dominique Chouchan.

 Roberto Di Cosmo , Jean-Bernard Stefani
Les Cahiers de l'INRIA - La Recherche, 2009, Les promesses des énergies renouvelables, 436 décembre 2009
Article dans une revue inria-00511691v1
Image document

Support pour la reconfiguration d'implantation dans les applications à composants Java

 Jakub Kornas , Matthieu Leclercq , Vivien Quéma , Jean-Bernard Stefani
2004, pp.171-184
Communication dans un congrès hal-00003293v1
Image document

Reconfigurable SCA Applications with the FraSCAti Platform

 Lionel Seinturier , Philippe Merle , Damien Fournier , Nicolas Dolet , Valerio Schiavoni , et al.
6th IEEE International Conference on Service Computing (SCC'09), IEEE, Sep 2009, Bangalore, India. pp.268-275
Communication dans un congrès inria-00397856v1
Image document

Oz/K: A Kernel Language for Component-Based Open Programming

 Michaël Lienhardt , Alan Schmitt , Jean-Bernard Stefani
6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩
Communication dans un congrès inria-00498413v1
Image document

Reversibility in Erlang: Imperative Constructs -Technical Report

 Pietro Lami , Ivan Lanese , Jean-Bernard Stefani , Claudio Sacerdoti Coen , Giovanni Fabbretti
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
Rapport hal-03655372v1
Image document

Causality analysis and fault ascription in component-based systems

 Gregor Gössler , Jean-Bernard Stefani
Theoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩
Article dans une revue hal-02927216v1
Image document

Reversibility in the higher-order π-calculus

 Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩
Article dans une revue hal-01303090v1

Reversible Computation

 Jean Krivine , Jean-Bernard Stefani
Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. ⟨10.1007/978-3-319-20860-2⟩
Proceedings/Recueil des communications hal-01246644v1
Image document

Generation of a Reversible Semantics for Erlang in Maude

 Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
ICFEM 2022 - 23rd International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain. pp.106-122, ⟨10.1007/978-3-031-17244-1_7⟩
Communication dans un congrès hal-03916227v1
Image document

Reversibility in the higher-order π-calculus

 Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
2014
Pré-publication, Document de travail hal-01081714v1
Image document

Component-oriented programming with sharing : containment is not ownership

 Daniel Hirschkoff , Tom Hirschowitz , Damien Pous , Alan Schmitt , Jean-Bernard Stefani
[Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+12p
Rapport hal-02102510v1
Image document

Causality Analysis and Fault Ascription in Component-Based Systems

 Gregor Gössler , Jean-Bernard Stefani
[Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28
Rapport hal-02161534v3
Image document

Reversibility in Erlang: Imperative Constructs

 Pietro Lami , Ivan Lanese , Jean-Bernard Stefani , Claudio Sacerdoti Coen , Giovanni Fabbretti
RC 2022 - 14th International Conference on Reversible Computation, Jul 2022, Urbino, Italy. pp.187-203, ⟨10.1007/978-3-031-09005-9_13⟩
Communication dans un congrès hal-03915947v1
Image document

Typing Component-Based Communication Systems

 Michaël Lienhardt , Claudio Antares Mezzina , Alan Schmitt , Jean-Bernard Stefani
11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. pp.167--181, ⟨10.1007/978-3-642-02138-1_11⟩
Communication dans un congrès inria-00488856v1
Image document

A formal specification of the Fractal component model in Alloy

 Philippe Merle , Jean-Bernard Stefani
[Research Report] RR-6721, INRIA. 2008, pp.44
Rapport inria-00338987v1
Image document

A Calculus of Higher-Order Distributed Components

 Jean-Bernard Stefani
RR-4692, INRIA. 2003
Rapport inria-00071894v1
Image document

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

 Adja Ndeye Sylla , Karine Guillouard , Frédéric Klamm , Meryem Ouzzif , Philippe Merle , et al.
CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩
Communication dans un congrès hal-02375386v1
Image document

Howe's Method for Calculi with Passivation

 Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462
Communication dans un congrès inria-00486800v1
Image document

Fault Ascription in Concurrent Systems

 Gregor Gössler , Jean-Bernard Stefani
Trustworthy Global Computing, 2015, Madrid, Spain. pp.16, ⟨10.1007/978-3-319-28766-96⟩
Communication dans un congrès hal-01246485v1
Image document

Concurrent Flexible Reversibility

 Ivan Lanese , Michaël Lienhardt , Claudio Antares Mezzina , Alan Schmitt , Jean-Bernard Stefani
22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩
Communication dans un congrès hal-00811629v1
Image document

Characterizing contextual equivalence in calculi with passivation

 Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani
Information and Computation, 2011, 209 (11), pp.1390-1433. ⟨10.1016/j.ic.2011.08.002⟩
Article dans une revue hal-00903877v1
Image document

Protection in the Think exokernel

 Christophe Rippert , Jean-Bernard Stefani
4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy
Communication dans un congrès hal-00308882v1
Page :