Harald Rueß

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech et al. · Formal Methods · 2000 · 167 citations

Computing, Computer Science, Formal Methods +16

Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.

Harald Rueß, Maria Sorea · Electronic Notes in Theoretical Computer Science · 2002 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +14

Justifying Equality

Leonardo de Moura, Harald Rueß, Natarajan Shankar · Electronic Notes in Theoretical Computer Science · 2005 · 28 citations · Full text

Computing, Computer Science, Formal Methods +11

Synthesis of fault-tolerant embedded systems using games: from theory to practice

Chih‐Hong Cheng, Harald Rueß, Alois Knoll et al. · 2011 · 13 citations

Engineering, Computer Engineering, Computer Science +12

Verification of Binarized Neural Networks.

Chih‐Hong Cheng, Georg Nührenberg, Harald Rueß · arXiv (Cornell University) · 2017 · 12 citations · Full text

Computing, Computer Science, Artificial Intelligence +9