Anca Browne

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

Publications

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)
Anca Browne, Henny Sipma, Ting Zhang
with SPIN. SPIN (2000)
Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
Visual Abstractions for Temporal Verification. AMAST (1998)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification (1998)
Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero
An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. 178 (1-2) (1997)
Nikolaj Bjørner, Anca Browne, Zohar Manna
Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173 (1) (1997)
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)
Nikolaj Bjørner, Anca Browne, Zohar Manna
Automatic Generation of Invariants and Assertions. CP (1995)
David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV (1994)
Edmund M. Clarke, Anca Browne, Robert P. Kurshan
A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. CAAP (1990)