The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Doug Woos" ( http://dblp.L3S.de/Authors/Doug_Woos )

  Author page on DBLP  Author page in RDF  Community of Doug Woos in ASPL-2

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

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock Teaching Rigorous Distributed Systems With Efficient Model Checking. Search on Bibsonomy EuroSys The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson A Graphical Interactive Debugger for Distributed Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos Modularity for decidability of deductive verification with applications to distributed systems. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe Arrakis: The Operating System Is the Control Plane. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock Scalable verification of border gateway protocol configurations with an SMT solver. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson Planning for change in a formal verification of the raft consensus protocol. Search on Bibsonomy CPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang 0005, Michael D. Ernst, Thomas E. Anderson Verdi: a framework for implementing and formally verifying distributed systems. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Peter, Umar Javed, Qiao Zhang, Doug Woos, Thomas E. Anderson, Arvind Krishnamurthy One tunnel is (often) enough. Search on Bibsonomy SIGCOMM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe Arrakis: The Operating System is the Control Plane. Search on Bibsonomy OSDI The full citation details ... 2014 DBLP  BibTeX  RDF
1Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Thomas E. Anderson, Arvind Krishnamurthy, Mark Zbikowski, Doug Woos Towards High-Performance Application-Level Storage Management. Search on Bibsonomy HotStorage The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #10 of 10 (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