Jürgen Ruf

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 1

Top Venues

MBMV

SEFM

ICTSS

J. Electron. Test.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. ICTSS (2017)
Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient Testing of Different Loop Paths. SEFM (2015)
Hanno Eichelberger, Thomas Kropf, Jürgen Ruf, Thomas Greiner, Wolfgang Rosenstiel
Efficient Fault Localization During Replay of Embedded Software. EUROMICRO-SEAA (2015)
Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Optimized Hybrid Verification of Embedded Software. J. Electron. Test. 31 (2) (2015)
Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV (2014)
Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Optimized hybrid verification of embedded software. LATW (2014)
Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
More Flexible Object Invariants with Less Specification Overhead. SEFM (2014)
Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV (2014)
Hanno Eichelberger, Jürgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel
Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. ICCSA (5) (2014)
Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV (2014)
Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV (2013)
Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
A Software Testing Framework to Integrate Formal Verification Results. MBMV (2013)
Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin
Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV (2012)
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)
Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable hybrid verification for embedded software. DATE (2011)
Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable and Extendable Hybrid Verification Platform. MBMV (2011)
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)
Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich
Towards assertion-based verification of heterogeneous system designs. DATE (2010)
Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
Semiformal verification of temporal properties in automotive hardware dependent software. DATE (2009)
Thomas Schlipf, Markus M. Helms, Jürgen Ruf, M. Klein, Rainer Dorsch, B. Hoppe, Walter Lipponer, S. Boekholt, T. Rower, Manfred H. Walz, S. Junghans
Design and verification of the IBM System z10 I/O subsystem chips. IBM J. Res. Dev. 53 (1) (2009)
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer
Verification of Temporal Properties in Automotive Embedded Software. DATE (2008)
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. (12) (2008)
Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Coverage Driven Verification applied to Embedded Software. ISVLSI (2007)
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)
Rainer Dorsch, Jürgen Ruf
Transaction Modeling and RTL Simulation Analysis. MBMV (2007)
Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Grid Based Fast Falsification For Bounded Property Checking. FDL (2007)
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)
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)
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Distributed Symbolic Bounded Property Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. MBMV (2006)
Paul Duplys, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Monitoring-based Formal Hardware Verification. MBMV (2006)
Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient and Customizable Integration of Temporal Properties. FDL (2005)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Overlap reduction in symbolic system traversal. HLDVT (2005)
Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
Specification and Formal Verification of Temporal Properties of Production Automation Systems. SoftSpez Final Report (2004)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Dynamic guiding of bounded property checking. HLDVT (2004)
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report (2004)
Prakash Mohan Peranandam, Roland J. Weiss, Jürgen Ruf, Thomas Kropf
Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. MBMV (2004)
Andreas Krebs, Jürgen Ruf
Optimized Temporal Logic Compilation. J. Univers. Comput. Sci. 9 (2) (2003)
Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel
Using Symbolic Simulation for Bounded Property Checking. FDL (2003)
Jürgen Ruf, Thomas Kropf
Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods Syst. Des. 23 (1) (2003)
Jürgen Ruf, Prakash Mohan Peranandam
Bounded Property Checking with Symbolic Simulation. MBMV (2003)
Jürgen Ruf, Thomas Kropf, Jochen Klose
A Visual Approach to Validating System Level Designs. ISSS (2002)
Jürgen Ruf, Thomas Kropf
Formal Data Analysis of Timed Finite State Systems. ECRTS (2002)
Jürgen Ruf, Thomas Kropf
Combination of Simulation and Formal Verification. MBMV (2002)
Jürgen Ruf
RAVEN: Real-Time Analyzing and Verification Environment. J. Univers. Comput. Sci. 7 (1) (2001)
Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller
The simulation semantics of systemC. DATE (2001)
Jürgen Ruf
Data Analysis of Timed Finite State Systems. MBMV (1) (2001)
Jürgen Ruf, Thomas Kropf
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). Informationstechnik Tech. Inform. 43 (1) (2001)
Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf
Customer-Oriented Systems Design through Virtual Prototypes. WETICE (2001)
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Simulation-guided property checking based on a multi-valued AR-automata. DATE (2001)
Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
Correctness of Efficient Real-Time Model Checking. J. Univers. Comput. Sci. 7 (2) (2001)
Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO (2000)
Jürgen Ruf, Thomas Kropf
Analyzing Real-Time Systems. DATE (2000)
Jürgen Ruf
A Toolset for the Symbolic Examination of Finite State Transition Systems. MBMV (2000)
Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer
Do You Trust Your Model Checker? FMCAD (2000)
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Checking temporal properties under simulation of executable system descriptions. HLDVT (2000)
Stephan Flake, Wolfgang Müller, Jürgen Ruf
Structured English for Model Checking Specification. MBMV (2000)
Jürgen Ruf, Thomas Kropf
Modleing and Checking Networks of Communicating Real-Time Process. CHARME (1999)
Jürgen Ruf, Thomas Kropf
Modeling Real-Time Systems with I/O-Interval Structures. MBMV (1999)
Jürgen Ruf, Thomas Kropf
Using MTBDDs for Compostion and Model Checking of Real-Time Systems. FMCAD (1998)
Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild
A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. MBMV (1998)
Jürgen Ruf, Thomas Kropf
A New Algorithm for Discrete Timed Symbolic Model Checking. HART (1997)
Thomas Kropf, Jürgen Ruf
Using MTBDDs for discrete timed symbolic model checking. ED&TC (1997)
Jürgen Ruf, Thomas Kropf
Symbolic model checking for a discrete clocked temporal logic with intervals. CHARME (1997)

Jürgen Ruf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jürgen Ruf