|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
Cost analysis of object-oriented bytecode programs.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini |
Task-level analysis for a language with async/finish parallelism. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini |
Termination and Cost Analysis with COSTA and its User Interfaces. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas, Damiano Zanardini |
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Resource Usage Analysis and Its Application to Resource Certification. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Zanardini |
The Semantics of Abstract Program Slicing. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabella Mastroeni, Damiano Zanardini |
Data dependencies and program slicing: from syntax to abstract semantics. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
abstract non-interference, abstract interpretation, program slicing, dependency analysis |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Zanardini |
Analyzing Non-Interference with respect to Classes. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Zanardini |
Abstract non-interference in a fragment of Java bytecode. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Zanardini |
Higher-Order Abstract Non-interference. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")