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 × Germany
1 × Spain
Collaborated with:
M.Chabot L.Ferro A.Nabais-Moreno
Talks about:
system (2) model (2) infrastructur (1) disciplinari (1) transact (1) customiz (1) softwar (1) monitor (1) hardwar (1) semant (1)

Person: Laurence Pierre

DBLP DBLP: Pierre:Laurence

Contributed to:

ICTSS 20142014
DATE 20102010
MoDELS 20162016

Wrote 3 papers:

ICTSS-2014-ChabotP #embedded #framework #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
DATE-2010-FerroP #modelling #semantics #transaction #verification
Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.
MoDELS-2016-ChabotPN #design #multi #testing
A requirement driven testing method for multi-disciplinary system design (MC, LP, ANM), pp. 396–405.

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.