default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 33
Volume 33: Foundations and Techniques for Open Source Software Certification 2010
- Luís Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
:
Preface.
- George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos:
Component Certification as a Prerequisite forWidespread OSS Reuse. - Mario Fusani, Eda Marchetti:
Damages and Benefits of Certification: A perspective from an Independent Assessment Body. - Johannes Feuser, Jan Peleska:
Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective. - Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Idrissi Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang:
Security Evaluation and Hardening of Free and Open Source Software (FOSS). - Zulqarnain Hashmi, Siraj Ahmed Shaikh, Naveed Ikram:
Methodologies and Tools for OSS: Current State of the Practice. - Sulayman K. Sowe, Antonio Cerone:
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects. - Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix:
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. - Peter T. Breuer, Simon Pickin:
Open Source Verification under a Cloud. - Antonio Cerone, Sulayman K. Sowe:
Using Free/Libre Open Source Software Projects as E-learning Tools. - Alberto Simões, Nuno Ramos Carvalho, José João Almeida:
Testing as a Certification Approach. - João Carlos Silva, José Creissac Campos, João Saraiva:
GUI Inspection from Source Code Analysis. - Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Safe Integration of Annotated Components in Open Source Projects. - Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira:
A Deductive Verification Platform for Cryptographic Software.
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.
last updated on 2024-11-08 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
