|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 9 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nels E. Beckman, Aditya V. Nori |
Probabilistic, modular and scalable inference of typestate specifications.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Duri Kim, Jonathan Aldrich |
An Empirical Study of Object Protocols in the Wild. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur |
Proofs from Tests. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
Software model checking, abstraction refinement, directed testing |
| 1 | Nels E. Beckman |
Modular typestate checking in concurrent Java programs. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrency, static analysis, typestate |
| 1 | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
Practical API Protocol Checking with Access Permissions. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
Proofs from tests. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
abstraction refinemen, software model checking, directed testing |
| 1 | Nels E. Beckman |
Verifying correct usage of atomic blocks using access permissions. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, permissions, typestate |
| 1 | Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich |
Verifying correct usage of atomic blocks and typestate. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, permissions, typestate |
| 1 | Chris Mattmann, Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic, Daniel J. Crichton |
GLIDE: A Grid-Based Light-Weight Infrastructure for Data-Intensive Environments. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Mikic-Rakic, Sam Malek, Nels E. Beckman, Nenad Medvidovic |
A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic |
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")