Search dblp for Publications

export results for "toc:db/journals/eceasst/eceasst33.bht:"

 download as .bib file

@article{DBLP:journals/eceasst/AreiasCHP10,
  author       = {Sergio Areias and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  title        = {Safe Integration of Annotated Components in Open Source Projects},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.460},
  doi          = {10.14279/TUJ.ECEASST.33.460},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/AreiasCHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BarbosaCS10,
  author       = {Lu{\'{\i}}s Soares Barbosa and
                  Antonio Cerone and
                  Siraj Ahmed Shaikh},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.448.432},
  doi          = {10.14279/TUJ.ECEASST.33.448.432},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BarbosaCS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BarbosaPFV10,
  author       = {Manuel Barbosa and
                  Jorge Sousa Pinto and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  B{\'{a}}rbara Vieira},
  title        = {A Deductive Verification Platform for Cryptographic Software},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.461},
  doi          = {10.14279/TUJ.ECEASST.33.461},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BarbosaPFV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BreuerP10,
  author       = {Peter T. Breuer and
                  Simon Pickin},
  title        = {Open Source Verification under a Cloud},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.456},
  doi          = {10.14279/TUJ.ECEASST.33.456},
  timestamp    = {Mon, 29 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BreuerP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/CeroneS10,
  author       = {Antonio Cerone and
                  Sulayman K. Sowe},
  title        = {Using Free/Libre Open Source Software Projects as E-learning Tools},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.457},
  doi          = {10.14279/TUJ.ECEASST.33.457},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/CeroneS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/CharpentierDAMBBHHKLLTYY10,
  author       = {Robert Charpentier and
                  Mourad Debbabi and
                  Dima Alhadidi and
                  Azzam Mourad and
                  Nadia Belblidia and
                  Amine Boukhtouta and
                  Aiman Hanna and
                  Rachid Hadjidj and
                  Hakim Idrissi Kaitouni and
                  Marc{-}Andr{\'{e}} Laverdi{\`{e}}re and
                  Hai Zhou Ling and
                  Syrine Tlili and
                  Xiaochun Yang and
                  Zhenrong Yang},
  title        = {Security Evaluation and Hardening of Free and Open Source Software
                  {(FOSS)}},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.452},
  doi          = {10.14279/TUJ.ECEASST.33.452},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/CharpentierDAMBBHHKLLTYY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/FeuserP10,
  author       = {Johannes Feuser and
                  Jan Peleska},
  title        = {Security in Open Model Software with Hardware Virtualisation - The
                  Railway Control System Perspective},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.451},
  doi          = {10.14279/TUJ.ECEASST.33.451},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/FeuserP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/FusaniM10,
  author       = {Mario Fusani and
                  Eda Marchetti},
  title        = {Damages and Benefits of Certification: {A} perspective from an Independent
                  Assessment Body},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.450},
  doi          = {10.14279/TUJ.ECEASST.33.450},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/FusaniM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/HashmiSI10,
  author       = {Zulqarnain Hashmi and
                  Siraj Ahmed Shaikh and
                  Naveed Ikram},
  title        = {Methodologies and Tools for {OSS:} Current State of the Practice},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.453},
  doi          = {10.14279/TUJ.ECEASST.33.453},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/HashmiSI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/KakarontzasKS10,
  author       = {George Kakarontzas and
                  Panagiotis Katsaros and
                  Ioannis Stamelos},
  title        = {Component Certification as a Prerequisite forWidespread {OSS} Reuse},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.449},
  doi          = {10.14279/TUJ.ECEASST.33.449},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/KakarontzasKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/OlesenHLP10,
  author       = {Mads Chr. Olesen and
                  Ren{\'{e}} Rydhof Hansen and
                  Julia L. Lawall and
                  Nicolas Palix},
  title        = {Clang and Coccinelle: Synergising program analysis tools for {CERT}
                  {C} Secure Coding Standard certification},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.455},
  doi          = {10.14279/TUJ.ECEASST.33.455},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/OlesenHLP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/SilvaCS10,
  author       = {Jo{\~{a}}o Carlos Silva and
                  Jos{\'{e}} Creissac Campos and
                  Jo{\~{a}}o Saraiva},
  title        = {{GUI} Inspection from Source Code Analysis},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.459},
  doi          = {10.14279/TUJ.ECEASST.33.459},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/SilvaCS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/SimoesCA10,
  author       = {Alberto Sim{\~{o}}es and
                  Nuno Ramos Carvalho and
                  Jos{\'{e}} Jo{\~{a}}o Almeida},
  title        = {Testing as a Certification Approach},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.458},
  doi          = {10.14279/TUJ.ECEASST.33.458},
  timestamp    = {Wed, 24 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/SimoesCA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/SoweC10,
  author       = {Sulayman K. Sowe and
                  Antonio Cerone},
  title        = {Integrating Data from Multiple Repositories to Analyze Patterns of
                  Contribution in {FOSS} Projects},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.454},
  doi          = {10.14279/TUJ.ECEASST.33.454},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/SoweC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.