Jürgen Ruf

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