| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 5 |      | Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz: Runtime Verification of Typical Requirements for a Space Critical SoC Platform. FMICS 2011: 21-36 |
| 2010 | ||
| 4 | | Luca Ferro, Laurence Pierre: Formal semantics for PSL modeling layer and application to the verification of transactional models. DATE 2010: 1207-1212 |
| 3 | | Laurence Pierre, Luca Ferro: Enhancing the assertion-based verification of TLM designs with reentrancy. MEMOCODE 2010: 103-112 |
| 2009 | ||
| 2 | | Luca Ferro, Laurence Pierre: ISIS: Runtime verification of TLM platforms. FDL 2009: 1-6 |
| 2008 | ||
| 1 | | Laurence Pierre, Luca Ferro: A Tractable and Fast Method for Monitoring SystemC TLM Specifications. IEEE Trans. Computers 57(10): 1346-1356 (2008) |
| 1 | Zeineb Bel Hadj Amor | [5] |
| 2 | Jérôme Lachaize | [5] |
| 3 | Vincent Lefftz | [5] |
| 4 | Laurence Pierre (Laurence V. Pierre) | [1] [2] [3] [4] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page