Tobias Dornes

According to our database1, Tobias Dornes authored at least 5 papers between 2010 and 2012.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen.
PhD thesis, 2012

2011
Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Using SystemVerilog assertions to relate non-cycle-accurate to cycle-accurate designs.
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

2010
Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010


  Loading...