Search: (more)
Header

Dr.rer.nat. Tobias Schüle

email
schuele (at) cs.uni-kl.de
was member of the group
from 10/2002 to 06/2008
left for
Siemens
research interests
formal verification of finite and infinite state reactive systems
synchronous languages and hardware design
worst-case execution time analysis
symbolic (bounded) model checking and temporal logics
decidable predicate logics and finite automata
processor architectures
publications
all | authored | edited/supervised | talks
Recent Activities
Book on Mulitcore Software