BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Estonia
1 × Italy
2 × United Kingdom
4 × USA
Collaborated with:
A.Schmitt M.Lienhardt E.Najm M.Leclercq V.Quéma S.Lenglet J.Polakovic S.Mazare P.David A.E.Özcan I.Lanese C.A.Mezzina D.Hirschkoff T.Hirschowitz D.Pous E.Bruneton T.Coupaye
Talks about:
compon (5) calculus (3) base (3) support (2) program (2) process (2) concurr (2) open (2) architectur (1) reconfigur (1)

Person: Jean-Bernard Stefani

DBLP DBLP: Stefani:Jean=Bernard

Contributed to:

ESOP 20132013
FOSSACS 20092009
GPCE 20082008
CBSE 20072007
GPCE 20072007
ICSE 20072007
GPCE 20052005
CBSE 20042004
POPL 20032003
TAPSOFT, Vol.1: CAAP 19911991

Wrote 10 papers:

ESOP-2013-LaneseLMSS #concurrent #flexibility
Concurrent Flexible Reversibility (IL, ML, CAM, AS, JBS), pp. 370–390.
FoSSaCS-2009-LengletSS #bisimulation #calculus
Normal Bisimulations in Calculi with Passivation (SL, AS, JBS), pp. 257–271.
GPCE-2008-LienhardtSS #communication #component #type system
Typing communicating component assemblages (ML, AS, JBS), pp. 125–136.
CBSE-2007-PolakovicMSD #component #configuration management #embedded #experience
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems (JP, SM, JBS, PCD), pp. 242–257.
GPCE-2007-LienhardtSS #component #kernel #named #programming
Oz/K: a kernel language for component-based open programming (ML, AS, JBS), pp. 43–52.
ICSE-2007-LeclercqOQS #architecture #tool support
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.
GPCE-2005-HirschkoffHPSS #component #programming
Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
CBSE-2004-BrunetonCLQS #component #java
An Open Component Model and Its Support in Java (EB, TC, ML, VQ, JBS), pp. 7–22.
POPL-2003-SchmittS #calculus #distributed #higher-order #process
The m-calculus: a higher-order distributed process calculus (AS, JBS), pp. 50–61.
CAAP-1991-NajmS #analysis #calculus #concurrent #process
Object-Based Concurrency: A Process Calculus Analysis (EN, JBS), pp. 359–380.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.