WOSOCER

Keyphrases

Publications

2011

Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa
The PreCertification Kit for Operating Systems in Safety Domains. WOSOCER (2011)
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011 WOSOCER (2011)
William E. Howden
Error Models and Software Certification. WOSOCER (2011)
Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie
Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. WOSOCER (2011)
Alexei Iliasov
Generation of Certifiably Correct Programs from Formal Models. WOSOCER (2011)
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. WOSOCER (2011)
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi
Design Improvement of System Administrative Operations for Certification. WOSOCER (2011)
Nuno Silva, Rui Lopes
Independent Test Verification: What Metrics Have a Word to Say. WOSOCER (2011)
Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. WOSOCER (2011)
Christian Esposito, Domenico Cotroneo, Nuno Silva
Investigation on Safety-Related Standards for Critical Systems. WOSOCER (2011)