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: Pierre:Laurence
Contributed to:
2014
2010
2016Wrote 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.