SETTA & JCST 2020 Conference Program

November 24th - 26th: main conference
November 27th & 28th: AI & FM 2020
The conference is running according to Beijing Time (GMT+8).

Zoom will be used for online conference.
MEETING ROOM ID: 9021962020
PASSWORD: will be sent to the participants
LIVE BROADCAST:
>>> SETTA 2020 - bilibili

----------------------------
November 24th, 2020
----------------------------
SETTA Opening (Huimin Lin, Lijun Zhang and Jun Pang)
14:00 -- 14:05: Opening (Huimin Lin, Lijun Zhang and Jun Pang)

SETTA Keynote 1 (Session Chair: Jun Pang)
14:05 - 15:05 Keynote: The Road Ahead for Supervisor Synthesis (Wan Fokkink)

SETTA Session 1: Symbolic Model Checking (Session Chair: David Jansen)
15:10 - 15:35 Symbolic Verification of MPI Programs with Non-deterministic Synchronizations (Hengbiao Yu)
15:35 - 16:00 Compiling FL^{res} on Finite Words (Wanwei Liu)
16:00 - 16:25 Probably Approximately Correct Interpolants Generation (Bai Xue)
16:25 - 16:50 Symbolic Model Checking with Sentential Decision Diagrams (Lieuwe Vinkhuijzen)

JCST Session 1: Modelling and Verification (Session Chair: Andreas Turrini)
16:55 - 17:20 Jupiter Made Abstract, and then Refined (Heng-Feng Wei)
17:20 - 17:45 Modelling and Verification of the RTPS Protocol using Uppaal and Simulink/Stateflow (Shuling Wang)
17:45 - 18:10 Modular Verification of SPARCv8 Code (Junpeng Zha)

18:20: General Assembly

----------------------------
November 25th, 2020
----------------------------
SETTA Keynote 2 (Session Chair: Naijun Zhan)
14:00 - 15:00 Keynote: Rely-guarantee Reasoning about Concurrent Reactive Systems: Framework, Languages Integration and Applications (Yongwang Zhao)

SETTA Session 2: Automata and Model Checking (Session Chair: Yongwang Zhao)
15:10 - 15:35 Randomized Refinement Checking of Timed I/O Automata (Andrej Kiviriga)
15:35 - 16:00 Modelling and Implementation of Unmanned Aircraft Collision Avoidance (Weizhi Feng)
16:00 - 16:25 Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata (Xie Li)

SETTA Keynote 3 (Session Chair: Zhiming Liu)
16:30 - 17:30 Keynote: Learning Input Languages (Andreas Zeller)

JCST Session 2: Specification and Validation (Session Chair: Wanwei Liu)
17:35 - 18:00 Automatic Buffer Overflow Warning Validation (Fengjuan Gao)
18:00 - 18:25 Reachability of Patterned Conditional Pushdown Systems (Xin Li)
18:25 - 18:50 Specification and Verification of the ZAB Protocol with TLA+ (Jiaqi Yin)

----------------------------
November 26th, 2020
----------------------------
SETTA Keynote 4 (Session Chair: Lijun Zhang)
14:00 - 15:00 Keynote: Lab Conditions for Research on Explainable Automated Decisions (Holger Hermanns)

SETTA Session 3: Testing and Certification (Session Chair: Holger Hermanns)
15:10 - 15:35 Learning Safe Neural Network Controllers with Barrier Certificates (Hengjun Zhao)
15:35 - 16:00 Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics (Yangxi Zhou)
16:00 - 16:25 Reentrancy? Yes. Reentrancy bug? No. (Zhongye Wang)
16:25 - 16:50 Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets (Lorenzo Capra)

JCST Session 3: Machine Learning (Session Chair: Bai Xue)
16:55 - 17:20 Verifying ReLU Neural Networks from A Model Checking Perspective (Wanwei Liu)
17:20 - 17:45 EasyModel: a Refinement-based Modeling and Verification Approach for Self-Adaptive Software (Qiliang Yang)
17:45 - 18:10 Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics (Mohammad Mhawish)