Travelled to:2 × USA
Collaborated with:N.Bjørner E.Y.Chang M.Colón A.Kapur Z.Manna H.Sipma T.E.Uribe D.E.Long E.M.Clarke S.Jha W.R.Marrero L.d.Alfaro H.Devarajan J.Lee
Talks about:algorithm (2) step (2) stanford (1) fixpoint (1) reactiv (1) express (1) tempor (1) system (1) prover (1) improv (1)
Person: Anca Browne
DBLP: Browne:Anca
Contributed to:
19961994
1995Wrote 3 papers:
- CAV-1996-BjornerBCCKMSU #named #realtime #verification
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.
- CAV-1994-LongBCJM #algorithm #evaluation #fixpoint
- An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.
- TAPSOFT-1995-MannaBBCCADKLSU #named #proving
- STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.