The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Legg" ( http://dblp.L3S.de/Authors/Alexander_Legg )

  Author page on DBLP  Author page in RDF  Community of Alexander Legg in ASPL-2

Publication years (Num. hits)
2011 (1) 2012 (1) 2014 (3) 2015 (1) 2016 (2)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 9 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein 0001, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Legg, Nina Narodytska, Leonid Ryzhyk A SAT-Based Counterexample Guided Method for Unbounded Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk SAT-Based Strategy Extraction in Reachability Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu Automatic verification of active device drivers. Search on Bibsonomy Operating Systems Review The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker Solving Games without Controllable Predecessor. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij User-Guided Device Driver Synthesis. Search on Bibsonomy OSDI The full citation details ... 2014 DBLP  BibTeX  RDF
1Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu Automatic Verification of Message-Based Device Drivers Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu Static analysis of device drivers: we can do better! Search on Bibsonomy APSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license