Author

Jürgen Ruf

Observed names: Jurgen Ruf, Ruf, Jürgen

Institutions: University of Augsburg, University of Tübingen

Observed institutions: Karlsruhe Institute of Technology, University of Augsburg, IBM (Germany), University of Tübingen

OpenAlex ID: A5110931111

SystemC: methodologies and applications

2003 · Wolfgang Müller, Wolfgang Rosenstiel, et al. · Kluwer Academic Publishers eBooks · 147

Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals

1997 · Jürgen Ruf, Thomas Kropf · IFIP advances in information and communication technology · 40

RAVEN: Real-Time Analyzing and Verification Environment

2020 · Jürgen Ruf · 32

An ASM Based SystemC Simulation Semantics

2006 · Wolfgang Müller, Jürgen Ruf, et al. · Kluwer Academic Publishers eBooks · 27

Structured English for Model Checking Specification.

2000 · Stephan Flake, Wolfgang Müller, et al. · 25

Modeling and Checking Networks of Communicating Real-Time Processes

1999 · Jürgen Ruf, Thomas Kropf · Lecture notes in computer science · 21

Verification of temporal properties in automotive embedded software

2008 · Djones Lettnin, Pradeep K. Nalla, et al. · Design, Automation, and Test in Europe · 17

Efficient and Customizable Integration of Temporal Properties into SystemC

2006 · Roland J. Weiss, Jürgen Ruf, et al. · Springer eBooks · 16

Bounded Property Checking with Symbolic Simulation.

2003 · Jürgen Ruf, Prakash Mohan Peranandam · 16

Coverage Driven Verification applied to Embedded Software

2007 · Djones Lettnin, Markus Winterholer, et al. · IEEE Computer Society Annual Symposium on VLSI · 15

Modeling and Formal Verification of Production Automation Systems

2004 · Jürgen Ruf, Roland J. Weiss, et al. · Lecture notes in computer science · 13

Using MTBDDs for Composition and Model Checking of Real-Time Systems

1998 · Jürgen Ruf, Thomas Kropf · Lecture notes in computer science · 13

Towards assertion-based verification of heterogeneous system designs

2010 · Stefan Lammermann, Jurgen Ruf, et al. · Design, Automation, and Test in Europe · 12

Semiformal verification of temporal properties in automotive hardware dependent software

2009 · Djones Lettnin, Pradeep K. Nalla, et al. · Design, Automation, and Test in Europe · 11

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.

2004 · Prakash Mohan Peranandam, Roland Weiß, et al. · MBMV · 10

Towards assertion-based verification of heterogeneous system designs

2010 · Stefan Lämmermann, Jürgen Ruf, et al. · Design, Automation, and Test in Europe · 9

Symbolic Verification and Analysis of Discrete Timed Systems

2003 · Jürgen Ruf, Thomas Kropf · Formal Methods in System Design · 9

Analyzing real-time systems

2000 · Jürgen Ruf, Thomas Kropf · Design, Automation, and Test in Europe · 9

Specification and Formal Verification of Temporal Properties of Production Automation Systems

2004 · Stephan Flake, Wolfgang Müller, et al. · Lecture notes in computer science · 8

Optimized Temporal Logic Compilation

2020 · Andreas Krebs, Jürgen Ruf · Zenodo (CERN European Organization for Nuclear Research) · 7

PDF

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

2017 · Stefan Huster, Jonas Ströbele, et al. · Lecture notes in computer science · 7

Verification of Temporal Properties in Automotive Embedded Software

2008 · Djones Lettnin, Pradeep K. Nalla, et al. · Design, Automation, and Test in Europe · 7

Using Symbolic Simulation for Bounded Property Checking.

2003 · Jürgen Ruf, Prakash Mohan Peranandam, et al. · 7

A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems.

1998 · Thomas Kröpf, Jürgen Ruf, et al. · 7

Scalable and Optimized Hybrid Verification of Embedded Software

2015 · Jörg Behrend, Djones Lettnin, et al. · Journal of Electronic Testing · 6

Works count: 78

Citation count: 547

H-index: 12

I10-index: 15