Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hase/hase2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/hase/AlwakeelA11,
author = {Sami S. Alwakeel and
Shaker S. AlGhanmi},
editor = {Taghi M. Khoshgoftaar},
title = {A Real Time Window-Based Local Call Admission Control Algorithm for
{IP} Networks},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {163--167},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.32},
doi = {10.1109/HASE.2011.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AlwakeelA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AminCG11,
author = {Ayman A. Amin and
Alan Colman and
Lars Grunske},
editor = {Taghi M. Khoshgoftaar},
title = {Using Automated Control Charts for the Runtime Evaluation of QoS Attributes},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {299--306},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.20},
doi = {10.1109/HASE.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AminCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AssoudiL11,
author = {Hicham Assoudi and
Hakim Lounis},
editor = {Taghi M. Khoshgoftaar},
title = {Self-Healing Data Exchange Process under Evolving Schemas: {A} New
Mapping Adaptation Approach Based on Self-Optimization},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {188--190},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.42},
doi = {10.1109/HASE.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AssoudiL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BandyopadhyayG11,
author = {Aritra Bandyopadhyay and
Sudipto Ghosh},
editor = {Taghi M. Khoshgoftaar},
title = {On the Effectiveness of the Tarantula Fault Localization Technique
for Different Fault Classes},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {317--324},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.52},
doi = {10.1109/HASE.2011.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BandyopadhyayG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BernhartRMMG11,
author = {Mario Bernhart and
Stefan Reiterer and
Kilian Matt and
Andreas Mauczka and
Thomas Grechenig},
editor = {Taghi M. Khoshgoftaar},
title = {A Task-Based Code Review Process and Tool to Comply with the {DO-278/ED-109}
Standard for Air Traffic Managment Software Development: An Industrial
Case Study},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {182--187},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.54},
doi = {10.1109/HASE.2011.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BernhartRMMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BiswasN11,
author = {Debmalya Biswas and
Valtteri Niemi},
editor = {Taghi M. Khoshgoftaar},
title = {Transforming Privacy Policies to Auditing Specifications},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {368--375},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.51},
doi = {10.1109/HASE.2011.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BiswasN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BuckleyF11,
author = {Ingrid A. Buckley and
Eduardo B. Fern{\'{a}}ndez},
editor = {Taghi M. Khoshgoftaar},
title = {Enumerating Software Failures to Build Dependable Distributed Applications},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {120--123},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.35},
doi = {10.1109/HASE.2011.35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/BuckleyF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/CeccarelliVB11,
author = {Andrea Ceccarelli and
Marco Vieira and
Andrea Bondavalli},
editor = {Taghi M. Khoshgoftaar},
title = {A Testing Service for Lifelong Validation of Dynamic {SOA}},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.18},
doi = {10.1109/HASE.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/CeccarelliVB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DeshpandeKBS11,
author = {Tushar Deshpande and
Panagiotis Katsaros and
Stylianos Basagiannis and
Scott A. Smolka},
editor = {Taghi M. Khoshgoftaar},
title = {Formal Analysis of the {DNS} Bandwidth Amplification Attack and Its
Countermeasures Using Probabilistic Model Checking},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {360--367},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.57},
doi = {10.1109/HASE.2011.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DeshpandeKBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DhaussyRB11,
author = {Philippe Dhaussy and
Jean{-}Charles Roger and
Fr{\'{e}}d{\'{e}}ric Boniol},
editor = {Taghi M. Khoshgoftaar},
title = {Reducing State Explosion with Context Modeling for Model-Checking},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.24},
doi = {10.1109/HASE.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DhaussyRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DuhaneyKSAB11,
author = {Janell Duhaney and
Taghi M. Khoshgoftaar and
John C. Sloan and
Bassem Alhalabi and
Pierre P. Beaujean},
editor = {Taghi M. Khoshgoftaar},
title = {A Dynamometer for an Ocean Turbine Prototype: Reliability through
Automated Monitoring},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {244--251},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.61},
doi = {10.1109/HASE.2011.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DuhaneyKSAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FiondellaRG11,
author = {Lance Fiondella and
Sanguthevar Rajasekaran and
Swapna S. Gokhale},
editor = {Taghi M. Khoshgoftaar},
title = {Efficient System Reliability with Correlated Component Failures},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {269--276},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.31},
doi = {10.1109/HASE.2011.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FiondellaRG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FujitaI11,
author = {Hajime Fujita and
Yutaka Ishikawa},
editor = {Taghi M. Khoshgoftaar},
title = {Anytime Available Single {IP} Address Cluster},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {168--173},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.53},
doi = {10.1109/HASE.2011.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FujitaI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GonzalezMM11,
author = {Javier Gonz{\'{a}}lez and
Antonio Mu{\~{n}}oz and
Antonio Ma{\~{n}}a},
editor = {Taghi M. Khoshgoftaar},
title = {Multi-layer Monitoring for Cloud Computing},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {291--298},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.65},
doi = {10.1109/HASE.2011.65},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GonzalezMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HaqueWGLM11,
author = {Md. Emdadul Haque and
Fan Wei and
Takehiro Gouda and
Xiaodong Lu and
Kinji Mori},
editor = {Taghi M. Khoshgoftaar},
title = {Autonomous Online Expansion Technology for ZigBee Wireless Sensor
Networks},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {174--175},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.55},
doi = {10.1109/HASE.2011.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HaqueWGLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Hecht11,
author = {Herbert Hecht},
editor = {Taghi M. Khoshgoftaar},
title = {So Much to Learn from One Accident Crash of 737 on 25 February 2009},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {348--351},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.45},
doi = {10.1109/HASE.2011.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Hecht11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HeinBMM11,
author = {Patrick Hein and
Debmalya Biswas and
Leonardo A. Martucci and
Max M{\"{u}}hlh{\"{a}}user},
editor = {Taghi M. Khoshgoftaar},
title = {Conflict Detection and Lifecycle Management for Access Control in
Publish/Subscribe Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {104--111},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.50},
doi = {10.1109/HASE.2011.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HeinBMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/KansoKMT11,
author = {Ali Kanso and
Ferhat Khendek and
Anik Mishra and
Maria Toeroe},
editor = {Taghi M. Khoshgoftaar},
title = {Integrating Legacy Applications for High Availability: {A} Case Study},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.39},
doi = {10.1109/HASE.2011.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/KansoKMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LauerEBP11,
author = {Micha{\"{e}}l Lauer and
J{\'{e}}r{\^{o}}me Ermont and
Fr{\'{e}}d{\'{e}}ric Boniol and
Claire Pagetti},
editor = {Taghi M. Khoshgoftaar},
title = {Worst Case Temporal Consistency in Integrated Modular Avionics Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {212--219},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.48},
doi = {10.1109/HASE.2011.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LauerEBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LeeSP11,
author = {Dongeun Lee and
Heonshik Shin and
Eunjeong Park},
editor = {Taghi M. Khoshgoftaar},
title = {Modeling Recovery Strategies in Service-Oriented Architecture Using
a Markov Decision Process},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {285--290},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.25},
doi = {10.1109/HASE.2011.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LeeSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LiWZPQG11,
author = {Jianwen Li and
Zheng Wang and
Yongxin Zhao and
Geguang Pu and
Yanxia Qi and
Bin Gu},
editor = {Taghi M. Khoshgoftaar},
title = {An Event-B Interpretation for {SPARDL} Model},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.27},
doi = {10.1109/HASE.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LiWZPQG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LinBW11,
author = {Mingjie Lin and
Yu Bai and
John Wawrzynek},
editor = {Taghi M. Khoshgoftaar},
title = {Discriminatively Fortified Computing with Reconfigurable Digital Fabric},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {112--119},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.49},
doi = {10.1109/HASE.2011.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LinBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LiuZZL11,
author = {Si Liu and
Yongxin Zhao and
Huibiao Zhu and
Qin Li},
editor = {Taghi M. Khoshgoftaar},
title = {A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {157--162},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.13},
doi = {10.1109/HASE.2011.13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/LiuZZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LoCW11,
author = {David Lo and
Hong Cheng and
Xiaoyin Wang},
editor = {Taghi M. Khoshgoftaar},
title = {Bug Signature Minimization and Fusion},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {340--347},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.36},
doi = {10.1109/HASE.2011.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LoCW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LopatkinIRPT11,
author = {Ilya Lopatkin and
Alexei Iliasov and
Alexander B. Romanovsky and
Yuliya Prokhorova and
Elena Troubitsyna},
editor = {Taghi M. Khoshgoftaar},
title = {Patterns for Representing {FMEA} in Formal Specification of Control
Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {146--151},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.10},
doi = {10.1109/HASE.2011.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LopatkinIRPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LouiseLAD11,
author = {St{\'{e}}phane Louise and
Matthieu Lemerre and
Christophe Aussagu{\`{e}}s and
Vincent David},
editor = {Taghi M. Khoshgoftaar},
title = {The {OASIS} Kernel: {A} Framework for High Dependability Real-Time
Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {95--103},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.38},
doi = {10.1109/HASE.2011.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LouiseLAD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MaarabaniCHZ11,
author = {Mazen El Maarabani and
Ana R. Cavalli and
Iksoon Hwang and
Fatiha Za{\"{\i}}di},
editor = {Taghi M. Khoshgoftaar},
title = {Verification of Interoperability Security Policies by Model Checking},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {376--381},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.17},
doi = {10.1109/HASE.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MaarabaniCHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MaheshwariSLLSP11,
author = {Pratik Maheshwari and
Byong{-}Su Seol and
Jong{-}Sung Lee and
Jae{-}Deok Lim and
Sahra Sedigh and
David Pommerenke},
editor = {Taghi M. Khoshgoftaar},
title = {Software-Based Instrumentation for Localization of Faults Caused by
Electrostatic Discharge},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {333--339},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.64},
doi = {10.1109/HASE.2011.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MaheshwariSLLSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ManaR11,
author = {Antonio Ma{\~{n}}a and
Jos{\'{e}} Fran. Ruiz},
editor = {Taghi M. Khoshgoftaar},
title = {A Security Modelling Framework for Systems of Embedded Components},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {176--177},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.21},
doi = {10.1109/HASE.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ManaR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MashkoorJ11,
author = {Atif Mashkoor and
Jean{-}Pierre Jacquot},
editor = {Taghi M. Khoshgoftaar},
title = {Guidelines for Formal Domain Modeling in Event-B},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {138--145},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.47},
doi = {10.1109/HASE.2011.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MashkoorJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MjitBV11,
author = {Mustapha Mjit and
Pierre{-}Philippe J. Beaujean and
David J. Vendittis},
editor = {Taghi M. Khoshgoftaar},
title = {Smart Vibration Monitoring System for an Ocean Turbine},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {252--260},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.34},
doi = {10.1109/HASE.2011.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MjitBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MuthaS11,
author = {Chetan Mutha and
Carol S. Smidts},
editor = {Taghi M. Khoshgoftaar},
title = {An Early Design Stage UML-Based Safety Analysis Approach for High
Assurrance Software Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {202--211},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.37},
doi = {10.1109/HASE.2011.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MuthaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Nadjm-TehraniV11,
author = {Simin Nadjm{-}Tehrani and
Maria Vasilevskaya},
editor = {Taghi M. Khoshgoftaar},
title = {Towards a Security Domain Model for Embedded Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {180--181},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.19},
doi = {10.1109/HASE.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Nadjm-TehraniV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/NieZ11,
author = {Kunming Nie and
Li Zhang},
editor = {Taghi M. Khoshgoftaar},
title = {On the Relationship between Preprocessor-Based Software Variability
and Software Defects},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {178--179},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.44},
doi = {10.1109/HASE.2011.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/NieZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PaharsinghD11,
author = {Ricardo Paharsingh and
Olivia Das},
editor = {Taghi M. Khoshgoftaar},
title = {An Availability Model of a Virtual {TMR} System with Applications
in Cloud/Cluster Computing},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {261--268},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.11},
doi = {10.1109/HASE.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/PaharsinghD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PeshaveBY11,
author = {Manasi Peshave and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Taghi M. Khoshgoftaar},
title = {High-Assurance Reconfigurable Multicore Processor Based Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {220--226},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.33},
doi = {10.1109/HASE.2011.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/PeshaveBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PflugerGQ11,
author = {Andr{\'{e}} Pfl{\"{u}}ger and
Wolfgang Golubski and
Stefan Queins},
editor = {Taghi M. Khoshgoftaar},
title = {Model Driven Validation of System Architectures},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {25--28},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.46},
doi = {10.1109/HASE.2011.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/PflugerGQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/RodriguesPEB11,
author = {Douglas Rodrigues and
Daniel F. Pigatto and
J{\'{u}}lio Cezar Estrella and
Kalinka Regina Lucas Jaquie Castelo Branco},
editor = {Taghi M. Khoshgoftaar},
title = {Comparison and Analysis of Cryptographic Algorithms Aiming Performance
Improvement in Secure Web Services},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {191--192},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.69},
doi = {10.1109/HASE.2011.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/RodriguesPEB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SabetzadehFBAMAB11,
author = {Mehrdad Sabetzadeh and
Davide Falessi and
Lionel C. Briand and
Stefano {Di Alesio} and
Dag McGeorge and
Vidar {\AA}hjem and
Jonas Borg},
editor = {Taghi M. Khoshgoftaar},
title = {Combining Goal Models, Expert Elicitation, and Probabilistic Simulation
for Qualification of New Technology},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {63--72},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.22},
doi = {10.1109/HASE.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SabetzadehFBAMAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SabetzadehNBM11,
author = {Mehrdad Sabetzadeh and
Shiva Nejati and
Lionel C. Briand and
Anne{-}Heidi Evensen Mills},
editor = {Taghi M. Khoshgoftaar},
title = {Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces:
Guidelines and Industry Experience},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {193--201},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.23},
doi = {10.1109/HASE.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SabetzadehNBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SiokT11,
author = {Michael F. Siok and
Jeff Tian},
editor = {Taghi M. Khoshgoftaar},
title = {Benchmarking Embedded Software Development Project Performance},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {277--284},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.59},
doi = {10.1109/HASE.2011.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SiokT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SloanK11,
author = {John C. Sloan and
Taghi M. Khoshgoftaar},
editor = {Taghi M. Khoshgoftaar},
title = {Ensemble Coordination for Discrete Event Control},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {227--235},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.26},
doi = {10.1109/HASE.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SloanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SunFR11,
author = {Wuliang Sun and
Robert B. France and
Indrakshi Ray},
editor = {Taghi M. Khoshgoftaar},
title = {Supporting Iterative Development of Robust Operation Contracts in
{UML} Requirements Models},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.43},
doi = {10.1109/HASE.2011.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SunFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/SyedBCC11,
author = {Zahid A. Syed and
Sean Banerjee and
Qi Cheng and
Bojan Cukic},
editor = {Taghi M. Khoshgoftaar},
title = {Effects of User Habituation in Keystroke Dynamics on Password Security
Policy},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {352--359},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.16},
doi = {10.1109/HASE.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/SyedBCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/TaoLG11,
author = {Chuanqi Tao and
Bixin Li and
Jerry Gao},
editor = {Taghi M. Khoshgoftaar},
title = {Regression Testing of Component-Based Software: {A} Systematic Practise
Based on State Testing},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {29--32},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.40},
doi = {10.1109/HASE.2011.40},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/TaoLG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/TyagiPAA11,
author = {Vivek Tyagi and
Abhijit S. Pandya and
Ankur Agarwal and
Bassem Alhalabi},
editor = {Taghi M. Khoshgoftaar},
title = {Validation of Object Recognition Framework on Android Mobile Platform},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {313--316},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.62},
doi = {10.1109/HASE.2011.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/TyagiPAA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/VedTAP11,
author = {Vishesh Ved and
Vivek Tyagi and
Ankur Agarwal and
Abhijit S. Pandya},
editor = {Taghi M. Khoshgoftaar},
title = {Personal Health Record System and Integration Techniques with Various
Electronic Medical Record Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {91--94},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.63},
doi = {10.1109/HASE.2011.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/VedTAP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/VoukM11,
author = {Mladen A. Vouk and
Pierre Mouallem},
editor = {Taghi M. Khoshgoftaar},
title = {On High-Assurance Scientific Workflows},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {73--82},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.58},
doi = {10.1109/HASE.2011.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/VoukM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WaldKS11,
author = {Randall Wald and
Taghi M. Khoshgoftaar and
John C. Sloan},
editor = {Taghi M. Khoshgoftaar},
title = {Using Feature Selection to Determine Optimal Depth for Wavelet Packet
Decomposition of Vibration Signals for Ocean System Reliability},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.60},
doi = {10.1109/HASE.2011.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WaldKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WangHL11,
author = {Ying Wang and
Chunming Hu and
Bo Li},
editor = {Taghi M. Khoshgoftaar},
title = {VMDetector: {A} VMM-based Platform to Detect Hidden Process by Multi-view
Comparison},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {307--312},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.41},
doi = {10.1109/HASE.2011.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WangHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WangZ11,
author = {Qian Wang and
Huibiao Zhu},
editor = {Taghi M. Khoshgoftaar},
title = {Animating the Approach of Deriving Operational Semantics from Algebraic
Semantics for Web Services},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {57--62},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.56},
doi = {10.1109/HASE.2011.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WangZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WinterGRP11,
author = {Victor L. Winter and
Jonathan Guerrero and
Carl Reinke and
James T. Perry},
editor = {Taghi M. Khoshgoftaar},
title = {Monarch: {A} High-Assurance Java-to-Java (J2j) Source-Code Migrator},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {152--156},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.30},
doi = {10.1109/HASE.2011.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WinterGRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/YangCXWZ11,
author = {Rui Yang and
Zhenyu Chen and
Baowen Xu and
W. Eric Wong and
Jie Zhang},
editor = {Taghi M. Khoshgoftaar},
title = {Improve the Effectiveness of Test Case Generation on {EFSM} via Automatic
Path Feasibility Analysis},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.12},
doi = {10.1109/HASE.2011.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/YangCXWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/YuHBCW11,
author = {Zhongxing Yu and
Hai Hu and
Chenggang Bai and
Kai{-}Yuan Cai and
W. Eric Wong},
editor = {Taghi M. Khoshgoftaar},
title = {{GUI} Software Fault Localization Using N-gram Analysis},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {325--332},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.29},
doi = {10.1109/HASE.2011.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/YuHBCW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhangRZM11,
author = {Yingying Zhang and
Emmanuel Rodriguez and
Hao Zheng and
Chris J. Myers},
editor = {Taghi M. Khoshgoftaar},
title = {A Behavioral Analysis Approach for Efficient Partial Order Reduction},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.15},
doi = {10.1109/HASE.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhangRZM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhaoMM11,
author = {Wenbing Zhao and
P. M. Melliar{-}Smith and
Louise E. Moser},
editor = {Taghi M. Khoshgoftaar},
title = {Leader-Determined Membership Protocol},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {124--129},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.14},
doi = {10.1109/HASE.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhaoMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhaoWXPPHZ11,
author = {Yongxin Zhao and
Zheng Wang and
Hao Xiao and
Jing Ping and
Geguang Pu and
Jifeng He and
Huibiao Zhu},
editor = {Taghi M. Khoshgoftaar},
title = {A Unifying Approach to Validating Specification-Oriented {XML} Constraints},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.28},
doi = {10.1109/HASE.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhaoWXPPHZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hase/2011,
editor = {Taghi M. Khoshgoftaar},
title = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6113112/proceeding},
isbn = {978-1-4673-0107-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-27 21:48 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
