刘关俊

编辑:刘关俊时间:2015-09-15点击:10748

姓名刘关俊“刘关俊”老师的照片。
职称副教授
学科计算机科学与技术学科
专业计算机软件与理论
研究方向

网络信息服务、工作流、电商安全、离散事件系统、并发理论、模型检测、Petri网理论

联系方式通讯地址:上海市曹安公路4800号同济大学电信学院235室
邮政编码:201804
电子邮件:
liuguanjun@tongji.edu.cn 

简介

***工作经历***
201310月至今,同济大学,计算机科学系,副教授、博士生导师
2013
11月至201410月,柏林洪堡大学,计算机科学系,Humboldiant
2011
12月至201303月,新加坡科技设计大学,信息技术系,Postdoctoral Research Fellow
2001
07月至200807月,山东科技大学,计算机科学系,助教

***学习经历***
20089月至20117月,同济大学,计算机科学系,计算机软件与理论专业,工学博士
2003
9月至20067月,山东科技大学,计算机科学系,计算机软件与理论专业,工学硕士
1997
9月至20017月,曲阜师范大学,数学与计算机科学系,计算机科学与技术专业,理学学士

***在研项目***

国家自然科学基金面上项目:基于标号Petri网的行为安全互模拟研究(2016.01-2019.12)

上海市曙光计划项目:面向安全的交互式系统建模与分析(2016.01-2018.12)

以电子交易为背景:以Petri网与模型检测为基础,研究面向安全的多主体交互系统/协议的建模、正确性检测、安全性分析;基于人工智能与大数据的网络交易风险防控。欢迎有兴趣的同学参与!!!

***结题项目***

国家自然科学基金青年基金项目:交互式Petri网及其兼容性研究(2013.01-2015.12)

973项目子课题:信息服务的Petri网建模理论(2012.01-2014.12)

***奖励荣誉***

德国洪堡基金获得者

上海市曙光人才计划项目获得者

上海市优秀博士学位论文奖

首届教育部博士研究生学术新人奖

2016年度国家科技进步奖二等奖(第六位)

2016年度中国电子学会科学技术奖自然科学类一等奖(第三位)

2015年度上海市科技进步奖一等奖(第六位)

IEEE ICNSC 2016最佳学生论文提名奖

***学术任职***

计算机学会会员

自动化学会会员

人工智能学会会员

同济大学-中国工商银行 电子交易风险防控联合实验室 专家委员会委员

ACM member

IEEE member

IEICE member

Guest Editor of《Mathmatical Problem in Engineering

Reviewer of 《Mathematical Review》

