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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the 4th IEEE International Verification and Security Workshop, 2019
2013
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
Proceedings of the 2005 International Symposium on System-on-Chip, 2005
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
Proceedings of the Embedded Software for SoC, 2003