Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hase/BastaniYK01,
  author       = {Farokh B. Bastani and
                  I{-}Ling Yen and
                  Sung Kim},
  title        = {Highly Reliable Relational Control Programs for Robust Rapid Transit
                  Systems},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {65--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966808},
  doi          = {10.1109/HASE.2001.966808},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BastaniYK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/BuchackerS01,
  author       = {Kerstin Buchacker and
                  Volkmar Sieh},
  title        = {Framework for Testing the Fault-Tolerance of Systems Including {OS}
                  and Network Aspects},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {95--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966811},
  doi          = {10.1109/HASE.2001.966811},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/BuchackerS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/DipoppaDST01,
  author       = {Giovanni Dipoppa and
                  Giovanni D'Alessandro and
                  Roberto Semprini and
                  Enrico Tronci},
  title        = {Integrating Automatic Verification of Safety Requirements in Railway
                  Interlocking System Design},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {209--219},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966821},
  doi          = {10.1109/HASE.2001.966821},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/DipoppaDST01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/FeatherFR01,
  author       = {Martin S. Feather and
                  Stephen Fickas and
                  N.{-}A. Razermera{-}Mamy},
  title        = {Model-Checking for Validation of a Fault Protection System},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {32--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966805},
  doi          = {10.1109/HASE.2001.966805},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/FeatherFR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/FerreiraRL01,
  author       = {Gisele Rodrigues Mesquita Ferreira and
                  Cec{\'{\i}}lia M. F. Rubira and
                  Rog{\'{e}}rio de Lemos},
  title        = {Explicit Representation of Exception Handling in the Development of
                  Dependable Component-Based Systems},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {182--193},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966819},
  doi          = {10.1109/HASE.2001.966819},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/FerreiraRL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/FisherC01,
  author       = {M. S. Fisher and
                  Bojan Cukic},
  title        = {Automating Techniques for Inspecting High Assurance Systems},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {117--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966813},
  doi          = {10.1109/HASE.2001.966813},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/FisherC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GhoshBCK01,
  author       = {Sudipto Ghosh and
                  Nishant Bawa and
                  Gerald Craig and
                  Ketaki Kalgaonkar},
  title        = {A Test Management and Software Visualization Framework for Heterogeneous
                  Distributed Applications},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {106--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966812},
  doi          = {10.1109/HASE.2001.966812},
  timestamp    = {Wed, 26 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/GhoshBCK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GoddardKZ01,
  author       = {Steve Goddard and
                  Roger M. Kieckhafer and
                  Y. Zhang},
  title        = {An Unavailability Analysis of Firewall Sandwich Configurations},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {139--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966815},
  doi          = {10.1109/HASE.2001.966815},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GoddardKZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GoddardS01,
  author       = {Steve Goddard and
                  Trevor Schroeder},
  title        = {The {SASHA} Architecture for Network-Clustered Web Servers},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {163--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966817},
  doi          = {10.1109/HASE.2001.966817},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GoddardS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/GrootHKPVLGWK01,
  author       = {Adriaan de Groot and
                  Jozef Hooman and
                  Fabrice Kordon and
                  Emmanuel Paviot{-}Adet and
                  Isabelle Vernier{-}Mounier and
                  Michel Lemoine and
                  Gervais Gaudi{\'{e}}re and
                  Victor L. Winter and
                  Deepak Kapur},
  title        = {A Survey: Applying Formal Methods to a Software Intensive System},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {55--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966807},
  doi          = {10.1109/HASE.2001.966807},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GrootHKPVLGWK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/KeraBKM01,
  author       = {Kazuo Kera and
                  Keisuke Bekki and
                  Keiji Kamijyo and
                  Kinji Mori},
  title        = {Adaptive Step-by-Step Construction Technique Achieving High Assurance
                  for Tokyo Metropolitan Railway Network},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {228},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966823},
  doi          = {10.1109/HASE.2001.966823},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/KeraBKM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Knight01,
  author       = {John C. Knight},
  title        = {Erroneous Requirements: {A} Linguistic Basis for Their Occurrence
                  and an Approach to Their Reduction},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HASE.2001.10000},
  doi          = {10.1109/HASE.2001.10000},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Knight01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/LatellaM01,
  author       = {Diego Latella and
                  Mieke Massink},
  title        = {A Formal Testing Framework for {UML} Statechart Diagrams Behaviours:
                  From Theory to Automatic Verification},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {11--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966803},
  doi          = {10.1109/HASE.2001.966803},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/LatellaM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/LiuK01,
  author       = {Yi Liu and
                  Taghi M. Khoshgoftaar},
  title        = {Genetic Programming Model for Software Quality Classification},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {127--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966814},
  doi          = {10.1109/HASE.2001.966814},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/LiuK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/MatsumotoKS01,
  author       = {Masayuki Matsumoto and
                  Satoru Kitamura and
                  M. Sato},
  title        = {High Assurance Technologies for Autonomous Decentralized Train Control
                  System},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {220--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966822},
  doi          = {10.1109/HASE.2001.966822},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MatsumotoKS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/NettGM01,
  author       = {Edgar Nett and
                  Martin Gergeleit and
                  Michael Mock},
  title        = {Mechanisms for a Reliable Cooperation of Vehicles},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {75--81},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966809},
  doi          = {10.1109/HASE.2001.966809},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/NettGM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/NikoraSVWX01,
  author       = {Allen P. Nikora and
                  Raphael R. Some and
                  Jeffrey M. Voas and
                  Victor L. Winter and
                  Jie Xu},
  title        = {Software Dependability in Distributed and Mobile Computing Environments},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {7--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HASE.2001.10005},
  doi          = {10.1109/HASE.2001.10005},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/NikoraSVWX01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/OschS01,
  author       = {Michiel van Osch and
                  Scott A. Smolka},
  title        = {Finite-State Analysis of the {CAN} Bus Protocol},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {42--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966806},
  doi          = {10.1109/HASE.2001.966806},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/OschS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Pittler01,
  author       = {Arnold W. Pittler},
  title        = {Keynote Speaker},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {4},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HASE.2001.10003},
  doi          = {10.1109/HASE.2001.10003},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Pittler01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/RayadurgamH01,
  author       = {Sanjai Rayadurgam and
                  Mats Per Erik Heimdahl},
  title        = {Test-Sequence Generation from Formal Requirement Models},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {23--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966804},
  doi          = {10.1109/HASE.2001.966804},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/RayadurgamH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/SinhaS01,
  author       = {Purnendu Sinha and
                  Neeraj Suri},
  title        = {On Simplifying Modular Specification and Verification of Distributed
                  Protocols},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {173--181},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966818},
  doi          = {10.1109/HASE.2001.966818},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/SinhaS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/ThuenteW01,
  author       = {David J. Thuente and
                  John K. Whiteman},
  title        = {Systems Engineering of Communication Protocols for Command and Control
                  Systems},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {194--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966820},
  doi          = {10.1109/HASE.2001.966820},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/ThuenteW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/Voas01,
  author       = {Jeffrey M. Voas},
  title        = {Why Testing under Expected Operational Scenarios is Not Sufficient},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {5--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HASE.2001.10002},
  doi          = {10.1109/HASE.2001.10002},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Voas01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/YashiroTF01,
  author       = {Hiroyuki Yashiro and
                  Yoshirou Takahashi and
                  Teruo Fujiwara},
  title        = {Verification of Assurance of Space On-Board Distributed Computer System},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {82--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966810},
  doi          = {10.1109/HASE.2001.966810},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/YashiroTF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hase/YasinsacC01,
  author       = {Alec Yasinsac and
                  Justin Childs},
  title        = {Analyzing Internet Security Protocols},
  booktitle    = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  pages        = {149--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HASE.2001.966816},
  doi          = {10.1109/HASE.2001.966816},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/YasinsacC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hase/2001,
  title        = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
                  {(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
                  2001, Albuquerque, NM, USA, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7642/proceeding},
  isbn         = {0-7695-1275-5},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/2001.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.