Search the dblp DataBase
Harald Rueß: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
The TYPELAB Specification and Verification Environment. [Citation Graph (0, 0)][DBLP]
AMAST, 1996, pp:604-607 [Conf] - Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
The ICS Decision Procedures for Embedded Deduction. [Citation Graph (0, 0)][DBLP]
IJCAR, 2004, pp:218-222 [Conf] - Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. [Citation Graph (0, 0)][DBLP]
CADE, 2002, pp:438-455 [Conf] - Harald Rueß
Reflection of Formal Tactics in a Deductive Reflection Framework. [Citation Graph (0, 0)][DBLP]
CADE, 1996, pp:628-642 [Conf] - Ashish Tiwari, Leo Bachmair, Harald Rueß
Rigid E-Unification Revisited. [Citation Graph (0, 0)][DBLP]
CADE, 2000, pp:220-234 [Conf] - David Cyrluk, M. Oliver Möller, Harald Rueß
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. [Citation Graph (0, 0)][DBLP]
CAV, 1997, pp:60-71 [Conf] - Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
ICS: Integrated Canonizer and Solver. [Citation Graph (0, 0)][DBLP]
CAV, 2001, pp:246-249 [Conf] - Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
SAL 2. [Citation Graph (0, 0)][DBLP]
CAV, 2004, pp:496-500 [Conf] - Leonardo Mendonça de Moura, Harald Rueß
An Experimental Evaluation of Ground Decision Procedures. [Citation Graph (0, 0)][DBLP]
CAV, 2004, pp:162-174 [Conf] - Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:14-26 [Conf] - Sam Owre, Harald Rueß
Integrating WS1S with PVS. [Citation Graph (0, 0)][DBLP]
CAV, 2000, pp:548-551 [Conf] - Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
CAV, 1996, pp:123-134 [Conf] - Véronique Cortier, Jonathan K. Millen, Harald Rueß
Proving Secrecy is Easy Enough. [Citation Graph (0, 0)][DBLP]
CSFW, 2001, pp:97-0 [Conf] - Mandayam K. Srivas, Harald Rueß, David Cyrluk
Hardware Verification Using PVS. [Citation Graph (0, 0)][DBLP]
Formal Hardware Verification, 1997, pp:156-205 [Conf] - Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
Formal Verification of Transformations for Peephole Optimization. [Citation Graph (0, 0)][DBLP]
FME, 1997, pp:459-472 [Conf] - M. Oliver Möller, Harald Rueß
Solving Bit-Vector Equations. [Citation Graph (0, 0)][DBLP]
FMCAD, 1998, pp:36-48 [Conf] - Harald Rueß
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. [Citation Graph (0, 0)][DBLP]
FMCAD, 1996, pp:79-93 [Conf] - Felix Klaedtke, Harald Rueß
Monadic Second-Order Logics with Cardinalities. [Citation Graph (0, 0)][DBLP]
ICALP, 2003, pp:681-696 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
ICSE, 2004, pp:304-313 [Conf] - Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier
Construction and Deduction Methods for the Formal Development of Software. [Citation Graph (0, 0)][DBLP]
KORSO Book, 1995, pp:239-254 [Conf] - Harald Rueß, Natarajan Shankar
Deconstructing Shostak. [Citation Graph (0, 0)][DBLP]
LICS, 2001, pp:19-28 [Conf] - Natarajan Shankar, Harald Rueß
Combining Shostak Theories. [Citation Graph (0, 0)][DBLP]
RTA, 2002, pp:1-18 [Conf] - Jonathan K. Millen, Harald Rueß
Protocol-Independent Secrecy. [Citation Graph (0, 0)][DBLP]
IEEE Symposium on Security and Privacy, 2000, pp:110-209 [Conf] - Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
A Technique for Invariant Generation. [Citation Graph (0, 0)][DBLP]
TACAS, 2001, pp:113-127 [Conf] - Harald Rueß
Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. [Citation Graph (0, 0)][DBLP]
TLCA, 1997, pp:319-335 [Conf] - Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
Case Studies in Meta-Level Theorem Proving. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:461-478 [Conf] - Holger Pfeifer, Harald Rueß
Polytypic Proof Construction. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1999, pp:55-72 [Conf] - Harald Rueß, Leonardo Mendonça de Moura
Simulation and verification I: from simulation to verification (and back). [Citation Graph (0, 0)][DBLP]
Winter Simulation Conference, 2003, pp:888-896 [Conf] - M. Oliver Möller, Harald Rueß, Maria Sorea
Predicate Abstraction for Dense Real-Time System. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal] - Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1999, v:14, n:1, pp:45-73 [Journal]
Non-functional Avionics Requirements. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002