Wolfram Schulte

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Wolfgang Grieskamp

> Home > Persons > Wolfram Schulte

Publications

2008
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fortest/VeanesCGSTN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fortest/VeanesCGSTN08
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson:
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing 2008: 39-76
2005
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CampbellGNSTV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CampbellGNSTV05
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/GrieskampTCSV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/GrieskampTCSV05
Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes:
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC 2005: 72-82
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GrieskampTS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrieskampTS06
Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications. SoftMC@CAV 2005: 3-26
2004
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/NachmansonVSTG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/NachmansonVSTG04
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
2003
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BarnettGNSTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BarnettGNSTV03
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/BarnettGSTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/BarnettGSTV03
Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
2002
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GrieskampGSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GrieskampGSV02
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Generating finite state machines from abstract state machines. ISSTA 2002: 112-122
2001
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/apaqs/GrieskampLST01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apaqs/GrieskampLST01
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann:
Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/phoenix/SchulteG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/phoenix/SchulteG91
Wolfram Schulte, Wolfgang Grieskamp:
Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming 1991: 239-252

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.