Program (PDF)
NOTE1: For the details about the Keynotes, please CLICK the name of each Keynote
NOTE2: For the location of conference, please refer to the Venue page
Day 1, Nov 19, 2014 (Executive Classroom)
|
|
9:00-10:00:Keynote 1. Aditya P Mathur: Quantifying the Security of Cyber Physical Systems. Chair:Takashi Nanya (Executive Classroom) | |
10:00-10:30: Tea Break | |
10:30-12:10: Session 1:Fault Tolerant (Executive Classroom), Chair: Nobuyasu Kanekawa
|
|
12:10-14:00: Lunch Break | |
14:00-15:30: Parallel Session 2A: Security Systems (Executive Classroom), Chair: Yang Liu | 14:00-15:30: Parallel Session 2B Hardware (Multipurpose Space), Chair: Takashi Nanya |
Automatic Generation of Security Argument Graphs.Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders |
Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA.Yasuo Sato, Masafumi Monden, Yousuke Miyake, Seiji Kajihara |
Towards Secure and Dependable Authentication and Authorization Infrastructures. Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha |
Protecting RAID Arrays Against Unexpectedly High Disk Failure Rates. Jehan-François Pâris, Thomas Schwarz, S. J., Ahmed Amer, Darrell D. E. Long |
Lightweight Bare-metal Stateful Firewall. Yihuan Xing, Ford Long Wong, Akash Kumar |
EA-EO: Endurance Aware Erasure Code for SSD-based Storage Systems. Saeideh Alinezhad Chamazcoti, Seyed Ghassem Miremadi |
15:30-16:00: Tea Break | |
16:00-18:00: Parallel Session 3A Algorithm (Executive Classroom), Chair: Shang-Wei Lin | 16:00-18:00: Parallel Session 3B Safety and Correctness (Multipurpose Space), Chair: David Sanan |
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. Ivano Irrera, Marco Vieira |
From Safety Analyses to Experimental Validation of Automotive Embedded Systems. Ludovic PINTARD, Jean-Charles FABRE, Michel LEEMAN, Karama KANOUN, Matthieu ROY |
Algorithm Selection for Error Resilience in Scientific Computing. Joseph Callenes-Sloan, Hugh McNamara |
The Nature and Content of Safety Contracts: Challenges and Suggestions For a Way Forward. Patrick Graydon, Iain Bate |
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. Oday Jubran. Oliver Theel |
FoxyFeed: Forging Device-level Asynchronous Events for Kernel Development. Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura |
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains. Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi |
Locating a Faulty Interaction in Pair-Wise Testing (Fast Abstract and Poster). Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya Simulation of software fault detection and correction processes considering different skill levels of debuggers (Fast Abstract and Poster). Rui Peng, F.R. Shahrzad Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude (Fast Abstract and Poster). Shohei Kotaki, Masato Kitakami |
Day 2, Nov 20, 2014 |
|
9:00-10:00:Keynote 2. Roberto Baldoni: From perimetral defense to immune systems: protecting the national cyber space. Chair by: Jin Song Dong (Executive Classroom) | |
10:00-10:30: Tea Break | |
10:30-12:10: Session 4: Cloud (Executive Classroom), Chair: Guojun Wang
|
|
12:10-14:00: Lunch | |
12:00-14:00: SC meeting, COM2-03-15 - Discussion Rm 8 @ COM2 (invitation only) | |
14:00-15:40: Session 5Software Quality (Executive Classroom), Chair: Min Xie
|
|
15:50-18:30: Excursion at Garden By the Bay | |
18:30: Conference Banquet at MBS | |
Day 3, Nov 21, 2014 |
|
9:00-10:00:Keynote 3. Min Xie: Software reliability from a systems and dependability perspective. Chair by: Jun Sun (Executive Classroom) | |
10:00-10:30: Tea Break | |
10:30-12:00: Session 6: Distributed Systems (Executive Classroom), Chair: Tian Huat Tan
|
|
12:00-14:00: Closing and Lunch |