Anca Browne

According to our database, Anca Browne authored at least 15 papers between 1988 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2000

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Formal Methods Syst. Des., 2000

The 'Cash-Point' Service: A Verification Case Study Using STeP.

Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma

Formal Aspects Comput., 2000

Linking <i>ST_eP</i> with SPIN.

Anca Browne, Henny Sipma, Ting Zhang

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe

Proceedings of the International Workshop Tool Support for System Specification, 1998

Visual Abstractions for Temporal Verification.

Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

An Improved Algorithm for the Evaluation of Fixpoint Expressions.

Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero

Theor. Comput. Sci., 1997

Automatic Generation of Invariants and Intermediate Assertions.

Nikolaj S. Bjørner, Anca Browne, Zohar Manna

Theor. Comput. Sci., 1997

1996

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.

Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Hierarchical Verification Using Verification Diagrams.

Anca Browne, Zohar Manna, Henny Sipma

Proceedings of the Concurrency and Parallelism, 1996

1995

STeP: The Stanford Temporal Prover.

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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Generalized Temporal Verification Diagrams.

Anca Browne, Zohar Manna, Henny Sipma

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Automatic Generation of Invariants and Assertions.

Nikolaj S. Bjørner, Anca Browne, Zohar Manna

Proceedings of the Principles and Practice of Constraint Programming, 1995

1993

A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata.

Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan

Inf. Process. Lett., 1993

1990

A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.

Edmund M. Clarke, Anca Browne, Robert P. Kurshan

Proceedings of the CAAP '90, 1990

1988

Expressibility results for linear-time and branching-time logics.

Edmund M. Clarke, I. A. Draghicescu

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988