Henny B. Sipma

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Publications

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science (2008)
Matteo Slanina, Henny B. Sipma, Zohar Manna
Deductive verification of alternating systems. Formal Aspects Comput. 20 (4-5) (2008)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Constructing invariants for hybrid systems. Formal Methods Syst. Des. 32 (1) (2008)
Zohar Manna, Henny B. Sipma, Ting Zhang
Verifying Balanced Trees. LFCS (2007)
César Sánchez, Henny B. Sipma, Zohar Manna
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE (2007)
César Sánchez, Henny B. Sipma, Zohar Manna
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS (2007)
César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT (2006)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
What's Decidable About Arrays? VMCAI (2006)
César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill
On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS (2006)
Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. EMSOFT (2006)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision procedures for term algebras with integer constraints. Inf. Comput. 204 (10) (2006)
Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
Efficient Strongly Relational Polyhedral Analysis. VMCAI (2006)
César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna
Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS (2006)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Fixed Point Iteration for Computing the Time Elapse Operator. HSCC (2006)
Matteo Slanina, Henny B. Sipma, Zohar Manna
Proving ATL* Properties of Infinite-State Systems. ICTAC (2006)
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
Preface. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Termination of Polynomial Programs. VMCAI (2005)
César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE (2005)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
The Polyranking Principle. ICALP (2005)
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Termination Analysis of Integer Linear Loops. CONCUR (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Linear Ranking with Reachability. CAV (2005)
César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
Final Semantics for Event-Pattern Reactive Programs. CALCO (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision Procedures for Queues with Integer Constraints. FSTTCS (2005)
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
LOLA: Runtime Monitoring of Synchronous Systems. TIME (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs (2004)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Constraint-Based Linear-Relations Analysis. SAS (2004)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification (1998)
Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
Visual Verification of Reactive Systems. TACAS (1997)