Generating Efficient Portable Code for a Strict Applicative Language. - Wolfram Schulte; Wolfgang Grieskamp (Declarative Programming, 1991)

Effiziente und korrekte Übersetzung strikter und applikativer Programmiersprachen. - Wolfram Schulte (1992)

Deriving Residual Reference Count Garbage Collectors. - Wolfram Schulte (PLILP, 1994)

Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. - Klaus Achatz; Wolfram Schulte (MPC, 1995)

Lightweight GUIs for Functional Programming - Ton Vullinghs; Daniel Tuinman; Wolfram Schulte (PLILP, 1995)

Erfahrungen bei der Gestaltung eines Software-Grundpraktikums. - Wolfram Schulte (SEUH, 1995)

TkGofer: A Functional GUI Library. - Wolfram Schulte; Thilo Schwinn; Ton Vullinghs (AMAST, 1996)

The Design of a Functional GUI Library Using Constructor Classes. - Ton Vullinghs; Wolfram Schulte; Thilo Schwinn (Ershov Memorial Conference, 1996)

Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. - Klaus Achatz; Wolfram Schulte (Sci. Comput. Program., 1996)

Functional Object-Oriented Programming with Object-Gofer. - Wolfram Schulte; Klaus Achatz (GI Jahrestagung, 1997)

A Formal OO Method Inspired by Fusion and Object-Z. - Klaus Achatz; Wolfram Schulte (ZUM, 1997)

Formale objektorientierte Softwareentwicklung mit Fox. - Klaus Achatz; Wolfram Schulte (Inform. Forsch. Entwickl., 1997)

Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. - Egon Börger; Wolfram Schulte (MFCS, 1998)

A Programmer Friendly Modular Definition of the Semantics of Java. - Egon Börger; Wolfram Schulte (Formal Syntax and Semantics of Java, 1999)

Using Abstract State Machines at Microsoft: A Case Study. - Michael Barnett 001; Egon Börger; Yuri Gurevich; Wolfram Schulte; Margus Veanes (Abstract State Machines, 2000)

Investigating Java Concurrency Using Abstract State Machines. - Yuri Gurevich; Wolfram Schulte; Charles Wallace 001 (Abstract State Machines, 2000)

Translating Theory into Practice - Abstract State Machines within Microsoft. - Wolfram Schulte (CSL, 2000)

Why Doesn't Anyone Use Formal Methods? - Wolfram Schulte (IFM, 2000)

Initialization problems for Java. - Egon Börger; Wolfram Schulte (Softw. Concepts Tools, 2000)

A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. - Egon Börger; Wolfram Schulte (IEEE Trans. Software Eng., 2000)

Testable Use Cases in the Abstract State Machine Language. - Wolfgang Grieskamp; Markus Lepper 001; Wolfram Schulte; Nikolai Tillmann (APAQS, 2001)

The ABCs of specification: asml, behavior, and components. - Michael Barnett 001; Wolfram Schulte (Informatica (Slovenia), 2001)

Generating finite state machines from abstract state machines. - Wolfgang Grieskamp; Yuri Gurevich; Wolfram Schulte; Margus Veanes (ISSTA, 2002)

Using AsmL for Runtime Verification. - Michael Barnett 001; Wolfram Schulte; Nikolai Tillmann (Abstract State Machines, 2003)

Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. - Wolfram Schulte (Abstract State Machines, 2003)

Towards a Tool Environment for Model-Based Testing with AsmL. - Michael Barnett 001; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FATES, 2003)

Validating Use-Cases with the AsmL Test Tool. - Michael Barnett 001; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (QSIC, 2003)

Runtime verification of .NET contracts. - Michael Barnett 001; Wolfram Schulte (J. Syst. Softw., 2003)

Tool Support for the Interactive Derivation of Formally Correct Functional Programs. - Walter Guttmann; Helmuth Partsch; Wolfram Schulte; Ton Vullinghs (J. Univers. Comput. Sci., 2003)

The Spec# Programming System: An Overview. - Mike Barnett 001; K. Rustan M. Leino; Wolfram Schulte (CASSIS, 2004)

Optimal strategies for testing nondeterministic systems. - Lev Nachmanson; Margus Veanes; Wolfram Schulte; Nikolai Tillmann; Wolfgang Grieskamp (ISSTA, 2004)

Exception Safety for C#. - K. Rustan M. Leino; Wolfram Schulte (SEFM, 2004)

Verification of Object-Oriented Programs with Invariants. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; K. Rustan M. Leino; Wolfram Schulte (J. Object Technol., 2004)

