Henny Sipma

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