Luca Ferro

According to our database, Luca Ferro authored at least 8 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC.

Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

2011

Runtime Verification of Typical Requirements for a Space Critical SoC Platform.

Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Dynamic Verification of SystemC Transactional Models.

Laurence Pierre, Luca Ferro

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Enhancing the assertion-based verification of TLM designs with reentrancy.

Laurence Pierre, Luca Ferro

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Formal semantics for PSL modeling layer and application to the verification of transactional models.

Luca Ferro, Laurence Pierre

Proceedings of the Design, Automation and Test in Europe, 2010

2009

ISIS: Runtime verification of TLM platforms.

Luca Ferro, Laurence Pierre

Proceedings of the Forum on specification and Design Languages, 2009

2008

A Tractable and Fast Method for Monitoring SystemC TLM Specifications.

Laurence Pierre, Luca Ferro

IEEE Trans. Computers, 2008