Concepedia

J. Dushina

JD

2

Publications

30

Citations

2

H-Index

2000

Active since

Affiliations

Université Grenoble Alpes(Current)

J. Dushina is an author at Université Grenoble Alpes specializing in computer science, design, and automated reasoning.

Top concepts

DesignEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationAutomationSoftware Design

Publications per year

2000–2001

2

Publications

2

A compositional model for the functional verification of high-level synthesis results

D. Borrione, J. Dushina, Laurence Pierre · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2000 · 19 citations

Engineering, Verification, Computer Architecture +21

Semi-formal test generation with genevieve

J. Dushina, Mike Benjamin, Daniel Geist · 2001 · 11 citations

Engineering, Genevieve Approach, Verification +21

Rows per page

1–2 of 2