Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WOSOCER"( http://dblp.L3S.de/Venues/WOSOCER )

URL (DBLP): http://dblp.uni-trier.de/db/conf/issre

Publication years (Num. hits)
2011 (10)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
WOSOCER(10)
Authors
Nuno Silva(4) Domenico Cotroneo(2) Mehrdad Sabetzadeh(2) Alejandra Ruiz 0001(1) Alexei Iliasov(1) Atsushi Kobayashi(1) Christian Esposito 0001(1) Domenico Di Leo(1) Erik Stensrud(1) Fumio Machida(1) Huáscar Espinoza(1) Jianwen Xiang(1) Jing Xie(1) Jingyue Li(1) Kumiko Tadano(1) Lionel C. Briand(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa 0003 The PreCertification Kit for Operating Systems in Safety Domains. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Pietrantuono, Nuno Silva (eds.) 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011 Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  BibTeX  RDF
1William E. Howden Error Models and Software Certification. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov Generation of Certifiably Correct Programs from Formal Models. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Huáscar Espinoza, Alejandra Ruiz 0001, Mehrdad Sabetzadeh, Paolo Panaroni Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi Design Improvement of System Administrative Operations for Certification. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nuno Silva, Rui Lopes Independent Test Verification: What Metrics Have a Word to Say. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Esposito 0001, Domenico Cotroneo, Nuno Silva Investigation on Safety-Related Standards for Critical Systems. Search on Bibsonomy WOSOCER The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license