The Essence of Data Access in Comega. - Gavin M. Bierman; Erik Meijer 001; Wolfram Schulte (ECOOP, 2005)

Testing Concurrent Object-Oriented Systems with Spec Explorer. - Colin Campbell; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FM, 2005)

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. - Wolfgang Grieskamp; Nikolai Tillmann; Colin Campbell; Wolfram Schulte; Margus Veanes (QSIC, 2005)

Safe Concurrency for Aggregate Objects with Invariants. - Bart Jacobs 002; Frank Piessens; K. Rustan M. Leino; Wolfram Schulte (SEFM, 2005)

Parameterized unit tests with unit meister. - Nikolai Tillmann; Wolfram Schulte (ESEC/SIGSOFT FSE, 2005)

Parameterized unit tests. - Nikolai Tillmann; Wolfram Schulte (ESEC/SIGSOFT FSE, 2005)

Online testing with model programs. - Margus Veanes; Colin Campbell; Wolfram Schulte; Nikolai Tillmann (ESEC/SIGSOFT FSE, 2005)

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. - Tao Xie 001; Darko Marinov; Wolfram Schulte; David Notkin (TACAS, 2005)

Model-Based Testing of Cryptographic Protocols. - Dean Rosenzweig; Davor Runje; Wolfram Schulte (TGC, 2005)

The Spec# Programming System: Challenges and Directions. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; Bart Jacobs 002; K. Rustan M. Leino; Wolfram Schulte; Herman Venter (VSTTE, 2005)

XRT- Exploring Runtime for .NET Architecture and Applications. - Wolfgang Grieskamp; Nikolai Tillmann; Wolfram Schulte (SoftMC@CAV, 2005)

Semantic essence of AsmL. - Yuri Gurevich; Benjamin Rossman; Wolfram Schulte (Theor. Comput. Sci., 2005)

Allowing State Changes in Specifications. - Michael Barnett 001; David A. Naumann; Wolfram Schulte; Qi Sun (ETRICS, 2006)

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. - Bart Jacobs 002; Jan Smans; Frank Piessens; Wolfram Schulte (ICFEM, 2006)

Discovering Likely Method Specifications. - Nikolai Tillmann; Feng Chen 006; Wolfram Schulte (ICFEM, 2006)

Mock-object generation with behavior. - Nikolai Tillmann; Wolfram Schulte (ASE, 2006)

Controllable Combinatorial Coverage in Grammar-Based Testing. - Ralf Lämmel; Wolfram Schulte (TestCom, 2006)

VC generation for functional behavior and non-interference of iterators. - Bart Jacobs 002; Frank Piessens; Wolfram Schulte (SAVCBS@FSE, 2006)

Challenge problems in software testing. - Wolfram Schulte (SOQUA, 2006)

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. - Bart Jacobs 002; Jan Smans; Frank Piessens; Wolfram Schulte (TV@FLoC, 2006)

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. - Nikolai Tillmann; Wolfram Schulte (IEEE Softw., 2006)

Using History Invariants to Verify Observers. - K. Rustan M. Leino; Wolfram Schulte (ESOP, 2007)

Composition of Model Programs. - Margus Veanes; Colin Campbell; Wolfram Schulte (FORTE, 2007)

Pex - An Intelligent Assistant for Rigorous Developer Testing. - Wolfram Schulte (ICECCS, 2007)

Experiments in Verifying Low Level Concurrent C Code. - Wolfram Schulte (ICECCS, 2007)

Parameterized Unit Testing with Pex: Tutorial. - Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (PSSE, 2007)

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. - Stefan Maus; Michal Moskal; Wolfram Schulte (AMAST, 2008)

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. - Jan Smans; Bart Jacobs 002; Frank Piessens; Wolfram Schulte (FASE, 2008)

Model Generation for Horn Logic with Stratified Negation. - Ethan K. Jackson; Wolfram Schulte (FORTE, 2008)

Protocol Modeling with Model Program Composition. - Margus Veanes; Wolfram Schulte (FORTE, 2008)

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. - Margus Veanes; Colin Campbell; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Lev Nachmanson (Formal Methods and Testing, 2008)

Workshop on state-space exploration for automated testing (SSEAT 2008). - Darko Marinov; Wolfram Schulte (ISSTA, 2008)

Compositional Modeling for Data-Centric Business Applications. - Ethan K. Jackson; Wolfram Schulte (SC@ETAPS, 2008)

