Statistics
Publications
70
Citations
4K
H-Index
33
Active since
2000
Wolfram Schulte is an author at Microsoft (United States) specializing in computer science, computing, and programming languages.
Publications per year
2000–2016
70
70
Verification of Object-Oriented Programs with Invariants.
Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 327 citations · Full text
Fitness-guided path exploration in dynamic symbolic execution
Tao Xie, Nikolai Tillmann, Jonathan de Halleux et al. · 2009 · 239 citations
The design of a task parallel library
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt · ACM SIGPLAN Notices · 2009 · 219 citations
Nikolai Tillmann, Wolfram Schulte · 2005 · 211 citations
Specification and verification
Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino et al. · Communications of the ACM · 2011 · 189 citations
1–5 of 70