Luca Ferro

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Comparative Evaluation

Decision Making

Hardware And Software

Top Venues

Publications

Tanguy Sassolas, Chiara Sandionigi, Alexandre Guerre, Alexandre Aminot, Pascal Vivet, Hela Boussetta, Luca Ferro, Nicolas Peltier
Early design stage thermal evaluation and mitigation: The locomotiv architectural case. DATE (2014)
Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. SIES (2012)
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)
Luca Ferro, Laurence Pierre
Formal semantics for PSL modeling layer and application to the verification of transactional models. DATE (2010)
Laurence Pierre, Luca Ferro
Enhancing the assertion-based verification of TLM designs with reentrancy. MEMOCODE (2010)
Luca Ferro, Laurence Pierre
ISIS: Runtime verification of TLM platforms. FDL (2009)
Laurence Pierre, Luca Ferro
A Tractable and Fast Method for Monitoring SystemC TLM Specifications. IEEE Trans. Computers 57 (10) (2008)