Wolfram Schulte

Artificial Intelligence · 2003–2009

A researcher in the Science corpus: 5 papers; trusts 13 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 25 citations into it; #25,187 of 35,345 by trust here, #15,236 by citations
• Computational Theory and Mathematics — 22 citations into it; #6,535 of 12,182 by trust here, #3,562 by citations
• Software — 17 citations into it; #422 of 1,227 by trust here, #322 by citations

Whom Wolfram Schulte trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Greg Nelson
2. Willem Visser
3. Gary T. Leavens
4. Sarfraz Khurshid
5. Chandrasekhar Boyapati
6. David Detlefs
7. R. Deline
8. Yoonsik Cheon
9. Christoph Csallner

Who trusts Wolfram Schulte overall

1. Koushik Sen
2. Leonardo de Moura
3. Gordon Fraser
4. Jacob Burnim
5. Rupak Majumdar

Papers from Wolfram Schulte's perspective

Ordered by how strongly the researchers Wolfram Schulte trusts endorse each paper. Same corpus, a different order for every researcher.

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
3. Simplify: a theorem prover for program checking (JACM)
4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
5. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
6. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
7. Symbolic execution and program testing
8. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
9. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
10. High Integrity Software - The SPARK Approach to Safety and Security

Their papers

• Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (2005) — 309 citations
• Verification of Object-Oriented Programs with Invariants (2003) — 396 citations
• VCC: A Practical System for Verifying Concurrent C (2009) — 653 citations
• The design of a task parallel library (2009) — 297 citations
• The Spec# Programming System: An Overview (2004) — 1,202 citations