Harald Rueß

2008
31	EE	Michael Paulitsch, Harald Rueß, Maria Sorea: Non-functional Avionics Requirements. ISoLA 2008: 369-384
2004
30	EE	Leonardo Mendonça de Moura, Harald Rueß: An Experimental Evaluation of Ground Decision Procedures. CAV 2004: 162-174
29	EE	Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
28	EE	Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre: Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE 2004: 304-313
27	EE	Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar: The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222
2003
26	EE	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV 2003: 14-26
25	EE	Felix Klaedtke, Harald Rueß: Monadic Second-Order Logics with Cardinalities. ICALP 2003: 681-696
24	EE	Harald Rueß, Leonardo Mendonça de Moura: Simulation and verification I: from simulation to verification (and back). Winter Simulation Conference 2003: 888-896
2002
23	EE	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455
22	EE	Natarajan Shankar, Harald Rueß: Combining Shostak Theories. RTA 2002: 1-18
21	EE	M. Oliver Möller, Harald Rueß, Maria Sorea: Predicate Abstraction for Dense Real-Time System. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
2001
20	EE	Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
19	EE	Véronique Cortier, Jonathan K. Millen, Harald Rueß: Proving Secrecy is Easy Enough. CSFW 2001: 97-
18		Harald Rueß, Natarajan Shankar: Deconstructing Shostak. LICS 2001: 19-28
17	EE	Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
2000
16		Ashish Tiwari, Leo Bachmair, Harald Rueß: Rigid E-Unification Revisited. CADE 2000: 220-234
15		Sam Owre, Harald Rueß: Integrating WS1S with PVS. CAV 2000: 548-551
14	EE	Jonathan K. Millen, Harald Rueß: Protocol-Independent Secrecy. IEEE Symposium on Security and Privacy 2000: 110-209
1999
13	EE	Holger Pfeifer, Harald Rueß: Polytypic Proof Construction. TPHOLs 1999: 55-72
12		Harald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. Formal Methods in System Design 14(1): 45-73 (1999)
1998
11	EE	M. Oliver Möller, Harald Rueß: Solving Bit-Vector Equations. FMCAD 1998: 36-48
10		Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß: Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478
1997
9		David Cyrluk, M. Oliver Möller, Harald Rueß: An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV 1997: 60-71
8		Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß: Formal Verification of Transformations for Peephole Optimization. FME 1997: 459-472
7		Mandayam K. Srivas, Harald Rueß, David Cyrluk: Hardware Verification Using PVS. Formal Hardware Verification 1997: 156-205
6		Harald Rueß: Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. TLCA 1997: 319-335
1996
5		Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB Specification and Verification Environment. AMAST 1996: 604-607
4		Harald Rueß: Reflection of Formal Tactics in a Deductive Reflection Framework. CADE 1996: 628-642
3		Harald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. CAV 1996: 123-134
2		Harald Rueß: Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. FMCAD 1996: 79-93
1995
1		Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and Deduction Methods for the Formal Development of Software. KORSO Book 1995: 239-254

Coauthor Index

1	Leo Bachmair	[16]
2	Darren D. Cofer	[28]
3	Véronique Cortier	[19]
4	David Cyrluk	[7] [9]
5	Axel Dold	[1] [8]
6	Bruno Dutertre	[28]
7	Jean-Christophe Filliâtre	[20]
8	Vu Ha	[28]
9	Friedrich W. von Henke	[1] [5] [8] [10]
10	Felix Klaedtke	[25]
11	Marko Luther	[5]
12	Jonathan K. Millen	[14] [19]
13	M. Oliver Möller	[9] [11] [21]
14	Leonardo Mendonça de Moura	[23] [24] [26] [27] [29] [30]
15	Sam Owre	[15] [20] [27] [29]
16	Michael Paulitsch	[31]
17	Stephan Pfab	[10]
18	Holger Pfeifer	[5] [8] [10] [13]
19	Murali Rangarajan	[28]
20	John M. Rushby	[27] [29]
21	Hassen Saïdi	[17]
22	Detlef Schwier	[1] [5]
23	Natarajan Shankar	[3] [12] [17] [18] [20] [22] [27] [29]
24	Maria Sorea	[21] [23] [26] [29] [31]
25	Mandayam K. Srivas	[3] [7] [12]
26	Martin Strecker	[5]
27	Ashish Tiwari	[16] [17] [29]
28	Matthias Wagner	[5]

Colors in the list of coauthors