Anca Browne

I. A. Draghicescu

2000
15		Anca Browne, Henny Sipma, Ting Zhang: Linking STeP with SPIN. SPIN 2000: 181-186
14	EE	Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma: The `Cash-Point' Service: A Verification Case Study Using STeP. Formal Asp. Comput. 12(4): 218-219 (2000)
13		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 in System Design 16(3): 227-270 (2000)
1998
12	EE	Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe: Visual Abstractions for Temporal Verification. AMAST 1998: 28-41
1997
11	EE	Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997)
10	EE	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): 237-255 (1997)
1996
9		Anca Browne, Zohar Manna, Henny Sipma: Hierarchical Verification Using Verification Diagrams. ASIAN 1996: 276-286
8		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: 415-418
1995
7		Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Assertions. CP 1995: 589-623
6		Anca Browne, Zohar Manna, Henny Sipma: Generalized Temporal Verification Diagrams. FSTTCS 1995: 484-498
5		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: 793-794
1994
4		David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV 1994: 338-350
1993
3		Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan: A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata. Inf. Process. Lett. 46(6): 301-308 (1993)
1990
2		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: 103-116
1988
1		Edmund M. Clarke, I. A. Draghicescu: Expressibility results for linear-time and branching-time logics. REX Workshop 1988: 428-437

Coauthor Index

1	Luca de Alfaro	[5]
2	Nikolaj Bjørner	[5] [7] [8] [11] [13]
3	Edward Y. Chang	[5] [8]
4	Edmund M. Clarke	[1] [2] [3] [4] [10]
5	Michael Colón	[5] [8] [13]
6	Harish Devarajan	[5]
7	Bernd Finkbeiner	[13] [14]
8	Somesh Jha	[4] [10]
9	Arjun Kapur	[5] [8]
10	Robert P. Kurshan	[2] [3]
11	Jaejin Lee	[5]
12	David E. Long	[4] [10]
13	Zohar Manna	[5] [6] [7] [8] [9] [11] [12] [13] [14]
14	Wilfredo R. Marrero	[4] [10]
15	Henny B. Sipma (Henny Sipma)	[5] [6] [8] [9] [12] [13] [14] [15]
16	Tomás E. Uribe	[5] [8] [12] [13]
17	Ting Zhang	[15]

Colors in the list of coauthors