Statistics
Publications
16
Citations
1.2K
H-Index
13
Active since
1995
Affiliations
Henny B. Sipma is an author at Stanford University specializing in computer science, computing, and formal methods.
Publications per year
1995–2007
16
16
LOLA: Runtime Monitoring of Synchronous Systems
Ben D'Angelo, S. Sankaranarayanan, César Sánchez et al. · 2005 · 287 citations
Non-linear loop invariant generation using Gröbner bases
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna · 2004 · 252 citations
1–5 of 16