| SystemC: methodologies and applications W Müller, W Rosenstiel, J Ruf Springer Science & Business, 2007 | 201 | 2007 |
| The simulation semantics of SystemC W Mueller, J Ruf, D Hoffmann, J Gerlach, T Kropf, W Rosenstiehl Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001 | 159 | 2001 |
| Simulation-guided property checking based on multi-valued AR-automata J Ruf, DW Hoffmann, T Kropf, W Rosenstiel Proceedings Design, Automation and Test in Europe. Conference and Exhibition …, 2001 | 99 | 2001 |
| Symbolic model checking for a discrete clocked temporal logic with intervals J Ruf, T Kropf Advances in Hardware Design and Verification: IFIP TC10 WG10. 5 …, 1997 | 68 | 1997 |
| RAVEN: Real-time analyzing and verification environment J Ruf Universität Tübingen, 2000 | 47 | 2000 |
| Structured English for Model Checking Specification. S Flake, W Müller, J Ruf MBMV, 99-108, 2000 | 46 | 2000 |
| Modeling and checking networks of communicating real-time processes J Ruf, T Kropf Advanced Research Working Conference on Correct Hardware Design and …, 1999 | 43 | 1999 |
| An ASM based SystemC simulation semantics W Müller, J Ruf, W Rosenstiel SystemC: methodologies and applications, 97-126, 2003 | 36 | 2003 |
| Using MTBDDs for discrete timed symbolic model checking T Kropf, J Ruf Proceedings European Design and Test Conference. ED & TC 97, 182-187, 1997 | 29 | 1997 |
| Efficient and customizable integration of temporal properties into SystemC RJ Weiss, J Ruf, T Kropf, W Rosenstiel Applications of Specification and Design Languages for SoCs: Selected papers …, 2006 | 28 | 2006 |
| Towards assertion-based verification of heterogeneous system designs S Lammermann, J Ruf, T Kropf, W Rosenstiel, A Viehl, A Jesser, ... 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 26 | 2010 |
| Verification of temporal properties in automotive embedded software D Lettnin, PK Nalla, J Ruf, T Kropf, W Rosenstiel, T Kirsten, ... Proceedings of the conference on Design, automation and test in Europe, 164-169, 2008 | 23 | 2008 |
| Using MTBDDs for composition and model checking of real-time systems J Ruf, T Kropf International Conference on Formal Methods in Computer-Aided Design, 185-202, 1998 | 21 | 1998 |
| Bounded Property Checking with Symbolic Simulation. J Ruf, PM Peranandam, T Kropf, W Rosenstiel MBMV, 209-218, 2003 | 20 | 2003 |
| Semiformal verification of temporal properties in automotive hardware dependent software D Lettnin, PK Nalla, J Behrend, J Ruf, J Gerlach, T Kropf, W Rosenstiel, ... 2009 Design, Automation & Test in Europe Conference & Exhibition, 1214-1217, 2009 | 19 | 2009 |
| Coverage driven verification applied to embedded software D Lettnin, M Winterholer, A Braun, J Gerlach, J Ruf, T Kropf, W Rosenstiel IEEE Computer Society Annual Symposium on VLSI (ISVLSI'07), 159-164, 2007 | 16 | 2007 |
| Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. PM Peranandam, RJ Weiss, J Ruf, T Kropf MBMV, 260-269, 2004 | 16 | 2004 |
| Modeling and formal verification of production automation systems J Ruf, RJ Weiss, T Kropf, W Rosenstiel Integration of Software Specification Techniques for Applications in …, 2004 | 16 | 2004 |
| Code analysis for simulation efficiency improvement C Greiner, J Kayser, RA Matayambath, JM Ruf US Patent 9,069,574, 2015 | 15 | 2015 |
| Do you trust your model checker? W Reif, J Ruf, G Schellhorn, T Vollmer Formal Methods in Computer-Aided Design: Third International Conference …, 2000 | 15 | 2000 |
Thomas KropfEVP Robert Bosch GmbH, Stuttgart, and Professor of Computer Science, University of TuebingenVerified email at uni-tuebingen.de
