Skip to content

Asma Maalej

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2008–2008

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2008DACLeveraging sequential equivalence checking to enable system-level to RTL flows.Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla