Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Roberson" ( http://dblp.L3S.de/Authors/Michael_Roberson )

  Author page on DBLP  Author page in RDF  Community of Michael Roberson in ASPL-2

Publication years (Num. hits)
2007 (1) 2008 (1) 2010 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
OOPSLA(2) LCTES(1)
Authors
Chandrasekhar Boyapati(3) Michael Roberson(3) Melanie Harries(1) Paul T. Darga(1) Pratibha Permandla(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michael Roberson, Chandrasekhar Boyapati Efficient modular glass box software model checking. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati Efficient software model checking of soundness of type systems. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software model checking, type soundness
1Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati A type system for preventing data races and deadlocks in the java virtual machine language: 1. Search on Bibsonomy LCTES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SafeJava, deadlocks, data races, ownership types
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.