World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
58
Citations
11897
World Ranking
3666
National Ranking
1753

Overview

Wolfram Schulte is affiliated with Microsoft in the United States. Their research activity focuses primarily on the field of Computer Science, with contributions in subfields such as Software and Artificial Intelligence.

The scientist's work frequently covers topics related to Model-Driven Software Engineering Techniques and Intelligent Tutoring Systems and Adaptive Learning.

Wolfram Schulte has one documented publication available:

  • Tool Support for the Interactive Derivation of Formally Correct Functional Programs, 2020, published in TUGraz OPEN Library (Graz University of Technology)

Frequent coauthors collaborating with Wolfram Schulte include:

  • Walter Guttmann
  • Helmuth Partsch
  • Ton Vullinghs

The publication venues commonly associated with Schulte's work include:

  • TUGraz OPEN Library (Graz University of Technology)

Overall, the scientist's research integrates practical aspects of software development with adaptive learning technologies, reflecting interdisciplinary engagement within computer science.

Best Publications

  • The spec# programming system: an overview

    Mike Barnett;K. Rustan M. Leino;Wolfram Schulte

  • VCC: A Practical System for Verifying Concurrent C

    Ernie Cohen;Markus Dahlweid;Mark Hillebrand;Dirk Leinenbach

  • Verification of object-oriented programs with invariants

    Michael Barnett;Robert DeLine;Manuel Fähndrich;K. Rustan M. Leino

  • Symstra: a framework for generating object-oriented unit tests using symbolic execution

    Tao Xie;Darko Marinov;Wolfram Schulte;David Notkin

  • The design of a task parallel library

    Daan Leijen;Wolfram Schulte;Sebastian Burckhardt

  • Fitness-guided path exploration in dynamic symbolic execution

    Tao Xie;Nikolai Tillmann;Jonathan de Halleux;Wolfram Schulte

  • Parameterized unit tests

    Nikolai Tillmann;Wolfram Schulte

  • Generating finite state machines from abstract state machines

    Wolfgang Grieskamp;Yuri Gurevich;Wolfram Schulte;Margus Veanes

  • Model-based testing of object-oriented reactive systems with spec explorer

    Margus Veanes;Colin Campbell;Wolfgang Grieskamp;Wolfram Schulte

  • Specification and verification: the Spec# experience

    Mike Barnett;Manuel Fähndrich;K. Rustan M. Leino;Peter Müller

  • Approximating finite domains in symbolic state exploration

    Nikolai Tillmann;Wolfgang Grieskamp;Wolfram Schulte

  • An approach for effective design space exploration

    Eunsuk Kang;Ethan Jackson;Wolfram Schulte

  • Controllable combinatorial coverage in grammar-based testing

    Ralf Lämmel;Wolfram Schulte

  • Semantic essence of AsmL

    Yuri Gurevich;Benjamin Rossman;Wolfram Schulte

  • A Programmer Friendly Modular Definition of the Semantics of Java

    Egon Börger;Wolfram Schulte

  • SPUR: a trace-based JIT compiler for CIL

    Michael Bebenita;Florian Brandner;Manuel Fahndrich;Francesco Logozzo

  • A programming model for concurrent object-oriented programs

    Bart Jacobs;Frank Piessens;Jan Smans;K. Rustan M. Leino

  • Automating Software Testing Using Program Analysis

    P. Godefroid;P. de Halleux;A.V. Nori;S.K. Rajamani

  • Model-Based Software Testing and Analysis with C#

    Jonathan Jacky;Margus Veanes;Colin Campbell;Wolfram Schulte

  • FM 2011: Formal Methods

    Michael Butler;Wolfram Schulte

  • Semantic essence of AsmL: Extended abstract

    Yuri Gurevich;Benjamin Rossman;Wolfram Schulte

Frequent Co-Authors

Nikolai Tillmann
Nikolai Tillmann Facebook (United States)
Margus Veanes
Margus Veanes Microsoft (United States)
Bart Jacobs
Bart Jacobs Radboud University
Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
K. Rustan M. Leino
K. Rustan M. Leino Amazon Web Services
Manuel Fähndrich
Manuel Fähndrich Google (United States)
Tao Xie
Tao Xie Peking University
Nikolaj Bjørner
Nikolaj Bjørner Microsoft (United States)
Egon Börger
Egon Börger University of Pisa

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up a wide range of education and career options, especially with the flexibility of online programs. For students concerned about past academic performance, there are online schools that accept low gpa, making computer science and other technical degrees more accessible.

If you're looking to fast-track your studies, consider enrolling in an accelerated computer science degree online. These programs help you complete your education quickly and enter the workforce with in-demand technical skills.

Computer science knowledge also complements fields like environmental science and engineering. For example, discover what you can do with an environmental science degree, or explore the impact of technology in sustainability through environmental engineering degree programs.

Whether you’re interested in a career in tech, sustainability, or research, these pathways offer affordable, flexible options for advancing your education and career from anywhere in the world.

Best Scientists Citing Wolfram Schulte

Trending Scientists

Recently Published Articles