|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Andrey Rybalchenko |
Compositional Termination Proofs for Multi-threaded Programs. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Predicate abstraction and refinement for verifying multi-threaded programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Solving Recursion-Free Horn Clauses over LI+UIF. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Threader: A Constraint-Based Verifier for Multi-threaded Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Wei-Ngan Chin |
Dual analysis for proving safety and finding bugs. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
numerical domains, static analysis |
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
| 1 | Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin |
Analysing memory resource bounds for low-level programs. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
fixpoint analysis, heap space analysis, low level programs, stack space analysis |
| 1 | Corneliu Popeea, Wei-Ngan Chin |
Inferring Disjunctive Postconditions. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
A flow-based approach for variant parametric types. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
variant parametric types, constraints, genericity, subtyping, flow analysis |
| 1 | Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin |
Core-java: an expression-oriented java. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
type-based analysis, language design |
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
| 1 | Corneliu Popeea, Wei-Ngan Chin |
A type system for resource protocol verification and its correctness proof. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis |
| 1 | Corneliu Popeea, Bogdan Dumitrescu, Boris Jora |
Efficient state-space approach for FIR filter bank completion. |
Signal Processing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Bogdan Dumitrescu |
Optimal compaction gain by eigenvalue minimization. |
Signal Processing |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioan Tabus, Corneliu Popeea, Jaakko Astola |
Optimizing the compaction gain in a class of IIR filters. |
ISCAS |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")