default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Bernard Stefani
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j21]Pietro Lami
, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti:
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. J. Log. Algebraic Methods Program. 138: 100944 (2024)- [c68]Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani:
In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust CNF Deployment. ICIN 2024: 17-24 - [c67]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Reversibility with Holes - (Work in Progress). RC 2024: 69-74 - [c66]Pietro Lami, Ivan Lanese, Jean-Bernard Stefani:
A Small-Step Semantics for Janus. RC 2024: 105-123 - [i2]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
A Behavioral Theory for Distributed Systems with Weak Recovery. CoRR abs/2406.12574 (2024) - 2022
- [c65]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Generation of a Reversible Semantics for Erlang in Maude. ICFEM 2022: 106-122 - [c64]Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti:
Reversibility in Erlang: Imperative Constructs. RC 2022: 187-203 - 2021
- [c63]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Causal-Consistent Debugging of Distributed Erlang Programs. RC 2021: 79-95 - 2020
- [j20]Gregor Gössler, Jean-Bernard Stefani:
Causality analysis and fault ascription in component-based systems. Theor. Comput. Sci. 837: 158-180 (2020)
2010 – 2019
- 2019
- [c62]Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani:
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 278-297 - [c61]Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani:
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat*. CNSM 2019: 1-5 - [c60]Jean-Bernard Stefani, Martin Vassor:
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. FORTE 2019: 242-260 - 2018
- [c59]Martin Vassor, Jean-Bernard Stefani:
Checkpoint/Rollback vs Causally-Consistent Reversibility. RC 2018: 286-303 - 2017
- [c58]Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani:
Counterfactual Causality from First Principles? CREST@ETAPS 2017: 47-53 - 2016
- [j19]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625: 25-84 (2016) - 2015
- [c57]Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani:
Simple Isolation for an Actor Abstract Machine. FORTE 2015: 213-227 - [c56]Gregor Gößler, Jean-Bernard Stefani:
Fault Ascription in Concurrent Systems. TGC 2015: 79-94 - [e2]Jean Krivine, Jean-Bernard Stefani:
Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Lecture Notes in Computer Science 9138, Springer 2015, ISBN 978-3-319-20859-6 [contents] - 2014
- [c55]Jean-Bernard Stefani:
Components as Location Graphs. FACS 2014: 3-23 - 2013
- [c54]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Concurrent Flexible Reversibility. ESOP 2013: 370-390 - 2012
- [j18]Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero, Valerio Schiavoni, Jean-Bernard Stefani:
A component-based middleware platform for reconfigurable service-oriented architectures. Softw. Pract. Exp. 42(5): 559-583 (2012) - [c53]Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE 2012: 1-17 - [c52]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Controlled Reversibility and Compensations. RC 2012: 233-240 - 2011
- [j17]Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani:
Characterizing contextual equivalence in calculi with passivation. Inf. Comput. 209(11): 1390-1433 (2011) - [c51]Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311 - [c50]Cinzia Di Giusto, Jean-Bernard Stefani:
Revisiting Glue Expressiveness in Component-Based Systems. COORDINATION 2011: 16-30 - 2010
- [c49]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversing Higher-Order Pi. CONCUR 2010: 478-493
2000 – 2009
- 2009
- [b1]Jean-Bernard Stefani:
Gestion de l'adaptabilité dans les applications réparties. (Managing adaptability in distributed applications). Joseph Fourier University, Grenoble, France, 2009 - [j16]Gordon S. Blair, Thierry Coupaye, Jean-Bernard Stefani:
Component-based architecture: the Fractal initiative. Ann. des Télécommunications 64(1-2): 1-4 (2009) - [c48]Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani:
Reconfigurable SCA Applications with the FraSCAti Platform. IEEE SCC 2009: 268-275 - [c47]Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani:
Howe's Method for Calculi with Passivation. CONCUR 2009: 448-462 - [c46]Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Typing Component-Based Communication Systems. FMOODS/FORTE 2009: 167-181 - [c45]Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani:
Normal Bisimulations in Calculi with Passivation. FoSSaCS 2009: 257-271 - 2008
- [j15]Juraj Polakovic, Jean-Bernard Stefani:
Architecting reconfigurable component-based operating systems. J. Syst. Archit. 54(6): 562-575 (2008) - [c44]Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani:
Typing communicating component assemblages. GPCE 2008: 125-136 - [c43]Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani:
A Self-repair Architecture for Cluster Systems. WADS 2008: 124-147 - 2007
- [j14]Takoua Abdellatif, Jakub Kornas, Jean-Bernard Stefani:
Reengineering J2EE Servers for Automated Management in Distributed Environments. IEEE Distributed Syst. Online 8(11) (2007) - [c42]Juraj Polakovic, Sebastien Mazare, Jean-Bernard Stefani, Pierre-Charles David:
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems. CBSE 2007: 242-257 - [c41]Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye:
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO 2007: 153-178 - [c40]Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani:
Oz/K: a kernel language for component-based open programming. GPCE 2007: 43-52 - [c39]Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani:
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset. ICSE 2007: 209-219 - 2006
- [j13]Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani:
Dream types: a domain specific type system for component-based message-oriented middleware. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [j12]Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani:
The FRACTAL component model and its support in Java. Softw. Pract. Exp. 36(11-12): 1257-1284 (2006) - [c38]Thierry Coupaye, Jean-Bernard Stefani:
Fractal Component-Based Software Engineering. ECOOP Workshops 2006: 117-129 - [c37]Juraj Polakovic, Ali Erdem Özcan, Jean-Bernard Stefani:
Building Reconfigurable Component-Based OS with THINK. EUROMICRO-SEAA 2006: 178-185 - 2005
- [j11]Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani:
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware. IEEE Distributed Syst. Online 6(9) (2005) - [c36]Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani:
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. CASSIS 2005: 118-137 - [c35]Takoua Abdellatif, Jakub Kornas, Jean-Bernard Stefani:
J2EE Packaging, Deployment and Reconfiguration Using a General Component Model. Component Deployment 2005: 134-148 - [c34]Ali Erdem Özcan, Oussama Layaida, Jean-Bernard Stefani:
A Component-based Approach for MPSoC SW Design: Experience with OS Customization for H.264 Decoding. ESTIMedia 2005: 95-100 - [c33]Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani:
An Abstract Machine for the Kell Calculus. FMOODS 2005: 31-46 - [c32]Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani:
Component-Oriented Programming with Sharing: Containment is Not Ownership. GPCE 2005: 389-404 - [c31]Sara Bouchenak, Fabienne Boyer, Daniel Hagimont, Sacha Krakowiak, Noel De Palma, Vivien Quéma, Jean-Bernard Stefani:
Architecture-Based Autonomous Repair Management: Application to J2EE Clusters. ICAC 2005: 369-370 - [c30]Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani:
Dream types: a domain specific type system for component-based message-oriented middleware. SAVCBS@ESEC/FSE 2005: 2 - [c29]Sara Bouchenak, Fabienne Boyer, Sacha Krakowiak, Daniel Hagimont, Adrian Mos, Jean-Bernard Stefani, Noel De Palma, Vivien Quéma:
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters. SRDS 2005: 13-24 - 2004
- [j10]Jean-Bernard Stefani:
Cellules : composants et réflexivité. Obj. Logiciel Base données Réseaux 10(2-3): 13 (2004) - [c28]Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani:
An Open Component Model and Its Support in Java. CBSE 2004: 7-22 - [c27]Alan Schmitt, Jean-Bernard Stefani:
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing 2004: 146-178 - [c26]Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani:
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs. Adaptive and Reflective Middleware 2004: 250-255 - [c25]Sara Bouchenak, Fabienne Boyer, Emmanuel Cecchet, Sébastien Jean, Alan Schmitt, Jean-Bernard Stefani:
A component-based approach to distributed system management: a use case with self-manageable J2EE clusters. ACM SIGOPS European Workshop 2004: 26 - [i1]Jakub Kornas, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani:
Support pour la reconfiguration d'implantation dans les applications a composants Java. CoRR cs.NI/0411082 (2004) - 2003
- [c24]Philippe Bidinger, Jean-Bernard Stefani:
The Kell Calculus: Operational Semantics and Type System. FMOODS 2003: 109-123 - [c23]Alan Schmitt, Jean-Bernard Stefani:
The m-calculus: a higher-order distributed process calculus. POPL 2003: 50-61 - [c22]Jean-Bernard Stefani:
A calculus of Kells. FGC 2003: 40-60 - [e1]Jean-Bernard Stefani, Isabelle M. Demeure, Daniel Hagimont:
Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings. Lecture Notes in Computer Science 2893, Springer 2003, ISBN 3-540-20529-2 [contents] - 2002
- [c21]Christophe Rippert, Jean-Bernard Stefani:
THINK: a secure distributed systems architecture. ACM SIGOPS European Workshop 2002: 243-246 - [c20]Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller:
Think: A Software Framework for Component-based Operating System Kernels. USENIX ATC, General Track 2002: 73-86 - [c19]Florence Germain, Marc Lacoste, Jean-Bernard Stefani:
An Abstract Machine for a Higher-Order Distributed Process Calculus. F-WAN@ICALP 2002: 145-169 - 2000
- [c18]Jean-Bernard Stefani, Florence Germain, Elie Najm:
Elements of an object-based model for distributed and mobile computation. FMOODS 2000: 23-43
1990 – 1999
- 1999
- [j9]Bruno Dumant, François Horn, Frédéric Dang Tran, Jean-Bernard Stefani:
Jonathan: an open distributed processing environment in Java. Distributed Syst. Eng. 6(1): 3-12 (1999) - [c17]Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani:
Infinite types for distributed object interfaces. FMOODS 1999 - [c16]Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani:
Guaranteeing liveness in an object calculus through behavioural typing. FORTE 1999: 203-221 - [c15]Jean-Bernard Stefani:
On the Reflective Structure of Information Networks. Reflection 1999: 93-94 - [c14]Gordon S. Blair, Fábio M. Costa, Geoff Coulson, Hector A. Duran, Nikos Parlavantzas, Fabien Delpiano, Bruno Dumant, François Horn, Jean-Bernard Stefani:
The Design of a Resource-Aware Reflective Middleware Architecture. Reflection 1999: 115-134 - 1998
- [c13]Jean-Bernard Stefani, Bruno Dumant, Frédéric Dang Tran, François Horn:
The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework. IS&N 1998: 287-296 - [c12]Huw Oliver, Christopher Edwards, Frédéric Dang Tran, Jean-Bernard Stefani, David Hutchison:
Supporting Real-Time Multimedia Applications with Distributed Object Controlled Networks. ISORC 1998: 2-11 - 1997
- [j8]Gordon S. Blair, Lynne Blair, Jean-Bernard Stefani:
A Specification Architecture for Multimedia Systems in Open Distributed Processing. Comput. Networks ISDN Syst. 29(4): 473-500 (1997) - [c11]Arnaud Février, Elie Najm, Jean-Bernard Stefani:
Contracts for ODP. ARTS 1997: 216-232 - [c10]Olivier Potonniée, Jean-Bernard Stefani:
Synchronous Thread Management in a Distributed Operating System's Micro Kernel. Euro-Par 1997: 1254-1261 - 1996
- [j7]Gordon S. Blair, Geoff Coulson, Michael Papathomas, Philippe Robin, Jean-Bernard Stefani, François Horn, Laurent Hazard:
A Programming Model and System Infrastructure for Real-Time Synchronization in Distributed Multimedia Systems. IEEE J. Sel. Areas Commun. 14(1): 249-263 (1996) - 1995
- [j6]Geoff Coulson, Gordon S. Blair, Jean-Bernard Stefani, François Horn, Laurent Hazard:
Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing. Comput. Networks ISDN Syst. 27(8): 1231-1246 (1995) - [j5]Elie Najm, Jean-Bernard Stefani:
A Formal Semantics for the ODP Computational Model. Comput. Networks ISDN Syst. 27(8): 1305-1329 (1995) - [j4]Jean-Bernard Stefani:
Open distributed processing: an architectural basis for information networks. Comput. Commun. 18(11): 849-862 (1995) - [c9]Laurent Leboucher, Jean-Bernard Stefani:
Admission Control for End-to-End Distributed Bindings. COST 237 Workshop 1995: 192-208 - [c8]Elie Najm, Jean-Bernard Stefani, Arnaud Février:
Towards a Mobile LOTOS. FORTE 1995: 127-142 - 1994
- [c7]Gordon S. Blair, Michael Papathomas, Geoff Coulson, Philippe Robin, Laurent Hazard, Jean-Bernard Stefani, François Horn:
Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages. ACM Multimedia 1994: 299-306 - 1993
- [j3]François Horn, Jean-Bernard Stefani:
On Programming and Supporting Multimedia Object Synchronisation. Comput. J. 36(1): 4-18 (1993) - [j2]Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani:
Video Compression Standards and Quality of Service. Comput. J. 36(1): 43-54 (1993) - [c6]Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani:
Implementation of a synchronous execution machine on Chorus micro-kernel. RTSS 1993: 189-193 - 1992
- [j1]Jean-Bernard Stefani, Laurent Hazard, François Horn:
Computational model for distributed multimedia applications based on a synchronous programming language. Comput. Commun. 15(2): 114-128 (1992) - [c5]Gordon S. Blair, Geoff Coulson, P. Auzimour, Laurent Hazard, François Horn, Jean-Bernard Stefani:
An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications. NOSSDAV 1992: 223-236 - 1991
- [c4]Elie Najm, Jean-Bernard Stefani:
Dynamic Configuration in LOTOS. FORTE 1991: 201-216 - [c3]Elie Najm, Jean-Bernard Stefani:
Object-Based Concurrency: A Process Calculus Analysis. TAPSOFT, Vol.1 1991: 359-380 - 1990
- [c2]Jean-Bernard Stefani:
ODP: The Next Target for the Applciation of FDTs. FORTE 1990: 427-442
1980 – 1989
- 1988
- [c1]Max Michel, Jean-Bernard Stefani:
Interval Logics and Sequential Transducers. CAAP 1988: 244-257
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
