Jürgen Ruf

2008
26	EE	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schonknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169
2007
25	EE	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	EE	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	EE	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	EE	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	EE	Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Efficient and Customizable Integration of Temporal Properties. FDL 2005: 385-397
2004
20	EE	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	EE	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	EE	Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel: Using Symbolic Simulation for Bounded Property Checking. FDL 2003: 374-385
17	EE	Jürgen Ruf, Thomas Kropf: Symbolic Verification and Analysis of Discrete Timed Systems. Formal Methods in System Design 23(1): 67-108 (2003)
16	EE	Andreas Krebs, Jürgen Ruf: Optimized Temporal Logic Compilation. J. UCS 9(2): 120-137 (2003)
2002
15	EE	Jürgen Ruf, Thomas Kropf: Formal Data Analysis of Timed Finite State Systems. ECRTS 2002: 257-
14	EE	Jürgen Ruf, Thomas Kropf, Jochen Klose: A Visual Approach to Validating System Level Designs. ISSS 2002: 186-191
2001
13	EE	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	EE	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	EE	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	EE	Jürgen Ruf: RAVEN: Real-Time Analyzing and Verification Environment. J. UCS 7(1): 89-104 (2001)
9	EE	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	EE	Jürgen Ruf, Thomas Kropf: Analyzing Real-Time Systems. DATE 2000: 243-
7	EE	Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO 2000: 1435-
6	EE	Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196
1999
5	EE	Jürgen Ruf, Thomas Kropf: Modleing and Checking Networks of Communicating Real-Time Process. CHARME 1999: 265-279
1998
4	EE	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	EE	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]
2	Axel G. Braun	[24]
3	Stephan Flake	[11] [20]
4	Christian Geiger	[11]
5	Joachim Gerlach	[13] [24]
6	Dirk W. Hoffmann	[7] [12] [13]
7	Tobias Kirsten	[26]
8	Jochen Klose	[14]
9	Andreas Krebs	[16]
10	Thomas Kropf	[1] [2] [3] [4] [5] [7] [8] [12] [13] [14] [15] [17] [18] [19] [21] [22] [23] [24] [25] [26]
11	Djones Lettnin	[24] [26]
12	Wolfgang Müller	[11] [13] [20]
13	Pradeep Kumar Nalla	[22] [23] [25] [26]
14	Volker Paelke	[11]
15	Ulrich Pape	[20]
16	Prakash Mohan Peranandam	[18] [22] [23] [25]
17	Wolfgang Reif	[6] [9]
18	Stephan Reitemeyer	[26]
19	Waldemar Rosenbach	[11]
20	Wolfgang Rosenstiel	[7] [12] [13] [18] [19] [21] [22] [23] [24] [25] [26]
21	Gerhard Schellhorn	[6] [9]
22	Volker Schonknecht	[26]
23	Tobias Vollmer	[6] [9]
24	Roland J. Weiss (Roland Weiss)	[19] [21] [22] [23]
25	Markus Winterholer	[24]

Colors in the list of coauthors