Jürgen Ruf

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 Dirk W. Hoffmann

> Home > Persons > Jürgen Ruf

Publications

2001
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RufHGKRM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RufHGKRM01
Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller:
The simulation semantics of systemC. DATE 2001: 64-70
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RufHKR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RufHKR01
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel:
Simulation-guided property checking based on a multi-valued AR-automata. DATE 2001: 742-748
2000
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/HoffmannRKR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/HoffmannRKR00
Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO 2000: 1435-
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/RufHKR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/RufHKR00
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel:
Checking temporal properties under simulation of executable system descriptions. HLDVT 2000: 161-166

a service of

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.