Jean-Bernard Stefani

According to our database1, Jean-Bernard Stefani authored at least 84 papers between 1988 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Causal-Consistent Debugging of Distributed Erlang Programs.
Proceedings of the Reversible Computation - 13th International Conference, 2021

2020
Causality analysis and fault ascription in component-based systems.
Theor. Comput. Sci., 2020

2019
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat<sup>*</sup>.
Proceedings of the 15th International Conference on Network and Service Management, 2019

From Behavioural Contracts to Session Types.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Checkpoint/Rollback vs Causally-Consistent Reversibility.
Proceedings of the Reversible Computation - 10th International Conference, 2018

2017
Counterfactual Causality from First Principles?
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

2016
Reversibility in the higher-order π-calculus.
Theor. Comput. Sci., 2016

2015
Fault Ascription in Concurrent Systems.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Simple Isolation for an Actor Abstract Machine.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014
Components as Location Graphs.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Concurrent Flexible Reversibility.
Proceedings of the Programming Languages and Systems, 2013

2012
A component-based middleware platform for reconfigurable service-oriented architectures.
Softw. Pract. Exp., 2012

Controlled Reversibility and Compensations.
Proceedings of the Reversible Computation, 4th International Workshop, 2012

A Reversible Abstract Machine and Its Space Overhead.
Proceedings of the Formal Techniques for Distributed Systems, 2012

2011
Characterizing contextual equivalence in calculi with passivation.
Inf. Comput., 2011

Revisiting Glue Expressiveness in Component-Based Systems.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Controlling Reversibility in Higher-Order Pi.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Reversing Higher-Order Pi.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Component-based architecture: the Fractal initiative.
Ann. des Télécommunications, 2009

Normal Bisimulations in Calculi with Passivation.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Typing Component-Based Communication Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2009

Howe's Method for Calculi with Passivation.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Reconfigurable SCA Applications with the FraSCAti Platform.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

Gestion de l'adaptabilité dans les applications réparties. (Managing adaptability in distributed applications).
, 2009

2008
Architecting reconfigurable component-based operating systems.
J. Syst. Archit., 2008

A Self-repair Architecture for Cluster Systems.
Proceedings of the Architecting Dependable Systems VI, 2008

Typing communicating component assemblages.
Proceedings of the Generative Programming and Component Engineering, 2008

2007
Reengineering J2EE Servers for Automated Management in Distributed Environments.
IEEE Distributed Syst. Online, 2007

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Oz/K: a kernel language for component-based open programming.
Proceedings of the Generative Programming and Component Engineering, 2007

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems.
Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006
The FRACTAL component model and its support in Java.
Softw. Pract. Exp., 2006

Dream types: a domain specific type system for component-based message-oriented middleware.
ACM SIGSOFT Softw. Eng. Notes, 2006

Building Reconfigurable Component-Based OS with THINK.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Fractal Component-Based Software Engineering.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware.
IEEE Distributed Syst. Online, 2005

Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters.
Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

Architecture-Based Autonomous Repair Management: Application to J2EE Clusters.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Component-Oriented Programming with Sharing: Containment is Not Ownership.
Proceedings of the Generative Programming and Component Engineering, 2005

An Abstract Machine for the Kell Calculus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

A Component-based Approach for MPSoC SW Design: Experience with OS Customization for H.264 Decoding.
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

J2EE Packaging, Deployment and Reconfiguration Using a General Component Model.
Proceedings of the Component Deployment, Third International Working Conference, 2005

Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.
Proceedings of the Construction and Analysis of Safe, 2005

2004
Support pour la reconfiguration d'implantation dans les applications a composants Java
CoRR, 2004

Cellules : composants et réflexivité.
Obj. Logiciel Base données Réseaux, 2004

A component-based approach to distributed system management: a use case with self-manageable J2EE clusters.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

An Open Component Model and Its Support in Java.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003
A calculus of Kells.
Electron. Notes Theor. Comput. Sci., 2003

The m-calculus: a higher-order distributed process calculus.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

The Kell Calculus: Operational Semantics and Type System.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002
An Abstract Machine for a Higher-Order Distributed Process Calculus.
Electron. Notes Theor. Comput. Sci., 2002

Think: A Software Framework for Component-based Operating System Kernels.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

THINK: a secure distributed systems architecture.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2000
Elements of an object-based model for distributed and mobile computation.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999
Jonathan: an open distributed processing environment in Java.
Distributed Syst. Eng., 1999

On the Reflective Structure of Information Networks.
Proceedings of the Meta-Level Architectures and Reflection, 1999

The Design of a Resource-Aware Reflective Middleware Architecture.
Proceedings of the Meta-Level Architectures and Reflection, 1999

Guaranteeing liveness in an object calculus through behavioural typing.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Infinite types for distributed object interfaces.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998
Supporting Real-Time Multimedia Applications with Distributed Object Controlled Networks.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework.
Proceedings of the Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 1998

1997
A Specification Architecture for Multimedia Systems in Open Distributed Processing.
Comput. Networks ISDN Syst., 1997

Synchronous Thread Management in a Distributed Operating System's Micro Kernel.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Contracts for ODP.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
A Programming Model and System Infrastructure for Real-Time Synchronization in Distributed Multimedia Systems.
IEEE J. Sel. Areas Commun., 1996

1995
Open distributed processing: an architectural basis for information networks.
Comput. Commun., 1995

A Formal Semantics for the ODP Computational Model.
Comput. Networks ISDN Syst., 1995

Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing.
Comput. Networks ISDN Syst., 1995

Towards a Mobile LOTOS.
Proceedings of the Formal Description Techniques VIII, 1995

Admission Control for End-to-End Distributed Bindings.
Proceedings of the Teleservices and Multimedia Communications, 1995

1994
Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages.
Proceedings of the Second ACM International Conference on Multimedia '94, 1994

1993
Video Compression Standards and Quality of Service.
Comput. J., 1993

On Programming and Supporting Multimedia Object Synchronisation.
Comput. J., 1993

Implementation of a synchronous execution machine on Chorus micro-kernel.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

1992
Computational model for distributed multimedia applications based on a synchronous programming language.
Comput. Commun., 1992

An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992

1991
Object-Based Concurrency: A Process Calculus Analysis.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Dynamic Configuration in LOTOS.
Proceedings of the Formal Description Techniques, 1991

1990
ODP: The Next Target for the Applciation of FDTs.
Proceedings of the Formal Description Techniques, 1990

1988
Interval Logics and Sequential Transducers.
Proceedings of the CAAP '88, 1988


  Loading...