Henny B. Sipma

According to our database, Henny B. Sipma authored at least 58 papers between 1994 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Constructing invariants for hybrid systems.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Formal Methods Syst. Des., 2008

Deductive verification of alternating systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Formal Aspects Comput., 2008

The Reaction Algebra: A Formal Language for Event Correlation.

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Pillars of Computer Science, 2008

2007

Verifying Balanced Trees.

Zohar Manna, Henny B. Sipma, Ting Zhang

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Generating Efficient Distributed Deadlock Avoidance Controllers.

César Sánchez, Henny B. Sipma, Zohar Manna

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.

César Sánchez, Henny B. Sipma, Zohar Manna

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Decision procedures for term algebras with integer constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Inf. Comput., 2006

Efficient Strongly Relational Polyhedral Analysis.

Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2006

What's Decidable About Arrays?

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Verification, 2006

Distributed Priority Inheritance for Real-Time and Embedded Systems.

César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna

Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

On efficient distributed deadlock avoidance for real-time and embedded systems.

César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Proving ATL* Properties of Infinite-State Systems.

Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Theoretical Aspects of Computing, 2006

Fixed Point Iteration for Computing the Time Elapse Operator.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.

Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Efficient distributed deadlock avoidance with liveness guarantees.

César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Preface.

Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Scalable Analysis of Linear Systems Using Mathematical Programming.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2005

Termination of Polynomial Programs.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Verification, 2005

LOLA: Runtime Monitoring of Synchronous Systems.

Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

The Polyranking Principle.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Decision Procedures for Queues with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Expressive Completeness of an Event-Pattern Reactive Programming Language.

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.

César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Termination Analysis of Integer Linear Loops.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Linear Ranking with Reachability.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Final Semantics for Event-Pattern Reactive Programs.

César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

The Decidability of the First-Order Theory of Knuth-Bendix Order.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Automated Deduction, 2005

2004

Term Algebras with Length Function and Bounded Quantifier Alternation.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Constraint-Based Linear-Relations Analysis.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Static Analysis, 11th International Symposium, 2004

Non-linear loop invariant generation using Gröbner bases.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Decision Procedures for Recursive Data Structures with Integer Constraints.

Ting Zhang, Henny B. Sipma, Zohar Manna

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Event Correlation: Language and Semantics.

César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna

Proceedings of the Embedded Software, Third International Conference, 2003

Linear Invariant Generation Using Non-linear Constraint Solving.

Michael Colón, Sriram Sankaranarayanan, Henny Sipma

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Petri Net Analysis Using Invariant Generation.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the Verification: Theory and Practice, 2003

2002

Collecting Statistics over Runtime Executions.

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma

Proceedings of the Runtime Verification 2002, 2002

Practical Methods for Proving Program Termination.

Michael Colón, Henny Sipma

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Delay predictive models of the National Airspace System using hybrid control theory.

Alexandre M. Bayen, Pascal Grieder, Henny Sipma, George Meyer, Claire J. Tomlin

Proceedings of the American Control Conference, 2002

2001

Deductive verification of real-time systems using STeP.

Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Theor. Comput. Sci., 2001

Checking Finite Traces using Alternating Automata.

Bernd Finkbeiner, Henny Sipma

Proceedings of the Workshop on Runtime Verification, 2001

Synthesis of Linear Ranking Functions.

Michael Colón, Henny Sipma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Formal Methods Syst. Des., 2000

The 'Cash-Point' Service: A Verification Case Study Using STeP.

Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma

Formal Aspects Comput., 2000

Linking <i>ST_eP</i> with SPIN.

Anca Browne, Henny Sipma, Ting Zhang

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Alternating the Temporal Picture for Safety.

Zohar Manna, Henny Sipma

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Diagram-based verification of discrete, real-time and hybrid systems.

Henny B. Sipma

PhD thesis, 1999

Deductive Model Checking.

Henny Sipma, Tomás E. Uribe, Zohar Manna

Formal Methods Syst. Des., 1999

Verification of Parameterized Systems by Dynamic Induction on Diagrams.

Zohar Manna, Henny Sipma

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe

Proceedings of the International Workshop Tool Support for System Specification, 1998

Deductive Verification of Hybrid Systems Using STeP.

Zohar Manna, Henny Sipma

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Visual Abstractions for Temporal Verification.

Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Visual Verification of Reactive Systems.

Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Abstraction and Modular Verification of Infinite-State Reactive Systems.

Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Deductive Verification of Modular Systems.

Bernd Finkbeiner, Zohar Manna, Henny Sipma

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.

Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Hierarchical Verification Using Verification Diagrams.

Anca Browne, Zohar Manna, Henny Sipma

Proceedings of the Concurrency and Parallelism, 1996

1995

STeP: The Stanford Temporal Prover.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Generalized Temporal Verification Diagrams.

Anca Browne, Zohar Manna, Henny Sipma

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

Specification and Verification of Controlled Systems.

Henny Sipma, Zohar Manna

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994