Ulla Herter

According to our database, Ulla Herter authored at least 3 papers between 2010 and 2017.

Collaborative distances:

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

2017

Static netlist verification for IBM high-frequency processors using a tree-grammar.

Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Connecting a C++ based Structural Verification Tool to the Web.

Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2010

Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung.

Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010