重庆大学大数据与软件学院在数据驱动的事件流系统监控定量验证研究方面取得新进展

来源：信息网络安全, 2020, 20(07): 99.

• 事件流
• 数据驱动
• 系统监控
• 验证研究

<正>近日,由重庆大学大数据与软件学院物联网体感大数据(BDL)课题组刘礼副教授为通信作者完成的论文"Quantitative Verification for Monitoring Event-Streaming Systems"被软件工程领域学术期刊IEEE Transactions on Software Engineering(TSE)录用(CCF A类,JCR一区)。该论文合作作者包括澳大利亚伍伦贡大学苏国鑫博士、Minjie Zhang教授,以及新加坡国立大学、ACM/IEEE Fellow David S. Rosenblum教授。近年来,高性能数据流技术越来越多地被IT公司所采用,用以支持异构和分布式应用的集成。与传统的消息队列中间件相比,

• 单位
  重庆大学