default search action
BibTeX records: Anca Browne
@article{DBLP:journals/fac/BrowneFMS00, author = {Anca Browne and Bernd Finkbeiner and Zohar Manna and Henny Sipma}, title = {The 'Cash-Point' Service: {A} Verification Case Study Using STeP}, journal = {Formal Aspects Comput.}, volume = {12}, number = {4}, pages = {218--219}, year = {2000}, url = {https://doi.org/10.1007/s001650070014}, doi = {10.1007/S001650070014}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BrowneFMS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BjornerBCFMSU00, author = {Nikolaj S. Bj{\o}rner and Anca Browne and Michael Col{\'{o}}n and Bernd Finkbeiner and Zohar Manna and Henny Sipma and Tom{\'{a}}s E. Uribe}, title = {Verifying Temporal Properties of Reactive Systems: {A} STeP Tutorial}, journal = {Formal Methods Syst. Des.}, volume = {16}, number = {3}, pages = {227--270}, year = {2000}, url = {https://doi.org/10.1023/A:1008700623084}, doi = {10.1023/A:1008700623084}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/BjornerBCFMSU00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/BrowneSZ00, author = {Anca Browne and Henny Sipma and Ting Zhang}, editor = {Klaus Havelund and John Penix and Willem Visser}, title = {Linking \emph{ST\({}_{\mbox{e}}\)P} with {SPIN}}, booktitle = {{SPIN} Model Checking and Software Verification, 7th International {SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1885}, pages = {181--186}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722468\_11}, doi = {10.1007/10722468\_11}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/BrowneSZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/MannaBSU98, author = {Zohar Manna and Anca Browne and Henny Sipma and Tom{\'{a}}s E. Uribe}, editor = {Armando Martin Haeberer}, title = {Visual Abstractions for Temporal Verification}, booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1548}, pages = {28--41}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49253-4\_5}, doi = {10.1007/3-540-49253-4\_5}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/MannaBSU98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tssdv/MannaBBCFPSU98, author = {Zohar Manna and Nikolaj S. Bj{\o}rner and Anca Browne and Michael Col{\'{o}}n and Bernd Finkbeiner and Mark C. Pichora and Henny B. Sipma and Tom{\'{a}}s E. Uribe}, editor = {Rudolf Berghammer and Yassine Lakhnech}, title = {An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems}, booktitle = {Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998}, series = {Advances in computing science}, pages = {174--188}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-7091-6355-9\_13}, doi = {10.1007/978-3-7091-6355-9\_13}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tssdv/MannaBBCFPSU98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BjornerBM97, author = {Nikolaj S. Bj{\o}rner and Anca Browne and Zohar Manna}, title = {Automatic Generation of Invariants and Intermediate Assertions}, journal = {Theor. Comput. Sci.}, volume = {173}, number = {1}, pages = {49--87}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00191-0}, doi = {10.1016/S0304-3975(96)00191-0}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BjornerBM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BrowneCJLM97, author = {Anca Browne and Edmund M. Clarke and Somesh Jha and David E. Long and Wilfredo R. Marrero}, title = {An Improved Algorithm for the Evaluation of Fixpoint Expressions}, journal = {Theor. Comput. Sci.}, volume = {178}, number = {1-2}, pages = {237--255}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00228-9}, doi = {10.1016/S0304-3975(96)00228-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BrowneCJLM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/BrowneMS96, author = {Anca Browne and Zohar Manna and Henny Sipma}, editor = {Joxan Jaffar and Roland H. C. Yap}, title = {Hierarchical Verification Using Verification Diagrams}, booktitle = {Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, {ASIAN} '96, Singapore, December 2-5, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1179}, pages = {276--286}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0027800}, doi = {10.1007/BFB0027800}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/BrowneMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BjornerBCCKMSU96, author = {Nikolaj S. Bj{\o}rner and Anca Browne and Edward Y. Chang and Michael Col{\'{o}}n and Arjun Kapur and Zohar Manna and Henny Sipma and Tom{\'{a}}s E. Uribe}, editor = {Rajeev Alur and Thomas A. Henzinger}, title = {STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems}, booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1102}, pages = {415--418}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61474-5\_92}, doi = {10.1007/3-540-61474-5\_92}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BjornerBCCKMSU96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BjornerBM95, author = {Nikolaj S. Bj{\o}rner and Anca Browne and Zohar Manna}, editor = {Ugo Montanari and Francesca Rossi}, title = {Automatic Generation of Invariants and Assertions}, booktitle = {Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {976}, pages = {589--623}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60299-2\_37}, doi = {10.1007/3-540-60299-2\_37}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/cp/BjornerBM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BrowneMS95, author = {Anca Browne and Zohar Manna and Henny Sipma}, editor = {P. S. Thiagarajan}, title = {Generalized Temporal Verification Diagrams}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1026}, pages = {484--498}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60692-0\_69}, doi = {10.1007/3-540-60692-0\_69}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BrowneMS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/MannaBBCCADKLSU95, author = {Zohar Manna and Nikolaj S. Bj{\o}rner and Anca Browne and Edward Y. Chang and Michael Col{\'{o}}n and Luca de Alfaro and Harish Devarajan and Arjun Kapur and Jaejin Lee and Henny Sipma and Tom{\'{a}}s E. Uribe}, editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach}, title = {STeP: The Stanford Temporal Prover}, booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {915}, pages = {793--794}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59293-8\_237}, doi = {10.1007/3-540-59293-8\_237}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/MannaBBCCADKLSU95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LongBCJM94, author = {David E. Long and Anca Browne and Edmund M. Clarke and Somesh Jha and Wilfredo R. Marrero}, editor = {David L. Dill}, title = {An Improved Algorithm for the Evaluation of Fixpoint Expressions}, booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94, Stanford, California, USA, June 21-23, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {818}, pages = {338--350}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58179-0\_66}, doi = {10.1007/3-540-58179-0\_66}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/LongBCJM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/ClarkeDK93, author = {Edmund M. Clarke and I. A. Draghicescu and Robert P. Kurshan}, title = {A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata}, journal = {Inf. Process. Lett.}, volume = {46}, number = {6}, pages = {301--308}, year = {1993}, url = {https://doi.org/10.1016/0020-0190(93)90069-L}, doi = {10.1016/0020-0190(93)90069-L}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/ClarkeDK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/ClarkeBK90, author = {Edmund M. Clarke and Anca Browne and Robert P. Kurshan}, editor = {Andr{\'{e}} Arnold}, title = {A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata}, booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {431}, pages = {103--116}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52590-4\_43}, doi = {10.1007/3-540-52590-4\_43}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/ClarkeBK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/ClarkeD88, author = {Edmund M. Clarke and I. A. Draghicescu}, editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, title = {Expressibility results for linear-time and branching-time logics}, booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {354}, pages = {428--437}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0013029}, doi = {10.1007/BFB0013029}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/rex/ClarkeD88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.