Jean-Bernard Stefani

Log. Methods Comput. Sci., 2025

2024

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.

[BibT_eX]

[DOI]

Pietro Lami

Claudio Sacerdoti Coen

J. Log. Algebraic Methods Program., 2024

A Small-Step Semantics for Janus.

[BibT_eX]

[DOI]

Pietro Lami

Proceedings of the Reversible Computation - 16th International Conference, 2024

Reversibility with Holes - (Work in Progress).

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 16th International Conference, 2024

In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust CNF Deployment.

[BibT_eX]

[DOI]

Proceedings of the 27th Conference on Innovation in Clouds, Internet and Networks, 2024

2022

Reversibility in Erlang: Imperative Constructs.

[BibT_eX]

[DOI]

Pietro Lami

Claudio Sacerdoti Coen

Proceedings of the Reversible Computation - 14th International Conference, 2022

Generation of a Reversible Semantics for Erlang in Maude.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Causal-Consistent Debugging of Distributed Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 13th International Conference, 2021

2020

Causality analysis and fault ascription in component-based systems.

[BibT_eX]

[DOI]

Gregor Gössler

Theor. Comput. Sci., 2020

2019

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework.

[BibT_eX]

[DOI]

Martin Vassor

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>.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Network and Service Management, 2019

From Behavioural Contracts to Session Types.

[BibT_eX]

[DOI]

Alessandro Fantechi

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Checkpoint/Rollback vs Causally-Consistent Reversibility.

[BibT_eX]

[DOI]

Martin Vassor

Proceedings of the Reversible Computation - 10th International Conference, 2018

2017

Counterfactual Causality from First Principles?

[BibT_eX]

[DOI]

Gregor Gößler

Oleg Sokolsky

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

2015

Fault Ascription in Concurrent Systems.

[BibT_eX]

[DOI]

Gregor Gößler

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Simple Isolation for an Actor Abstract Machine.

[BibT_eX]

[DOI]

Benoit Claudel

Quentin Sabah

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014

Components as Location Graphs.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Concurrent Flexible Reversibility.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

2012

A component-based middleware platform for reconfigurable service-oriented architectures.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2012

Controlled Reversibility and Compensations.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

A Reversible Abstract Machine and Its Space Overhead.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Characterizing contextual equivalence in calculi with passivation.

[BibT_eX]

[DOI]

Sergueï Lenglet

Inf. Comput., 2011

Revisiting Glue Expressiveness in Component-Based Systems.

[BibT_eX]

[DOI]

Cinzia Di Giusto

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Controlling Reversibility in Higher-Order Pi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Reversing Higher-Order Pi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Component-based architecture: the Fractal initiative.

[BibT_eX]

[DOI]

Gordon S. Blair

Thierry Coupaye

Ann. des Télécommunications, 2009

Normal Bisimulations in Calculi with Passivation.

[BibT_eX]

[DOI]

Sergueï Lenglet

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Typing Component-Based Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2009

Howe's Method for Calculi with Passivation.

[BibT_eX]

[DOI]

Sergueï Lenglet

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Reconfigurable SCA Applications with the FraSCAti Platform.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

, 2009

2008

Architecting reconfigurable component-based operating systems.

[BibT_eX]

[DOI]

Juraj Polakovic

J. Syst. Archit., 2008

A Self-repair Architecture for Cluster Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

Typing communicating component assemblages.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

2007

Reengineering J2EE Servers for Automated Management in Distributed Environments.

[BibT_eX]

[DOI]

Takoua Abdellatif

Jakub Kornas

IEEE Distributed Syst. Online, 2007

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Oz/K: a kernel language for component-based open programming.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2007

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006

The FRACTAL component model and its support in Java.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2006

Building Reconfigurable Component-Based OS with THINK.

[BibT_eX]

[DOI]

Juraj Polakovic

Ali Erdem Özcan

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Fractal Component-Based Software Engineering.

[BibT_eX]

[DOI]

Thierry Coupaye

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005

DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware.

[BibT_eX]

[DOI]

Matthieu Leclercq

Vivien Quéma

IEEE Distributed Syst. Online, 2005

Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

Dream types: a domain specific type system for component-based message-oriented middleware.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, 2005

Architecture-Based Autonomous Repair Management: Application to J2EE Clusters.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Component-Oriented Programming with Sharing: Containment is Not Ownership.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2005

