近日，重庆大学大数据与软件学院刘礼副教授课题组在数据驱动的事件流系统监控定量验证研究方面取得新进展，提出了一种新的用于监测ESS系统的理论框架QV4M，论文《Quantitative Verification for Monitoring Event-Streaming Systems》被软件工程领域顶级学术期刊 IEEE Transactions on Software Engineering (TSE) 录用（CCF A类，JCR一区），该论文成果也是首篇以重庆大学为通讯单位的TSE文章。