dblp.uni-trier.dewww.uni-trier.de

Harald Rueß Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
31EEMichael Paulitsch, Harald Rueß, Maria Sorea: Non-functional Avionics Requirements. ISoLA 2008: 369-384
2004
30EELeonardo Mendonça de Moura, Harald Rueß: An Experimental Evaluation of Ground Decision Procedures. CAV 2004: 162-174
29EELeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
28EEVu 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
27EELeonardo 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
26EELeonardo 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
25EEFelix Klaedtke, Harald Rueß: Monadic Second-Order Logics with Cardinalities. ICALP 2003: 681-696
24EEHarald Rueß, Leonardo Mendonça de Moura: Simulation and verification I: from simulation to verification (and back). Winter Simulation Conference 2003: 888-896
2002
23EELeonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455
22EENatarajan Shankar, Harald Rueß: Combining Shostak Theories. RTA 2002: 1-18
21EEM. Oliver Möller, Harald Rueß, Maria Sorea: Predicate Abstraction for Dense Real-Time System. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
2001
20EEJean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
19EEVé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
17EEAshish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
2000
16EEAshish 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
14EEJonathan K. Millen, Harald Rueß: Protocol-Independent Secrecy. IEEE Symposium on Security and Privacy 2000: 110-209
1999
13EEHolger 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
11EEM. Oliver Möller, Harald Rueß: Solving Bit-Vector Equations. FMCAD 1998: 36-48
10EEFriedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß: Case Studies in Meta-Level Theorem Proving. TPHOLs 1998: 461-478
1997
9EEDavid Cyrluk, M. Oliver Möller, Harald Rueß: An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV 1997: 60-71
8EEAxel 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
4EEHarald Rueß: Reflection of Formal Tactics in a Deductive Reflection Framework. CADE 1996: 628-642
3EEHarald 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)