|
时间(Date)
|
地点(Place) |
报告题目(Title)
|
报告人 |
1 |
2015.9.15 |
二教210 |
Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification |
Yi Li |
2
|
2015.9.22 |
二教210 |
Formal Verification of Genetic Algorithms Operators Using PVS |
Saqib Nawaz |
3
|
2015.9.29 |
二教210 |
Model Checking for Probabilistic Timed Automata |
Yuanyi Ji |
4
|
2015.10.6 |
国庆节放假 |
||
5
|
2015.10.13 |
二教210 |
Extracting Model from Implementations of Web Authentication Protocols |
Guangdong Bai (National University of Singapore) |
6
|
2015.10.20 |
二教210 |
Part I. Concurrent Programming Education in the Post-Java Era Part II. How Good is Your Embedded Design, if at all? |
Holger Hermanns (Saarland University) |
7
|
2015.10.27 |
二教210 |
Backwards-Compatible Array Bounds Checking for C with Very Low Overhead |
Haiyang Liu |
8
|
2015.11.3 |
南京SETTA会议,暂停一次。 |
||
9
|
2015.11.10 |
二教210 |
Introduction to Active Automata Learning from a Practical Perspective |
Yiwu Wang |
10
|
2015.11.17 |
二教210 |
Modeling and Verifying Hierarchical Real-time Systems Using Stateful Timed CSP |
Ai Liu |
11 |
2015.11.24 |
二教210 |
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership |
Tingting Hu |
12 |
2015.12.1 |
IDEA4CPS workshop,暂停一次。 |
||
13 |
2015.12.8 |
二教210 |
Combining Centralised and Distributed Testing |
Heyuan Xu |
14 |
2015.12.15 |
二教210 |
One Paper, One Dream! |
Meng Sun |
15 |
2015.12.22 |
理科楼1303 |
Computability Revisited |
Jos Baeten (CWI) |
16 |
2015.12.29 |
二教210 |
Depth-First Search and Strong Connectivity in PVS |
Saqib Nawaz |
注:
每次讨论班时间为周二下午1点到3点。