现有科研组 :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
以前科研组 :	Whisper

刊物 MoVe	2016	2017	2018	2019	2020	2021	Total
书籍	1	0	0	0	1	2	4
参考书目	2	3	2	3	0	1	11
刊物文章	10	8	5	5	8	2	38
书籍章节	1	1	1	2	0	0	5
会议文章	17	22	18	17	12	1	87
特许任教资格	2	1	0	1	0	0	4
博士论文	3	0	0	3	1	0	7

LIP6

• F. Kordon, H. Garavel, L. Hillah, E. Paviot‑Adet, L. Jezequel, F. Hulin‑Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry‑Mieg, J. Van De Pol, K. Wolf : “MCC’2017 - The Seventh Model Checking Contest”, chapter in Transactions on Petri Nets and Other Models of Concurrency XIII, vol. 11090, Lecture Notes in Computer Science, pp. 181-209, (Springer) [Kordon 2018c]