An Abstract Machine for the Kell Calculus.

[BibT_eX]

[DOI]

Philippe Bidinger

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.

[BibT_eX]

[DOI]

Ali Erdem Özcan

Oussama Layaida

Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

J2EE Packaging, Deployment and Reconfiguration Using a General Component Model.

[BibT_eX]

[DOI]

Takoua Abdellatif

Jakub Kornas

Proceedings of the Component Deployment, Third International Working Conference, 2005

Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.

[BibT_eX]

[DOI]

Ali Erdem Özcan

Sébastien Jean

Proceedings of the Construction and Analysis of Safe, 2005

2004

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

[BibT_eX]

[DOI]

CoRR, 2004

Cellules : composants et réflexivité.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2004

A component-based approach to distributed system management: a use case with self-manageable J2EE clusters.

[BibT_eX]

[DOI]

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs.

[BibT_eX]

[DOI]

Matthieu Leclercq

Vivien Quéma

Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

An Open Component Model and Its Support in Java.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003

A calculus of Kells.

[BibT_eX]

[DOI]

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

The m-calculus: a higher-order distributed process calculus.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Philippe Bidinger

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002

An Abstract Machine for a Higher-Order Distributed Process Calculus.

[BibT_eX]

[DOI]

Florence Germain

Marc Lacoste

Proceedings of the Foundations of Wide Area Network Computing, 2002

Think: A Software Framework for Component-based Operating System Kernels.

[BibT_eX]

[DOI]

Jean-Philippe Fassino

Julia L. Lawall

Gilles Muller

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

THINK: a secure distributed systems architecture.

[BibT_eX]

[DOI]

Christophe Rippert

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.

[BibT_eX]

[DOI]

Florence Germain

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999

Jonathan: an open distributed processing environment in Java.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1999

On the Reflective Structure of Information Networks.

[BibT_eX]

[DOI]

Proceedings of the Meta-Level Architectures and Reflection, 1999

The Design of a Resource-Aware Reflective Middleware Architecture.

[BibT_eX]

[DOI]

Proceedings of the Meta-Level Architectures and Reflection, 1999

Guaranteeing liveness in an object calculus through behavioural typing.

[BibT_eX]

Abdelkrim Nimour

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Infinite types for distributed object interfaces.

[BibT_eX]

Abdelkrim Nimour

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998

Supporting Real-Time Multimedia Applications with Distributed Object Controlled Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gordon S. Blair

Lynne Blair

Comput. Networks ISDN Syst., 1997

Synchronous Thread Management in a Distributed Operating System's Micro Kernel.

[BibT_eX]

[DOI]

Olivier Potonniée

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Contracts for ODP.

[BibT_eX]

[DOI]

Arnaud Février

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

A Programming Model and System Infrastructure for Real-Time Synchronization in Distributed Multimedia Systems.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1996

1995

Open distributed processing: an architectural basis for information networks.

[BibT_eX]

[DOI]

Comput. Commun., 1995

A Formal Semantics for the ODP Computational Model.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1995

Supporting the Real-Time Requirements of Continuous Media in Open Distributed Processing.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1995

Towards a Mobile LOTOS.

[BibT_eX]

Arnaud Février

Proceedings of the Formal Description Techniques VIII, 1995

Admission Control for End-to-End Distributed Bindings.

[BibT_eX]

[DOI]

Laurent Leboucher

Proceedings of the Teleservices and Multimedia Communications, 1995

1994

Supporting Real-Time Multimedia Behaviour in Open Distributed Systems: An Approach Based on Synchronous Languages.

[BibT_eX]

[DOI]

Proceedings of the Second ACM International Conference on Multimedia '94, 1994

1993

Video Compression Standards and Quality of Service.

[BibT_eX]

[DOI]

Comput. J., 1993

On Programming and Supporting Multimedia Object Synchronisation.

[BibT_eX]

[DOI]

François Horn

Comput. J., 1993

Implementation of a synchronous execution machine on Chorus micro-kernel.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Laurent Hazard

François Horn

Comput. Commun., 1992

An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992

1991

Object-Based Concurrency: A Process Calculus Analysis.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Dynamic Configuration in LOTOS.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1991

1990

ODP: The Next Target for the Applciation of FDTs.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1990

1988

Interval Logics and Sequential Transducers.

[BibT_eX]

[DOI]

Max Michel