Follow
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
3712004
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
Automated Technology for Verification and Analysis: 15th International …, 2017
2712017
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000
2492000
Bounded Model Checking and Induction: From Refutation to Verification: (Extended Abstract, Category A)
L De Moura, H Rueß, M Sorea
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
2242003
Lazy theorem proving for bounded model checking over infinite domains
L De Moura, H Rueß, M Sorea
Automated Deduction—CADE-18, 438-455, 2002
1882002
ICS: Integrated Canonizer and Solver
JC Filliâtre, S Owre, H Ruess, N Shankar
Computer Aided Verification, 246-249, 2001
1832001
Deconstructing shostak
H Rueß, N Shankar
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 19-28, 2001
1252001
Lemmas on demand for satisfiability solvers
L De Moura, H Rueß, M Sorea
Proc. SAT 2, 244-251, 2002
1172002
A technique for invariant generation
A Tiwari, H Rueß, H Saïdi, N Shankar
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
1162001
An efficient decision procedure for the theory of fixed-sized bit-vectors
D Cyrluk, O Möller, H Rueß
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
109*1997
Monadic second-order logics with cardinalities
F Klaedtke, H Rueß
Automata, Languages and Programming, 681-696, 2003
942003
Modular verification of SRT division
H Rueß, N Shankar, MK Srivas
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
841996
Combining shostak theories
N Shankar, H Rueß
Rewriting Techniques and Applications: 13th International Conference, RTA …, 2002
802002
Compiler correctness and implementation verification: The verifix approach
W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW von Henke, ...
Proceedings of the Poster Session of CC 96, 1996
781996
The ICS decision procedures for embedded deduction
L de Moura, S Owre, H Rueß, J Rushby, N Shankar
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
692004
Proving Secrecy is Easy Enough.
V Cortier, JK Millen, H Rueß
CSFW 1, 97-108, 2001
582001
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
572002
Protocol-independent secrecy
J Millen, H Rueß
Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 110-119, 2000
552000
Hardware verification using PVS
M Srivas, H Rueß, D Cyrluk
Formal Hardware Verification: Methods and Systems in Comparison, 156-205, 2005
482005
An experimental evaluation of ground decision procedures
L De Moura, H Rueß
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
452004
The system can't perform the operation now. Try again later.
Articles 1–20