The SCEAS System
Navigation Menu

Conferences in DBLP

Dependable Systems and Networks (dsn)
2003 (conf/dsn/2003)

  1. Roy A. Maxion
    Masquerade Detection Using Enriched Command Lines. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:5-14 [Conf]
  2. Silke Kuball, Gordon Hughes
    Decision-Support for Certification by Calculating the Evidential Volume of a Product. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:15-24 [Conf]
  3. Robin E. Bloomfield, Bev Littlewood
    Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:25-0 [Conf]
  4. Michael Backes, Christian Cachin
    Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:37-46 [Conf]
  5. Luís Rodrigues, Sidath B. Handurukande, José Orlando Pereira, Rachid Guerraoui, Anne-Marie Kermarrec
    Adaptive Gossip-Based Broadcast. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:47-56 [Conf]
  6. Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach
    Scalably Supporting Durable Subscriptions in a Publish/Subscribe System. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:57-0 [Conf]
  7. Simon Pugh, Eric Aliot
    Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:69-74 [Conf]
  8. Thuy Nguyen, Alain Ourghanlian
    Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:75-79 [Conf]
  9. Geert Deconinck, Vincenzo De Florio, Ronnie Belmans, Giovanna Dondossola, Judit Szanto
    Integrating Recovery Strategies into a Primary Substation Automation System. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:80-85 [Conf]
  10. Henrique Madeira, João Costa, Marco Vieira
    The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:86-0 [Conf]
  11. Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
    Building SWIFI Tools from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:95-104 [Conf]
  12. João Durães, Henrique Madeira
    Definition of Software Fault Emulation Operators: A Field Data Study. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:105-114 [Conf]
  13. Ji Zhu, James Mauro, Ira Pramanick
    Robustness Benchmarking for Hardware Maintenance Events. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:115-122 [Conf]
  14. Astrit Ademaj, Håkan Sivencrona, Günther Bauer, Jan Torin
    Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:123-0 [Conf]
  15. Anish Arora, Hongwei Zhang
    LSRP: Local Stabilization in Shortest Path Routing. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:139-148 [Conf]
  16. Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer
    A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:149-158 [Conf]
  17. Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel
    An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:159-0 [Conf]
  18. Pradeep Kyasanur, Nitin H. Vaidya
    Detection and Handling of MAC Layer Misbehavior in Wireless Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:173-182 [Conf]
  19. Dan Pei, Lan Wang, Daniel Massey, Shyhtsun Felix Wu, Lixia Zhang
    A Study of Packet Delivery Performance during Routing Convergence. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:183-192 [Conf]
  20. Vijay Lakamraju, Israel Koren, C. Mani Krishna
    Low Overhead Fault Tolerant Networking in Myrinet. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:193-0 [Conf]
  21. Stefano Chessa, Piero Maestrini
    Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:207-216 [Conf]
  22. Ningning Zhu, Tzi-cker Chiueh
    Design, Implementation, and Evaluation of Repairable File Service. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:217-226 [Conf]
  23. Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Speirs
    From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:227-0 [Conf]
  24. Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi
    Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:241-248 [Conf]
  25. Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi
    Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:249-258 [Conf]
  26. Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman
    RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:259-0 [Conf]
  27. John G. Dorsey, Daniel P. Siewiorek
    The Design of Wearable Systems: A Shift in Development Effort. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:273-280 [Conf]
  28. Daniel J. Sorin, Mark D. Hill, David A. Wood
    Dynamic Verification of End-to-End Multiprocessor Invariants. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:281-290 [Conf]
  29. Wei Zhang 0002, Sudhanva Gurumurthi, Mahmut T. Kandemir, Anand Sivasubramaniam
    ICR: In-Cache Replication for Enhancing Data Cache Reliability. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:291-0 [Conf]
  30. Marco Vieira, Henrique Madeira
    Benchmarking the Dependability of Different OLTP Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:305-310 [Conf]
  31. Yi-Min Wang, Chad Verbowski, Daniel R. Simon
    Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:311-316 [Conf]
  32. Christof Fetzer, Zhen Xiao
    HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:317-322 [Conf]
  33. Ruppert R. Koch, Sanjay Hortikar, Sivaguru Sankaridurg, Paul Ngan, Michael O. Neary, Dirk Wagner
    The Anacapa System. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:323-0 [Conf]
  34. José Rufino, Paulo Veríssimo, Guilherme Arroz
    Node Failure Detection and Membership in CANELy. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:331-340 [Conf]
  35. Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
    Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:341-350 [Conf]
  36. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
    Asynchronous Implementation of Failure Detectors. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:351-360 [Conf]
  37. Szu-Chi Wang, Sy-Yen Kuo
    Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:361-0 [Conf]
  38. Manish Marwah, Shivakant Mishra, Christof Fetzer
    TCP Server Fault Tolerance Using Connection Migration to a Backup Server. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:373-382 [Conf]
  39. Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith
    Transparent TCP Connection Failover. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:383-392 [Conf]
  40. Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud
    Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:393-402 [Conf]
  41. Yair Amir, Ryan Caudy, Ashima Munjal, Theo Schlossnagle, Ciprian Tutu
    N-Way Fail-Over Infrastructure for Reliable Servers and Routers. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:403-0 [Conf]
  42. Jonny Vinter, Andréas Johansson, Peter Folkesson, Johan Karlsson
    On the Design of Robust Integrators for Fail-Bounded Control Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:415-424 [Conf]
  43. Jeff Napper, Lorenzo Alvisi, Harrick M. Vin
    A Fault-Tolerant Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:425-434 [Conf]
  44. François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian
    Towards Implementing Multi-Layer Reflection for Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:435-444 [Conf]
  45. Christof Fetzer, Karin Högstedt, Pascal Felber
    Automatic Detection and Masking of Non-Atomic Exception Handling. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:445-0 [Conf]
  46. Weining Gu, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Zhen-Yu Yang
    Characterization of Linux Kernel Behavior under Errors. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:459-468 [Conf]
  47. Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Roland Karch, Volkmar Sieh, Oliver Tschäche
    Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:469-478 [Conf]
  48. Ali Reza Ejlali, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ghazanfar Asadi, Siavash Bayat Sarmadi
    A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:479-0 [Conf]
  49. Jayakrishnan Nair, Zahava Koren, Israel Koren, C. Mani Krishna
    Pre-Processing Input Data to Augment Fault Tolerance in Space Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:491-500 [Conf]
  50. Srikant Sharma, Jiawu Chen, Wei Li, Kartik Gopalan, Tzi-cker Chiueh
    Duplex: A Reusable Fault Tolerance Extension Framework for Network Access Devices. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:501-510 [Conf]
  51. Yair Amir, Claudiu Danilov
    Reliable Communication in Overlay Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:511-520 [Conf]
  52. Dongyan Chen, Sachin Garg, Chandra M. R. Kintala, Kishor S. Trivedi
    Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:521-0 [Conf]
  53. Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
    Cost-Optimization of the IPv4 Zeroconf Protocol. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:531-540 [Conf]
  54. Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal
    Evaluating the Condition-Based Approach to Solve Consensus. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:541-550 [Conf]
  55. Lívia M. R. Sampaio, Francisco Vilar Brasileiro, Walfredo Cirne, Jorge C. A. de Figueiredo
    How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:551-0 [Conf]
  56. Doru P. Munteanu, Víctor Suñé, Rosa Rodríguez-Montañés, Juan A. Carrasco
    A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:563-572 [Conf]
  57. Pam Binns
    Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:573-582 [Conf]
  58. Felix Engelhard, Stefan Greiner, Reinhard German
    ParEs - A Parameter-Estimation-Tool. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:583-0 [Conf]
  59. Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott
    Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:595-604 [Conf]
  60. Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer
    A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:605-614 [Conf]
  61. Sankalp Singh, Michel Cukier, William H. Sanders
    Probabilistic Validation of an Intrusion-Tolerant Replication System. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:615-624 [Conf]
  62. Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:625-0 [Conf]
  63. Marin Bertier, Olivier Marin, Pierre Sens
    Performance Analysis of a Hierarchical Failure Detector. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:635-644 [Conf]
  64. Péter Urbán, Ilya Shnayderman, André Schiper
    Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:645-654 [Conf]
  65. Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders
    Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:655-0 [Conf]
  66. Regina Lúcia de Oliveira Moraes, Eliane Martins
    Jaca - A Software Fault Injection Tool. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:667- [Conf]
  67. Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson
    GOOFI: Generic Object-Oriented Fault Injection Tool. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:668- [Conf]
  68. Pedro Yuste, David de Andrés, Lenin Lemus, Juan José Serrano, Pedro J. Gil
    INERTE: Integrated NExus-Based Real-Time Fault Injection Tool for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:669- [Conf]
  69. Kerstin Buchacker, Mario Dal Cin, Hans-Jörg Höxer, Volkmar Sieh, Oliver Tschäche, Martin Waitz
    Hardware Fault Injection with UMLinux. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:670- [Conf]
  70. Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
    On Integrating the MÖBIUS and MODEST Modeling Tools. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:671- [Conf]
  71. Olivia Das, C. Murray Woodside
    Dependable LQNS: A Performability Modeling Tool for Layered Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:672- [Conf]
  72. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    ETMCC: Model Checking Performability Properties of Markov Chains. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:673-0 [Conf]
  73. Tianjun Shi, Xudong He
    A Methodology for Dependability and Performability Analysis in SAM. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:679-688 [Conf]
  74. Liudong Xing
    Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:689-698 [Conf]
  75. Juan A. Carrasco
    Validation of Approximate Dependability Models of a RAID Architecture with Orthogonal Organization. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:699-708 [Conf]
  76. Mohamed Kaâniche, Karama Kanoun, Magnos Martinello
    A User-Perceived Availability Evaluation of a Web Based Travel Agency. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:709-0 [Conf]
  77. Mark Shereshevsky, Jonathan Crowell, Bojan Cukic, Vijai Gandikota, Yan Liu
    Software Aging and Multifractality of Memory Resources. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:721-730 [Conf]
  78. Zeng Fancong
    Deadlock Resolution via Exceptions for Dependable Java Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:731-740 [Conf]
  79. Diganta Roychowdhury, Israel Koren, C. Mani Krishna, Yann-Hang Lee
    A Voltage Scheduling Heuristic for Real-Time Task Graphs. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:741-750 [Conf]
  80. Ali Movaghar
    On Dynamic Assignment of Impatient Customers to Parallel Queues. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:751-0 [Conf]
  81. Felix C. Gärtner, Klaus Kursawe, Levente Buttyán
    PoDSy 2003: Principles of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:763- [Conf]
  82. Edmund M. Clarke, Masahiro Fujita, David P. Gluch
    Model Checking for Dependable Software-Intensive Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:764- [Conf]
  83. Lisa Spainhower, Aad P. A. van Moorsel
    First Workshop on the Design of Self-Managing Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:765- [Conf]
  84. Shing-Tsaan Huang, Ted Herman
    Self-Stabilization Workshop. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:766- [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002