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

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.