Henny Sipma

According to our database, Henny Sipma authored at least 22 papers between 1994 and 2004.

Collaborative distances:

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

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

Constructing Invariants for Hybrid Systems.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 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

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

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

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

Verification of Parameterized Systems by Dynamic Induction on Diagrams.

Zohar Manna, Henny Sipma

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

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

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

Deductive Verification of Real-Time Systems Using STeP.

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

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Deductive Model Checking.

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

Proceedings of the Computer Aided Verification, 8th International Conference, 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