Publications

Displaying results 1 to 10 of 41

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2018) March 19-23 Dresden Germany 2018.

To the publication

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2018) March 19-23 Dresden Germany 2018.

To the publication

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2018) March 19-23 Dresden Germany 2018.

To the publication

In: The 34th IEEE International Conference on Computer Design. IEEE International Conference on Computer Design (ICCD-34) October 3-5 Phoenix United States 2016.

To the publication

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

To the publication

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.

To the publication

In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL) September 18-20 Verona Italy 2017.

To the publication

In: 2nd International Workshop on Resiliency in Embedded Electronic Systems (REES). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

To the publication

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