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 × Finland
1 × Spain
1 × Sweden
1 × USA
2 × Italy
Collaborated with:
A.Schmitt J.Stefani C.Laneve E.Giachino A.Garcia O.Dardha F.Damiani R.Hähnle E.Kamburjan I.Lanese C.A.Mezzina C.A.Grazia P.Y.H.Wong R.D.Cosmo R.Treinen S.Zacchiroli J.Zwolakowski A.Eiche A.Agahi
Talks about:
compon (3) program (2) concurr (2) analysi (2) cloud (2) type (2) assemblag (1) synthesi (1) deadlock (1) communic (1)

Person: Michael Lienhardt

DBLP DBLP: Lienhardt:Michael

Contributed to:

PPDP 20152015
ASE 20142014
ESOP 20132013
IFM 20132013
SEFM 20132013
GPCE 20082008
GPCE 20072007
FASE 20172017

Wrote 8 papers:

PPDP-2015-GarciaLL #static analysis
Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.
ASE-2014-CosmoLTZZEA #automation #deployment #synthesis
Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
ESOP-2013-LaneseLMSS #concurrent #flexibility
Concurrent Flexible Reversibility (IL, ML, CAM, AS, JBS), pp. 370–390.
IFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.
SEFM-2013-DardhaGL #component #type system
A Type System for Components (OD, EG, ML), pp. 167–181.
GPCE-2008-LienhardtSS #communication #component #type system
Typing communicating component assemblages (ML, AS, JBS), pp. 125–136.
GPCE-2007-LienhardtSS #component #kernel #named #programming
Oz/K: a kernel language for component-based open programming (ML, AS, JBS), pp. 43–52.
FASE-2017-DamianiHKL #programming
A Unified and Formal Programming Model for Deltas and Traits (FD, RH, EK, ML), pp. 424–441.

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.