Search dblp for Publications

export results for "stream:streams/conf/woscer-ws:"

 download as .bib file

@inproceedings{DBLP:conf/issre/CotroneoLSB11,
  author       = {Domenico Cotroneo and
                  Domenico Di Leo and
                  Nuno Silva and
                  Ricardo Barbosa},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {The PreCertification Kit for Operating Systems in Safety Domains},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {19--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.13},
  doi          = {10.1109/WOSOCER.2011.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CotroneoLSB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/EspinozaRSP11,
  author       = {Hu{\'{a}}scar Espinoza and
                  Alejandra Ruiz and
                  Mehrdad Sabetzadeh and
                  Paolo Panaroni},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Challenges for an Open and Evolutionary Approach to Safety Assurance
                  and Certification of Safety-Critical Systems},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.15},
  doi          = {10.1109/WOSOCER.2011.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/EspinozaRSP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/EspositoCS11,
  author       = {Christian Esposito and
                  Domenico Cotroneo and
                  Nuno Silva},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Investigation on Safety-Related Standards for Critical Systems},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {49--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.9},
  doi          = {10.1109/WOSOCER.2011.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/EspositoCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Howden11,
  author       = {William E. Howden},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Error Models and Software Certification},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {37--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.11},
  doi          = {10.1109/WOSOCER.2011.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Howden11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Iliasov11,
  author       = {Alexei Iliasov},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Generation of Certifiably Correct Programs from Formal Models},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {43--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.14},
  doi          = {10.1109/WOSOCER.2011.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Iliasov11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Panesar-WalawegeSB11a,
  author       = {Rajwinder Kaur Panesar{-}Walawege and
                  Mehrdad Sabetzadeh and
                  Lionel C. Briand},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Using Model-Driven Engineering for Managing Safety Evidence: Challenges,
                  Vision and Experience},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {7--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.8},
  doi          = {10.1109/WOSOCER.2011.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Panesar-WalawegeSB11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SilvaL11,
  author       = {Nuno Silva and
                  Rui Lopes},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Independent Test Verification: What Metrics Have a Word to Say},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {25--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.10},
  doi          = {10.1109/WOSOCER.2011.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SilvaL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/StensrudSLX11,
  author       = {Erik Stensrud and
                  Torbj{\o}rn Skramstad and
                  Jingyue Li and
                  Jing Xie},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Towards Goal-Based Software Safety Certification Based on Prescriptive
                  Standards},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {13--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.7},
  doi          = {10.1109/WOSOCER.2011.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/StensrudSLX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TadanoXMMOK11,
  author       = {Kumiko Tadano and
                  Jianwen Xiang and
                  Fumio Machida and
                  Yoshiharu Maeno and
                  Takao Osaki and
                  Atsushi Kobayashi},
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {Design Improvement of System Administrative Operations for Certification},
  booktitle    = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages        = {31--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WoSoCER.2011.12},
  doi          = {10.1109/WOSOCER.2011.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/TadanoXMMOK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2011wosocer,
  editor       = {Roberto Pietrantuono and
                  Nuno Silva},
  title        = {2011 First International Workshop on Software Certification, WoSoCER
                  2011, Hiroshima, Japan, November 29 - December 2, 2011},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6118341/proceeding},
  isbn         = {978-0-7695-4617-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/2011wosocer.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics