ZZZworkshops.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: /Users/damiano/bin/bib2bib -c butype="workshop" -ob ZZZworkshops.bib --remove pdf papers.bib}}

@inproceedings{staf17,
  author = {Elvira Albert and Pablo C. Ca\~nizares and Esther Guerra and Juan De Lara and Esperanza Marcos and Manuel N\'u\~nez and Guillermo Rom\'an-D\'iez and Juan Manuel Vara and Damiano Zanardini},
  title = {{SICOMORo-CM}: {D}evelopment of {T}rustworthy {S}ystems via {M}odels and {A}dvanced {T}ools},
  booktitle = {Proceedings of STAF 2017 - Software Technologies: Applications and Foundations},
  year = {2017},
  month = {July},
  address = {Marburg, Germany},
  butype = {workshop}
}

@inproceedings{fmsple12,
  author = {Karina Villela and Taslim Arif and Damiano Zanardini},
  title = {Towards {P}roduct {C}onfiguration {T}aking in {A}ccount {Q}uality {C}oncerns},
  booktitle = {Proceedings of Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)},
  year = {2012},
  month = {September},
  address = {Salvador, Brazil},
  pages = {82--89},
  acceptancerate = {6/8 = 75\%},
  butype = {workshop}
}

@inproceedings{wst10,
  author = {Samir Genaim and Damiano Zanardini},
  title = {The {A}cyclicity {I}nference of {COSTA}},
  booktitle = {Proceedings of the International Workshop on Termination (WST)},
  year = {2010},
  month = {July},
  address = {Edinburgh, The United Kingdom},
  butype = {workshop}
}

@inproceedings{plid08,
  author = {Damiano Zanardini},
  title = {Abstract {P}rogram {S}licing},
  booktitle = {International Workshop on Programming Language Interference and Dependence (PLID)},
  year = 2008,
  month = {July},
  address = {Valencia, Spain},
  butype = {workshop}
}

@inproceedings{ecoop-ws08,
  author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Diana Ram\'irez and Damiano Zanardini},
  title = {The {COSTA} Cost and Termination Analyzer for Java Bytecode and its Web Interface (Tool Demo)},
  booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
  year = 2008,
  editor = {Anna Philippou},
  month = {July},
  butype = {workshop}
}

@inproceedings{bytecode08,
  author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
  title = {{COSTA}: {A} {C}ost and {T}ermination {A}nalyzer for {J}ava {B}ytecode},
  booktitle = {Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)},
  journal = {Journal of Object Technology},
  year = {2008},
  month = {March},
  address = {Budapest, Hungary},
  butype = {workshop}
}

@inproceedings{plid07,
  author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
  title = {Applications of {S}tatic {S}licing in {C}ost {A}nalysis of {J}ava {B}ytecode},
  booktitle = {International Workshop on Programming Language Interference and Dependence (PLID)},
  year = {2007},
  month = {August},
  address = {Kongens Lyngby, Denmark},
  butype = {workshop}
}

@inproceedings{wst07,
  author = {Elvira Albert and Puri Arenas and Michael Codish and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
  title = {Termination {A}nalysis of {J}ava {B}ytecode},
  booktitle = {Proceedings of the International Workshop on Termination (WST)},
  pages = {38--42},
  year = {2007},
  month = {June},
  address = {Paris, France},
  butype = {workshop}
}

@inproceedings{bytecode07,
  author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
  title = {Experiments in {C}ost {A}nalysis of {J}ava {B}ytecode},
  booktitle = {Proceedings of the Workshop on Bytecode Semantics,
                    Verification, Analysis and Transformation (Bytecode)},
  year = {2007},
  month = {March},
  series = {Electronic Notes in Theoretical Computer Science},
  issn = {1571-0661},
  doi = {10.1016/j.entcs.2007.02.061},
  volume = {190},
  number = {1},
  pages = {67--83},
  address = {Braga, Portugal},
  publisher = {Elsevier},
  butype = {workshop}
}

@inproceedings{plid04,
  author = {Damiano Zanardini},
  title = {Abstract {N}on-{I}nterference in a functional {D}ependency {C}alculus},
  booktitle = {International Workshop on Programming Language Interference and Dependence (PLID)},
  year = {2004},
  month = {August},
  address = {Verona, Italia},
  butype = {workshop}
}

This file was generated by bibtex2html 1.99.