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 Thomas Santen

> Home > Persons > Wolfram Schulte

Publications

2009
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev:
Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DahlweidMSTS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DahlweidMSTS09
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/JacksonSDSBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/JacksonSDSBS09
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte:
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS 2009: 72-89
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/CohenDHLMSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/CohenDHLMSST09
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies:
VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42

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.