Ingo Schreiber

According to our database, Ingo Schreiber authored at least 3 papers between 1986 and 1999.

Collaborative distances:

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

1999

Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.

Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung.

Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube

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

1986

Entwicklung einer Standard-Teilnehmerstation für ein lokales Kommunikationsnetz.

Ingo Schreiber

PhD thesis, 1986