Search the dblp DataBase
Henny Sipma: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
Visual Abstractions for Temporal Verification. [Citation Graph (0, 0)][DBLP]
AMAST, 1998, pp:28-41 [Conf] - Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive Verification of Real-Time Systems Using STeP. [Citation Graph (0, 0)][DBLP]
ARTS, 1997, pp:22-43 [Conf] - Anca Browne, Zohar Manna, Henny Sipma
Hierarchical Verification Using Verification Diagrams. [Citation Graph (0, 0)][DBLP]
ASIAN, 1996, pp:276-286 [Conf] - Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Petri Net Analysis Using Invariant Generation. [Citation Graph (0, 0)][DBLP]
Verification: Theory and Practice, 2003, pp:682-701 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
CAV, 1996, pp:415-418 [Conf] - Michael Colón, Henny Sipma
Practical Methods for Proving Program Termination. [Citation Graph (0, 0)][DBLP]
CAV, 2002, pp:442-454 [Conf] - Michael Colón, Sriram Sankaranarayanan, Henny Sipma
Linear Invariant Generation Using Non-linear Constraint Solving. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:420-432 [Conf] - Zohar Manna, Henny Sipma
Verification of Parameterized Systems by Dynamic Induction on Diagrams. [Citation Graph (0, 0)][DBLP]
CAV, 1999, pp:25-41 [Conf] - Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 1996, pp:208-219 [Conf] - Bernd Finkbeiner, Zohar Manna, Henny Sipma
Deductive Verification of Modular Systems. [Citation Graph (0, 0)][DBLP]
COMPOS, 1997, pp:239-275 [Conf] - César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
Event Correlation: Language and Semantics. [Citation Graph (0, 0)][DBLP]
EMSOFT, 2003, pp:323-339 [Conf] - Anca Browne, Zohar Manna, Henny Sipma
Generalized Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1995, pp:484-498 [Conf] - Henny Sipma, Zohar Manna
Specification and Verification of Controlled Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1994, pp:641-659 [Conf] - Zohar Manna, Henny Sipma
Deductive Verification of Hybrid Systems Using STeP. [Citation Graph (0, 0)][DBLP]
HSCC, 1998, pp:305-318 [Conf] - Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Constructing Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
HSCC, 2004, pp:539-554 [Conf] - Zohar Manna, Henny Sipma
Alternating the Temporal Picture for Safety. [Citation Graph (0, 0)][DBLP]
ICALP, 2000, pp:429-450 [Conf] - Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Non-linear loop invariant generation using Gröbner bases. [Citation Graph (0, 0)][DBLP]
POPL, 2004, pp:318-329 [Conf] - Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
Abstraction and Modular Verification of Infinite-State Reactive Systems. [Citation Graph (0, 0)][DBLP]
Requirements Targeting Software and Systems Engineering, 1997, pp:273-292 [Conf] - Anca Browne, Henny Sipma, Ting Zhang
Linking STeP with SPIN. [Citation Graph (0, 0)][DBLP]
SPIN, 2000, pp:181-186 [Conf] - Michael Colón, Henny Sipma
Synthesis of Linear Ranking Functions. [Citation Graph (0, 0)][DBLP]
TACAS, 2001, pp:67-81 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1995, pp:793-794 [Conf] - Bernd Finkbeiner, Henny Sipma
Checking Finite Traces using Alternating Automata. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal] - Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
Collecting Statistics over Runtime Executions. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal] - Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
The `Cash-Point' Service: A Verification Case Study Using STeP. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 2000, v:12, n:4, pp:218-219 [Journal] - Bernd Finkbeiner, Henny Sipma
Checking Finite Traces Using Alternating Automata. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2004, v:24, n:2, pp:101-127 [Journal] - Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
Collecting Statistics Over Runtime Executions. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2005, v:27, n:3, pp:253-274 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 2000, v:16, n:3, pp:227-270 [Journal] - Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
Formal Methods in System Design, 1999, v:15, n:1, pp:49-74 [Journal] - Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive verification of real-time systems using STeP. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2001, v:253, n:1, pp:27-60 [Journal]
Search in 0.018secs, Finished in 0.019secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002