Searching for authors named "Wolfram Schulte" – sorted by Relevance.
83 documents found, showing 1 through 10.
Next 10 →
-
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
- … and Wolfram Schulte 2 1 Università di Pisa, Dipartimento di Informatica, I-56125 Pisa, Italy boerger…
- Cited by 31 (4 self) – Add To MetaCart
-
Testable Use Cases in the Abstract State Machine Language
- …, Redmond, wrwg@(email omitted); Wolfram Schulte Microsoft Research, Redmond, schulte@(email omitted); Abstract…
- Cited by 3 (1 self) – Add To MetaCart
-
A Formal OO Method Inspired by Fusion and Object-Z
- … A Formal OO Method Inspired by Fusion and Object-Z Klaus Achatz and Wolfram Schulte Department…
- Cited by 4 (0 self) – Add To MetaCart
-
Modular Design for the Java Virtual Machine Architecture
- …Modular Design for the Java Virtual Machine Architecture Egon Borger 1 and Wolfram Schulte 2 1…
- Cited by 9 (1 self) – Add To MetaCart
-
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
- … and Wolfram Schulte Fakultat fur Informatik, Universitat Ulm E-mail: fachatz…
- Cited by 9 (1 self) – Add To MetaCart
-
Protocol Modeling with Model Program Composition
- …Protocol Modeling with Model Program Composition Margus Veanes and Wolfram Schulte Microsoft…
- Add To MetaCart
-
Unit tests reloaded: Parameterized unit testing with symbolic execution
- …Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution Nikolai Tillmann, Wolfram…
- Cited by 7 (1 self) – Add To MetaCart
-
Contracts, Components, and their Runtime Verification on the .NET Platform
- …Contracts, Components, and their Runtime Verication on the .NET Platform Mike Barnett and Wolfram…
- Cited by 14 (1 self) – Add To MetaCart
-
Spying on Components: A Runtime Verification Technique
- …, USA Copyright 2001 M. Barnett and W. Schulte. Mike Barnett and Wolfram Schulte Microsoft Research One…
- Cited by 20 (2 self) – Add To MetaCart
-
The Journal of Systems and Software 65 (2003) 199–208 www.elsevier.com/locate/jss Runtime verification of.NET contracts
- … verification of .NET contracts Mike Barnett * , Wolfram Schulte Microsoft Research, One Microsoft Way, Redmond…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
