Share This Author
Maximum Resilience of Artificial Neural Networks
- Chih-Hong Cheng, Georg Nührenberg, H. Ruess
- Computer ScienceATVA
- 28 April 2017
TLDR
ICS: Integrated Canonizer and Solver
- J. Filliâtre, S. Owre, H. Ruess, N. Shankar
- Computer ScienceCAV
- 18 July 2001
TLDR
Sal 2
- L. D. Moura, S. Owre, A. Tiwari
- Computer ScienceCAV
- 2004
TLDR
Deconstructing Shostak
- H. Ruess, N. Shankar
- Computer ScienceProceedings 16th Annual IEEE Symposium on Logic…
- 16 June 2001
TLDR
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains
- L. D. Moura, H. Ruess, M. Sorea
- Computer ScienceCADE
- 27 July 2002
TLDR
An Overview of SAL
- S. Bensalem, Vijay Ganesh, N. Shankar
- Computer Science
- 1 June 2000
TLDR
Bounded model checking and induction: From refutation to verification
- L. D. Moura, H. Ruess, M. Sorea
- Computer Science
- 2003
TLDR
Monadic Second-Order Logics with Cardinalities
- F. Klaedtke, H. Ruess
- Computer ScienceICALP
- 30 June 2003
We delimit the boundary between decidability versus undecidability of the weak monadic second-order logic of one successor (WS1S) extended with linear cardinality constraints of the form…
Protocol-independent secrecy
- J. Millen, H. Ruess
- Mathematics, Computer ScienceProceeding IEEE Symposium on Security and…
- 14 May 2000
TLDR
...
...