The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anca Browne: [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. Anca Browne, Zohar Manna, Henny Sipma
    Hierarchical Verification Using Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:276-286 [Conf]
  3. Edmund M. Clarke, Anca Browne, Robert P. Kurshan
    A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:103-116 [Conf]
  4. 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]
  5. David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
    An Improved Algorithm for the Evaluation of Fixpoint Expressions. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:338-350 [Conf]
  6. Nikolaj Bjørner, Anca Browne, Zohar Manna
    Automatic Generation of Invariants and Assertions. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:589-623 [Conf]
  7. Anca Browne, Zohar Manna, Henny Sipma
    Generalized Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:484-498 [Conf]
  8. Anca Browne, Henny Sipma, Ting Zhang
    Linking STeP with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:181-186 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Nikolaj Bjørner, Anca Browne, Zohar Manna
    Automatic Generation of Invariants and Intermediate Assertions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:49-87 [Journal]
  13. Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero
    An Improved Algorithm for the Evaluation of Fixpoint Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:178, n:1-2, pp:237-255 [Journal]

Search in 0.002secs, Finished in 0.002secs
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