Member of Programme Committee of the 3rd IEEE/ACM International Conference on Big Data Science, Engineering and Applications (BDSEA'16,http://computing.derby.ac.uk/bdsea2016/)

Member of Programme Committee of the 4th IEEE/ACM International Conference on Big Data Science, Engineering and Applications

***指导学生与合作者***

何雷锋(硕博连读,2015级硕士,2017级春季博士)

张  昆(2015级硕士)

轩诗洋(2016级硕士)

董兰兰(2016级硕士)

吴  晗(2017级硕士)

陈  卓(2017级硕士)

吴  岩(合作者,2009级博士,江苏大学副教授,美国德州大学博士后)

于汪洋(合作者,2009级博士,陕西师范大学副教授,英国德比大学访问学者)

王帅群(合作者,2010级博士,上海海事大学师资博士后)

李金忠(合作者,2012级博士,井冈山大学副教授)

栾文静(合作者,2012级博士)

相东明(合作者,2013级博士)

李  剑(合作者,2013级博士,浙江农林大学副教授)

沈来信(合作者,2013级博士,黄山学院副教授)

王咪咪(合作者,2013级博士)

***论文与著作***

----2017----

48.

刘关俊 著,Petri网活性与应用,上海:同济大学出版社,2017.

47.

GJ Liu, MC Zhou, CJ Jiang, Petri net modelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing, ACM Trans. Embedded Computing Systems, vol. 16, no. 4, pp. 113:1-113:20, 2017(doi:10.1145/2810001

46

GJ Liu, CJ Jiang, Observable Liveness of Petri Nets with Controllable and Observable Transitions, Science China - Information Sciences, 2017, vol. 60: 118102-1--3 (doi:10.1007/s11432-016-0241-y)

45.

DM Xiang, GJ Liu, CG Yan, CJ Jiang, Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets, IEEE Transactions on Industrial Informatics, 2017 (accepted, DOI:  10.1109/TII.2017.2698640)

44

JZ Li, GJ Liu, CG Yan, CJ Jiang, Robust Learning to Rank Based on Portfolio Theory and AMOSA algorithm, IEEE Trans. SMC: Syst. 2017, vol.47, no. 6, pp. 1007--1018.  (DOI: 10.1109/TSMC.2016.2584786)

(http://ieeexplore.ieee.org/document/7519089/)

43.

DM Xiang, GJ Liu, CG Yan, CJ Jiang, Detecting Data-Flow Errors Based on Petri Nets with Data Operations, IEEE/CAA Journal of Automatica Sinica, 2017 (accepted)

42

WJ Luan, GJ Liu, CJ Jiang, L Qi, Partition-based Collaborative Tensor Factorization for POI Recommendation, IEEE/CAA Journal of Automatica Sinica, 2017, vol. 4, no. 3, pp. 437--446. (doi:  10.1109/JAS.2017.7510538)

41.

DM Xiang, GJ Liu, CG Yan, CJ Jiang, DICER: Data Inconsistency Checker Based on The Unfolding Technique of Petri Net, the 14th ICNSC, Calabria, Italy, 2017, pp. 115--120

40.

K Zhang, GJ Liu, DM Xiang, BUCKER: A Basic Unfolding based Checker for Soundness of Workflow Systemsthe 14th ICNSC, Calabria, Italy, 2017, pp. 611-616

39.

JZ Li, GJ Liu, J. Xia, Robust Ranking Model via Bias-Variance Optimization, in 2017 International Conference on Intellegent Computing, Liverpool, UK, Aug. 7--10, LNAI, vol. 10363, pp. 706--718, 2017. (DOI:  10.1007/978-3-319-63315-2_62)

----2016----

38.

GJ Liu, W Reisig, CJ Jiang, and MC Zhou, A Branching-process-based method to check soundness of workflow systems, IEEE Access, 2016, vol. 4: 4104-4118 (DOI: 10.1109/ACCESS.2016.2597061)

http://ieeexplore.ieee.org/abstract/document/7527679/)

37.

GJ Liu, Complexity of the deadlock problem for Petri nets modelling resource allocation systems, Information Sciences, vol. 363, 2016:190-197

 (http://www.sciencedirect.com/science/article/pii/S002002551500835X)

36.

GJ Liu, CJ Jiang, Behavioral Equivalence of Security-Oriented Interactive Systems, IEICE Trans. Inf. Syst. Vol. E99-D, No. 8, pp. 2061--2068, 2016 (DOI: 10.1587/transinf.2015INP0017)

(http://search.ieice.org/bin/summary_advpub.php?id=2015INP0017&category=D&lang=E&abst=)

35.

GJ Liu, LJ Chen, Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait, Int. J. Syst. Sci., 2016, 47(7):1533-1542

 (http://www.tandfonline.com/doi/abs/10.1080/00207721.2014.938788

34.

GJ Liu, CJ Jiang, Petri net based model checking for the collaborative-ness of multiple processes systems, the 13th ICNSC, Maxico City, Apr. 28-30, 2016

(http://ieeexplore.ieee.org/document/7478980/)

33.

GJ Liu, K Zhang, CJ Jiang, Deciding the deadlock and livelock of a Petri net with a target marking based on its basic unfolding, the 16th ICA3PP, Spain, Dec. 14-16, 2016, LNCS 10048, 98--105

 (http://link.springer.com/chapter/10.1007/978-3-319-49583-5_7

32.

SQ Wang, Aorigele, GJ Liu, SC Gao,A hybrid discrete imperialist competition algorithm for fuzzy job-shop scheduling problems, IEEE Access, 2016, 4: 9320--9331 

(http://ieeexplore.ieee.org/document/7803593/)

31.

WY Yu, GJ Liu, LF He, A Reduction Method of Analyzing Data-liveness and Data-boundedness for a Class of E-commerce Business Process Nets, the 9th SpaCCS, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 70--83.

(http://link.springer.com/chapter/10.1007/978-3-319-49148-6_7)

30.

MM Wang, GJ Liu, CJ Jiang, Computation of Secure Consistency for Real Systems, The 9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS2016), Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 84--97.

(http://link.springer.com/chapter/10.1007/978-3-319-49148-6_8)

29.

MM Wang, GJ Liu, CG Yan, CJ Jiang.  Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack. In: Wang G., Ray I., Alcaraz Calero J., Thampi S. (eds) Security, Privacy, and Anonymity in Computation, Communication, and Storage. SpaCCS 2016. Lecture Notes in Computer Science, vol 10066. Springer, pp. 422--436.

http://link.springer.com/chapter/10.1007/978-3-319-49148-6_35

28.

J Li, GJ Liu, CG Yan, CJ Jiang, A Hybrid Method of Recommending POIs Based on Context and Personal Preference Confidence, the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies  (BDCAT2016), Shanghai, China, Dec. 6-9, 2016, pp. 287-292.   

http://dl.acm.org/citation.cfm?id=3006330)    

27.

WJ Luan, GJ Liu, CJ Jiang, Collaborative Tensor Factorization and its Application in POI Recommendation, the 13th ICNSC, Maxico City, Apr. 28-30, 2016 (best student paper award finalist)

(http://ieeexplore.ieee.org/document/7478984/)

26.

Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou, A multilevel index model to expedite web service discovery and composition in large-scale service repositories, IEEE Trans. Services Computing, 2016,9(3):330-342

(http://ieeexplore.ieee.org/document/7027801/)

25.

LX Shen, CJ Jiang, GJ Liu, Satellite objects extraction and classification based on similarity measure, IEEE Trans. Systems, Man, and Cybernetics: Systems, vol. 46, no. 8, 2015: 1148--1154 (DOI: 10.1109/TSMC.2015.2468192)

(http://ieeexplore.ieee.org/document/7222482/)

24.

LF He, GJ Liu, MM Wang, Sufficient and necessary conditions to decide compatibility for simple circuit inter-organization workflow nets, the 10th APSCC, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10065, pp. 408--422.

(http://link.springer.com/chapter/10.1007/978-3-319-49178-3_31)

23.

DM Xiang, GJ Liu, CG Yan, CJ Jiang, Checking the inconsistent data in concurrent systems by Petri nets with data operations, In: the 22nd ICPADS, 2016, Wuhan, China, pp. 501--508

(http://ieeexplore.ieee.org/document/7823788/)

----2015----

22.

GJ Liu, CJ Jiang, Secure Bisimulation for Interactive Systems, the 15th ICA3PP, LNCS 9530, 2015: 625-639

(http://link.springer.com/chapter/10.1007/978-3-319-27137-8_45)

21.

GJ Liu, CJ Jiang, Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets, SCI. CHINA Inf. Sci., 2015, 58(7): 072103:1-16

(http://link.springer.com/article/10.1007/s11432-014-5259-5)

20.

GJ Liu, CJ Jiang, Co-NP-hardness of the soundness problem for asymmetric-choice workflow nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2015, 45(8): 1201-1204

(http://ieeexplore.ieee.org/document/7006691/)

19.

GJ Liu, LJ Chen, Sufficient and Necessary Condition for Compatibility of a Class of Interorganizational Workflow Nets, Mathematical Problems in Engineering, 2015, vol. 2015, Article ID 392945, 11 pages

(https://www.hindawi.com/journals/mpe/2015/392945/)

18.

ZW Li, M Uzam, GJ Liu, G Frey, Y Tang, Mathematical Problems in Petri nets theory and applications (Editoral), Mathematical Problems in Engineering, volume 2015, article ID 240385, 2 pages

(https://www.hindawi.com/journals/mpe/2015/240385/)

----2014----
17.

GJ Liu, Some complexity results for the soundness problem of workflow nets, IEEE Trans. Services Computing, 2014, 7 (2): 322-328.

(http://ieeexplore.ieee.org/document/6542627/)
16.

GJ Liu, J Sun, Y Liu, and JS Dong, Complexity of the soundness problem of workflow nets, Fundamenta Informaticae, 2014, 131 (1): 81-101

(http://content.iospress.com/articles/fundamenta-informaticae/fi131-1-05)

----2013----
15.

GJ Liu, CJ Jiang, MC Zhou, PC Xiong, Interactive Petri nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2013, 43 (2): 291-302.

(http://ieeexplore.ieee.org/document/6301779/)

14.

GJ Liu, CJ Jiang, MC Zhou, A Ohta, The Liveness of WS3PR: Complexity and Decision, IEICE Trans. Fundamentals, 2013, E96-A (8): 1783-1793

(http://search.ieice.org/bin/summary.php?id=e96-a_8_1783)

13.

Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou, A novel method for calculating service reputation, IEEE Trans. Automation Science and Engineering, 2013, 10(3): 634-642

(http://ieeexplore.ieee.org/document/6461455/)

----2012----
12.

GJ Liu, CJ Jiang, MC Zhou, Process nets with channels, IEEE Trans. Syst., Man, Cybern. A, 2012, 42 (1): 213-225

(http://ieeexplore.ieee.org/document/5871723/)
11.

GJ Liu, J Sun, Y Liu, JS Dong, Complexity of the soundness problem of bounded workflow nets, the 33rd ICATPN, 25-29 June 2012, Hamburg, Germany, LNCS 7347, pp. 92-107, 2012

(http://link.springer.com/chapter/10.1007/978-3-642-31131-4_6)

10.

D Chao, GJ Liu, A simple suboptimal siphon-based control model of a well-known S3PR, Asian J Control, 2012, 14(1): 163-172

(http://onlinelibrary.wiley.com/doi/10.1002/asjc.292/full)

----2011----
9.

GJ Liu, CJ Jiang, MC Zhou, Improved sufficient condition for the controllability of weakly dependent siphons in  system of simple sequential processes with resources, IET Control Theory  and Applications, 2011, 5 (9): 1059-1068

(http://ieeexplore.ieee.org/document/5960400/)
8.

GJ Liu, CJ Jiang, D Chao, A necessary and  sufficient condition for the liveness of normal nets, the Comp. J. (Oxford University Press),  2011, 54 (1): 157-163

(http://comjnl.oxfordjournals.org/content/early/2009/12/30/comjnl.bxp118.short)

7.

GJ Liu, CJ Jiang, MC Zhou, Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets, ICNSC 2011, Delft, the Netherlands, April 11-13, 2011: 359-364

(http://ieeexplore.ieee.org/document/5874938/)

----2010----
6.

GJ Liu, CJ Jiang, MC Zhou, Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs, IEEE Trans. Aut. Sci. Eng., 2010, 7 (1): 945-957

(http://ieeexplore.ieee.org/document/5475322/)

5.

A Ohta, GJ Liu, K. Tsuji, CJ Jiang, D.  Chao, Polynomial time solvability of liveness problem of structurally  weakly persistent net, IEICE Technical Report (CST2010-13), 2010: 127-132.

----2009----
4.

GJ Liu, CJ Jiang, On conditions for the liveness of weakly persistent nets, Inform. Process. Lett., 2009, 109 (16): 967-970

(http://www.sciencedirect.com/science/article/pii/S0020019009001823)
3.

GJ Liu, CJ Jiang, ZH Wu, LJ Chen, A live subclass of Petri nets and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 41 (1-2): 66-74

(http://link.springer.com/article/10.1007/s00170-008-1457-x)
2.

GJ Liu, CJ Jiang, LJ Chen, ZH Wu, Two types of extended RSNBs and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 45 (4-5): 573-582

(http://link.springer.com/article/10.1007/s00170-009-1995-x)
1.

GJ Liu, CJ Jiang, Incidence matrix based methods for computing repetitive vectors and siphons of Petri net, J. Inf. Sci. Eng., 2009, 25 (1): 121-136

(http://www.iis.sinica.edu.tw/page/jise/2009/200901_07.pdf)

备注博导/硕导