1

2016.2.23

一教215

Integrating Formal Verification and Conformance Testing for Reactive Systems

Yi Li

2016.3.1

1303

High-Level Counter-Examples for Probabilistic Automata

Yuanyi Ji

2016.3.8

1303

A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems

Ai Liu

2016.3.15

1303

Conformance Testing for Real-Time Systems

Heyuan Xu

2016.3.22

1303

Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

Saqib Nawaz

2016.3.29

本周部分研究生参加SETSS春季学校，讨论班暂停一周。

2016.4.5

1303

Automatic Fine-Grain Locking using Shape Properties

Haiyang Liu

2016.4.12

1303

Part I. Mastering the Game of Go with Deep Neural Networks and Tree Search

Part II. Introduction about the SETSS Spring School

Yi Li

Ai Liu

Shun Wang

2016.4.19

1303

Part I. Introduction to active automata learning from a practical perspective

Part II. Connectors as Designs: Modeling, Refinement and Test Case Generation

Part III. Modeling and Verification of Connectors in Coq

(about 40 minutes for each talk)

Yuteng Lu

Weijiang Hong

Xiyue Zhang

2016.4.26

1303

Counter-Example Generation in Probabilistic Model Checking

Yuanyi Ji

2016.5.3

1303

Universal Coalgebra: A Theory of Systems

Ai Liu

2016.5.10

1303

An introduction to coalgebra and coinduction

Shun Wang

13

2016.5.17

1303

Concurrent Algorithms in SPIN Model Checker

Saqib Nawaz

14

2016.5.24

1303

Practice for Thesis Defense

Tingting Hu

Yiwu Wang

15

2016.5.31

1303

Part I. Software Verification and Testing

Part II. Towards Concolic Testing for Hybrid Systems

Ke Zhang

Xiaohong Chen（UIUC）

16

2016.6.7

1303

Extending CSP for Coordination

Yi Li

2016.6.13-6.26期末考试，2016.6.27-8.7暑假期间讨论班暂停。

17

2016.8.9

1303

Part I. Vive La Difference: Paxos vs. Viewstamped Replication vs. Zab

Part II. ZooKeeper: Wait-free coordination for Internet-scale systems

Yi Li

18

2016.8.16

1303

Timed Automata Patterns

Saqib Nawaz

19

2016.8.23

1303

On-the-fly Verification and Optimization of DTA Properties for Large Markov Chains

Yuanyi Ji

20

2016.8.30

1303

The Dual Equivalence of Equations and Coequations for Automata

Ai Liu

21

2016.9.6

1303

Checking Timed Buchi Automata Emptiness Efficiently

Saqib Nawaz

22

2016.9.13

1303

An Attempt on Asynchronous Coordination: Extension of Tuple Space

Yi Li

23

2016.9.20

1479

Algorithmic probabilistic game semantics: Playing games with automata

Yuanyi Ji

24

2016.9.27

1303

Trace Semantics for Probabilistic Transition Systems: A Coalgebraic Approach

Ai Liu

25

2016.10.4

本周国庆节放假，讨论班暂停一周。

26

2016.10.11

1303

Improving active Mealy machine learning for protocol conformance testing

Heyuan Xu

27

2016.10.18

1303

Specification Guidelines to Avoid the State Space Explosion Problem

Weijiang Hong

28

2016.10.25

1303

Lifting adjunctions to coalgebras to discover automata constructions

Shun Wang

29

2016.11.1

1303

Active Learning for Extended Finite State Machines

Yuteng Lu

30

2016.11.8

本周FM会议，讨论班暂停一周。

31

2016.11.15

1303

From Timed Reo Networks to Networks of Timed Automata

Xiyue Zhang

32

2016.11.22

1303

Learning Moore Machines from Input-Output Traces

Heyuan Xu

33

2016.11.29

1303

Weak Bisimulation for Action—Type Coalgebras

Shun Wang

34

2016.12.6

1303

Part I : Modeling Transition System and Timed Automata in PVS

Part II: Compositional Verification of Programs

Saqib Nawaz

Jun Sun (SUTD)

35

2016.12.13

1303

Stochastic Timed Extension of Coordination Language Reo

Yi Li & Yuanyi Ji

36

2016.12.20

1303

Stochastic Timed Extension of Coordination Language Reo

Yi Li & Yuanyi Ji

37

2016.12.27

因党校论坛，本周讨论班暂停一次。