Symbolic model checking for a discrete clocked temporal logic with intervals. - Jürgen Ruf; Thomas Kropf (CHARME, 1997)

Using MTBDDs for discrete timed symbolic model checking. - Thomas Kropf; Jürgen Ruf (ED&TC, 1997)

A New Algorithm for Discrete Timed Symbolic Model Checking. - Jürgen Ruf; Thomas Kropf (HART, 1997)

Using MTBDDs for Compostion and Model Checking of Real-Time Systems. - Jürgen Ruf; Thomas Kropf (FMCAD, 1998)

A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. - Thomas Kropf; Jürgen Ruf; Klaus Schneider 001; Markus Wild (MBMV, 1998)

Modleing and Checking Networks of Communicating Real-Time Process. - Jürgen Ruf; Thomas Kropf (CHARME, 1999)

Modeling Real-Time Systems with I/O-Interval Structures. - Jürgen Ruf; Thomas Kropf (MBMV, 1999)

Analyzing Real-Time Systems. - Jürgen Ruf; Thomas Kropf (DATE, 2000)

Simulation Meets Verification: Checking Temporal Properties in SystemC. - Dirk W. Hoffmann; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (EUROMICRO, 2000)

Do You Trust Your Model Checker? - Wolfgang Reif; Jürgen Ruf; Gerhard Schellhorn; Tobias Vollmer (FMCAD, 2000)

Checking temporal properties under simulation of executable system descriptions. - Jürgen Ruf; Dirk W. Hoffmann; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2000)

Structured English for Model Checking Specification. - Stephan Flake; Wolfgang Müller 003; Jürgen Ruf (MBMV, 2000)

A Toolset for the Symbolic Examination of Finite State Transition Systems. - Jürgen Ruf (MBMV, 2000)

Techniken zur Modellierung und Verifikation von Echtzeitsystemen. - Jürgen Ruf (Logos-Verlag, 2000)

The simulation semantics of systemC. - Jürgen Ruf; Dirk W. Hoffmann; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Wolfgang Müller 003 (DATE, 2001)

Simulation-guided property checking based on a multi-valued AR-automata. - Jürgen Ruf; Dirk W. Hoffmann; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2001)

Data Analysis of Timed Finite State Systems. - Jürgen Ruf (MBMV (1), 2001)

Customer-Oriented Systems Design through Virtual Prototypes. - Stephan Flake; Christian Geiger 001; Wolfgang Müller 003; Volker Paelke; Waldemar Rosenbach; Jürgen Ruf (WETICE, 2001)

Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). - Jürgen Ruf; Thomas Kropf (Informationstechnik Tech. Inform., 2001)

Correctness of Efficient Real-Time Model Checking. - Wolfgang Reif; Gerhard Schellhorn; Tobias Vollmer; Jürgen Ruf (J. Univers. Comput. Sci., 2001)

RAVEN: Real-Time Analyzing and Verification Environment. - Jürgen Ruf (J. Univers. Comput. Sci., 2001)

Formal Data Analysis of Timed Finite State Systems. - Jürgen Ruf; Thomas Kropf (ECRTS, 2002)

A Visual Approach to Validating System Level Designs. - Jürgen Ruf; Thomas Kropf; Jochen Klose (ISSS, 2002)

Combination of Simulation and Formal Verification. - Jürgen Ruf; Thomas Kropf (MBMV, 2002)

Using Symbolic Simulation for Bounded Property Checking. - Jürgen Ruf; Prakash Mohan Peranandam; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2003)

Bounded Property Checking with Symbolic Simulation. - Jürgen Ruf; Prakash Mohan Peranandam (MBMV, 2003)

Symbolic Verification and Analysis of Discrete Timed Systems. - Jürgen Ruf; Thomas Kropf (Formal Methods Syst. Des., 2003)

Optimized Temporal Logic Compilation. - Andreas Krebs; Jürgen Ruf (J. Univers. Comput. Sci., 2003)

Specification and Formal Verification of Temporal Properties of Production Automation Systems. - Stephan Flake; Wolfgang Müller 003; Ulrich Pape; Jürgen Ruf (SoftSpez Final Report, 2004)

Modeling and Formal Verification of Production Automation Systems. - Jürgen Ruf; Roland J. Weiss; Thomas Kropf; Wolfgang Rosenstiel (SoftSpez Final Report, 2004)

Dynamic guiding of bounded property checking. - Prakash Mohan Peranandam; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2004)

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. - Prakash Mohan Peranandam; Roland J. Weiss; Jürgen Ruf; Thomas Kropf (MBMV, 2004)

