Follow
Harald Ruess
Harald Ruess
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
367*2004
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000
2512000
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
International Symposium on Automated Technology for Verification and …, 2017
2202017
Bounded model checking and induction: From refutation to verification
L Moura, H Rueß, M Sorea
International Conference on Computer Aided Verification, 14-26, 2003
2142003
Lazy theorem proving for bounded model checking over infinite domains
L De Moura, H Rueß, M Sorea
Automated Deduction—CADE-18, 438-455, 2002
1842002
ICS: Integrated Canonizer and Solver
JC Filliâtre, S Owre, H Ruess, N Shankar
Computer Aided Verification, 246-249, 2001
1822001
Deconstructing shostak
H Rueß, N Shankar
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 19-28, 2001
1262001
Lemmas on demand for satisfiability solvers
L De Moura, H Rueß, M Sorea
Proc. SAT 2, 244-251, 2002
1182002
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
1132001
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
109*1997
Monadic second-order logics with cardinalities
F Klaedtke, H Rueß
Automata, Languages and Programming, 681-696, 2003
882003
Combining shostak theories
N Shankar, H Rueß
International Conference on Rewriting Techniques and Applications, 1-18, 2002
812002
Modular verification of SRT division
H Rueß, N Shankar, MK Srivas
International Conference on Computer Aided Verification, 123-134, 1996
811996
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW Von Henke, ...
771996
The ICS decision procedures for embedded deduction
L Moura, S Owre, H Rueß, J Rushby, N Shankar
International Joint Conference on Automated Reasoning, 218-222, 2004
692004
Proving Secrecy is Easy Enough.
V Cortier, JK Millen, H Rueß
CSFW 1, 97-108, 2001
572001
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
552002
Protocol-independent secrecy
J Millen, H Rueß
Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 110-119, 2000
542000
An experimental evaluation of ground decision procedures
L Moura, H Rueß
International Conference on Computer Aided Verification, 162-174, 2004
462004
Hardware verification using PVS
M Srivas, H Rueß, D Cyrluk
Formal Hardware Verification, 156-205, 1997
461997
The system can't perform the operation now. Try again later.
Articles 1–20