The SCEAS System
Navigation Menu

Search the dblp DataBase


Harald Rueß: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Harald Rueß
    Reflection of Formal Tactics in a Deductive Reflection Framework. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:628-642 [Conf]
  5. Ashish Tiwari, Leo Bachmair, Harald Rueß
    Rigid E-Unification Revisited. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:220-234 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Sam Owre, Harald Rueß
    Integrating WS1S with PVS. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:548-551 [Conf]
  12. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
    Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:123-134 [Conf]
  13. Véronique Cortier, Jonathan K. Millen, Harald Rueß
    Proving Secrecy is Easy Enough. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:97-0 [Conf]
  14. Mandayam K. Srivas, Harald Rueß, David Cyrluk
    Hardware Verification Using PVS. [Citation Graph (0, 0)][DBLP]
    Formal Hardware Verification, 1997, pp:156-205 [Conf]
  15. 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]
  16. M. Oliver Möller, Harald Rueß
    Solving Bit-Vector Equations. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:36-48 [Conf]
  17. 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]
  18. Felix Klaedtke, Harald Rueß
    Monadic Second-Order Logics with Cardinalities. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:681-696 [Conf]
  19. 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]
  20. 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]
  21. Harald Rueß, Natarajan Shankar
    Deconstructing Shostak. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:19-28 [Conf]
  22. Natarajan Shankar, Harald Rueß
    Combining Shostak Theories. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:1-18 [Conf]
  23. Jonathan K. Millen, Harald Rueß
    Protocol-Independent Secrecy. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2000, pp:110-209 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. Holger Pfeifer, Harald Rueß
    Polytypic Proof Construction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:55-72 [Conf]
  28. 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]
  29. 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]
  30. 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]

  31. Non-functional Avionics Requirements. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002