Publications

Displaying results 1 to 10 of 111

In: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018. Pages 115-134 Springer 2020.

To the publication

In: 28th IEEE Asian Test Symposium. Asian Test Symposium (ATS-2019) December 10-13 Kolkata India 2019.

To the publication

In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020) September 15-17 Kiel Germany 2020.

To the publication

In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for Verification and Analysis (ATVA-2020) October 19-23 Hanoi Vietnam 2020.

To the publication

In: 23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2020) April 22-24 Novi Sad Serbia 2020.

To the publication

In: 50th International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2020) May 20-22 Miyazaki Japan 2020.

To the publication

In: 57th Design Automation Conference (DAC). Design Automation Conference (DAC-2020) July 19-23 San Francisco United States 2020.

To the publication

In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020) October 20-24 Rhodes Greece 2020.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz