Jürgen Ruf

	2009
28		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: 1214-1217
	2008
27		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: 164-169
26		Alexander Jesser, Stefan Laemmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008)
	2007
25		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: 299-304
24		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: 159-164
	2006
23		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: 1077-1082
22		Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. Electr. Notes Theor. Comput. Sci. 135(2): 47-63 (2006)
	2005
21		Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Efficient and Customizable Integration of Temporal Properties. FDL 2005: 385-397
	2004
20		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: 206-226
19		Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report 2004: 541-566
	2003
18		Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel: Using Symbolic Simulation for Bounded Property Checking. FDL 2003: 374-385
17		Jürgen Ruf, Thomas Kropf: Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods in System Design 23(1): 67-108 (2003)
16		Andreas Krebs, Jürgen Ruf: Optimized Temporal Logic Compilation. J. UCS 9(2): 120-137 (2003)
	2002
15		Jürgen Ruf, Thomas Kropf: Formal Data Analysis of Timed Finite State Systems. ECRTS 2002: 257-
14		Jürgen Ruf, Thomas Kropf, Jochen Klose: A Visual Approach to Validating System Level Designs. ISSS 2002: 186-191
	2001
13		Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller: The simulation semantics of systemC. DATE 2001: 64-70
12		Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel: Simulation-guided property checking based on a multi-valued AR-automata. DATE 2001: 742-748
11		Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf: Customer-Oriented Systems Design through Virtual Prototypes. WETICE 2001: 263-268
10		Jürgen Ruf: RAVEN: Real-Time Analyzing and Verification Environment. J. UCS 7(1): 89-104 (2001)
9		Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf: Correctness of Efficient Real-Time Model Checking. J. UCS 7(2): 194-209 (2001)
	2000
8		Jürgen Ruf, Thomas Kropf: Analyzing Real-Time Systems. DATE 2000: 243-
7		Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO 2000: 1435-
6		Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196
	1999
5		Jürgen Ruf, Thomas Kropf: Modleing and Checking Networks of Communicating Real-Time Process. CHARME 1999: 265-279
	1998
4		Jürgen Ruf, Thomas Kropf: Using MTBDDs for Compostion and Model Checking of Real-Time Systems. FMCAD 1998: 185-202
	1997
3		Jürgen Ruf, Thomas Kropf: Symbolic model checking for a discrete clocked temporal logic with intervals. CHARME 1997: 146-163
2		Thomas Kropf, Jürgen Ruf: Using MTBDDs for discrete timed symbolic model checking. ED&TC 1997: 182-187
1		Jürgen Ruf, Thomas Kropf: A New Algorithm for Discrete Timed Symbolic Model Checking. HART 1997: 18-32

Coauthor Index

1	Jörg Behrend	[25] [28]
2	Axel G. Braun	[24]
3	Wolfgang Fengler	[26]
4	Stephan Flake	[11] [20]
5	Christian Geiger	[11]
6	Joachim Gerlach	[13] [24] [28]
7	Lars Hedrich	[26]
8	Dirk W. Hoffmann	[7] [12] [13]
9	Alexander Jesser	[26]
10	Tobias Kirsten	[27]
11	Jochen Klose	[14]
12	Andreas Krebs	[16]
13	Thomas Kropf	[1] [2] [3] [4] [5] [7] [8] [12] [13] [14] [15] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28]
14	Stefan Laemmermann	[26]
15	Djones Lettnin	[24] [27] [28]
16	Wolfgang Müller	[11] [13] [20]
17	Pradeep Kumar Nalla	[22] [23] [25] [27] [28]
18	Alexander Pacholik	[26]
19	Volker Paelke	[11]
20	Ulrich Pape	[20]
21	Prakash Mohan Peranandam	[18] [22] [23] [25]
22	Wolfgang Reif	[6] [9]
23	Stephan Reitemeyer	[27] [28]
24	Waldemar Rosenbach	[11]
25	Wolfgang Rosenstiel	[7] [12] [13] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28]
26	Gerhard Schellhorn	[6] [9]
27	Volker Schönknecht	[27] [28]
28	Tobias Vollmer	[6] [9]
29	Roland J. Weiss (Roland Weiss)	[19] [21] [22] [23] [26]
30	Markus Winterholer	[24]

Colors in the list of coauthors