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 × France
1 × Italy
1 × Switzerland
Collaborated with:
O.Kouchnarenko J.Dormoy D.Hatebur M.Heisel J.Souquières
Talks about:
compon (3) system (2) refin (2) base (2) reconfigur (1) synchron (1) structur (1) properti (1) tempor (1) enhanc (1)

Person: Arnaud Lanoix

DBLP DBLP: Lanoix:Arnaud

Contributed to:

FM 20122012
Ada-Europe 20072007
FME 20032003

Wrote 3 papers:

FM-2012-DormoyKL #component #configuration management #refinement
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations (JD, OK, AL), pp. 171–186.
AdaEurope-2007-LanoixHHS #component #dependence
Enhancing Dependability of Component-Based Systems (AL, DH, MH, JS), pp. 41–54.
FME-2003-KouchnarenkoL #component #refinement #verification
Refinement and Verification of Synchronized Component-Based Systems (OK, AL), pp. 341–358.

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.