Project Staff
|
Martin Horauer Project Leader Test & Verification Embedded Systems |
|
Thomas Reinbacher R&D Formal Verification Model Checking |
|
Martin Zauner R&D, Lecturer Internetworking Formal Specification Languages |
Former Project Staff
|
Peter Balog Department Head Computer Architecture Real-Time Systems |
|
Michael Biack R&D Technical Physics System Modeling |
|
Roland Höller R&D, Lecturer System-on-Chip Design Clock Synchronization |
|
Michael Kramer R&D, Lecturer Embedded Systems Formal Verification |
|
Andreas Reinberger R&D Automotive Electronics FlexRay |
|
Peter Rössler R&D, Lecturer ASIC & ESL Design Fieldbus Systems |