Using Dynamic Symbolic Execution to Improve Deductive Verification. - Dries Vanoverberghe; Nikolaj S. Bjørner; Jonathan de Halleux; Wolfram Schulte; Nikolai Tillmann (SPIN, 2008)

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. - Manuel Fähndrich; Diego Garbervetsky; Wolfram Schulte (J. Object Technol., 2008)

Automating Software Testing Using Program Analysis. - Patrice Godefroid; Jonathan de Halleux; Aditya V. Nori; Sriram K. Rajamani; Wolfram Schulte; Nikolai Tillmann; Michael Y. Levin (IEEE Softw., 2008)

A programming model for concurrent object-oriented programs. - Bart Jacobs 002; Frank Piessens; Jan Smans; K. Rustan M. Leino; Wolfram Schulte (ACM Trans. Program. Lang. Syst., 2008)

From dependable multi-user to dependable multi-application operating systems: invited talk. - Wolfram Schulte (SecuCode@CCS, 2009)

Fitness-guided path exploration in dynamic symbolic execution. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (DSN, 2009)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

VCC: Contract-based modular verification of concurrent C. - Markus Dahlweid; Michal Moskal; Thomas Santen; Stephan Tobies; Wolfram Schulte (ICSE Companion, 2009)

An Empirical Study of Testing File-System-Dependent Software with Mock Objects. - Madhuri R. Marri; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (AST, 2009)

Guided path exploration for regression test generation. - Kunal Taneja; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ICSE Companion, 2009)

Mutation Analysis of Parameterized Unit Tests. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ICST Workshops, 2009)

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. - Nuo Li; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ASE, 2009)

The design of a task parallel library. - Daan Leijen; Wolfram Schulte; Sebastian Burckhardt (OOPSLA, 2009)

Runtime Verification of C Memory Safety. - Grigore Rosu; Wolfram Schulte; Traian-Florin Serbanuta (RV, 2009)

MSeqGen: object-oriented unit-test generation via mining source code. - Suresh Thummalapenta; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ESEC/SIGSOFT FSE, 2009)

Specifying and Composing Non-functional Requirements in Model-Based Development. - Ethan K. Jackson; Dirk Seifert; Markus Dahlweid; Thomas Santen; Nikolaj S. Bjørner; Wolfram Schulte (SC@TOOLS, 2009)

VCC: A Practical System for Verifying Concurrent C. - Ernie Cohen; Markus Dahlweid; Mark A. Hillebrand; Dirk Leinenbach; Michal Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies (TPHOLs, 2009)

Separation Logic Verification of C Programs with an SMT Solver. - Matko Botincan; Matthew J. Parkinson; Wolfram Schulte (SSV, 2009)

A Precise Yet Efficient Memory Model For C. - Ernie Cohen; Michal Moskal; Stephan Tobies; Wolfram Schulte (SSV, 2009)

Symbolic Bounded Model Checking of Abstract State Machines. - Margus Veanes; Nikolaj S. Bjørner; Yuri Gurevich; Wolfram Schulte (Int. J. Softw. Informatics, 2009)

Matching Logic: An Alternative to Hoare/Floyd Logic. - Grigore Rosu; Chucky Ellison; Wolfram Schulte (AMAST, 2010)

Local Verification of Global Invariants in Concurrent Programs. - Ernie Cohen; Michal Moskal; Wolfram Schulte; Stephan Tobies (CAV, 2010)

10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. - Mark Harman; Henry Muccini; Wolfram Schulte; Tao Xie 001 (Practical Software Testing: Tool Automation and Human Factors, 2010)

10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. - Mark Harman; Henry Muccini; Wolfram Schulte; Tao Xie 001 (Practical Software Testing: Tool Automation and Human Factors, 2010)

Reusing Model Transformations While Preserving Properties. - Ethan K. Jackson; Wolfram Schulte; Daniel Balasubramanian; Gabor Karsai (FASE, 2010)

Automatic parallelization of programming languages: past, present and future. - Wolfram Schulte; Nikolai Tillmann (IWMSE@ICSE, 2010)

An Approach for Effective Design Space Exploration. - Eunsuk Kang; Ethan K. Jackson; Wolfram Schulte (Monterey Workshop, 2010)

SPUR: a trace-based JIT compiler for CIL. - Michael Bebenita; Florian Brandner; Manuel Fähndrich; Francesco Logozzo; Wolfram Schulte; Nikolai Tillmann; Herman Venter (OOPSLA, 2010)

Teaching and training developer-testing techniques and tool support. - Tao Xie 001; Jonathan de Halleux; Nikolai Tillmann; Wolfram Schulte (SPLASH/OOPSLA Companion, 2010)

