Publications 2002-2013

• 2013
  • P. Bazargan Sabet, D. Le Dû : “Identifying Signal Correlations Using Discrete Event Simulation”, IEEE International New Circuits and Systems Conference, Paris, France, pp. 349-352 (2013)
• 2010
  • A. Bara, P. Bazargan Sabet, R. Chevallier, E. Encrenaz, D. Le Dû, P. Renault : “Formal Verification of Timed VHDL Programs”, Forum on Specification & Design Languages, FDL 2010, Southampton, United Kingdom, pp. 80-85, (IET) (2010)
• 2002
  • D. Le Dû, P. Renault, P. Bazargan Sabet : “A MOS Transistor Model for Peak Voltage Calculation of Crosstalk Noise”, 9^th International Conference on Electronics, Circuits and Systems, Dubrovnick, Croatia, pp. 773-776, (IEEE) (2002)
  • P. Renault, D. Le Dû, F. Ilponse, P. Bazargan Sabet : “Conception d’un outil d’évaluation des bruits diaphoniques dans les circuits submicroniques”, Vèmes Journées Nationales du Réseau Doctoral de Micro-électronique (JNRDM'2002), Grenoble, France (2002)
  • D. Le Dû, P. Bazargan Sabet : “Structuration des données dans les outils de vérification back-end”, Troisième colloque du GDR CAO de circuits et systèmes intégrés, Paris, France, pp. 129-132 (2002)