Jürgen Ruf – Author profile

Juergen studied computer science at the University of Karlsruhe. He finished his diploma thesis in 1996 and joined the University as research staff member. He finished his PhD in 1999 in the area of formal verification of real time systems. Juergen worked as post doc for four years at the University of Tuebingen. In 2003 he joined the IBM research and development lab in Boeblingen. Juergen worked there as team lead in various verification projects mainly in the I/O domain (Infiniband, Ethernet, PCIe).

Contributed to the following publications

MBMV 2014

Dirk Allmendinger

Editor

Matteo Michel

Editor

Jürgen Ruf

Editor

ISBN-13 (Hard Copy): 978-3-95404-637-9
ISBN-13 (eBook): 978-3-73694-637-8

EUR 39.60 EUR 37.62

EUR 0.00

2014-02-18