Henny Sipma

Publication Activity (10 Years)

Years Active: 1994-2005
Publications (10 Years): 0

Publications

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
Collecting Statistics Over Runtime Executions. Formal Methods Syst. Des. 27 (3) (2005)
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Non-linear loop invariant generation using Gröbner bases. POPL (2004)
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Constructing Invariants for Hybrid Systems. HSCC (2004)
Bernd Finkbeiner, Henny Sipma
Checking Finite Traces Using Alternating Automata. Formal Methods Syst. Des. 24 (2) (2004)
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice (2003)
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
Event Correlation: Language and Semantics. EMSOFT (2003)
Michael Colón, Sriram Sankaranarayanan, Henny Sipma
Linear Invariant Generation Using Non-linear Constraint Solving. CAV (2003)
Michael Colón, Henny Sipma
Practical Methods for Proving Program Termination. CAV (2002)
Alexandre M. Bayen, Pascal Grieder, Henny Sipma, George Meyer, Claire J. Tomlin
Delay predictive models of the National Airspace System using hybrid control theory. ACC (2002)
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
Collecting Statistics over Runtime Executions. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Michael Colón, Henny Sipma
Synthesis of Linear Ranking Functions. TACAS (2001)
Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253 (1) (2001)
Bernd Finkbeiner, Henny Sipma
Checking Finite Traces using Alternating Automata. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)
Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
The 'Cash-Point' Service: A Verification Case Study Using STeP. Formal Aspects Comput. 12 (4) (2000)
Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. 16 (3) (2000)
Zohar Manna, Henny Sipma
Alternating the Temporal Picture for Safety. ICALP (2000)
Anca Browne, Henny Sipma, Ting Zhang
with SPIN. SPIN (2000)
Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. Formal Methods Syst. Des. 15 (1) (1999)
Zohar Manna, Henny Sipma
Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV (1999)
Zohar Manna, Henny Sipma
Deductive Verification of Hybrid Systems Using STeP. HSCC (1998)
Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
Visual Abstractions for Temporal Verification. AMAST (1998)
Bernd Finkbeiner, Zohar Manna, Henny Sipma
Deductive Verification of Modular Systems. COMPOS (1997)
Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive Verification of Real-Time Systems Using STeP. ARTS (1997)
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering (1997)
Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. CAV (1996)
Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV (1996)
Anca Browne, Zohar Manna, Henny Sipma
Hierarchical Verification Using Verification Diagrams. ASIAN (1996)
Zohar Manna, Nikolaj 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
STeP: The Stanford Temporal Prover. TAPSOFT (1995)
Anca Browne, Zohar Manna, Henny Sipma
Generalized Temporal Verification Diagrams. FSTTCS (1995)
Henny Sipma, Zohar Manna
Specification and Verification of Controlled Systems. FTRTFT (1994)