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: Stefani:Jean=Bernard
Contributed to:
2013
2009
2008
20072007
200720052004
2003
1991Wrote 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.