Jérôme Quévremont

According to our database1, Jérôme Quévremont authored at least 8 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A Comprehensive Approach to a Trusted Test Infrastructure.
Proceedings of the 4th IEEE International Verification and Security Workshop, 2019

2013
On the Effectiveness of Assertion-Based Verification in an Industrial Context.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

2005
Overview of the 4S Project.
Proceedings of the 2005 International Symposium on System-on-Chip, 2005

Implementing Non Power-of-Two FFTs on Coarse-Grain Reconfigurable Architectures.
Proceedings of the 2005 International Symposium on System-on-Chip, 2005

2004
Démarche de conception d'une plate-forme monopuce de réception de radiodiffusion numérique DRM.
Ann. des Télécommunications, 2004

2003
Embedded Software in Digital AM-FM Chipset.
Proceedings of the 2003 Design, 2003

Embedded SW in Digital AM-FM Chipset.
Proceedings of the Embedded Software for SoC, 2003


  Loading...