Jean-Bernard Stefani

96 papers A* 3A 2B 12C 17Misc 1Journal 24Unranked 36
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Behavioral Theory for Distributed Systems with Weak Recovery.
Log. Methods Comput. Sci.
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2025 B conf
Demo: A customizable toolchain to validate Kubernetes manifests for robust deployment.
IC2E
Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani
2024 J jnl
A Behavioral Theory for Distributed Systems with Weak Recovery.
CoRR
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2024 C conf
A Small-Step Semantics for Janus.
RC
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani
2024 Misc conf
In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust CNF Deployment.
ICIN
Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani
2024 C conf
Reversibility with Holes - (Work in Progress).
RC
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2024 J jnl
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.
J. Log. Algebraic Methods Program.
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
2022 C conf
Generation of a Reversible Semantics for Erlang in Maude.
ICFEM
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2022 C conf
Reversibility in Erlang: Imperative Constructs.
RC
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
2021 C conf
Causal-Consistent Debugging of Distributed Erlang Programs.
RC
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2020 J jnl
Causality analysis and fault ascription in component-based systems.
Theor. Comput. Sci.
Gregor Gössler, Jean-Bernard Stefani
2019 C conf
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.
FORTE
Jean-Bernard Stefani, Martin Vassor
2019 B conf
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat
CNSM
Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani
2019 — conf
From Behavioural Contracts to Session Types.
Models, Languages, and Tools for Concurrent and Distributed Programming
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani
2018 C conf
Checkpoint/Rollback vs Causally-Consistent Reversibility.
RC
Martin Vassor, Jean-Bernard Stefani
2017 — conf
Counterfactual Causality from First Principles?
CREST
Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani
2016 J jnl
Reversibility in the higher-order π-calculus.
Theor. Comput. Sci.
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2015 — conf
Fault Ascription in Concurrent Systems.
TGC
Gregor Gößler, Jean-Bernard Stefani
2015 C ed.
Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
RC
Jean Krivine, Jean-Bernard Stefani
2015 C conf
Simple Isolation for an Actor Abstract Machine.
FORTE
Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani
2014 — conf
Components as Location Graphs.
FACS
Jean-Bernard Stefani
2013 A conf
Concurrent Flexible Reversibility.
ESOP
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2012 — conf
A Reversible Abstract Machine and Its Space Overhead.
FMOODS/FORTE
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2012 J jnl
A component-based middleware platform for reconfigurable service-oriented architectures.
Softw. Pract. Exp.
Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero, Valerio Schiavoni, Jean-Bernard Stefani
2012 C conf
Controlled Reversibility and Compensations.
RC
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2011 J jnl
Characterizing contextual equivalence in calculi with passivation.
Inf. Comput.
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2011 B conf
Controlling Reversibility in Higher-Order Pi.
CONCUR
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2011 C conf
Revisiting Glue Expressiveness in Component-Based Systems.
COORDINATION
Cinzia Di Giusto, Jean-Bernard Stefani
2010 B conf
Reversing Higher-Order Pi.
CONCUR
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2009 J jnl
Component-based architecture: the Fractal initiative.
Ann. des Télécommunications
Gordon S. Blair, Thierry Coupaye, Jean-Bernard Stefani
2009 — book
Gestion de l'adaptabilité dans les applications réparties. (Managing adaptability in distributed applications).
Jean-Bernard Stefani
2009 B conf
Howe's Method for Calculi with Passivation.
CONCUR
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2009 B conf
Normal Bisimulations in Calculi with Passivation.
FoSSaCS
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2009 — conf
Reconfigurable SCA Applications with the FraSCAti Platform.
IEEE SCC
Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani
2009 — conf
Typing Component-Based Communication Systems.
FMOODS/FORTE
Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2008 B conf
A Self-repair Architecture for Cluster Systems.
WADS
Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani
2008 J jnl
Architecting reconfigurable component-based operating systems.
J. Syst. Archit.
Juraj Polakovic, Jean-Bernard Stefani
2008 B conf
Typing communicating component assemblages.
GPCE
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
2007 — conf
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems.
CBSE
Juraj Polakovic, Sebastien Mazare, Jean-Bernard Stefani, Pierre-Charles David
2007 B conf
Oz/K: a kernel language for component-based open programming.
GPCE
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
2007 J jnl
Reengineering J2EE Servers for Automated Management in Distributed Environments.
IEEE Distributed Syst. Online
Takoua Abdellatif, Jakub Kornas, Jean-Bernard Stefani
2007 — conf
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.
FMCO
Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye
2007 A* conf
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.
ICSE
Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani
2006 — conf
Building Reconfigurable Component-Based OS with THINK.
EUROMICRO-SEAA
Juraj Polakovic, Ali Erdem Özcan, Jean-Bernard Stefani
2006 J jnl
Dream types: a domain specific type system for component-based message-oriented middleware.
ACM SIGSOFT Softw. Eng. Notes
Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani
2006 — conf
Fractal Component-Based Software Engineering.
ECOOP Workshops
Thierry Coupaye, Jean-Bernard Stefani
2006 J jnl
The FRACTAL component model and its support in Java.
Softw. Pract. Exp.
Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani
2005 — conf
A Component-based Approach for MPSoC SW Design: Experience with OS Customization for H.264 Decoding.
ESTIMedia
Ali Erdem Özcan, Oussama Layaida, Jean-Bernard Stefani
2005 — conf
An Abstract Machine for the Kell Calculus.
FMOODS
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
2005 B conf
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters.
SRDS
Sara Bouchenak, Fabienne Boyer, Sacha Krakowiak, Daniel Hagimont, Adrian Mos, Jean-Bernard Stefani, Noel De Palma, Vivien Quéma
2005 — conf
Architecture-Based Autonomous Repair Management: Application to J2EE Clusters.
ICAC
Sara Bouchenak, Fabienne Boyer, Daniel Hagimont, Sacha Krakowiak, Noel De Palma, Vivien Quéma, Jean-Bernard Stefani
2005 — conf
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.
CASSIS
Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani
2005 B conf
Component-Oriented Programming with Sharing: Containment is Not Ownership.
GPCE
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
2005 J jnl
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware.
IEEE Distributed Syst. Online
Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani
2005 — conf
Dream types: a domain specific type system for component-based message-oriented middleware.
SAVCBS@ESEC/FSE
Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani
2005 — conf
J2EE Packaging, Deployment and Reconfiguration Using a General Component Model.
Component Deployment
Takoua Abdellatif, Jakub Kornas, Jean-Bernard Stefani
2004 — conf
A component-based approach to distributed system management: a use case with self-manageable J2EE clusters.
ACM SIGOPS European Workshop
Sara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani
2004 — conf
An Open Component Model and Its Support in Java.
CBSE
Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani
2004 J jnl
Cellules : composants et réflexivité.
Obj. Logiciel Base données Réseaux
Jean-Bernard Stefani
2004 — conf
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs.
Adaptive and Reflective Middleware
Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani
2004 J jnl
Support pour la reconfiguration d'implantation dans les applications a composants Java
CoRR
Jakub Kornas, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani
2004 — conf
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.
Global Computing
Alan Schmitt, Jean-Bernard Stefani
2003 — conf
A calculus of Kells.
FGC
Jean-Bernard Stefani
2003 C ed.
Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings
DAIS
Jean-Bernard Stefani, Isabelle M. Demeure, Daniel Hagimont
2003 — conf
The Kell Calculus: Operational Semantics and Type System.
FMOODS
Philippe Bidinger, Jean-Bernard Stefani
2003 A* conf
The m-calculus: a higher-order distributed process calculus.
POPL
Alan Schmitt, Jean-Bernard Stefani
2002 — conf
An Abstract Machine for a Higher-Order Distributed Process Calculus.
F-WAN@ICALP
Florence Germain, Marc Lacoste, Jean-Bernard Stefani
2002 — conf
THINK: a secure distributed systems architecture.
ACM SIGOPS European Workshop
Christophe Rippert, Jean-Bernard Stefani
2002 — conf
Think: A Software Framework for Component-based Operating System Kernels.
USENIX ATC, General Track
Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller
2000 — conf
Elements of an object-based model for distributed and mobile computation.
FMOODS
Jean-Bernard Stefani, Florence Germain, Elie Najm
1999 C conf
Guaranteeing liveness in an object calculus through behavioural typing.
FORTE
Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
1999 — conf
Infinite types for distributed object interfaces.
FMOODS
Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
1999 J jnl
Jonathan: an open distributed processing environment in Java.
Distributed Syst. Eng.
Bruno Dumant, François Horn, Frédéric Dang Tran, Jean-Bernard Stefani
1999 — conf
On the Reflective Structure of Information Networks.
Reflection
Jean-Bernard Stefani
1999 — conf
The Design of a Resource-Aware Reflective Middleware Architecture.
Reflection
Gordon S. Blair, Fábio M. Costa, Geoff Coulson, Hector A. Duran, Nikos Parlavantzas, Fabien Delpiano, Bruno Dumant, François Horn, Jean-Bernard Stefani
1998 C conf
Supporting Real-Time Multimedia Applications with Distributed Object Controlled Networks.
ISORC
Huw Oliver, Christopher Edwards, Frédéric Dang Tran, Jean-Bernard Stefani, David Hutchison
1998 — conf
The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework.
IS&N
Jean-Bernard Stefani, Bruno Dumant, Frédéric Dang Tran, François Horn
1997 J jnl
A Specification Architecture for Multimedia Systems in Open Distributed Processing.
Comput. Networks ISDN Syst.
Gordon S. Blair, Lynne Blair, Jean-Bernard Stefani
1997 — conf
Contracts for ODP.
ARTS
Arnaud Février, Elie Najm, Jean-Bernard Stefani
1997 — conf
Synchronous Thread Management in a Distributed Operating System's Micro Kernel.
Euro-Par
Olivier Potonniée, Jean-Bernard Stefani
1996 J jnl
A Programming Model and System Infrastructure for Real-Time Synchronization in Distributed Multimedia Systems.
IEEE J. Sel. Areas Commun.
Gordon S. Blair, Geoff Coulson, Michael Papathomas, Philippe Robin, Jean-Bernard Stefani, François Horn, Laurent Hazard
1995 J jnl
A Formal Semantics for the ODP Computational Model.
Comput. Networks ISDN Syst.
Elie Najm, Jean-Bernard Stefani
1995 — conf
Admission Control for End-to-End Distributed Bindings.
COST 237 Workshop
Laurent Leboucher, Jean-Bernard Stefani
1995 J jnl
Open distributed processing: an architectural basis for information networks.
Comput. Commun.
Jean-Bernard Stefani
1995 J jnl
Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing.
Comput. Networks ISDN Syst.
Geoff Coulson, Gordon S. Blair, Jean-Bernard Stefani, François Horn, Laurent Hazard
1995 C conf
Towards a Mobile LOTOS.
FORTE
Elie Najm, Jean-Bernard Stefani, Arnaud Février
1994 A* conf
Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages.
ACM Multimedia
Gordon S. Blair, Michael Papathomas, Geoff Coulson, Philippe Robin, Laurent Hazard, Jean-Bernard Stefani, François Horn
1993 A conf
Implementation of a synchronous execution machine on Chorus micro-kernel.
RTSS
Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani
1993 J jnl
On Programming and Supporting Multimedia Object Synchronisation.
Comput. J.
François Horn, Jean-Bernard Stefani
1993 J jnl
Video Compression Standards and Quality of Service.
Comput. J.
Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani
1992 B conf
An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications.
NOSSDAV
Gordon S. Blair, Geoff Coulson, P. Auzimour, Laurent Hazard, François Horn, Jean-Bernard Stefani
1992 J jnl
Computational model for distributed multimedia applications based on a synchronous programming language.
Comput. Commun.
Jean-Bernard Stefani, Laurent Hazard, François Horn
1991 C conf
Dynamic Configuration in LOTOS.
FORTE
Elie Najm, Jean-Bernard Stefani
1991 — conf
Object-Based Concurrency: A Process Calculus Analysis.
TAPSOFT, Vol.1
Elie Najm, Jean-Bernard Stefani
1990 C conf
ODP: The Next Target for the Applciation of FDTs.
FORTE
Jean-Bernard Stefani
1988 — conf
Interval Logics and Sequential Transducers.
CAAP
Max Michel, Jean-Bernard Stefani