• D
  • DSNW
  • 2011
  • 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops
Advanced Search 
2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops
Hong Kong, China
June 27-June 30
ISBN: 978-1-4577-0374-4
Table of Contents
Papers
Michel Cukier, University of Maryland, College Park, USA
pp. x-xii
Rakesh Kumar, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA
pp. xiv-xvi
DCDV program (PDF)
pp. xviii-xix
WOSD program (PDF)
pp. xxiv-xxv
Author index (PDF)
pp. xxxi-xxxii
Alysson Besani, University of Lisbon, Faculty of Sciences, Lisbon, Portugal
Partha Pal, Raytheon BBN Technologies, Cambridge, USA
pp. 1-2
Murilo Santos de Lima, DCC - Federal University of Bahia (UFBA), Campus de Ondina, Salvador, Bahia, Brasil
Fabiola Greve, DCC - Federal University of Bahia (UFBA), Campus de Ondina, Salvador, Bahia, Brasil
Luciana Arantes, LIP6, University of Paris 6, CNRS, INRIA, 4 - Place Jussieu, 75005, Paris, France
Pierre Sens, LIP6, University of Paris 6, CNRS, INRIA, 4 - Place Jussieu, 75005, Paris, France
pp. 3-8
Saman A. Zonouz, University of Illinois at Urbana-Champaign
Aashish Sharma, University of Illinois at Urbana-Champaign
HariGovind V. Ramasamy, IBM Research
Zbigniew T. Kalbarczyk, University of Illinois at Urbana-Champaign
Birgit Pfitzmann, IBM Research
Kevin McAuliffe, IBM Research
Ravishankar K. Iyer, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
Eric Cope, IBM Research
pp. 9-14
Alysson Neves Bessani, LaSIGE, University of Lisbon, Faculty of Sciences - Lisbon, Portugal
pp. 15-18
Gustavo Nascimento, Portugal Telecom - Portugal
Miguel Correia, Instituto Superior Técnico / INESC-ID - Portugal
pp. 19-24
Ajay Nagarajan, International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Quyen Nguyen, International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Robert Banks, International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Arun Sood, International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
pp. 25-30
Amir Houmansadr, University of Illinois at Urbana-Champaign
Saman A. Zonouz, University of Illinois at Urbana-Champaign
Robin Berthier, University of Illinois at Urbana-Champaign
pp. 31-32
Patrick Hurley, Air Force Research Laboratory, BBN Technologies, Purdue University
Partha Pal, Air Force Research Laboratory, BBN Technologies, Purdue University
Mathew Tan Creti, Air Force Research Laboratory, BBN Technologies, Purdue University
Amy Fedyk, Air Force Research Laboratory, BBN Technologies, Purdue University
pp. 33-38
Jean Arlat, LAAS-CNRS and Université de Toulouse, 7, Av. du Colonel Roche 31077 Toulouse - France
Cristian Constantinescu, AMD, 2950 E Harmony Rd., Fort Collins, CO 80528 - USA
Johan Karlsson, Dept. of Computer Science & Eng., Chalmers University of Technology, 41296 Göteborg - Sweden
Takashi Nanya, Canon Inc., 3-30-2 Shimomaruko, Ohta-ku, Tokyo 146-8501 - Japan
Alan Wood, Oracle, 501 Island Parkway, Belmont, CA 94002 - USA
pp. 39-40
Alireza Rohani, Testable Design and Test of Integrated Systems Group, CTIT, University of Twente, Enschede, Netherlands
Hans. G. Kerkhoff, Testable Design and Test of Integrated Systems Group, CTIT, University of Twente, Enschede, Netherlands
pp. 41-46
Markus Ferringer, Department of Computer Engineering, Embedded Computing Systems Group, Vienna University of Technology
pp. 47-52
Jiesheng Wei, Department of Electrical and Computer Engineering, The University of British Columbia, Canada
Layali Rashid, Department of Electrical and Computer Engineering, The University of British Columbia, Canada
Karthik Pattabiraman, Department of Electrical and Computer Engineering, The University of British Columbia, Canada
Sathish Gopalakrishnan, Department of Electrical and Computer Engineering, The University of British Columbia, Canada
pp. 53-58
Dimitar Nikolov, Department of Computer Science Linköping University, Sweden
Urban Ingelsson, Department of Computer Science Linköping University, Sweden
Virendra Singh, Supercomputer Education and Research Centre, Indian Institute of Science, India
Erik Larsson, Department of Computer Science Linköping University, Sweden
pp. 59-64
Ching-Hwa Cheng, Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
Ming-Hsuan Wu, Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
Pin-Jui Lai, Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
Chia-Hao Ku, Dept. of Electronic Engineering, Feng Chia University, 100, Wenhwa Road, Seatwen, Taichung Taiwan R.O.C.
pp. 65-68
Jun Yao, Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Ryoji Watanabe, Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Kazuhiro Yoshimura, Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Takashi Nakada, Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Hajime Shimada, Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
Yasuhiko Nakashima, Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma 630-0192, Japan
pp. 69-74
Wing-kei Yu, Cornell University, Ithaca, NY 14853, USA
Shantanu Rajwade, Cornell University, Ithaca, NY 14853, USA
Sung-En Wang, Cornell University, Ithaca, NY 14853, USA
Bob Lian, Cornell University, Ithaca, NY 14853, USA
G. Edward Suh, Cornell University, Ithaca, NY 14853, USA
Edwin Kan, Cornell University, Ithaca, NY 14853, USA
pp. 75-80
Ching-Hwa Cheng, Department of Electronic Engineering, Feng-Chia University, Taiwan
Chen-I Chung, Department of Electronic Engineering, Feng-Chia University, Taiwan
pp. 81-84
Xiaoxin Fan, Dept. of ECE, University of Iowa
Sudhakar M Reddy, Dept. of ECE, University of Iowa
Senling Wang, Dept. of CSE, Kyushu Institute of Technology
Seiji Kajihara, Dept. of CSE, Kyushu Institute of Technology
Yasuo Sato, Dept. of CSE, Kyushu Institute of Technology
pp. 85-90
Yohei Nakata, Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Yasuhiro Ito, Central Research Laboratory, Hitachi, Ltd., Kokubunji, 185-8601 Japan
Yasuo Sugure, Central Research Laboratory, Hitachi, Ltd., Kokubunji, 185-8601 Japan
Shigeru Oho, Central Research Laboratory, Hitachi, Ltd., Kokubunji, 185-8601 Japan
Yusuke Takeuchi, Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Shunsuke Okumura, Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Hiroshi Kawaguchi, Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
Masahiko Yoshimoto, Graduate School of System Informatics, Kobe University, Kobe, 657-8501 Japan
pp. 91-96
Jogesh K. Muppala, Dept. of Comp. Sci. and Eng., HKUST, Hong Kong, PRC
Matti Hiltunen, AT&T Labs-Research, Florham Park, NJ, USA
Robert Stroud, Center for Softw. Reliability City University, London, UK
Ji Wang, NLPDP, NUDT, Changsha, P.R. China
pp. 97-98
Zhenhai Zhao, Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Tingting Qin, Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Fangliang Xu, Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Rui Cao, Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Xiaoguang Liu, Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
Gang Wang, Nankai-Baidu Joint Lab, College of I.T., Nankai University, Tianjin, China, 300071
pp. 99-104
Miguel Matos, Universidade do Minho Braga, Portugal
Ricardo Vilaca, Universidade do Minho Braga, Portugal
Jose Pereira, Universidade do Minho Braga, Portugal
Rui Oliveira, Universidade do Minho Braga, Portugal
pp. 105-110
John C. Mace, School of Computing Science & Centre for Cybercrime and Computer Security (CCCS), Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
Aad van Moorsel, School of Computing Science & Centre for Cybercrime and Computer Security (CCCS), Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
Paul Watson, School of Computing Science & Centre for Cybercrime and Computer Security (CCCS), Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
pp. 111-116
Bernhard Kauer, Universidade de Lisboa, Faculdade de Ciências, LaSIGE
Paulo Verissimo, Universidade de Lisboa, Faculdade de Ciências, LaSIGE
Alysson Bessani, Universidade de Lisboa, Faculdade de Ciências, LaSIGE
pp. 117-122
Quyen L. Nguyen, International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
Arun Sood, International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030
pp. 123-128
Francisco Rocha, Universidade de Lisboa, Faculdade de Ciências and Carnegie Mellon University - Portugal/USA
Miguel Correia, Instituto Superior Técnico / INESC-ID - Portugal
pp. 129-134
Haibo Mi, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, China
Huaimin Wang, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, China
Gang Yin, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, China
Hua Cai, Computing Platform, Alibaba Cloud Computing Company, Hangzhou, China
Qi Zhou, Computing Platform, Alibaba Cloud Computing Company, Hangzhou, China
Tingtao Sun, Computing Platform, Alibaba Cloud Computing Company, Hangzhou, China
pp. 135-139
Xiang Rao, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Huaimin Wang, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Dianxi Shi, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Zhenbang Chen, National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Changsha, P.R. China 410073
Hua Cai, Computing Platform, Alibaba Cloud Computing Corporation, Hangzhou, P.R. China
Qi Zhou, Computing Platform, Alibaba Cloud Computing Corporation, Hangzhou, P.R. China
Tingtao Sun, Computing Platform, Alibaba Cloud Computing Corporation, Hangzhou, P.R. China
pp. 140-145
Madalin Mihailescu, Department of Computer Science, University of Toronto
Andres Rodriguez, Department of Computer Engineering, University of Toronto
Cristiana Amza, Department of Computer Engineering, University of Toronto
pp. 146-151
Rahul Ghosh, Duke University, USA
Vijay K. Naik, IBM T. J. Watson Research Center, USA
Kishor S. Trivedi, Duke University, USA
pp. 152-157
Richard E. Harper, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Lorrie Tomek, IBM Systems and Technology Group, Raleigh, NC, USA
Ofer Biran, IBM Haifa Research Center, Haifa, Israel
Erez Hadad, IBM Haifa Research Center, Haifa, Israel
pp. 158-163
David C. van Moolenbroek, Dept. of Computer Science, Vrije Universiteit, Amsterdam, Netherlands
Raja Appuswamy, Dept. of Computer Science, Vrije Universiteit, Amsterdam, Netherlands
Andrew S. Tanenbaum, Dept. of Computer Science, Vrije Universiteit, Amsterdam, Netherlands
pp. 165-170
Ricardo Padilha, University of Lugano, Switzerland
Fernando Pedone, University of Lugano, Switzerland
pp. 171-175
Afonso Araujo Neto, CISUC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal
Marco Vieira, CISUC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal
pp. 182-187
Radu Banabic, School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
George Candea, School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
Rachid Guerraoui, School of Computer and Communication Sciences, EPFL, Lausanne, Switzerland
pp. 188-193
Jicheng Shi, Parallel Processing Institute, Fudan University
Xiang Song, Parallel Processing Institute, Fudan University
Haibo Chen, Parallel Processing Institute, Fudan University
Binyu Zang, Parallel Processing Institute, Fudan University
pp. 194-199
George Candea, School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
pp. 200-204
Horatiu Jula, School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
Thomas Rensch, School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
George Candea, School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland
pp. 205-210
Vitaly Chipounov, School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
George Candea, School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
pp. 211-216
Seongwook Jin, Computer Science, KAIST (Korea Adanced Institute of Science and Technology)
Jaehyuk Huh, Computer Science, KAIST (Korea Adanced Institute of Science and Technology)
pp. 217-222
Christof Fetzer, Dresden University of Technology, Dresden, Germany
Pascal Felber, University of Neuchâtel Neuchâtel, Switzerland
pp. 223-227
Mario Tokoro, Sony CSL, Inc., Tokyo, Japan
Karama Kanoun, LAAS_CNRS Toulouse, France
Kimio Kuramitsu, Yokohama National, University, Japan
Jean-Charles Fabre, LAAS_CNRS Toulouse, France
pp. 228-229
Hirotake Abe, Cybermedia Center, Osaka University, Ibaraki, Osaka 567-0047 Japan
Hirotaka Moriya, Graduate School of Engineering, Toyohashi University of Technology, Toyohashi, Aichi 441-8580 Japan
Kyoji Umemura, Department of Computer Science and Engineering, Toyohashi University of Technology, Toyohashi, Aichi 441-8580 Japan
pp. 230-233
Bo Li, School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Haiying Zhou, School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Decheng Zuo, School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Zhan Zhang, School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Peng Zhou, School of computer Science and technology, Harbin Institute of Technology, Harbin, China
Long Jia, School of computer Science and technology, Harbin Institute of Technology, Harbin, China
pp. 234-239
Hiroyuki Okamura, Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1-4-1 Kagamiyama, Higashi-Hiroshima 739-8527 Japan
Tadashi Dohi, Department of Information Engineering, Graduate School of Engineering, Hiroshima University, 1-4-1 Kagamiyama, Higashi-Hiroshima 739-8527 Japan
Shin'ichi Shiraishi, Toyota InfoTecnology Center, Co., Ltd. 6-6-20 Akasaka, Minato-ku, Tokyo 107-0052 Japan
Mutsumi Abe, Toyota InfoTecnology Center, Co., Ltd. 6-6-20 Akasaka, Minato-ku, Tokyo 107-0052 Japan
pp. 240-245
Jean-Charles Fabre, CNRS; LAAS; 7 avenue du colonel Roche, F-31077 Toulouse Cedex 4, France
pp. 246-247
Shinpei Nakata, Dept. of Electrical and Computer Engineering, Yokohama National University, Japan
Midori Sugaya, Yokohama National University, Japan
Kimio Kuramitsu, Yokohama National University, Japan
pp. 248-253
Shuichi Oikawa, Department of Computer Science, University of Tsukuba, Tsukuba, Ibaraki, Japan
pp. 254-256
Miroslaw Malek, Humboldt-Universität zu Berlin, Germany
Felix Salfner, Humboldt-Universität zu Berlin, Germany
Kishor S. Trivedi, Duke University, NC USA
pp. 257-258
Li Yu, Department of Computer Science, Illinois Institute of Technology
Ziming Zheng, Department of Computer Science, Illinois Institute of Technology
Zhiling Lan, Department of Computer Science, Illinois Institute of Technology
Susan Coghlan, Leadership Computing Facility, Argonne National Laboratory
pp. 259-264
Huxing Zhang, School of Software, Shanghai Jiao Tong University, Shanghai, 200240, China
Gang Wu, School of Software, Shanghai Jiao Tong University, Shanghai, 200240, China
Kingsum Chow, Intel Corporation
Zhidong Yu, Intel Corporation
XueZhi Xing, Intel Corporation
pp. 265-270
Richard E. Harper, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Kyung Dong Ryu, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
David Frank, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Lisa Spainhower, IBM Systems and Technology Group, Poughkeepsie, NY, USA
Ravi Shankar, IBM Systems and Technology Group, Poughkeepsie, NY, USA
Tom Weaver, IBM Systems and Technology Group, Poughkeepsie, NY, USA
pp. 271-277
Domenico Cotroneo, Dipartimento di Informatica e Sistemistica, Università di Napoli Federico II, Italy
Vincenzo De Florio, Universiteit Antwerpen/PATS & IBBT, Belgium
pp. 278-279
Edith C.-H. Ngai, Department of Information Technology, Uppsala University, Sweden
Junjie Xiong, Department of Computer Science and Engineering, Chinese University of Hong Kong, China
pp. 280-285
Marcello Cinque, Dipartimento di Informatica e Sistemistica, Universita' degli Studi di Napoli Federico II, Via Claudio 21, 80125 - Naples, Italy
pp. 286-291
Szu-Lin Su, Department of Electronic Engineering, National Cheng Kung University, Tainan, Taiwan
Yi-Wen Su, Department of Electronic Engineering, National Cheng Kung University, Tainan, Taiwan
Chien-Sheng Chen, Department of Information Management, Tainan, University of Technology, Tainan, Taiwan
Wen-Hsiung Liu, Department of Air Transportation Management, Aletheia University, Tainan, Taiwan
pp. 292-296
Yan Huang, Department of Computer Science and Engineering, University of North Texas, Denton, Texas
Cai Chen, Department of Computer Science and Engineering, University of North Texas, Denton, Texas
pp. 297-300
Usage of this product signifies your acceptance of the Terms of Use.