Publikationen

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE) March 14-18 Dresden Germany Seiten 1160-1163 2016.

Zur Publikation

In: International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28) July 17-23 Toronto Canada 2016.

Zur Publikation

In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35) November 7-10 Austin United States 2016.

Zur Publikation

In: Design Automation Conference (DAC). Design Automation Conference (DAC) June 7-11 San Francisco United States 2015.

Zur Publikation

In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015) October 12-15 Shanghai China Lecture Notes in Computer Science (LNCS) Springer 2015.

Zur Publikation

In: Design Automation Conference. Design Automation Conference (DAC-13) June 2-6 Austin TX United States IEEE 2013.

Zur Publikation

In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13) May 14-16 Dresden Germany VDE 2013.

Zur Publikation

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