Anca Browne

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