Search dblp for Publications

export results for "toc:db/conf/hase/hase2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/hase/AlexiouBKDS10,
  author       = {Nikolaos Alexiou and
                  Stylianos Basagiannis and
                  Panagiotis Katsaros and
                  Tushar Deshpande and
                  Scott A. Smolka},
  title        = {Formal Analysis of the Kaminsky {DNS} Cache-Poisoning Attack Using
                  Probabilistic Model Checking},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {94--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.25},
  doi          = {10.1109/HASE.2010.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/AlexiouBKDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/BarbierB10,
  author       = {Franck Barbier and
                  Cyril Ballagny},
  title        = {Proved Metamodels as Backbone for Software Adaptation},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {114--121},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.12},
  doi          = {10.1109/HASE.2010.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BarbierB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/BertierMT10,
  author       = {Marin Bertier and
                  Achour Most{\'{e}}faoui and
                  Gilles Tr{\'{e}}dan},
  title        = {Low-Cost Secret-Sharing in Sensor Networks},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.16},
  doi          = {10.1109/HASE.2010.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BertierMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/BochotVWW10,
  author       = {Thomas Bochot and
                  Pierre Virelizier and
                  H{\'{e}}l{\`{e}}ne Waeselynck and
                  Virginie Wiels},
  title        = {Paths to Property Violation: {A} Structural Approach for Analyzing
                  Counter-Examples},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {74--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.15},
  doi          = {10.1109/HASE.2010.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BochotVWW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/CarverL10,
  author       = {Richard H. Carver and
                  Jeff Yu Lei},
  title        = {A Stateful Approach to Testing Monitors in Multithreaded Programs},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {54--63},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.14},
  doi          = {10.1109/HASE.2010.14},
  timestamp    = {Sun, 26 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/CarverL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/ChoiJ10,
  author       = {Yunja Choi and
                  Hoon Jang},
  title        = {Reverse Engineering Abstract Components for Model-Based Development
                  and Verification of Embedded Software},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {122--131},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.20},
  doi          = {10.1109/HASE.2010.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/ChoiJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/DistefanoLS10,
  author       = {Salvatore Distefano and
                  Francesco Longo and
                  Marco Scarpa},
  title        = {Symbolic Representation Techniques in Dynamic Reliability Evaluation},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {45--53},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.28},
  doi          = {10.1109/HASE.2010.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/DistefanoLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GribaudoR10,
  author       = {Marco Gribaudo and
                  Anne Remke},
  title        = {Hybrid Petri Nets with General One-Shot Transitions for Dependability
                  Evaluation of Fluid Critical Infrastructures},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {84--93},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.27},
  doi          = {10.1109/HASE.2010.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GribaudoR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GudemannO10,
  author       = {Matthias G{\"{u}}demann and
                  Frank Ortmeier},
  title        = {A Framework for Qualitative and Quantitative Formal Model-Based Safety
                  Analysis},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {132--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.24},
  doi          = {10.1109/HASE.2010.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GudemannO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GuiochetMP10,
  author       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Damien Martin{-}Guillerez and
                  David Powell},
  title        = {Experience with Model-Based User-Centered Risk Assessment for Service
                  Robots},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {104--113},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.10},
  doi          = {10.1109/HASE.2010.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GuiochetMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Iwu10,
  author       = {Frantz Iwu},
  title        = {Scalable Fualt Detection for FPGAs},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {20--25},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.30},
  doi          = {10.1109/HASE.2010.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Iwu10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/MatsunoTI10,
  author       = {Yutaka Matsuno and
                  Hiroki Takamura and
                  Yutaka Ishikawa},
  title        = {A Dependability Case Editor with Pattern Library},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {170--171},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.26},
  doi          = {10.1109/HASE.2010.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MatsunoTI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/MunozR10,
  author       = {Cuauhtemoc Munoz and
                  Steve Roach},
  title        = {Automated Testing of {LTL} Formula Generation by Prospec},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {168--169},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.31},
  doi          = {10.1109/HASE.2010.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MunozR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/PazziIP10,
  author       = {Luca Pazzi and
                  Matteo Interlandi and
                  Marco Pradelli},
  title        = {Automatic Fault Behavior Detection and Modeling by a State-Based Specification
                  Method},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {166--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.17},
  doi          = {10.1109/HASE.2010.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/PazziIP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/RahmaniAS10,
  author       = {Cobra Rahmani and
                  Azad H. Azadmanesh and
                  Harvey P. Siy},
  title        = {Architecture-Based Reliability Modeling of Web Services Using Petri
                  Nets},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {164--165},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.18},
  doi          = {10.1109/HASE.2010.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/RahmaniAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SalehiHCKT10,
  author       = {Pejman Salehi and
                  Abdelwahab Hamou{-}Lhadj and
                  Pietro Colombo and
                  Ferhat Khendek and
                  Maria Toeroe},
  title        = {A UML-Based Domain Specific Modeling Language for the Availability
                  Management Framework},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {35--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.21},
  doi          = {10.1109/HASE.2010.21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/SalehiHCKT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SeliyaKH10,
  author       = {Naeem Seliya and
                  Taghi M. Khoshgoftaar and
                  Jason Van Hulse},
  title        = {Predicting Faults in High Assurance Software},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {26--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.29},
  doi          = {10.1109/HASE.2010.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SeliyaKH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/VeroneseCBL10,
  author       = {Giuliana Santos Veronese and
                  Miguel Correia and
                  Alysson Neves Bessani and
                  Lau Cheuk Lung},
  title        = {{EBAWA:} Efficient Byzantine Agreement for Wide-Area Networks},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {10--19},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.19},
  doi          = {10.1109/HASE.2010.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/VeroneseCBL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Wang10,
  author       = {Shige Wang},
  title        = {Domain-Specific Feature Modeling for High Integrity Vehicle Control
                  System Functional Design},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {142--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.23},
  doi          = {10.1109/HASE.2010.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Wang10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/WedyanG10,
  author       = {Fadi Wedyan and
                  Sudipto Ghosh},
  title        = {A Dataflow Testing Approach for Aspect-Oriented Programs},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {64--73},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.13},
  doi          = {10.1109/HASE.2010.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/WedyanG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/XiaoYYB10,
  author       = {Liangliang Xiao and
                  Yunqi Ye and
                  I{-}Ling Yen and
                  Farokh B. Bastani},
  title        = {Evaluation and Comparisons of Dependable Distributed Storage Designs
                  for Clouds},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {152--161},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.22},
  doi          = {10.1109/HASE.2010.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/XiaoYYB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/ZhouOD10,
  author       = {Bo Zhou and
                  Hiroyuki Okamura and
                  Tadashi Dohi},
  title        = {Enhancing Performance of Random Testing through Markov Chain Monte
                  Carlo Methods},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {162--163},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.11},
  doi          = {10.1109/HASE.2010.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/ZhouOD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hase/2010,
  title        = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5628339/proceeding},
  isbn         = {978-1-4244-9091-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/2010.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.