Yves Mathys

DAMOCLES: an observer-based approach to design tracking

Venu Vasudevan, Yves Mathys, Jim Tolar, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

A graph browser for large directed graphs

Yves Mathys, 1992, SAC '92.

Controlling change propagation and project policies in IC design

Salma Soudagar, Yves Mathys, Marc Morgan, 1995, Proceedings the European Design and Test Conference. ED&TC 1995.

High-level architectural co-simulation using Esterel and C

Luciano Lavagno, Yves Mathys, Alberto La Rosa, 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).

Verification strategy for integration 3G baseband SoC

Yves Mathys, André Chátelain, André Chátelain, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

DAMOCLES: an observer-based approach to design tracking

Venu Vasudevan, Yves Mathys, Jim Tolar, 1992, ICCAD.