Johannes Koesters

According to our database, Johannes Koesters authored at least 3 papers between 2006 and 2015.

Collaborative distances:

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

2015

Modulare Verifikation von Non-Mainline Chip-Level Funktionen.

Matteo Michel, Johannes Koesters, Benedikt Geukes

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

2014

Verification of Non-Mainline Functions in Todays Processor Chips.

Johannes Koesters, Alex Goryachev

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2006

Control Register Specification and Verification in Complex Systems.

Christoph Jäschke, Ralf Winkelmann, Johannes Kösters

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