:facetid:toc:\"db/conf/dsn/dsn2003.bht\"OK:facetid:toc:db/conf/dsn/dsn2003.bhtAstrit AdemajHåkan SivencronaGünther Bauer 0001Jan TorinEvaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology.DSN123-1322003Conference and Workshop Papersclosedconf/dsn/AdemajSBT0310.1109/DSN.2003.1209924https://doi.org/10.1109/DSN.2003.1209924https://dblp.org/rec/conf/dsn/AdemajSBT03URL#6162252Joakim AidemarkJonny VinterPeter FolkessonJohan KarlssonGOOFI: Generic Object-Oriented Fault Injection Tool.DSN6682003Conference and Workshop Papersclosedconf/dsn/AidemarkVFK0310.1109/DSN.2003.1209977https://doi.org/10.1109/DSN.2003.1209977https://dblp.org/rec/conf/dsn/AidemarkVFK03URL#6162253Yair AmirRyan CaudyAshima MunjalTheo SchlossnagleCiprian TutuN-Way Fail-Over Infrastructure for Reliable Servers and Routers.DSN403-4122003Conference and Workshop Papersclosedconf/dsn/AmirCMST0310.1109/DSN.2003.1209951https://doi.org/10.1109/DSN.2003.1209951https://dblp.org/rec/conf/dsn/AmirCMST03URL#6162254Yair AmirClaudiu Danilov 0001Reliable Communication in Overlay Networks.DSN511-5202003Conference and Workshop Papersclosedconf/dsn/AmirD0310.1109/DSN.2003.1209961https://doi.org/10.1109/DSN.2003.1209961https://dblp.org/rec/conf/dsn/AmirD03URL#6162255Anish AroraHongwei Zhang 0001LSRP: Local Stabilization in Shortest Path Routing.DSN139-1482003Conference and Workshop Papersclosedconf/dsn/AroraZ0310.1109/DSN.2003.1209925https://doi.org/10.1109/DSN.2003.1209925https://dblp.org/rec/conf/dsn/AroraZ03URL#6162256Michael Backes 0001Christian CachinReliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries.DSN37-462003Conference and Workshop Papersclosedconf/dsn/BackesC0310.1109/DSN.2003.1209914https://doi.org/10.1109/DSN.2003.1209914https://dblp.org/rec/conf/dsn/BackesC03URL#6162257Yujuan BaoXiaobai SunKishor S. TrivediAdaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.DSN241-2482003Conference and Workshop Papersclosedconf/dsn/BaoST0310.1109/DSN.2003.1209934https://doi.org/10.1109/DSN.2003.1209934https://dblp.org/rec/conf/dsn/BaoST03URL#6162258Claudio BasileZbigniew KalbarczykRavishankar K. IyerA Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas.DSN149-1582003Conference and Workshop Papersclosedconf/dsn/BasileKI0310.1109/DSN.2003.1209926https://doi.org/10.1109/DSN.2003.1209926https://dblp.org/rec/conf/dsn/BasileKI03URL#6162259Marin BertierOlivier MarinPierre Sens 0001Performance Analysis of a Hierarchical Failure Detector.DSN635-6442003Conference and Workshop Papersclosedconf/dsn/BertierMS0310.1109/DSN.2003.1209973https://doi.org/10.1109/DSN.2003.1209973https://dblp.org/rec/conf/dsn/BertierMS03URL#6162260Sumeer BholaYuanyuan ZhaoJoshua S. AuerbachScalably Supporting Durable Subscriptions in a Publish/Subscribe System.DSN57-662003Conference and Workshop Papersclosedconf/dsn/BholaZA0310.1109/DSN.2003.1209916https://doi.org/10.1109/DSN.2003.1209916https://dblp.org/rec/conf/dsn/BholaZA03URL#6162261Pam BinnsReal-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules.DSN573-5822003Conference and Workshop Papersclosedconf/dsn/Binns0310.1109/DSN.2003.1209967https://doi.org/10.1109/DSN.2003.1209967https://dblp.org/rec/conf/dsn/Binns03URL#6162262Robin E. BloomfieldBev LittlewoodMulti-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.DSN25-342003Conference and Workshop Papersclosedconf/dsn/BloomfieldL0310.1109/DSN.2003.1209913https://doi.org/10.1109/DSN.2003.1209913https://dblp.org/rec/conf/dsn/BloomfieldL03URL#6162263Henrik C. BohnenkampTod CourtneyDavid DalySalem DerisaviHolger HermannsJoost-Pieter KatoenRic KlarenVinh Vi LamWilliam H. SandersOn Integrating the MÖBIUS and MODEST Modeling Tools.DSN6712003Conference and Workshop Papersclosedconf/dsn/BohnenkampCDDHKKLS0310.1109/DSN.2003.1209980https://doi.org/10.1109/DSN.2003.1209980https://dblp.org/rec/conf/dsn/BohnenkampCDDHKKLS03URL#6162264Henrik C. BohnenkampPeter van der StokHolger HermannsFrits W. VaandragerCost-Optimization of the IPv4 Zeroconf Protocol.DSN531-5402003Conference and Workshop Papersclosedconf/dsn/BohnenkampSHV0310.1109/DSN.2003.1209963https://doi.org/10.1109/DSN.2003.1209963https://dblp.org/rec/conf/dsn/BohnenkampSHV03URL#6162265Kerstin BuchackerMario Dal CinHans-Jörg HöxerRoland KarchVolkmar SiehOliver TschächeReproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions.DSN469-4782003Conference and Workshop Papersclosedconf/dsn/BuchackerCHKST0310.1109/DSN.2003.1209957https://doi.org/10.1109/DSN.2003.1209957https://dblp.org/rec/conf/dsn/BuchackerCHKST03URL#6162266Kerstin BuchackerMario Dal CinHans-Jörg HöxerVolkmar SiehOliver TschächeMartin WaitzHardware Fault Injection with UMLinux.DSN6702003Conference and Workshop Papersclosedconf/dsn/BuchackerCHSTW0310.1109/DSN.2003.1209979https://doi.org/10.1109/DSN.2003.1209979https://dblp.org/rec/conf/dsn/BuchackerCHSTW03URL#6162267Juan A. CarrascoValidation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization.DSN699-7082003Conference and Workshop Papersclosedconf/dsn/Carrasco0310.1109/DSN.2003.1209985https://doi.org/10.1109/DSN.2003.1209985https://dblp.org/rec/conf/dsn/Carrasco03URL#6162268Dongyan ChenSachin GargChandra M. R. KintalaKishor S. TrivediDependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.DSN521-5282003Conference and Workshop Papersclosedconf/dsn/ChenGKT0310.1109/DSN.2003.1209962https://doi.org/10.1109/DSN.2003.1209962https://dblp.org/rec/conf/dsn/ChenGKT03URL#6162269Shuo Chen 0001Zbigniew KalbarczykJun Xu 0003Ravishankar K. IyerA Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.DSN605-6142003Conference and Workshop Papersclosedconf/dsn/ChenKXI0310.1109/DSN.2003.1209970https://doi.org/10.1109/DSN.2003.1209970https://dblp.org/rec/conf/dsn/ChenKXI03URL#6162270Stefano ChessaPiero MaestriniDependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks.DSN207-2162003Conference and Workshop Papersclosedconf/dsn/ChessaM0310.1109/DSN.2003.1209931https://doi.org/10.1109/DSN.2003.1209931https://dblp.org/rec/conf/dsn/ChessaM03URL#6162271Edmund M. ClarkeMasahiro FujitaDavid P. GluchModel Checking for Dependable Software-Intensive Systems.DSN7642003Conference and Workshop Papersclosedconf/dsn/ClarkeFG0310.1109/DSN.2003.10001https://doi.ieeecomputersociety.org/10.1109/DSN.2003.10001https://dblp.org/rec/conf/dsn/ClarkeFG03URL#6162272Olivia DasC. Murray WoodsideDependable LQNS: A Performability Modeling Tool for Layered Systems.DSN6722003Conference and Workshop Papersclosedconf/dsn/DasW0310.1109/DSN.2003.1209981https://doi.org/10.1109/DSN.2003.1209981https://dblp.org/rec/conf/dsn/DasW03URL#6162273Geert DeconinckVincenzo De FlorioRonnie BelmansGiovanna DondossolaJudit SzantoIntegrating Recovery Strategies into a Primary Substation Automation System.DSN80-852003Conference and Workshop Papersclosedconf/dsn/DeconinckFBDS0310.1109/DSN.2003.1209919https://doi.org/10.1109/DSN.2003.1209919https://dblp.org/rec/conf/dsn/DeconinckFBDS03URL#6162274John G. DorseyDaniel P. SiewiorekThe Design of Wearable Systems: A Shift in Development Effort.DSN273-2802003Conference and Workshop Papersclosedconf/dsn/DorseyS0310.1109/DSN.2003.1209937https://doi.org/10.1109/DSN.2003.1209937https://dblp.org/rec/conf/dsn/DorseyS03URL#6162275João DurãesHenrique MadeiraDefinition of Software Fault Emulation Operators: A Field Data Study.DSN105-1142003Conference and Workshop Papersclosedconf/dsn/DuraesM0310.1109/DSN.2003.1209922https://doi.org/10.1109/DSN.2003.1209922https://dblp.org/rec/conf/dsn/DuraesM03URL#6162276Ali Reza EjlaliSeyed Ghassem MiremadiHamid R. ZarandiGhazanfar AsadiSiavash Bayat SarmadiA Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation.DSN479-4882003Conference and Workshop Papersclosedconf/dsn/EjlaliMZAS0310.1109/DSN.2003.1209958https://doi.org/10.1109/DSN.2003.1209958https://dblp.org/rec/conf/dsn/EjlaliMZAS03URL#6162277Felix EngelhardStefan GreinerReinhard GermanParEs - A Parameter-Estimation-Tool.DSN583-5922003Conference and Workshop Papersclosedconf/dsn/EngelhardGG0310.1109/DSN.2003.1209968https://doi.org/10.1109/DSN.2003.1209968https://dblp.org/rec/conf/dsn/EngelhardGG03URL#6162278Zeng FancongDeadlock Resolution via Exceptions for Dependable Java Applications.DSN731-7402003Conference and Workshop Papersclosedconf/dsn/Fancong0310.1109/DSN.2003.1209988https://doi.org/10.1109/DSN.2003.1209988https://dblp.org/rec/conf/dsn/Fancong03URL#6162279Christof FetzerKarin HögstedtPascal FelberAutomatic Detection and Masking of Non-Atomic Exception Handling.DSN445-4542003Conference and Workshop Papersclosedconf/dsn/FetzerHF0310.1109/DSN.2003.1209955https://doi.org/10.1109/DSN.2003.1209955https://dblp.org/rec/conf/dsn/FetzerHF03URL#6162280Christof FetzerZhen XiaoHEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications.DSN317-3222003Conference and Workshop Papersclosedconf/dsn/FetzerX0310.1109/DSN.2003.1209942https://doi.org/10.1109/DSN.2003.1209942https://dblp.org/rec/conf/dsn/FetzerX03URL#6162281