Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st WoSoCER@ISSRE 2011: Hiroshima, Japan
- Roberto Pietrantuono, Nuno Silva:
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4617-9
Certification Approaches and Challenges
- Huáscar Espinoza, Alejandra Ruiz, Mehrdad Sabetzadeh
, Paolo Panaroni:
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. 1-6 - Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand:
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. 7-12 - Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie:
Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. 13-18
Certification Support and Practical Experiences
- Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa:
The PreCertification Kit for Operating Systems in Safety Domains. 19-24 - Nuno Silva, Rui Lopes:
Independent Test Verification: What Metrics Have a Word to Say. 25-30 - Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi:
Design Improvement of System Administrative Operations for Certification. 31-36 - William E. Howden:
Error Models and Software Certification. 37-42 - Alexei Iliasov:
Generation of Certifiably Correct Programs from Formal Models. 43-48 - Christian Esposito, Domenico Cotroneo, Nuno Silva:
Investigation on Safety-Related Standards for Critical Systems. 49-54
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-04-15 20:33 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:
