Skip to content

Arthur Kalsing

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2017–2017

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2017FDLTowards consistency checking between HDL and UPF descriptions.Arthur Kalsing, Laurent Fesquet, Chouki Aktouf
2017FDLA Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.Arthur Kalsing, Laurent Fesquet, Chouki Aktouf