default search action

combined dblp search
author search
venue search
publication search

ask others

1st WoSoCER@ISSRE 2011: Hiroshima, Japan

> Home > Conferences and Workshops > WoSoCER
> Home > Conferences and Workshops > ISSRE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/issre/2011wosocer
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/2011wosocer
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

- view
  authority control:
- export record
  dblp key:
  - conf/issre/EspinozaRSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/EspinozaRSP11
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
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Panesar-WalawegeSB11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Panesar-WalawegeSB11a
Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand:
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. 7-12
- view
  authority control:
- export record
  dblp key:
  - conf/issre/StensrudSLX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/StensrudSLX11
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

- view
  authority control:
- export record
  dblp key:
  - conf/issre/CotroneoLSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CotroneoLSB11
Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa:
The PreCertification Kit for Operating Systems in Safety Domains. 19-24
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SilvaL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SilvaL11
Nuno Silva, Rui Lopes:
Independent Test Verification: What Metrics Have a Word to Say. 25-30
- view
  authority control:
- export record
  dblp key:
  - conf/issre/TadanoXMMOK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/TadanoXMMOK11
Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi:
Design Improvement of System Administrative Operations for Certification. 31-36
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Howden11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Howden11
William E. Howden:
Error Models and Software Certification. 37-42
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Iliasov11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Iliasov11
Alexei Iliasov:
Generation of Certifiably Correct Programs from Formal Models. 43-48
- view
  authority control:
- export record
  dblp key:
  - conf/issre/EspositoCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/EspositoCS11
Christian Esposito, Domenico Cotroneo, Nuno Silva:
Investigation on Safety-Related Standards for Critical Systems. 49-54

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.