Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hase/AparicioHSJS98,
  author       = {Manuel Aparicio IV and
                  Peter Herman and
                  Wendy Stephens and
                  Anuj K. Jain and
                  Munindar P. Singh},
  title        = {Agent Information Contracts within Virtual Private Networks},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {304--311},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731634},
  doi          = {10.1109/HASE.1998.731634},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/AparicioHSJS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/BarkaouiP98,
  author       = {Kamel Barkaoui and
                  Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
  title        = {Verification in Concurrent Programming with Petri Nets Structural
                  Techniques},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {124--133},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731604},
  doi          = {10.1109/HASE.1998.731604},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BarkaouiP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Cin98,
  author       = {Mario Dal Cin},
  title        = {Checking Modification Tolerance},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {4--12},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731589},
  doi          = {10.1109/HASE.1998.731589},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Cin98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/CoppitS98,
  author       = {David Coppit and
                  Kevin J. Sullivan},
  title        = {Formal Specification in Collaborative Design of Critical Software
                  Tools},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {13--20},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731590},
  doi          = {10.1109/HASE.1998.731590},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/CoppitS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/CovanC98,
  author       = {John M. Covan and
                  J. Arlin Cooper},
  title        = {Predictable Safety in the Control of High Consequence Systems},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {200--204},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731612},
  doi          = {10.1109/HASE.1998.731612},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/CovanC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/DengW98,
  author       = {Yi Deng and
                  Jiacun Wang},
  title        = {Integrated Architectural Modeling and Analysis for High-Assurance
                  Command and Control System Design},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {270--278},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731627},
  doi          = {10.1109/HASE.1998.731627},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/DengW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GobboNCC98,
  author       = {Diego Del Gobbo and
                  Marcello R. Napolitano and
                  John Callahan and
                  Bojan Cukic},
  title        = {Experience in Developing System Requirements Specification for a Sensor
                  Failure Detection and Identification Scheme},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {209--213},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731614},
  doi          = {10.1109/HASE.1998.731614},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GobboNCC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GokhaleT98,
  author       = {Swapna S. Gokhale and
                  Kishor S. Trivedi},
  title        = {Log-Logistic Software Reliability Growth Model},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {34--41},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731593},
  doi          = {10.1109/HASE.1998.731593},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GokhaleT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GrandoniBC98,
  author       = {Fabrizio Grandoni and
                  Andrea Bondavalli and
                  Silvano Chiaradonna},
  title        = {A New Heuristic to Discriminate between Transient and Intermittent
                  Faults},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {224--231},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731617},
  doi          = {10.1109/HASE.1998.731617},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/GrandoniBC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/HanamuraM98,
  author       = {Hideo Hanamura and
                  Kinji Mori},
  title        = {Assurance of Transactions in Allied Heterogeneous Systems by Autonomous
                  Decentralized System Techniques},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {288--295},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731630},
  doi          = {10.1109/HASE.1998.731630},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/HanamuraM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/HooverK98,
  author       = {Carol L. Hoover and
                  Pradeep K. Khosla},
  title        = {Analytical Partition of Software Components for Evolvable and Reliable
                  {MEMS} Design Tools},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {188--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731611},
  doi          = {10.1109/HASE.1998.731611},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/HooverK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Howden98,
  author       = {William E. Howden},
  title        = {Good Enough versus High Assurance Software Testing and Evaluation
                  Methods},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {166--177},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731609},
  doi          = {10.1109/HASE.1998.731609},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Howden98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/HwangC98,
  author       = {Seung H. Hwang and
                  Gwan S. Choi},
  title        = {On-Chip Cache Memory Resilience},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {240--247},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731620},
  doi          = {10.1109/HASE.1998.731620},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/HwangC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/IyerKWB98,
  author       = {Ravishankar K. Iyer and
                  Zbigniew Kalbarczyk and
                  Keith Whisnant and
                  Saurabh Bagchi},
  title        = {A Flexible Software Architecture for High Availability Computing},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {42--49},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731594},
  doi          = {10.1109/HASE.1998.731594},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/IyerKWB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/JohnsonCHJH98,
  author       = {Gary Johnson and
                  John Calvert and
                  Kelly J. Hayhurst and
                  John Janeri and
                  Herbert Hecht},
  title        = {System Requirements and Analysis Issues for High Assurance Systems},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {60},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HASE.1998.10001},
  doi          = {10.1109/HASE.1998.10001},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/JohnsonCHJH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/KhoshgoftaarANJH98,
  author       = {Taghi M. Khoshgoftaar and
                  Edward B. Allen and
                  Archana Naik and
                  Wendell D. Jones and
                  John P. Hudepohl},
  title        = {Using Classification Trees for Software Quality Models: Lessons Learned},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {82--89},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731598},
  doi          = {10.1109/HASE.1998.731598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/KhoshgoftaarANJH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Khosla98,
  author       = {Rajiv Khosla},
  title        = {Human-Centered Virtual Machine of Problem Solving Agents, Software
                  Agents, Intelligent Agents and Objects},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {312},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731636},
  doi          = {10.1109/HASE.1998.731636},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Khosla98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Kim98,
  author       = {K. H. Kim},
  title        = {{ROAFTS:} {A} Middleware Architecture for Real-Time Object-Oriented
                  Adaptive Fault Tolerance Support},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {50--63},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731595},
  doi          = {10.1109/HASE.1998.731595},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Kim98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/KungHTCG98,
  author       = {David Chenho Kung and
                  Pei Hsia and
                  Yasufumi Toyoshima and
                  Cris Chen and
                  Jerry Gao},
  title        = {Object-Oriented Software Testing: Some Research and Development},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {158--165},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731608},
  doi          = {10.1109/HASE.1998.731608},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/KungHTCG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/KuoKS98,
  author       = {Tei{-}Wei Kuo and
                  Yuan{-}Ting Kao and
                  LihChyun Shu},
  title        = {A Two-Version Approach for Real-Time Concurrency Control and Recovery},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {279},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731628},
  doi          = {10.1109/HASE.1998.731628},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/KuoKS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/LalC98,
  author       = {Ronjeet Lal and
                  Gwan S. Choi},
  title        = {Error and Failure Analysis of a {UNIX} Server},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {232--239},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731618},
  doi          = {10.1109/HASE.1998.731618},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/LalC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/LeiT98,
  author       = {Yu Lei and
                  Kuo{-}Chung Tai},
  title        = {In-Parameter-Order: {A} Test Generation Strategy for Pairwise Testing},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {254--261},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731623},
  doi          = {10.1109/HASE.1998.731623},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/LeiT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/MalaiyaD98,
  author       = {Yashwant K. Malaiya and
                  Jason Denton},
  title        = {Estimating the Number of Residual Defects},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {98--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731600},
  doi          = {10.1109/HASE.1998.731600},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MalaiyaD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/ManianDCS98,
  author       = {Ragavan Manian and
                  Joanne Bechta Dugan and
                  David Coppit and
                  Kevin J. Sullivan},
  title        = {Combining Various Solution Techniques for Dynamic Fault Tree Analysis
                  of Computer Systems},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {21--28},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731591},
  doi          = {10.1109/HASE.1998.731591},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/ManianDCS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/MayrhauserBCAH98,
  author       = {Anneliese von Mayrhauser and
                  Andre Bai and
                  Tom Chen and
                  Charles Anderson and
                  Amjad Hajjar},
  title        = {Fast Antirandom {(FAR)} Test Generation},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {262--269},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731625},
  doi          = {10.1109/HASE.1998.731625},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MayrhauserBCAH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/OlawskyPSAF98,
  author       = {Duane E. Olawsky and
                  Charles Payne and
                  Thomas Sundquist and
                  David Apostal and
                  Todd Fine},
  title        = {Using Composition to Design Secure, Fault-Tolerant Systems},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {29--33},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731592},
  doi          = {10.1109/HASE.1998.731592},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/OlawskyPSAF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/PhohaEPK98,
  author       = {Shashi Phoha and
                  Eugene Eberbach and
                  Eileen Peluso and
                  Atilla P. Kiraly},
  title        = {Coordination of Engineering Design Agents for High Assurance in Complex
                  Dynamic System Design},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {296--303},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731631},
  doi          = {10.1109/HASE.1998.731631},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/PhohaEPK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/PizzaSBG98,
  author       = {Michele Pizza and
                  Lorenzo Strigini and
                  Andrea Bondavalli and
                  Felicita Di Giandomenico},
  title        = {Optimal Discrimination between Transient and Permanent Faults},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {214--223},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731615},
  doi          = {10.1109/HASE.1998.731615},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/PizzaSBG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/PuC98,
  author       = {Calton Pu and
                  Crispin Cowan},
  title        = {System Survivability through Security Bug Tolerance},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {108},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731601},
  doi          = {10.1109/HASE.1998.731601},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/PuC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SchenkerK98,
  author       = {Donald F. Schenker and
                  Taghi M. Khoshgoftaar},
  title        = {The Application of Fuzzy Enhanced Case-Based Reasoning for Identifying
                  Fault-Prone Modules},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {90--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731599},
  doi          = {10.1109/HASE.1998.731599},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SchenkerK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/ShokriH98,
  author       = {Eltefaat Shokri and
                  Herbert Hecht},
  title        = {Matching Software Fault Tolerance with Application Needs},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {248--253},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731622},
  doi          = {10.1109/HASE.1998.731622},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/ShokriH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SmithB98,
  author       = {Robert N. Smith and
                  Sourav Bhattacharya},
  title        = {Fault and Leak Tolerance in Firewall Engineering},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {117--123},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731603},
  doi          = {10.1109/HASE.1998.731603},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SmithB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Stepney98,
  author       = {Susan Stepney},
  title        = {Incremental Development of a High Integrity Compiler: Experience from
                  an Industrial Development},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {142--149},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731606},
  doi          = {10.1109/HASE.1998.731606},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Stepney98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SubramanianRT98,
  author       = {Satish Subramanian and
                  Sanjai Rayadurgam and
                  Wei{-}Tek Tsai},
  title        = {Design for Constraint Violation Detection in Safety-Critical Systems},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {109--116},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731602},
  doi          = {10.1109/HASE.1998.731602},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SubramanianRT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Wallace98,
  author       = {Dolores R. Wallace},
  title        = {Enhancing Competitiveness via a Public Fault {\&} Failure Data
                  Repository},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {178--187},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731610},
  doi          = {10.1109/HASE.1998.731610},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Wallace98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/WangH98,
  author       = {Farn Wang and
                  Pao{-}Ann Hsiung},
  title        = {Automatic Verification on the Large},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {134--141},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731605},
  doi          = {10.1109/HASE.1998.731605},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/WangH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/WoitM98,
  author       = {Denise M. Woit and
                  David V. Mason},
  title        = {Software Component Independence},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {74--81},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731597},
  doi          = {10.1109/HASE.1998.731597},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/WoitM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/XuS98,
  author       = {Jun Xu and
                  Mukesh Singhal},
  title        = {A Firewalling Scheme for Securing MPOA-Based Enterprise Networks},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {205--208},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731613},
  doi          = {10.1109/HASE.1998.731613},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/XuS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/YangLLC98,
  author       = {Stephen J. H. Yang and
                  Sam Lin and
                  Jonathan Lee and
                  William C. Chu},
  title        = {Specifying and Verifying Temporal Behavior of High Assurance Systems
                  Using Reachability Tree Logic},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {150--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731607},
  doi          = {10.1109/HASE.1998.731607},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/YangLLC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Yeh98,
  author       = {Ying C. (Bob) Yeh},
  title        = {Design Considerations in Boeing 777 Fly-By-Wire Computers},
  booktitle    = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  pages        = {64--73},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HASE.1998.731596},
  doi          = {10.1109/HASE.1998.731596},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Yeh98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hase/1998,
  title        = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5939/proceeding},
  isbn         = {0-8186-9221-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/1998.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.