 |
 |
|
|
||
|---|---|---|
|
inria-00330565v1
Rapport
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation [Research Report] RR-6664, INRIA. 2008, pp.102 |
||
|
inria-00486800v1
Communication dans un congrès
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Calculi with Passivation Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, 5710, pp.448--462, 2009, Lecture Notes in Computer Science; Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009) |
||
|
inria-00488856v1
Communication dans un congrès
Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Typing Component-Based Communication Systems 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. Springer-Verlag, 5522, pp.167--181, 2009, Lecture Notes in Computer Science; Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE). <10.1007/978-3-642-02138-1_11> |
||
|
inria-00490810v1
Communication dans un congrès
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, 5504, pp.257--271, 2009, Lecture Notes in Computer Science; Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009). <10.1007/978-3-642-00596-1_19> |
||
|
hal-00486712v1
Communication dans un congrès
Juraj Polakovic, Sébastien Mazaré, Jean-Bernard Stefani, Pierre-Charles David. Experience with implementing safe reconfigurations in Component-based embedded systems Component-Based Software Engineering (CBSE 2007), Jun 2007, Boston, United States. pp.242-257, 2007 |
||
|
inria-00511691v1
Article dans une revue
Roberto Di Cosmo, Jean-Bernard Stefani. 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. Les Cahiers de l'INRIA - La Recherche, INRIA, 2009, Les promesses des énergies renouvelables |
||
|
hal-00813161v1
Article dans une revue
Françoise Breton, Jean-Bernard Stefani. Le développement des services en ligne Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p |
||
|
tel-00534062v1
HDR
Jean-Bernard Stefani. Gestion de l'adaptabilité dans les applications réparties Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009 |
||
|
hal-00310126v1
Communication dans un congrès
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. Springer, 3676, pp.389-404, 2005, Lecture Notes in Computer Science. <10.1007/11561347_26> |
||
|
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-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> |
||
|
inria-00347137v2
Rapport
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities [Research Report] RR-6773, INRIA. 2008, pp.69 |
||
|
hal-00903877v1
Article dans une revue
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Characterizing contextual equivalence in calculi with passivation Information and Computation, Elsevier, 2011, 209 (11), pp.1390-1433. <10.1016/j.ic.2011.08.002> |
||
|
inria-00492749v1
Communication dans un congrès
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Typing Communicating Component Assemblages 7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. ACM, pp.125--136, 2008, Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08). <10.1145/1449913.1449933> |
||
|
inria-00498413v1
Communication dans un congrès
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani. Oz/K: A Kernel Language for Component-Based Open Programming ACM. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, 2007, Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE'07). <10.1145/1289971.1289980> |
||
|
inria-00567442v1
Article dans une revue
Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero, Valerio Schiavoni et al. A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures Software: Practice and Experience, Wiley, 2012, 42 (5), pp.559-583. <10.1002/spe.1077> |
||
|
inria-00338987v1
Rapport
Philippe Merle, Jean-Bernard Stefani. A formal specification of the Fractal component model in Alloy [Research Report] RR-6721, INRIA. 2008, pp.44 |
||
|
inria-00397856v1
Communication dans un congrès
Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni et al. Reconfigurable SCA Applications with the FraSCAti Platform 6th IEEE International Conference on Service Computing (SCC'09), Sep 2009, Bangalore, India. pp.268-275, 2009 |
||
|
hal-00310149v1
Communication dans un congrès
Christophe Rippert, Jean-Bernard Stefani. Building secure embedded kernels with the Think architecture. Workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with the 17th ACM OOPSLA conference, Nov 2002, Seattle, United States |
||
|
hal-00310150v1
Communication dans un congrès
Christophe Rippert, Jean-Bernard Stefani. THINK: A Secure Distributed Systems Architecture. 10th ACM SIGOPS European Workshop, Sep 2002, St Emilion, France |
||
|
hal-00310151v1
Communication dans un congrès
Christophe Rippert, Jean-Bernard Stefani. Éléments de sécurité dans l'architecture de systèmes répartis THINK. Journées francophones des jeunes chercheurs en systèmes d'exploitation de l'ACM SIGOPS France, Apr 2002, Hammamet, Tunisie |
||
|
hal-00308882v1
Communication dans un congrès
Christophe Rippert, Jean-Bernard Stefani. Protection in the Think exokernel 4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy |
||
|
|
||
