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
3742004
Maximum resilience of artificial neural networks
CH Cheng, G Nührenberg, H Ruess
Automated Technology for Verification and Analysis: 15th International …, 2017
3462017
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2602000
Bounded Model Checking and Induction: From Refutation to Verification: (Extended Abstract, Category A)
L De Moura, H Rueß, M Sorea
International Conference on Computer Aided Verification, 14-26, 2003
2312003
Lazy theorem proving for bounded model checking over infinite domains
L De Moura, H Rueß, M Sorea
Automated Deduction—CADE-18, 438-455, 2002
1912002
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
1282001
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
1262001
Lemmas on demand for satisfiability solvers
L De Moura, H Rueß, M Sorea
Proc. SAT 2, 244-251, 2002
1242002
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
Monadic second-order logics with cardinalities
F Klaedtke, H Rueß
Automata, Languages and Programming, 681-696, 2003
1112003
Modular verification of SRT division
H Rueß, N Shankar, MK Srivas
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
891996
Combining shostak theories
N Shankar, H Rueß
International Conference on Rewriting Techniques and Applications, 1-18, 2002
832002
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
831996
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
712004
Verification of Binarized Neural Networks via Inter-neuron Factoring: (Short Paper)
CH Cheng, G Nührenberg, CH Huang, H Ruess
Verified Software. Theories, Tools, and Experiments: 10th International …, 2018
642018
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
582002
Towards dependability metrics for neural networks
CH Cheng, CH Huang, H Ruess, H Yasuoka
2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018
562018
Protocol-independent secrecy
J Millen, H Rueß
Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000, 110-119, 2000
542000
The system can't perform the operation now. Try again later.
Articles 1–20