Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Roland J. Weiss

> Home > Persons > Jürgen Ruf

Publications

2011
[j8]
- view
  - electronic edition @ uni-siegen.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/HeckelerBRKRW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/HeckelerBRKRW11
Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss:
DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends 31(3) (2011)
2010
[c40]
- view
- export record
  dblp key:
  - conf/fmam/HeckelerBKRRW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmam/HeckelerBKRRW10
Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss:
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. FM+AM 2010: 49-62
2008
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/JesserLPWRHFKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/JesserLPWRHFKR08
Alexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel:
Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(12): 3548-3555 (2008)
2007
[c34]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/LettninNRWBGKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/LettninNRWBGKR07
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel:
Semiformal Verification of Temporal Properties in Embedded Software. MBMV 2007: 19-28
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/LammermannBWRKR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/LammermannBWRKR07
Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV 2007: 29-38
2006
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PeranandamNRWKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PeranandamNRWKR06
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
Fast falsification based on symbolic bounded property checking. DAC 2006: 1077-1082
[c31]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/DuplysWRKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DuplysWRKR06
Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Monitoring-based Formal Hardware Verification. MBMV 2006: 217-221
[c30]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/LammermannWRKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/LammermannWRKR06
Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV 2006: 222-226
2005
[c29]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/WeissRKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/WeissRKR05
Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Efficient and Customizable Integration of Temporal Properties. FDL 2005: 385-397
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/PeranandamNWRKR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/PeranandamNWRKR05
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Overlap reduction in symbolic system traversal. HLDVT 2005: 145-152
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NallaWPRKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NallaWPRKR06
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Distributed Symbolic Bounded Property Checking. PDMC@ICALP 2005: 47-63
2004
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/RufWKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/RufWKR04
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report 2004: 541-566
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/PeranandamWRKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/PeranandamWRKR04
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Dynamic guiding of bounded property checking. HLDVT 2004: 15-18
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/PeranandamWRK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/PeranandamWRK04
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf:
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV 2004: 260-269

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.