| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero 0002, Valerio Schiavoni, Jean-Bernard Stefani |
A component-based middleware platform for reconfigurable service-oriented architectures.  |
Softw., Pract. Exper.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Characterizing contextual equivalence in calculi with passivation. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Controlling Reversibility in Higher-Order Pi. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Jean-Bernard Stefani |
Revisiting Glue Expressiveness in Component-Based Systems. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
Reversing Higher-Order Pi. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon S. Blair, Thierry Coupaye, Jean-Bernard Stefani |
Component-based architecture: the Fractal initiative. |
Annales des Télécommunications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Howe's Method for Calculi with Passivation. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Typing Component-Based Communication Systems. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani |
Reconfigurable SCA Applications with the FraSCAti Platform. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Normal Bisimulations in Calculi with Passivation. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juraj Polakovic, Jean-Bernard Stefani |
Architecting reconfigurable component-based operating systems. |
Journal of Systems Architecture - Embedded Systems Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Typing communicating component assemblages. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
assemblage error, component types, process types, type interference, components, type system, communication systems |
| 1 | Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani |
A Self-repair Architecture for Cluster Systems. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Takoua Abdellatif, Jakub Kornas, Jean-Bernard Stefani |
Reengineering J2EE Servers for Automated Management in Distributed Environments. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani |
Oz/K: a kernel language for component-based open programming. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
open programming, locality, components |
| 1 | Juraj Polakovic, Sebastien Mazare, Jean-Bernard Stefani, Pierre-Charles David |
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani |
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani |
The FRACTAL component model and its support in Java. |
Softw., Pract. Exper. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coupaye, Jean-Bernard Stefani |
Fractal Component-Based Software Engineering. |
ECOOP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juraj Polakovic, Ali Erdem Özcan, Jean-Bernard Stefani |
Building Reconfigurable Component-Based OS with THINK. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani |
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware. |
IEEE Distributed Systems Online |
2005 |
DBLP DOI BibTeX RDF |
message-oriented middleware, reflective middleware, component-based middleware |
| 1 | Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani |
An Abstract Machine for the Kell Calculus. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani |
Component-Oriented Programming with Sharing: Containment is Not Ownership. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani |
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Takoua Abdellatif, Jakub Kornas, Jean-Bernard Stefani |
J2EE Packaging, Deployment and Reconfiguration Using a General Component Model. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani |
Cellules : composants et réflexivité. |
L'OBJET |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jakub Kornas, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani |
Support pour la reconfiguration d'implantation dans les applications a composants Java |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Schmitt, Jean-Bernard Stefani |
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages |
| 1 | Eric Bruneton, Thierry Coupaye, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani |
An Open Component Model and Its Support in Java. |
CBSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
resource-aware middleware, MOM, component-based framework |
| 1 | Jean-Bernard Stefani |
A calculus of Kells. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Bidinger, Jean-Bernard Stefani |
The Kell Calculus: Operational Semantics and Type System. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani, Isabelle M. Demeure, Daniel Hagimont (eds.) |
Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings |
DAIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alan Schmitt, Jean-Bernard Stefani |
The m-calculus: a higher-order distributed process calculus. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
mobility, distribution, type systems, process calculi, higher order |
| 1 | Florence Germain, Marc Lacoste, Jean-Bernard Stefani |
An Abstract Machine for a Higher-Order Distributed Process Calculus. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Rippert, Jean-Bernard Stefani |
THINK: a secure distributed systems architecture. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller |
Think: A Software Framework for Component-based Operating System Kernels. |
USENIX Annual Technical Conference, General Track |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean-Bernard Stefani, Florence Germain, Elie Najm |
Elements of an object-based model for distributed and mobile computation. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bruno Dumant, François Horn, Frédéric Dang Tran, Jean-Bernard Stefani |
Jonathan: an open distributed processing environment in Java. |
Distributed Systems Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
Guaranteeing liveness in an object calculus through behavioural typing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
Infinite types for distributed object interfaces. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jean-Bernard Stefani |
On the Reflective Structure of Information Networks. |
Reflection |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon S. Blair, Lynne Blair, Jean-Bernard Stefani |
A Specification Architecture for Multimedia Systems in Open Distributed Processing. |
Computer Networks and ISDN Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Potonniée, Jean-Bernard Stefani |
Synchronous Thread Management in a Distributed Operating System's Micro Kernel. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
thread management, deterministic systems, distributed systems, real-time systems, Synchronous programming |
| 1 | Arnaud Février, Elie Najm, Jean-Bernard Stefani |
Contracts for ODP. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Journal on Selected Areas in Communications |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani |
Open distributed processing: an architectural basis for information networks. |
Computer Communications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Computer Networks and ISDN Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Jean-Bernard Stefani |
A Formal Semantics for the ODP Computational Model. |
Computer Networks and ISDN Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Jean-Bernard Stefani, Arnaud Février |
Towards a Mobile LOTOS. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Laurent Leboucher, Jean-Bernard Stefani |
Admission Control for End-to-End Distributed Bindings. |
COST 237 Workshop |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | François Horn, Jean-Bernard Stefani |
On Programming and Supporting Multimedia Object Synchronisation. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Wassim Tawbi, François Horn, Eric Horlait, Jean-Bernard Stefani |
Video Compression Standards and Quality of Service. |
Comput. J. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani, Laurent Hazard, François Horn |
Computational model for distributed multimedia applications based on a synchronous programming language. |
Computer Communications |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Jean-Bernard Stefani |
Dynamic Configuration in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Elie Najm, Jean-Bernard Stefani |
Object-Based Concurrency: A Process Calculus Analysis. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani |
ODP: The Next Target for the Applciation of FDTs. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Max Michel, Jean-Bernard Stefani |
Interval Logics and Sequential Transducers. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")