Henny Sipma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1996–2004
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | POPL | Non-linear loop invariant generation using Gröbner bases. | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna |
| 2003 | CAV | Linear Invariant Generation Using Non-linear Constraint Solving. | Michael Coln, Sriram Sankaranarayanan, Henny Sipma |
| 2003 | EMSOFT | Event Correlation: Language and Semantics. | Csar Snchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna |
| 2002 | CAV | Practical Methods for Proving Program Termination. | Michael Coln, Henny Sipma |
| 2001 | TACAS | Synthesis of Linear Ranking Functions. | Michael Coln, Henny Sipma |
| 2000 | ICALP | Alternating the Temporal Picture for Safety. | Zohar Manna, Henny Sipma |
| 1999 | CAV | Verification of Parameterized Systems by Dynamic Induction on Diagrams. | Zohar Manna, Henny Sipma |
| 1996 | CAV | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. | Nikolaj S. Bjrner, Anca Browne, Edward Y. Chang, Michael Coln, Arjun Kapur, Zohar Manna, Henny Sipma, Toms E. Uribe |
| 1996 | CAV | Deductive Model Checking. | Henny Sipma, Toms E. Uribe, Zohar Manna |