|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 18 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík |
Angelic debugging.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Mandana Vaziri, Julian Dolby |
MemSAT: checking axiomatic specifications of memory models. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
sat, bounded model checking, memory models, axiomatic specifications |
| 1 | Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
Correct Refactoring of Concurrent Java Code. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Satish Chandra |
Effective interprocedural resource leak detection. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
inter-procedural analysis, resource leaks, alias analysis |
| 1 | Blaise Gassend, Marten van Dijk, Dwaine E. Clarke, Emina Torlak, Srinivas Devadas, Pim Tuyls |
Controlled physical random functions and applications. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
physical random function, trusted computing, physical unclonable function, physical security, Certified execution |
| 1 | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
Finding Minimal Unsatisfiable Cores of Declarative Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Daniel Jackson |
Kodkod: A Relational Model Finder. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marten van Dijk, Emina Torlak, Blaise Gassend, Srinivas Devadas |
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas |
Knowledge Flow Analysis for Security Protocols |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung |
Faster constraint solving with subtypes. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
relational logic, verification, constraints, analysis, SAT, subtypes |
| 1 | Jonathan Edwards, Daniel Jackson, Emina Torlak |
A type system for object models. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")