Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/bytecode/2010,
  editor       = {David Pichardie},
  title        = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/264/issue/4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bytecode/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaumlB11,
  author       = {Jaroslav Bauml and
                  Premek Brada},
  editor       = {David Pichardie},
  title        = {Reconstruction of Type Information from Java Bytecode for Component
                  Compatibility},
  booktitle    = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.02.002},
  doi          = {10.1016/J.ENTCS.2011.02.002},
  timestamp    = {Fri, 10 Mar 2023 11:00:14 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaumlB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChrzaszczCS11,
  author       = {Jacek Chrzaszcz and
                  Patryk Czarnik and
                  Aleksy Schubert},
  editor       = {David Pichardie},
  title        = {A Dozen Instructions Make Java Bytecode},
  booktitle    = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.02.003},
  doi          = {10.1016/J.ENTCS.2011.02.003},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChrzaszczCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EichbergS11,
  author       = {Michael Eichberg and
                  Andreas Sewe},
  editor       = {David Pichardie},
  title        = {Encoding the Java Virtual Machine's Instruction Set},
  booktitle    = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  pages        = {35--50},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.02.004},
  doi          = {10.1016/J.ENTCS.2011.02.004},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EichbergS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kabanov11,
  author       = {Jevgeni Kabanov},
  editor       = {David Pichardie},
  title        = {JRebel Tool Demo},
  booktitle    = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  pages        = {51--57},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.02.005},
  doi          = {10.1016/J.ENTCS.2011.02.005},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kabanov11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pichardie11,
  author       = {David Pichardie},
  editor       = {David Pichardie},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.02.001},
  doi          = {10.1016/J.ENTCS.2011.02.001},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pichardie11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WangJC11,
  author       = {Philippe Wang and
                  Adrien Jonquet and
                  Emmanuel Chailloux},
  editor       = {David Pichardie},
  title        = {Non-Intrusive Structural Coverage for Objective Caml},
  booktitle    = {Proceedings of the Fifth Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus,
                  March 27, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {4},
  pages        = {59--73},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.02.006},
  doi          = {10.1016/J.ENTCS.2011.02.006},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WangJC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}