[1] Elvira Albert, Pablo C. Ca nizares, Esther Guerra, Juan De Lara, Esperanza Marcos, Manuel Nú nez, Guillermo Román-Díez, Juan Manuel Vara, and Damiano Zanardini. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. In Proceedings of STAF 2017 - Software Technologies: Applications and Foundations, Marburg, Germany, July 2017. [ bib ]
[2] Karina Villela, Taslim Arif, and Damiano Zanardini. Towards Product Configuration Taking in Account Quality Concerns. In Proceedings of Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), pages 82--89, Salvador, Brazil, September 2012. [ bib ]
[3] Samir Genaim and Damiano Zanardini. The Acyclicity Inference of COSTA. In Proceedings of the International Workshop on Termination (WST), Edinburgh, The United Kingdom, July 2010. [ bib ]
[4] Damiano Zanardini. Abstract Program Slicing. In International Workshop on Programming Language Interference and Dependence (PLID), Valencia, Spain, July 2008. [ bib ]
[5] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Diana Ramírez, and Damiano Zanardini. The COSTA cost and termination analyzer for java bytecode and its web interface (tool demo). In Anna Philippou, editor, European Conference on Object-Oriented Programming (ECOOP), July 2008. [ bib ]
[6] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. COSTA: A Cost and Termination Analyzer for Java Bytecode. In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode), Budapest, Hungary, March 2008. [ bib ]
[7] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. Applications of Static Slicing in Cost Analysis of Java Bytecode. In International Workshop on Programming Language Interference and Dependence (PLID), Kongens Lyngby, Denmark, August 2007. [ bib ]
[8] Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, and Damiano Zanardini. Termination Analysis of Java Bytecode. In Proceedings of the International Workshop on Termination (WST), pages 38--42, Paris, France, June 2007. [ bib ]
[9] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. Experiments in Cost Analysis of Java Bytecode. In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode), volume 190 of Electronic Notes in Theoretical Computer Science, pages 67--83, Braga, Portugal, March 2007. Elsevier. [ bib | DOI ]
[10] Damiano Zanardini. Abstract Non-Interference in a functional Dependency Calculus. In International Workshop on Programming Language Interference and Dependence (PLID), Verona, Italia, August 2004. [ bib ]

This file was generated by bibtex2html 1.99.