Efficient and Customizable Integration of Temporal Properties. - Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2005)

Overlap reduction in symbolic system traversal. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2005)

Distributed Symbolic Bounded Property Checking. - Pradeep Kumar Nalla; Roland J. Weiss; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (PDMC@ICALP, 2005)

Fast falsification based on symbolic bounded property checking. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Thomas Kropf; Wolfgang Rosenstiel (DAC, 2006)

Monitoring-based Formal Hardware Verification. - Paul Duplys; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2006)

Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. - Stefan Lämmermann; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2006)

Grid Based Fast Falsification For Bounded Property Checking. - Pradeep Kumar Nalla; Jörg Behrend; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2007)

Coverage Driven Verification applied to Embedded Software. - Djones Lettnin; Markus Winterholer; Axel G. Braun; Joachim Gerlach; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ISVLSI, 2007)

Transaction Modeling and RTL Simulation Analysis. - Rainer Dorsch; Jürgen Ruf (MBMV, 2007)

UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. - Stefan Lämmermann; Jörg Behrend; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Semiformal Verification of Temporal Properties in Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Axel G. Braun; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Verification of Temporal Properties in Automotive Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Tobias Kirsten; Volker Schönknecht; Stephan Reitemeyer (DATE, 2008)

Advanced Assertion-Based Design for Mixed-Signal Verification. - Alexander Jesser; Stefan Lämmermann; Alexander Pacholik; Roland Weiss; Jürgen Ruf; Lars Hedrich; Wolfgang Fengler 001; Thomas Kropf; Wolfgang Rosenstiel (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Semiformal verification of temporal properties in automotive hardware dependent software. - Djones Lettnin; Pradeep Kumar Nalla; Jörg Behrend; Jürgen Ruf; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Volker Schönknecht; Stephan Reitemeyer (DATE, 2009)

Design and verification of the IBM System z10 I/O subsystem chips. - 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 (IBM J. Res. Dev., 2009)

Towards assertion-based verification of heterogeneous system designs. - Stefan Lämmermann; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Alexander Viehl; Alexander Jesser; Lars Hedrich (DATE, 2010)

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. - Patrick Heckeler; Jörg Behrend; Thomas Kropf; Jürgen Ruf; Wolfgang Rosenstiel; Roland J. Weiss (FM+AM, 2010)

Scalable hybrid verification for embedded software. - Jörg Behrend; Djones Lettnin; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (DATE, 2011)

Scalable and Extendable Hybrid Verification Platform. - Jörg Behrend; Patrick Heckeler; Stefan Huster; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2011)

DWARF-driven Equivalence Checking of UML Statecharts and Software Components. - Patrick Heckeler; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Roland Weiss (Softwaretechnik-Trends, 2011)

Optimized Static Parameter Assignment for Semiformal Software Verification. - Alexander Grünhage; Jörg Behrend; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Djones Lettnin (MBMV, 2012)

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. - Hanno Eichelberger; Patrick Heckeler; Stefan Huster; Sebastian Burg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Bastian Schlich (MBMV, 2013)

A Software Testing Framework to Integrate Formal Verification Results. - Stefan Huster; Patrick Heckeler; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2013)

Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. - Hanno Eichelberger; Jürgen Ruf; Thomas Kropf; Thomas Greiner; Wolfgang Rosenstiel (ICCSA (5), 2014)

Optimized hybrid verification of embedded software. - Jörg Behrend; Alexander Grünhage; Douglas Schroeder; Djones Lettnin; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (LATW, 2014)

LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. - Sebastian Burg; Patrick Heckeler; Stefan Huster; Hanno Eichelberger; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Oliver Bringmann 001 (MBMV, 2014)

Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. - Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Stefan Huster; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel; Thomas Greiner (MBMV, 2014)

Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. - Stefan Huster; Merdin Macic; Sebastian Burg; Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2014)

More Flexible Object Invariants with Less Specification Overhead. - Stefan Huster; Patrick Heckeler; Hanno Eichelberger; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2014)

Efficient Fault Localization During Replay of Embedded Software. - Hanno Eichelberger; Thomas Kropf; Jürgen Ruf; Thomas Greiner; Wolfgang Rosenstiel (EUROMICRO-SEAA, 2015)

Efficient Testing of Different Loop Paths. - Stefan Huster; Sebastian Burg; Hanno Eichelberger; Jo Laufenberg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2015)

Scalable and Optimized Hybrid Verification of Embedded Software. - Jörg Behrend; Djones Lettnin; Alexander Grünhage; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (J. Electron. Test., 2015)

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. - Stefan Huster; Jonas Ströbele; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ICTSS, 2017)