Arthur Kalsing

According to our database, Arthur Kalsing authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.

Arthur Kalsing, Laurent Fesquet, Chouki Aktouf

Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Towards consistency checking between HDL and UPF descriptions.

Arthur Kalsing, Laurent Fesquet, Chouki Aktouf

Proceedings of the 2017 Forum on Specification and Design Languages, 2017