Luca Ferro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2009–2014
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DATE | Early design stage thermal evaluation and mitigation: The locomotiv architectural case. | Tanguy Sassolas, Chiara Sandionigi, Alexandre Guerre, Alexandre Aminot, Pascal Vivet, Hela Boussetta, Luca Ferro, Nicolas Peltier |
| 2011 | FMICS | Runtime Verification of Typical Requirements for a Space Critical SoC Platform. | Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jrme Lachaize, Vincent Lefftz |
| 2010 | DATE | Formal semantics for PSL modeling layer and application to the verification of transactional models. | Luca Ferro, Laurence Pierre |
| 2010 | MEMOCODE | Enhancing the assertion-based verification of TLM designs with reentrancy. | Laurence Pierre, Luca Ferro |
| 2009 | FDL | ISIS: Runtime verification of TLM platforms. | Luca Ferro, Laurence Pierre |