BibTeX records: Alexander Legg

download as .bib file

@phdthesis{DBLP:phd/basesearch/Legg16,
  author       = {Alexander Legg},
  title        = {A Counterexample Guided Method},
  school       = {University of New South Wales, Sydney, Australia},
  year         = {2016},
  url          = {http://hdl.handle.net/1959.4/58766},
  doi          = {10.26190/UNSWORKS/19993},
  timestamp    = {Fri, 08 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Legg16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeggNR16,
  author       = {Alexander Legg and
                  Nina Narodytska and
                  Leonid Ryzhyk},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {A SAT-Based Counterexample Guided Method for Unbounded Synthesis},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9780},
  pages        = {364--382},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41540-6\_20},
  doi          = {10.1007/978-3-319-41540-6\_20},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LeggNR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/JacobsBBK0KKLNP16,
  author       = {Swen Jacobs and
                  Roderick Bloem and
                  Romain Brenguier and
                  Ayrat Khalimov and
                  Felix Klein and
                  Robert K{\"{o}}nighofer and
                  Jens Kreber and
                  Alexander Legg and
                  Nina Narodytska and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Leonid Ryzhyk and
                  Ocan Sankur and
                  Martina Seidl and
                  Leander Tentrup and
                  Adam Walker},
  editor       = {Ruzica Piskac and
                  Rayna Dimitrova},
  title        = {The 3rd Reactive Synthesis Competition {(SYNTCOMP} 2016): Benchmarks,
                  Participants {\&} Results},
  booktitle    = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
                  July 17-18, 2016},
  series       = {{EPTCS}},
  volume       = {229},
  pages        = {149--177},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.229.12},
  doi          = {10.4204/EPTCS.229.12},
  timestamp    = {Sun, 07 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/EenLNR15,
  author       = {Niklas E{\'{e}}n and
                  Alexander Legg and
                  Nina Narodytska and
                  Leonid Ryzhyk},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {SAT-Based Strategy Extraction in Reachability Games},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {3738--3745},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9752},
  doi          = {10.1609/AAAI.V29I1.9752},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/EenLNR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigops/AmaniCDLORZ14,
  author       = {Sidney Amani and
                  Peter Chubb and
                  Alastair F. Donaldson and
                  Alexander Legg and
                  Keng Chai Ong and
                  Leonid Ryzhyk and
                  Yanjin Zhu},
  title        = {Automatic verification of active device drivers},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {48},
  number       = {1},
  pages        = {106--118},
  year         = {2014},
  url          = {https://doi.org/10.1145/2626401.2626424},
  doi          = {10.1145/2626401.2626424},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/AmaniCDLORZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/NarodytskaLBRW14,
  author       = {Nina Narodytska and
                  Alexander Legg and
                  Fahiem Bacchus and
                  Leonid Ryzhyk and
                  Adam Walker},
  editor       = {Armin Biere and
                  Roderick Bloem},
  title        = {Solving Games without Controllable Predecessor},
  booktitle    = {Computer Aided Verification - 26th International Conference, {CAV}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 18-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8559},
  pages        = {533--540},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08867-9\_35},
  doi          = {10.1007/978-3-319-08867-9\_35},
  timestamp    = {Mon, 03 Jan 2022 22:13:44 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/NarodytskaLBRW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/RyzhykWKLRSV14,
  author       = {Leonid Ryzhyk and
                  Adam Walker and
                  John Keys and
                  Alexander Legg and
                  Arun Raghunath and
                  Michael Stumm and
                  Mona Vij},
  editor       = {Jason Flinn and
                  Hank Levy},
  title        = {User-Guided Device Driver Synthesis},
  booktitle    = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages        = {661--676},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk},
  timestamp    = {Tue, 02 Feb 2021 08:05:58 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/RyzhykWKLRSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-6185,
  author       = {Sidney Amani and
                  Peter Chubb and
                  Alastair F. Donaldson and
                  Alexander Legg and
                  Leonid Ryzhyk and
                  Yanjin Zhu},
  editor       = {Franck Cassez and
                  Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Automatic Verification of Message-Based Device Drivers},
  booktitle    = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
                  2012, Sydney, Australia, 28-30 November 2012},
  series       = {{EPTCS}},
  volume       = {102},
  pages        = {4--17},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.102.3},
  doi          = {10.4204/EPTCS.102.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-6185.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apsys/AmaniRDHLZ11,
  author       = {Sidney Amani and
                  Leonid Ryzhyk and
                  Alastair F. Donaldson and
                  Gernot Heiser and
                  Alexander Legg and
                  Yanjin Zhu},
  editor       = {Haibo Chen and
                  Zheng Zhang and
                  Sue Moon and
                  Yuanyuan Zhou},
  title        = {Static analysis of device drivers: we can do better!},
  booktitle    = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
                  11-12, 2011},
  pages        = {8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2103799.2103809},
  doi          = {10.1145/2103799.2103809},
  timestamp    = {Thu, 19 Nov 2020 07:47:39 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/AmaniRDHLZ11.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.