Future of developer testing: building quality in code. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (FoSER, 2010)

Automatic verification of Java programs with dynamic frames. - Jan Smans; Bart Jacobs 002; Frank Piessens; Wolfram Schulte (Formal Aspects Comput., 2010)

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. - Sascha Böhme; Michal Moskal; Wolfram Schulte; Burkhart Wolff (J. Autom. Reason., 2010)

Canonical Regular Types. - Ethan K. Jackson; Nikolaj S. Bjørner; Wolfram Schulte (ICLP (Technical Communications), 2011)

Finding Models in Model-Based Development - (Abstract). - Wolfram Schulte; Ethan K. Jackson (MoDELS, 2011)

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. - Benjamin S. Lerner; Brian Burg; Herman Venter; Wolfram Schulte (WebApps, 2011)

Specification and verification: the Spec# experience. - Mike Barnett 001; Manuel Fähndrich; K. Rustan M. Leino; Peter Müller 001; Wolfram Schulte; Herman Venter (Commun. ACM, 2011)

Guest Editors' Introduction: Parallelism on the Desktop. - Victor Pankratius; Wolfram Schulte; Kurt Keutzer (IEEE Softw., 2011)

Fine-grained parallel traversals of irregular data structures. - Bin Ren; Gagan Agrawal; James R. Larus; Todd Mytkowicz; Tomi Poutanen; Wolfram Schulte (PACT, 2012)

Cancer treatment planning: formal methods to the rescue. - Janos L. Mathe; Janos Sztipanovits; Mia A. Levy; Ethan K. Jackson; Wolfram Schulte (SEHC@ICSE, 2012)

Ten years of automated code analysis at Microsoft (Invited industrial talk). - Wolfram Schulte (ICSE, 2012)

Detecting Specification Errors in Declarative Languages with Constraints. - Ethan K. Jackson; Wolfram Schulte; Nikolaj S. Bjørner (MoDELS, 2012)

Understanding Specification Languages through Their Model Theory. - Ethan K. Jackson; Wolfram Schulte (Monterey Workshop, 2012)

Thirteen Years of Automated Code Analysis at Microsoft. - Wolfram Schulte (SBMF, 2012)

SIMD parallelization of applications that traverse irregular data structures. - Bin Ren; Gagan Agrawal; James R. Larus; Todd Mytkowicz; Tomi Poutanen; Wolfram Schulte (CGO, 2013)

FORMULA 2.0: A Language for Formal Specifications. - Ethan K. Jackson; Wolfram Schulte (ICTAC Training School on Software Engineering, 2013)

Taking Control of Your Engineering Tools. - Chandra Prasad; Wolfram Schulte (Computer, 2013)

CODEMINE: Building a Software Development Data Analytics Platform at Microsoft. - Jacek Czerwonka; Nachiappan Nagappan; Wolfram Schulte; Brendan Murphy (IEEE Softw., 2013)

Data-parallel finite-state machines. - Todd Mytkowicz; Madanlal Musuvathi; Wolfram Schulte (ASPLOS, 2014)

Formalizing and Verifying a Modern Build Language. - Maria Christakis; K. Rustan M. Leino; Wolfram Schulte (FM, 2014)

Automated migration of build scripts using dynamic analysis and search-based refactoring. - Milos Gligoric 001; Wolfram Schulte; Chandra Prasad; Danny van Velzen; Iman Narasamdya; Benjamin Livshits (OOPSLA, 2014)

Waiting for Godot? the right language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium). - Todd Mytkowicz; Wolfram Schulte (Ubiquity, 2014)

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). - Pantazis Deligiannis; Matt McCutchen; Paul Thomson; Shuo Chen 001; Alastair F. Donaldson; John Erickson; Cheng Huang; Akash Lal; Rashmi Mudduluru; Shaz Qadeer; Wolfram Schulte (FAST, 2016)

CloudBuild: Microsoft's distributed and caching build service. - Hamed Esfahani; Jonas Fietz; Qi Ke; Alexei Kolomiets; Erica Lan; Erik Mavrinac; Wolfram Schulte; Newton Sanches; Srikanth Kandula (ICSE (Companion Volume), 2016)

Changing microsoft's build: revolution or evolution. - Wolfram Schulte (ASE, 2016)

Challenges to Achieving High Availability at Scale (Invited Talk). - Wolfram Schulte (ECOOP, 2017)

Guest editorial for the special section on MODELS 2014. - Juergen Dingel; Wolfram Schulte (Softw. Syst. Model., 2018)