Jrgen Ruf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
1997–2015
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SEFM | Efficient Testing of Different Loop Paths. | Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2014 | ICCSA | Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment. | Hanno Eichelberger, Jrgen Ruf, Thomas Kropf, Thomas Greiner, Wolfgang Rosenstiel |
| 2014 | SEFM | More Flexible Object Invariants with Less Specification Overhead. | Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jrgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel |
| 2011 | DATE | Scalable hybrid verification for embedded software. | Jrg Behrend, Djones Lettnin, Patrick Heckeler, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2010 | DATE | Towards assertion-based verification of heterogeneous system designs. | Stefan Lmmermann, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich |
| 2009 | DATE | Semiformal verification of temporal properties in automotive hardware dependent software. | Djones Lettnin, Pradeep Kumar Nalla, Jrg Behrend, Jrgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schnknecht, Stephan Reitemeyer |
| 2008 | DATE | Verification of Temporal Properties in Automotive Embedded Software. | Djones Lettnin, Pradeep Kumar Nalla, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schnknecht, Stephan Reitemeyer |
| 2007 | FDL | Grid Based Fast Falsification For Bounded Property Checking. | Pradeep Kumar Nalla, Jrg Behrend, Prakash Mohan Peranandam, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2006 | DAC | Fast falsification based on symbolic bounded property checking. | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jrgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel |
| 2005 | FDL | Efficient and Customizable Integration of Temporal Properties. | Roland Weiss, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
| 2003 | FDL | Using Symbolic Simulation for Bounded Property Checking. | Jrgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel |
| 2002 | ECRTS | Formal Data Analysis of Timed Finite State Systems. | Jrgen Ruf, Thomas Kropf |
| 2001 | DATE | The simulation semantics of systemC. | Jrgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Mller |
| 2001 | DATE | Simulation-guided property checking based on a multi-valued AR-automata. | Jrgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel |
| 2001 | WETICE | Customer-Oriented Systems Design through Virtual Prototypes. | Stephan Flake, Christian Geiger, Wolfgang Mller, Volker Paelke, Waldemar Rosenbach, Jrgen Ruf |
| 2000 | DATE | Analyzing Real-Time Systems. | Jrgen Ruf, Thomas Kropf |
| 2000 | FMCAD | Do You Trust Your Model Checker? | Wolfgang Reif, Jrgen Ruf, Gerhard Schellhorn, Tobias Vollmer |
| 1998 | FMCAD | Using MTBDDs for Compostion and Model Checking of Real-Time Systems. | Jrgen Ruf, Thomas Kropf |
| 1997 | DATE | Using MTBDDs for discrete timed symbolic model checking. | Thomas Kropf, Jrgen Ruf |