Julia Dushina

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Julia Dushina, Mike Benjamin, Daniel Geist
Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application. ASP-DAC (2003)
Julia Dushina, Mike Benjamin, Daniel Geist
Semi-Formal Test Generation with Genevieve. DAC (2001)
Julia Dushina, Mike Benjamin, Daniel Geist
Semi-Formal Test Generation for a Block of Industrial DSP. VTS (2001)
Dominique Borrione, Julia Dushina, Laurence V. Pierre
A compositional model for the functional verification of high-level synthesis results. IEEE Trans. Very Large Scale Integr. Syst. 8 (5) (2000)
Dominique Borrione, Julia Dushina, Laurence Pierre
Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis. SBCCI (1998)