首页  人才培养  导师信息  计算机与人工智能 > 正文
吴恒洋
来源：计算机与信息工程学院
发布时间：2022年11月06日

教师介绍

 

教师姓名

吴恒洋

职务职称

副教授

研究方向

计算机软件与理论；可信计算；形式化方法

联系电话

021-50214252

E-mail

wuhy@sspu.edu.cn

通讯地址 

上海浦东金海路2360号28号楼1013

个人简介

2019.9-至今      上海第二工业大学，计算机与信息工程学院，副教授

2016.8-2019.8    华东师范大学，软件工程学院，副研究员

2007.9-2016.7    杭州电子科技大学，信息工程学院，副教授

2008.3-2012.3    华东师范大学系统科学流动站， 博士后

2004.9-2007.6    上海师范大学，数理信息学院， 博士,

主要论文、专利及著作情况

l 论文：

1.H.Y. Wu, Y.X. Deng, Distribution-based behavioral distance for non-deterministic fuzzy transition systems, IEEE Transactions on Fuzzy Systems, 26(2018): 416-429(SCI  1区，TOP).

2. H.Y. Wu,Y.X. Chen, T.M. Bu, Y.X. Deng, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Fuzzy Sets and Systems, 333(2018):106-123(SCI  1区, TOP).

3. H.Y. Wu,Y. X. Deng, Logical characterizations of simulation and bisimulation for fuzzy transition systems, Fuzzy Sets and Systems, 301（2016): 19-36(SCI  1区，TOP).

4.H.Y. Wu, Y.X. Chen, Semantics of non-deterministic possibility computation, Fuzzy Sets and Systems, 199(2012):47-63(SCI  1区, TOP).

5.H.Y. Wu, T.L. Chen, T.T.Han, Y.X. Chen, Bisimulations for fuzzy transition systems revisited, International Journal of Approximate reasoning, 99(2018): 1-11 (CCF  B).

6. H.Y. Wu, Measurement of refinement and correctness, Frontiers of Computer Science in China，3(4) (2009): 465-471(SCI  4区).

7.吴恒洋，命令式模糊程序语言的语义,计算机学报, 36(2013):862-869（CCF中文A 类， EI).

8. H.Y. Wu, Y. X. Chen, Coalgebras for fuzzy transition systems, ENTCS, 301(2014):91-101(EI).

9. H.Y. Wu, Y.X. Chen, A duality theorem for quantitative semantics, ENTCS, 257(2009):87-97(EI).

10. H.Y. Wu, M. Zhang, Y. X. Chen, On denotational semantics of spatial-temporal consistency language-STeC, TASE 2013(CCF C，EI).

11.T.M. Bu,H.Y. Wu（通讯）, Y.X.Chen, Computing behavioural distance for fuzzy transition systems, TASE 2017 (CCF C，EI).

12. H.W. Tao, Y.X. Chen,H.Y. Wu（通讯），R.M. Deng, A Survey of Software Trustworthiness Measurements, International Journal of Performability Engineering, 15(2019):2364-2372(EI).

13.P.F. Wang, Y.X. Chen, H.Y. Wu（通讯），A Hybrid Clock Logic System for CPS.   ISKE 2019: 675-682(EI).

14. K. l. He, H.Hermanns, H.Y. Wu, Y.X.Chen, Connection models for the Internet of    Things. Frontiers Comput. Sci. 14(3): 143401 (2020)(SCI  4区).

15. H.W. Tao, Y.X. Chen,H.Y. Wu,Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. QRS Companion 2020: 308-315  (EI).

16.Y.R. Zhang,H.Y. Wu,, Y.X. Chen, F.Mallet,A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems, Science of Computer Programming. DOI:10.1016/j.scico.2020.102591(CCF B，SCI).

主要科研项目

主持6项  

1.描述模糊性的可能性论域理论研究, 编号: LY13F020046，浙江省自然科学基金,2013/01-2015/12

2.概率程序的精化演算研究, 编号: 09R21412400，上海市博士后基金,  2009/06-2011/06

3.软件形式语义模型研究，上海市高可信计算重点实验室开放课题，2010/09-2011/09

4.多粒度Kripke结构的互模拟研究，广西可信软件重点实验室开放课题，2019/05-2021/04

5.浙江省高校优秀青年教师基金以及浙江省教育厅基金

6.轨道交通计算机联锁产品软件可信性测评, 上海富欣智能交通控制有限公司, 2018/09-2019/09, 20万

参与4项

1.具有时空一致性的软件形式化理论与方法的研究, 编号: 61370100,国家自然科学基金, 2014/01-2017/12, (课题骨干）

2.近似推理的区间值模型及其逻辑基础, 编号: 61773019, 国家自然科学基金, 2018/01-2021/12, (课题骨干)

3.具有模糊性程序语义模型的研究, 编号: 60673117,国家自然科学基金, 2007/01-2009/12, (课题骨干)

4.软件可信性度量模型的研究, 编号: 2007AA01Z189,国家高科技技术研究发展计划, 2007/01-2009/12, （课题骨干）


关闭窗口