Author Info
Name
Affiliation
Papers
WOLFGANG J. PAUL
Saarland University, Department of Computer Science, 66123, Saarbrücken, Germany
6
Collaborators
Citations 
PageRank 
12
89
7.54
Referers 
Referees 
References 
110
89
66
Search Limit
100110
Title
Citations
PageRank
Year
On the correctness of upper layers of automotive systems151.522008
Realistic worst-case execution time analysis in the context of pervasive system verification110.672006
On the correctness of operating system kernels362.652005
Towards the pervasive verification of automotive systems10.422005
On the verification of memory management mechanisms231.812005
Towards a Worldwide Verification Technology30.472005