2016年软件理论讨论班日程安排
注:每次讨论班时间为周二下午1点到3点。
|
时间(Date)
|
地点(Place) |
报告题目(Title)
|
报告人 |
1 |
2016.2.23 |
一教215 |
Integrating Formal Verification and Conformance Testing for Reactive Systems |
Yi Li |
2
|
2016.3.1 |
1303 |
High-Level Counter-Examples for Probabilistic Automata |
Yuanyi Ji |
3
|
2016.3.8 |
1303 |
A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems |
Ai Liu |
4
|
2016.3.15 |
1303 |
Conformance Testing for Real-Time Systems |
Heyuan Xu |
5
|
2016.3.22 |
1303 |
Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving |
Saqib Nawaz |
6
|
2016.3.29 |
本周部分研究生参加SETSS春季学校,讨论班暂停一周。 |
||
7
|
2016.4.5 |
1303 |
Automatic Fine-Grain Locking using Shape Properties |
Haiyang Liu |
8
|
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 |
9
|
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 |
10
|
2016.4.26 |
1303 |
Counter-Example Generation in Probabilistic Model Checking |
Yuanyi Ji |
11 |
2016.5.3 |
1303 |
Universal Coalgebra: A Theory of Systems |
Ai Liu |
12 |
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 |
因党校论坛,本周讨论班暂停一次。 |