• D
  • DSN
  • 2003
  • 2003 International Conference on Dependable Systems and Networks (DSN'03)
Advanced Search 
2003 International Conference on Dependable Systems and Networks (DSN'03)
San Francisco, California
June 22-June 25
ISBN: 0-7695-1952-0
Table of Contents
Introduction
Session 1A: Safety and Security
Session 1B: Broadcast and Publish/Subscribe
Sumeer Bhola, IBM T.J. Watson Research Center
Yuanyuan Zhao, IBM T.J. Watson Research Center
Joshua Auerbach, IBM T.J. Watson Research Center
pp. 57
Session 2A: Practical Experience and Demonstrations — 1
Session 2B: Dependability Evaluation
Ji Zhu, Sun Microsystems, Inc.
James Mauro, Sun Microsystems, Inc.
Ira Pramanick, Sun Microsystems, Inc.
pp. 115
Astrit Ademaj, Vienna University of Technology
H?kan Sivencrona, SP Swedish National Testing and Research Institute Department of Electronics and Software
G?nther Bauer, Vienna University of Technology
Jan Torin, Chalmers University of Technology
pp. 123
Session 4A: Dependability Algorithms
Claudio Basile, University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign
Ravi Iyer, University of Illinois at Urbana-Champaign
pp. 149
Session 5A: Network Fault Tolerance
Pradeep Kyasanur, University of Illinois at Urbana-Champaign
Nitin H. Vaidya, University of Illinois at Urbana-Champaign
pp. 173
Dan Pei, University of California at Los Angeles
Lan Wang, University of California at Los Angeles
Daniel Massey, University of Southern California
S. Felix Wu, University of California at Davis
Lixia Zhang, University of California at Los Angeles
pp. 183
Vijay Lakamraju, University of Massachusetts at Amherst
Israel Koren, University of Massachusetts at Amherst
C.M. Krishna, University of Massachusetts at Amherst
pp. 193
Session 6A: Services for Distributed Computing
S. Chessa, Universit? di Pisa and Istituto di Scienza e Tecnologie dell?Informazione "A. Faedo"
P. Maestrini, Universit? di Pisa and Istituto di Scienza e Tecnologie dell?Informazione "A. Faedo"
pp. 207
Ningning Zhu, State University of New York at Stony Brook
Tzi-Cker Chiueh, State University of New York at Stony Brook
pp. 217
Session 7A: Modeling and Formal Methods
Seth Gilbert, Massachusetts Institute of Technology
Nancy Lynch, Massachusetts Institute of Technology
Alex Shvartsman, Massachusetts Institute of Technology and University of Connecticut
pp. 259
Session 8A: Computer Design
Daniel J. Sorin, Duke University
Mark D. Hill, University of Wisconsin at Madison
David A. Wood, University of Wisconsin at Madison
pp. 281
Wei Zhang, Pennsylvania State University
Sudhanva Gurumurthi, Pennsylvania State University
Mahmut Kandemir, Pennsylvania State University
Anand Sivasubramaniam, Pennsylvania State University
pp. 291
Session 9A: Practical Experiences and Demonstrations — 2
The Anacapa System (Abstract)
R. Koch, Eternal Systems, Inc.
S. Hortikar, Eternal Systems, Inc.
S. Sankaridurg, Eternal Systems, Inc.
P. Ngan, Eternal Systems, Inc.
M. Neary, Eternal Systems, Inc.
D. Wagner, Eternal Systems, Inc.
pp. 323
Session 9B: Distributed Systems and Services
W. Zhao, Eternal Systems, Inc. and University of California at Santa Barbara
L. E. Moser, Eternal Systems, Inc. and University of California at Santa Barbara
P. M. Melliar-Smith, Eternal Systems, Inc. and University of California at Santa Barbara
pp. 341
Achour Mostefaoui, Université de Rennes 1
Eric Mourgaya, Université de Rennes 1
Michel Raynal, Université de Rennes 1
pp. 351
Session 10A: TCP Connection Management
R. R. Koch, Eternal Systems, Inc. and University of California at Santa Barbara
S. Hortikar, Eternal Systems, Inc. and University of California at Santa Barbara
L. E. Moser, Eternal Systems, Inc. and University of California at Santa Barbara
P. M. Melliar-Smith, Eternal Systems, Inc. and University of California at Santa Barbara
pp. 383
Dmitrii Zagorodnov, University of California at San Diego
Keith Marzullo, University of California at San Diego
Lorenzo Alvisi, University of Texas at Austin
Thomas C. Bressoud, Denison University
pp. 393
Yair Amir, Johns Hopkins University
Ryan Caudy, Johns Hopkins University
Ashima Munjal, Johns Hopkins University
Theo Schlossnagle, Johns Hopkins University
Ciprian Tutu, Johns Hopkins University
pp. 403
Session 10B: Robust Software
Jonny Vinter, Chalmers University of Technology
Andreas Johansson, Lule? University of Technology
Peter Folkesson, Chalmers University of Technology
Johan Karlsson, Chalmers University of Technology
pp. 415
Jeff Napper, University of Texas at Austin
Lorenzo Alvisi, University of Texas at Austin
Harrick Vin, University of Texas at Austin
pp. 425
Session 1C: Measurement-Based System Dependability Evaluation
Weining Gu, University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign
Ravishankar K. Iyer, University of Illinois at Urbana-Champaign
Zhenyu Yang, University of Illinois at Urbana-Champaign
pp. 459
K. Buchacker, Friedrich Alexander Universität Erlangen-Nürnberg
M. Dal Cin, Friedrich Alexander Universität Erlangen-Nürnberg
H.-J. Höxer, Friedrich Alexander Universität Erlangen-Nürnberg
R. Karch, Friedrich Alexander Universität Erlangen-Nürnberg
V. Sieh, Friedrich Alexander Universität Erlangen-Nürnberg
O. Tschäche, Friedrich Alexander Universität Erlangen-Nürnberg
pp. 469
Alireza Ejlali, Sharif University of Technology
Seyed Ghassem Miremadi, Sharif University of Technology
Hamidreza Zarandi, Sharif University of Technology
Ghazanfar Asadi, Sharif University of Technology
Siavash Bayat Sarmadi, Sharif University of Technology
pp. 479
Session 2C: Techniques to Improve System and Network Dependability
Jayakrishnan Nair, University of Massachusetts at Amherst
Zahava Koren, University of Massachusetts at Amherst
Israel Koren, University of Massachusetts at Amherst
C. Mani Krishna, University of Massachusetts at Amherst
pp. 491
Srikant Sharma, Rether Networks Inc. and State University of New York at Stony Brook
Jiawu Chen, Rether Networks Inc. and State University of New York at Stony Brook
Wei Li, Rether Networks Inc. and State University of New York at Stony Brook
Kartik Gopalan, Rether Networks Inc. and State University of New York at Stony Brook
Tzi-cker Chiueh, Rether Networks Inc. and State University of New York at Stony Brook
pp. 501
Session 3C: Analysis of Fault-Tolerant Protocols
Henrik Bohnenkamp, University of Twente
Peter van der Stok, Philips Research Laboratories
Holger Hermanns, Saarland University and University of Twente
Frits Vaandrager, University of Nijmegen
pp. 531
Lívia M. R. Sampaio, Universidade Federal de Campina Grande
Francisco V. Brasileiro, Universidade Federal de Campina Grande
Walfredo Cirne, Universidade Federal de Campina Grande
Jorge C. A. Figueiredo, Universidade Federal de Campina Grande
pp. 551
Session 4C: Analytical Methods
Doru P. Munteanu, Military Technical Academy
Víctor Suñé, Universitat Politècnica de Catalunya
Rosa Rodríguez-Montañés, Universitat Politècnica de Catalunya
Juan A. Carrasco, Universitat Politècnica de Catalunya
pp. 563
Felix Engelhard, DaimlerChrysler AG
Stefan Greiner, DaimlerChrysler AG
Reinhard German, University Erlangen-Nuremberg
pp. 583
Session 5C: Validation of System Security and Timing
Chen Fu, Rutgers University
Richard P. Martin, Rutgers University
Kiran Nagaraja, Rutgers University
Thu D. Nguyen, Rutgers University
Barbara G. Ryder, Rutgers University
David Wonnacott, Haverford College
pp. 595
Shuo Chen, University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign
Jun Xu, University of Illinois at Urbana-Champaign
Ravishankar K. Iyer, University of Illinois at Urbana-Champaign
pp. 605
Sankalp Singh, University of Illinois at Urbana-Champaign
Michel Cukier, University of Maryland at College Park
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 615
Session 6C: Analysis of Fault-Tolerant Mechanisms
Marin Bertier, University Paris 6
Olivier Marin, University of Le Havre and University Paris 6
Pierre Sens, INRIA
pp. 635
Péter Urbán, École Polytechnique Fédérale de Lausanne
Ilya Shnayderman, Hebrew University of Jerusalem
André Schiper, École Polytechnique Fédérale de Lausanne
pp. 645
Ann T. Tai, IA Tech, Inc.
Kam S. Tso, IA Tech, Inc.
Leon Alkalai, California Institute of Technology
Savio N. Chau, California Institute of Technology
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 655
Session 7C: Tool Demonstrations
Regina L? de Oliveira Moraes, State University of Campinas
Eliane Martins, State University of Campinas
pp. 667
Joakim Aidemark, Chalmers University of Technology
Jonny Vinter, Chalmers University of Technology
Peter Folkesson, Chalmers University of Technology
Johan Karlsson, Chalmers University of Technology
pp. 668
P. Yuste, Technical University of Valencia
D. de Andr?, Technical University of Valencia
L. Lemus, Technical University of Valencia
J.J. Serrano, Technical University of Valencia
P. Gil, Technical University of Valencia
pp. 669
K. Buchacker, Friedrich Alexander Universität Erlangen-Nürnberg
M. Dal Cin, Friedrich Alexander Universität Erlangen-Nürnberg
H.-J. Höxer, Friedrich Alexander Universität Erlangen-Nürnberg
V. Sieh, Friedrich Alexander Universität Erlangen-Nürnberg
O. Tschäche, Friedrich Alexander Universität Erlangen-Nürnberg
M. Waitz, Friedrich Alexander Universität Erlangen-Nürnberg
pp. 670
Henrik Bohnenkamp, University of Twente
Tod Courtney, University of Illinois at Urbana-Champaign
David Daly, University of Illinois at Urbana-Champaign
Salem Derisavi, University of Illinois at Urbana-Champaign
Holger Hermanns, University of Twente
Joost-Pieter Katoen, University of Twente
Ric Klaren, University of Twente
Vinh Vi Lam, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 671
Holger Hermanns, Universität des Saarlandes and University of Twente
Joost-Pieter Katoen, University of Twente
Joachim Meyer-Kayser, Universität Erlangen-Nürnberg
Markus Siegle, Universität Erlangen-Nürnberg
pp. 673
Session 9C: Dependability and Performance Analysis
Session 10C: Techniques for Improving Software Dependability
Mark Shereshevsky, West Virginia University
Jonathan Crowell, West Virginia University
Bojan Cukic, West Virginia University
Vijai Gandikota, West Virginia University
Yan Liu, West Virginia University
pp. 721
D. Roychowdhury, University of Massachusetts at Amherst
I. Koren, University of Massachusetts at Amherst
C.M. Krishna, University of Massachusetts at Amherst
Y.-H. Lee, Arizona State University
pp. 741
Workshops
Levente Buttyan, Budapest University of Technology and Economics
pp. 763
Shing-Tsaan Huang, National Central University
Ted Herman, University of Iowa
pp. 766
Author Indexs
Usage of this product signifies your acceptance of the Terms of Use.