Jean-Bernard Stefani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
20
Active years
1990–2025
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IC2E | Demo: A customizable toolchain to validate Kubernetes manifests for robust deployment. | Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani |
| 2024 | ICIN | In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust CNF Deployment. | Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani |
| 2024 | RC | Reversibility with Holes - (Work in Progress). | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | RC | A Small-Step Semantics for Janus. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | ICFEM | Generation of a Reversible Semantics for Erlang in Maude. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | RC | Reversibility in Erlang: Imperative Constructs. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
| 2021 | RC | Causal-Consistent Debugging of Distributed Erlang Programs. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2019 | CNSM | Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat | Adja Ndeye Sylla, Karine Guillouard, Frdric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani |
| 2019 | FORTE | Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. | Jean-Bernard Stefani, Martin Vassor |
| 2018 | RC | Checkpoint/Rollback vs Causally-Consistent Reversibility. | Martin Vassor, Jean-Bernard Stefani |
| 2015 | FORTE | Simple Isolation for an Actor Abstract Machine. | Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani |
| 2013 | ESOP | Concurrent Flexible Reversibility. | Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2012 | FORTE | A Reversible Abstract Machine and Its Space Overhead. | Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | RC | Controlled Reversibility and Compensations. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2011 | CONCUR | Controlling Reversibility in Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2011 | Coordination | Revisiting Glue Expressiveness in Component-Based Systems. | Cinzia Di Giusto, Jean-Bernard Stefani |
| 2010 | CONCUR | Reversing Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2009 | CONCUR | Howe's Method for Calculi with Passivation. | Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | FORTE | Typing Component-Based Communication Systems. | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | FOSSACS | Normal Bisimulations in Calculi with Passivation. | Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2008 | GPCE | Typing communicating component assemblages. | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
| 2008 | ICSE | A Self-repair Architecture for Cluster Systems. | Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani |
| 2007 | GPCE | Oz/K: a kernel language for component-based open programming. | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
| 2007 | ICSE | Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset. | Matthieu Leclercq, Ali Erdem zcan, Vivien Quma, Jean-Bernard Stefani |
| 2005 | GPCE | Component-Oriented Programming with Sharing: Containment is Not Ownership. | Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani |
| 2005 | SRDS | Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters. | Sara Bouchenak, Fabienne Boyer, Sacha Krakowiak, Daniel Hagimont, Adrian Mos, Jean-Bernard Stefani, Noel De Palma, Vivien Quma |
| 2004 | Middleware | DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs. | Matthieu Leclercq, Vivien Quma, Jean-Bernard Stefani |
| 2003 | POPL | The m-calculus: a higher-order distributed process calculus. | Alan Schmitt, Jean-Bernard Stefani |
| 2002 | USENIX | Think: A Software Framework for Component-based Operating System Kernels. | Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller |
| 1999 | FORTE | Guaranteeing liveness in an object calculus through behavioural typing. | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
| 1998 | ISORC | Supporting Real-Time Multimedia Applications with Distributed Object Controlled Networks. | Huw Oliver, Christopher Edwards, Frdric Dang Tran, Jean-Bernard Stefani, David Hutchison |
| 1997 | EuroPar | Synchronous Thread Management in a Distributed Operating System's Micro Kernel. | Olivier Potonnie, Jean-Bernard Stefani |
| 1995 | FORTE | Towards a Mobile LOTOS. | Elie Najm, Jean-Bernard Stefani, Arnaud Fvrier |
| 1993 | RTSS | Implementation of a synchronous execution machine on Chorus micro-kernel. | Raphael Bernhard, Laurent Hazard, Franois Horn, Jean-Bernard Stefani |
| 1992 | NOSSDAV | An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications. | Gordon S. Blair, Geoff Coulson, P. Auzimour, Laurent Hazard, Franois Horn, Jean-Bernard Stefani |
| 1991 | FORTE | Dynamic Configuration in LOTOS. | Elie Najm, Jean-Bernard Stefani |
| 1990 | FORTE | ODP: The Next Target for the Applciation of FDTs. | Jean-Bernard Stefani |