Henny B. Sipma

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