Online Registration
To register and pay by credit card, please click here.
Please note, we use an online registration system hosted by a local company named Lil Regie.
Registration Guideline
- All presenters are required to register before November 4, 2016. Please note that at least one author of each accepted paper must register as IEEE Member or Non-Member.
- Payment of a registration fee covers the cost to attend all keynote sessions and technical sessions, coffee/tea breaks, conference reception and banquet, and all lunches during the conference. In addition, each registrant will receive a copy of the IEEE CPS conference proceedings.
- The registration fee in the table below is the net amount of money to be paid by the registrant to the conference. The registrant is also responsible for paying any service charges due to banking services. The registration fee does not include GST. To obtain a GST receipt, you must pay an additional of 15% to your registration fee. Please contact the Local Arrangement Chair Jin Hong (cc:prdc2017@gmail.com). to organize this.
- Authors of the main conference are allowed up to 10 pages for Regular Papers that will appear in the IEEE CPS conference proceedings. Up to two additional pages may be purchased at a rate of NZD$145 per page (roughly equivalent to USD$100).
- Authors of Fast Abstracts or Posters are allowed up to 2 pages for a paper that will appear in the IEEE CPS conference proceedings. No additional pages are permitted.
- Authors of Workshop and Industry Track Submissions are allowed up to 6 pages for a paper that will appear in the IEEE CPS conference proceedings. Up to two additional pages may be purchased at a rate of NZD$145 per page (roughly equivalent to USD$100).
- All IEEE Members, IEEE Student Member and IEEE Lifetime Members are required to present their valid IEEE Membership card in person or by email (to the Local Arrangement Chair Jin Hong (cc:prdc2017@gmail.com)).
- All student registrants (IEEE Student Member or Student Non-Member) are required to present their valid student ID in person or by email (to the Local Arrangement Chair Jin Hong (cc:prdc2017@gmail.com)). Alternatively, you can bring or send email: (i) Letter of confirmation from the school or advisor on school letterhead, or (ii) Current Registration/enrollment receipt from your school.
- All payments are made through our payment system hosted by Lil Regie. If you wish to make payment using other methods, please contact the Local Arrangement Chair Jin Hong (cc:prdc2017@gmail.com) for further instructions.
- Receipt/invoice of the registration fee and the conference proceedings will be available at the conference venue. We will not send you receipt/invoice/conference proceedings through postal service after the conference. Please email us to get the invoice in advance by contacting the Local Arrangement Chair Jin Hong (cc:prdc2017@gmail.com).
Registration Fees (All prices in NZD)
Until November 17, 2016 | After November 17, 2016 | |
---|---|---|
IEEE Member | $1100.00 | $1300.00 |
Non-Member | $1370.00 | $1650.00 |
IEEE Student Member | $700.00 | $860.00 |
Student Non-Member | $860.00 | $1060.00 |
IEEE life retired member | $700.00 | $860.00 |
Additional reception and banquet tickets can be purchased through the online registration system ($20NZD and $70NZD per ticket respectively). If you require more than 6, please contact the Local Arrangement Chair Jin Hong (cc:prdc2017@gmail.com).
Cancellation
Should you wish to cancel your registration on or before December 8, 2016 (based on NZDT),
we will refund you in full, with a cancellation fee of $150.00NZD.
Please note, there is no refund if you cancel after December 8, 2016 (based on NZDT),
but you can still transfer your registration.
-Please contact the Local Arrangement Chair Jin Hong
(cc:prdc2017@gmail.com).
to organize this.
Paper ID
For all regular track papers, use your Easychair ID number as your paper ID in the registration.
For all other track papers, please refer to the table below:
Paper ID for non-regular track papers:
Workshop
ID | Authors | Title |
101 | Z. Zhioua, Y. Roudier and R. B. Ameur | Formal Specification and Verification of Security Guidelines |
102 | R. Schadek and O. Theel | Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols |
103 | Y. Fang, B. B. Yin, G. Ning, Z. Zheng and K. Y. Cai | A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control |
104 | S. Nakano and T. Tsuchiya | Method and Case Study of Model Checking Concurrent Systems That use Unbounded Timestamps |
105 | P. E. Verissimo, M. Völp, J. Decouchant, V. Rahli and F. Rocha | Meeting the Challenges of Critical and Extreme Dependability and Security - Analysis and Architectural Solutions |
Industry
ID | Author | Title |
401 | A. Lobo Jr, R. Matos, B. Silva and P. Maciel | Expolynomial Modelling for Supporting VANET Infrastructure Planning |
402 | C. Melo, R. Matos, J. Dantas and P. Maciel | Capacity-Oriented Availability model for Resources Estimation on Private Cloud Infrastructure |
Fast Abstract
ID | Author | Title |
201 | S. Yoon, J. Lee, Y. Kim, S. Kim, and H. Lim | Fast Controller-Switching for Fault-Tolerant Cyber-Physical Systems on Software-Defined Networks |
202 | D. Takahashi and M. Arai | Spare-Tile-Based Dependable Logic Design for Sea-of-Tiles Architecture with Ambipolar Devices |
203 | H. Arai and M. Arai | Erasure-Code-Based DTN Multi-Path Routing for Contact Avoidance |
204 | T. Hosokawa, H. Takano, H. Yamazaki, and K. Yamazaki | A Diagnostic Fault Simulation Method for a Single Universal Logical Fault Model |
205 | L. Tseng | Bitcoin’s Consistency Property |
206 | M. Yoshimura, T. Bouyashiki, and T. Hosokawa | A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations |
207 | K. Echtle and Z. Moztarzadeh | Efficient Fault-Tolerant Clock Synchronization in Ring Topologies |
208 | M. S. Rahman, A. Basu, and S. Kiyomoto | Towards Outsourced Privacy-preserving Multiparty DBSCAN |
Poster
ID | Author | Title |
301 | W. Zhang and H. M. Sun | Instagram Spam Detection |
302 | A. Zimmermann and P. Maciel | Dependability Evaluation of AFDX Real-Time Avionic Communication Networks |
303 | K. S. Ng, P. Y. Chen and P. H. Ting | Smart Cage Implementation with Dependable Safety Agent for Dogs |
304 | K. Bando, Y. Matsuno, Y. Ishigaki and K. Tanaka | Trend Analyses of Failures in Information Systems-A Case Study on Communications Networks and Financial Information Systems |