Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-05-06 20:15 CEST 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:
