What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
Wolfram Schulte mostly deals with Programming language, Theoretical computer science, Object-oriented programming, Software development and Algorithm.
All of his Programming language and Software, Compiler, Java Modeling Language, Correctness and Formal methods investigations are sub-components of the entire Programming language study.
His research integrates issues of Object, Object model, State and Domain in his study of Theoretical computer science.
His Object-oriented programming study incorporates themes from Data modeling, .NET Framework and Symbolic programming, Inductive programming, Reactive programming.
His work in Software development addresses subjects such as Software engineering, which are connected to disciplines such as System integration testing, Software construction and Software verification and validation.
As a part of the same scientific study, Wolfram Schulte usually deals with the Algorithm, concentrating on Unit testing and frequently concerns with Set, Code coverage and Symbolic execution.
His most cited work include:
- The spec# programming system: an overview (526 citations)
- VCC: A Practical System for Verifying Concurrent C (452 citations)
- The Spec# Programming System: An overview (430 citations)
What are the main themes of his work throughout his whole career to date?
Wolfram Schulte spends much of his time researching Programming language, Theoretical computer science, Software engineering, Software development and Object-oriented programming.
His Programming language research focuses on Specification language, Compiler, Symbolic execution, Abstract state machines and Executable.
The study incorporates disciplines such as Soundness, Set, Object, Modular design and Algorithm in addition to Theoretical computer science.
His Software engineering study combines topics in areas such as Software and Software performance testing.
His Software development research integrates issues from Software system and Formal methods.
His Object-oriented programming research incorporates themes from Spec# and Programming paradigm.
He most often published in these fields:
- Programming language (51.82%)
- Theoretical computer science (20.45%)
- Software engineering (15.00%)
What were the highlights of his more recent work (between 2010-2018)?
- Programming language (51.82%)
- Software (12.73%)
- Software engineering (15.00%)
In recent papers he was focusing on the following fields of study:
His primary areas of study are Programming language, Software, Software engineering, Parallel computing and Software development.
Wolfram Schulte conducts interdisciplinary study in the fields of Programming language and Point through his works.
His work deals with themes such as Data deduplication, Hash function and Graph, which intersect with Software.
His Software engineering research incorporates elements of Debugging, Cloud computing, Embedded system and Static program analysis.
His Software development study which covers Software system that intersects with Asynchronous communication and Functional reactive programming.
Wolfram Schulte has included themes like Spec#, Executable, Reactive programming, Satisfiability modulo theories and Correctness in his Compiler study.
Between 2010 and 2018, his most popular works were:
- Specification and verification: the Spec# experience (151 citations)
- FM 2011: Formal Methods (97 citations)
- Data-parallel finite-state machines (65 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
Wolfram Schulte focuses on Programming language, Software, Software engineering, Theoretical computer science and Set.
His work on Programming language deals in particular with Correctness, Executable, Compiler, Formal methods and Instrumentation.
His studies deal with areas such as Iterative and incremental development, Java Modeling Language, Satisfiability modulo theories and Programmer as well as Compiler.
Wolfram Schulte combines subjects such as Service and Process management with his study of Software.
Wolfram Schulte has researched Software engineering in several fields, including Symbol, Static program analysis, Range, Operating system and Workflow.
His Theoretical computer science research includes themes of Type inference, Computation and Artificial intelligence.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
