Harald Ruess
Harald Ruess
Verified email at fortiss.org - Homepage
TitleCited byYear
SAL 2
L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari
Computer Aided Verification, 496-500, 2004
3172004
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Proceedings of the 5th NASA Langley Formal Methods Workshop, 2000
2332000
ICS: Integrated Canonizer and Solver
JC Filliâtre, S Owre, H Ruess, N Shankar
Computer Aided Verification, 246-249, 2001
1872001
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
1802003
Lazy theorem proving for bounded model checking over infinite domains
L De Moura, H Rueß, M Sorea
Automated Deduction—CADE-18, 438-455, 2002
1782002
CAPSL integrated protocol environment
G Denker, J Millen
Proceedings DARPA Information Survivability Conference and Exposition …, 2000
1302000
Deconstructing shostak
H Rueß, N Shankar
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 19-28, 2001
1212001
Lemmas on demand for satisfiability solvers
L De Moura, H Rueß, M Sorea
Proc. SAT 2, 244-251, 2002
1072002
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
106*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
1002001
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, ...
811996
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
International Symposium on Automated Technology for Verification and …, 2017
782017
Combining shostak theories
N Shankar, H Rueß
International Conference on Rewriting Techniques and Applications, 1-18, 2002
772002
Monadic second-order logics with cardinalities
F Klaedtke, H Rueß
Automata, Languages and Programming, 681-696, 2003
712003
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
612004
Proving Secrecy is Easy Enough.
V Cortier, JK Millen, H Rueß
CSFW 1, 97-108, 2001
592001
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
512002
Protocol-independent secrecy
J Millen, H Rueß
Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 110-119, 2000
512000
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