Henny B. Sipma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
15
Active years
1997–2007
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FASE | A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. | Csar Snchez, Henny B. Sipma, Zohar Manna |
| 2007 | LFCS | Verifying Balanced Trees. | Zohar Manna, Henny B. Sipma, Ting Zhang |
| 2006 | EMSOFT | Efficient distributed deadlock avoidance with liveness guarantees. | Csar Snchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill |
| 2006 | EMSOFT | Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. | Venkita Subramonian, Christopher D. Gill, Csar Snchez, Henny B. Sipma |
| 2006 | ICTAC | Proving ATL* Properties of Infinite-State Systems. | Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2006 | OPODIS | Distributed Priority Inheritance for Real-Time and Embedded Systems. | Csar Snchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna |
| 2006 | VMCAI | What's Decidable About Arrays? | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2006 | VMCAI | Efficient Strongly Relational Polyhedral Analysis. | Sriram Sankaranarayanan, Michael Coln, Henny B. Sipma, Zohar Manna |
| 2005 | CADE | The Decidability of the First-Order Theory of Knuth-Bendix Order. | Ting Zhang, Henny B. Sipma, Zohar Manna |
| 2005 | CALCO | Final Semantics for Event-Pattern Reactive Programs. | Csar Snchez, Henny B. Sipma, Matteo Slanina, Zohar Manna |
| 2005 | CAV | Linear Ranking with Reachability. | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | CONCUR | Termination Analysis of Integer Linear Loops. | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | FORTE | Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. | Csar Snchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna |
| 2005 | FORTE | Expressive Completeness of an Event-Pattern Reactive Programming Language. | Csar Snchez, Matteo Slanina, Henny B. Sipma, Zohar Manna |
| 2005 | ICALP | The Polyranking Principle. | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | TIME | LOLA: Runtime Monitoring of Synchronous Systems. | Ben D'Angelo, Sriram Sankaranarayanan, Csar Snchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
| 2005 | VMCAI | Termination of Polynomial Programs. | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | VMCAI | Scalable Analysis of Linear Systems Using Mathematical Programming. | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
| 2004 | CADE | Decision Procedures for Recursive Data Structures with Integer Constraints. | Ting Zhang, Henny B. Sipma, Zohar Manna |
| 2004 | SAS | Constraint-Based Linear-Relations Analysis. | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
| 1997 | TACAS | Visual Verification of Reactive Systems. | Luca de Alfaro, Zohar Manna, Henny B. Sipma, Toms E. Uribe |