@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: /Users/damiano/bin/bib2bib -c butype="inproceedings" -ob ZZZconferences.bib --remove pdf papers.bib}}
@article{fmco12,
title = {{A}utomatic {I}nference of {B}ounds on {R}esource {C}onsumption},
author = {Elvira Albert and Diego Esteban Alonso-Blas and Puri Arenas and Jes\'us Correas and Antonio Flores-Montoya and Samir Genaim and Miguel G\'omez-Zamalloa and Abu Naser Masud and Germ\'an Puebla and Jos\'e Miguel Rojas and Guillermo Rom\'an-D\'iez and Damiano Zanardini},
booktitle = {HATS International School on Formal Models for Objects and Components 2012. Tutorial Lectures},
year = {2013},
series = {Lecture Notes in Computer Science (Revised Lectures)},
issn = {0302-9743},
jcr = {Impact Factor 0.402 in 2005},
publisher = {Springer-Verlag, Berlin},
doi = {10.1007/978-3-642-40615-7_4},
butype = {inproceedings}
}
@inproceedings{lctes11,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Damiano Zanardini},
title = {Task-{L}evel {A}nalysis for a {L}anguage with async-finish {P}arallelism},
booktitle = {Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)},
month = {April},
year = {2011},
address = {Chicago, USA},
isbn = {978-1-4503-0555-6},
issn = {0362-1340},
pages = {21--30},
publisher = {ACM Press, New York},
doi = {10.1145/1967677.1967681},
acceptancerate = {17/51 = 33\% (double blind, from 4 to 6 reviews for each paper)},
butype = {inproceedings}
}
@inproceedings{fosad09,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
title = {Resource {U}sage {A}nalysis and {I}ts {A}pplication to {R}esource {C}ertification},
booktitle = {Foundations of Security Analysis and Design V (FOSAD 2008/2009)},
pages = {258--288},
year = {2009},
month = {September},
editor = {Alessandro Aldini and Gilles Barthe and Roberto Gorrieri},
volume = {5705},
series = {Lecture Notes in Computer Science (Tutorial Lectures)},
publisher = {Springer-Verlag, Berlin},
address = {Bertinoro, Italy},
doi = {10.1007/978-3-642-03829-7_9},
jcr = {Impact Factor 0.402 in 2005},
butype = {inproceedings}
}
@inproceedings{prole09,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini and Diana Vanessa Ram\'irez Deantes and Miguel G\'omez-Zamalloa and Guillermo Rom\'an-D\'iez},
title = {Termination and Cost Analysis with COSTA and its User Interfaces},
booktitle = {Proceedings of Jornadas sobre Programacion y Lenguajes (PROLE)},
editor = {Gin\'es Moreno and Ricardo Pe\~na},
year = {2009},
month = {September},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {109--121},
address = {San Sebasti\'an, Spain},
publisher = {Elsevier},
issn = {1571-0661},
doi = {10.1016/j.entcs.2009.12.008},
butype = {inproceedings}
}
@inproceedings{fmco07,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
title = {{COSTA}: {D}esign and {I}mplementation of a {C}ost and {T}ermination {A}nalyzer for {J}ava {B}ytecode},
booktitle = {Post-proceedings of the Software Technologies Concertation on Formal Methods for Components and Objects (FMCO)},
pages = {113--132},
year = {2008},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {5382},
series = {Lecture Notes in Computer Science (Revised Lectures)},
issn = {0302-9743},
address = {Amsterdam, The Netherlands},
month = {October},
jcr = {Impact Factor 0.402 in 2005},
doi = {10.1007/978-3-540-92188-2_5},
publisher = {Springer-Verlag, Berlin},
butype = {inproceedings}
}
@inproceedings{scam08,
author = {Damiano Zanardini},
title = {The {S}emantics of {A}bstract {P}rogram {S}licing},
booktitle = {Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)},
pages = {89--100},
year = {2008},
address = {Beijing, China},
month = {September},
publisher = {IEEE press},
isbn = {978-0-7695-3353-7},
acceptancerate = {23/61 = 38\%},
doi = {10.1109/SCAM.2008.19},
butype = {inproceedings}
}
@inproceedings{fmoods08,
author = {Elvira Albert and Puri Arenas and Michael Codish and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
title = {{T}ermination {A}nalysis of {J}ava {B}ytecode},
booktitle = {Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS)},
year = {2008},
month = {June},
editor = {Gilles Barthe and Frank de Boer},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {2--18},
address = {Oslo, Norway},
issn = {0302-9743},
doi = {10.1007/978-3-540-68863-1_2},
month = {June},
publisher = {Springer-Verlag, Berlin},
butype = {inproceedings}
}
@inproceedings{sac08,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
title = {Removing {U}seless {V}ariables in {C}ost {A}nalysis of {J}ava {B}ytecode},
booktitle = {Proceedings of the ACM Symposium on Applied Computing (SAC)},
month = {March},
year = {2008},
address = {Fortaleza, Brazil},
publisher = {ACM Press, New York},
pages = {368--375},
isbn = {1-59593-108-2},
citeseer = {Position 782, Impact Factor 0.31 (top 64.04\%)},
acceptancerate = {10/32 = 31\%},
doi = {10.1145/1363686.1363779},
butype = {inproceedings}
}
@inproceedings{pepm08,
author = {Isabella Mastroeni and Damiano Zanardini},
title = {Data {D}ependencies and {P}rogram {S}licing: from {S}yntax to {A}bstract {S}emantics},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM)},
year = 2008,
isbn = {},
pages = {125--134},
citeseer = {Position 65, Impact Factor 1.74 (top 5.32\%)},
jcr = {Impact Factor 0.129 in 2006},
acceptancerate = {20/74 = 27\%},
issn = {0362-1340},
doi = {10.1145/1328408.1328428},
address = {San Francisco, USA},
month = {January},
publisher = {ACM Press, New York},
butype = {inproceedings}
}
@inproceedings{ictcs07,
author = {Damiano Zanardini},
title = {Analyzing {N}on-{I}nterference with respect to {C}lasses},
booktitle = {Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS)},
year = 2007,
address = {Roma, Italy},
month = {October},
publisher = {World Scientific},
pages = {57--69},
isbn-13 = {978-981-277-098-1},
isbn-10 = {981-277-098-4},
citeseer = {Position 1119, Impact Factor 0.05 (top 91.64\%)},
acceptancerate = {15/34 = 44\%},
doi = {10.1142/9789812770998_0009},
butype = {inproceedings}
}
@inproceedings{prole07,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
title = {A Generic Framework for the Cost Analysis of Java Bytecode},
booktitle = {Proceedings of Jornadas sobre Programacion y Lenguajes (PROLE)},
pages = {61--70},
editor = {Ernesto Pimentel},
year = {2007},
address = {Zaragoza, Spain},
month = {September},
publisher = {Thomson Paraninfo},
isbn = {978-84-9732-599-8},
butype = {inproceedings}
}
@inproceedings{esop07,
author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
title = {Cost {A}nalysis of {J}ava {B}ytecode},
booktitle = {Proceedings of the European Symposium on Computing (ESOP)},
year = {2007},
month = {March},
volume = {4421},
pages = {157--172},
series = {Lecture Notes in Computer Science},
address = {Braga, Portugal},
editor = {Rocco De Nicola},
issn = {0302-9743},
isbn-10 = {3-540-71314-X},
isbn-13 = {978-3-540-71314-2},
citeseer = {Position 87, Impact Factor 1.58 (top 7.12\%)},
acceptancerate = {34/136 = 25\%},
doi = {10.1007/978-3-540-71316-6_12},
publisher = {Springer-Verlag, Berlin},
butype = {inproceedings}
}
@inproceedings{sac06,
author = {Damiano Zanardini},
title = {Abstract {N}on-{I}nterference in a fragment of {J}ava bytecode},
booktitle = {Proceedings of the ACM Symposium on Applied Computing (SAC)},
pages = {1822--1826},
year = {2006},
month = {April},
address = {Dijon, France},
isbn = {1-59593-108-2},
citeseer = {Position 782, Impact Factor 0.31 (top 64.04\%)},
doi = {10.1145/1141277.1141706},
publisher = {ACM Press, New York},
butype = {inproceedings}
}
@inproceedings{tlca05,
author = {Damiano Zanardini},
title = {Higher-{O}rder {A}bstract {N}on-{I}nterference},
booktitle = {Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA)},
year = {2005},
month = {April},
volume = {3461},
series = {Lecture Notes in Computer Science},
pages = {417--432},
address = {Nara, Japan},
editor = {Pawel Urzyczyn},
issn = {0302-9743},
isbn = {3-540-25593-1},
citeseer = {Position 179, Impact Factor 1.23 (top 14.66\%)},
jcr = {Impact Factor 0.402 in 2005},
acceptancerate = {27/61 = 44\%},
doi = {10.1007/11417170_30},
publisher = {Springer-Verlag, Berlin},
butype = {inproceedings}
}
This file was generated by bibtex2html 1.99.