• 1
  • 2
  • 3

ICSCA 2020 | Feb. 18-21, 2020 | Langkawi, Malaysia

Excellent Paper Presentation

Session 1 | How to Determine Minimum Support in Association Rule
Presenter: Erna Hikmawati, Bandung Institute of Technology, Indonesia

Session 2 | Packet Reachability Verification in OpenFlow Networks
Presenter: Noriaki Yoshiura, Saitama University, Japan

Session 3 | A Comprehensive Investigation of Universal Verification Methodology (UVM) for Design Verification
Presenter: Shumaila Qamar, National University of Sciences and Technology (NUST), Pakistan

Session 4 | Estimation of Heat of Formation for Chemical Systems using the Lasso Regression-Based Approach
Presenter: Viet Thang Nguyen, International University, VNU-HCMC, Vietnam

Session 5 | A hybrid “quantum and classical” method for outlier detection
Presenter: Rabah MAZOUZI, Umanis, France

Session 6 | The Study of Affective Value in Educational Video Production Style for Mobile Learning using Kansei Engineering Approach
Presenter: Nur Faraha Bte Hj. Mohd. Naim, Universiti Malaysia Sabah, Malaysia

Session 7 | Accuracy Improvement of Human Tracking in Aerial Images Using Error Correction Based on Color Information
Presenter: Risako Aoki, Meiji University, Japan

Session 8 | PoCo: A Language for Specifying Obligation-Based Policy Compositions
Presenter: Danielle Ferguson, University of South Florida, USA




Keynote Speakers

Irwin King, IEEE Fellow & HKIE Fellow
President, INNS (2019-2020), FIEEE, FHKIE, SMACM, BoG APNNS & INNS

Prof. Dr., The Chinese University of Hong Kong

Speech Title: Graph Embedding from Theory to Applications


Prof. Dr., Academia Sinica, Taiwan

Speech Title:  AIoT Security and Privacy Challenges and Opportunities


Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia

Speech Title: On Addressing Team Formation Problem using Multi-Objective Meta-Heuristic Optimization


Tutorial Speakers

Vitaliy Mezhuyev
Prof. Mag. Dr,
FH JOANNEUM University of Applied Sciences, Austria

Introduction to Formal Methods

Safety of software becomes one of the most important issues nowadays.
This tutorial introduces formal methods, which allow significantly increase the reliability and robustness of software systems.
Formal Methods will be introduced in Z, TLA, and UPPAAL notations and illustrated by using appropriate techniques and tools .
The tutorial also presents important properties of modern software systems as real-time, concurrency, liveness, and fairness