Harald Ruess
Harald Ruess
fortiss
Verified email at fortiss.org - Homepage
Title
Cited by
Cited by
Year
SAL 2
L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari
Computer Aided Verification, 496-500, 2004
3382004
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2412000
Bounded model checking and induction: From refutation to verification
L De Moura, H Rueß, M Sorea
International Conference on Computer Aided Verification, 14-26, 2003
1912003
Lazy theorem proving for bounded model checking over infinite domains
L De Moura, H Rueß, M Sorea
Automated Deduction—CADE-18, 438-455, 2002
1872002
ICS: Integrated Canonizer and Solver
JC Filliâtre, S Owre, H Ruess, N Shankar
Computer Aided Verification, 246-249, 2001
1862001
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
International Symposium on Automated Technology for Verification and …, 2017
1382017
CAPSL integrated protocol environment
G Denker, J Millen
Proceedings DARPA Information Survivability Conference and Exposition …, 2000
1292000
Deconstructing shostak
H Rueß, N Shankar
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 19-28, 2001
1222001
Lemmas on demand for satisfiability solvers
L De Moura, H Rueß, M Sorea
Proc. SAT 2, 244-251, 2002
1142002
An efficient decision procedure for the theory of fixed-sized bit-vectors
D Cyrluk, O Möller, H Rueß
International Conference on Computer Aided Verification, 60-71, 1997
113*1997
A technique for invariant generation
A Tiwari, H Rueß, H Saïdi, N Shankar
International Conference on Tools and Algorithms for the Construction and …, 2001
1022001
Modular verification of SRT division
H Rueß, N Shankar, MK Srivas
International Conference on Computer Aided Verification, 123-134, 1996
821996
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ...
811996
Monadic second-order logics with cardinalities
F Klaedtke, H Rueß
Automata, Languages and Programming, 681-696, 2003
802003
Combining shostak theories
N Shankar, H Rueß
International Conference on Rewriting Techniques and Applications, 1-18, 2002
802002
The ICS decision procedures for embedded deduction
L De Moura, S Owre, H Rueß, J Rushby, N Shankar
International Joint Conference on Automated Reasoning, 218-222, 2004
632004
Proving Secrecy is Easy Enough.
V Cortier, JK Millen, H Rueß
CSFW 1, 97-108, 2001
592001
Protocol-independent secrecy
J Millen, H Rueß
Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 110-119, 2000
532000
Predicate abstraction for dense real-time systems
MO Möller, H Rueß, M Sorea
Electronic Notes in Theoretical Computer Science 65 (6), 218-237, 2002
522002
An experimental evaluation of ground decision procedures
L De Moura, H Rueß
International Conference on Computer Aided Verification, 162-174, 2004
452004
The system can't perform the operation now. Try again later.
Articles 1–20