The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henny Sipma: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Anca Browne, Zohar Manna, Henny Sipma
    Hierarchical Verification Using Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:276-286 [Conf]
  4. 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]
  5. 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]
  6. Michael Colón, Henny Sipma
    Practical Methods for Proving Program Termination. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:442-454 [Conf]
  7. 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]
  8. Zohar Manna, Henny Sipma
    Verification of Parameterized Systems by Dynamic Induction on Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:25-41 [Conf]
  9. Henny Sipma, Tomás E. Uribe, Zohar Manna
    Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:208-219 [Conf]
  10. Bernd Finkbeiner, Zohar Manna, Henny Sipma
    Deductive Verification of Modular Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:239-275 [Conf]
  11. 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]
  12. Anca Browne, Zohar Manna, Henny Sipma
    Generalized Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:484-498 [Conf]
  13. Henny Sipma, Zohar Manna
    Specification and Verification of Controlled Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:641-659 [Conf]
  14. Zohar Manna, Henny Sipma
    Deductive Verification of Hybrid Systems Using STeP. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:305-318 [Conf]
  15. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Constructing Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:539-554 [Conf]
  16. Zohar Manna, Henny Sipma
    Alternating the Temporal Picture for Safety. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:429-450 [Conf]
  17. 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]
  18. 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]
  19. Anca Browne, Henny Sipma, Ting Zhang
    Linking STeP with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:181-186 [Conf]
  20. Michael Colón, Henny Sipma
    Synthesis of Linear Ranking Functions. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:67-81 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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.015secs, Finished in 0.017secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002