BibTeX records: Anca Browne

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.