| 2026 | AAAI | Rethink Representation Learning for Questionnaire Data. | Guanhua Ye, Jifeng He, Yan Li, Junping Du, Zhe Xue, Yingxia Shao, Meiyu Liang, Yawen Li |
| 2025 | VTC | Near/Far-Field Structured Channel Estimation For Terahertz ELAA Systems: An Algorithm Unrolling Approach. | Kaihui Liu, Liangtian Wan, Lu Sun, Jifeng He |
| 2023 | ICECCS | Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2023 | ISSTA | An Empirical Study of Functional Bugs in Android Apps. | Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su |
| 2022 | SEKE | A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2019 | CVPR | Robustness Verification of Classification Deep Neural Networks via Linear Programming. | Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He |
| 2016 | TASE | A New Roadmap on Linking Theories of Programming. | Jifeng He |
| 2015 | ICECCS | Probabilistic Denotational Semantics for an Interrupt Modelling Language. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He |
| 2015 | ICSE | Combining Symbolic Execution and Model Checking for Data Flow Testing. | Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su |
| 2014 | ECAI | LTLf Satisfiability Checking. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2013 | ICECCS | Hybrid Relation Calculus. | Jifeng He |
| 2013 | ICFEM | Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. | Yanhong Huang, Joo F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He |
| 2013 | ICTAC | A Clock-Based Framework for Construction of Hybrid Systems. | Jifeng He |
| 2013 | TIME | LTL Satisfiability Checking Revisited. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2012 | ICECCS | Spatio-temporal UML Statechart for Cyber-Physical Systems. | Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding |
| 2012 | ICECCS | ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. | Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
| 2012 | SEFM | A Denotational Model for Instantaneous Signal Calculus. | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He |
| 2012 | TASE | Formal Specification of Hybrid MARTE Statecharts. | Ziwei Liu, Jing Liu, Jifeng He, Frdric Mallet, Miaomiao Zhang |
| 2011 | ICECCS | Formal Model of Interrupt Program from a Probabilistic Perspective. | Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
| 2011 | ICFEM | Towards a Signal Calculus for Event-Based Synchronous Languages. | Yongxin Zhao, Jifeng He |
| 2010 | ICTAC | A Denotational Semantical Model for Orc Language. | Qin Li, Huibiao Zhu, Jifeng He |
| 2010 | ISoLA | SPARDL: A Requirement Modeling Language for Periodic Control System. | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
| 2009 | SEW | Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders |
| 2008 | APSEC | Service Refinement. | Jifeng He |
| 2008 | APSEC | Execution Semantics for rCOS. | Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He |
| 2008 | FORTE | Specifying and Verifying Web Transactions. | Jing Li, Huibiao Zhu, Jifeng He |
| 2008 | ICDCIT | A Denotational Model for Web Services Choreography. | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He |
| 2008 | ICTAC | An Observational Model for Transactional Calculus of Services Orchestration. | Jing Li, Huibiao Zhu, Jifeng He |
| 2008 | ISoLA | Modelling Coordination and Compensation. | Jifeng He |
| 2007 | APSEC | The Validation and Verification of WSCDL. | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He |
| 2007 | ICDCIT | Unifying Denotational Semantics with Operational Semantics for Web Services. | Huibiao Zhu, Jifeng He, Jing Li |
| 2007 | ICECCS | A Formal Model for Compensable Transactions. | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | ICTAC | Linking Semantic Models. | Jifeng He |
| 2007 | ICTAC | Algebraic Semantics for Compensable Transactions. | Jing Li, Huibiao Zhu, Jifeng He |
| 2007 | IFM | UTP Semantics for Web Services. | Jifeng He |
| 2007 | SEFM | Algebraic Approach to Linking the Semantics of Web Services. | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
| 2007 | SEW | Modeling and Verifying Web Services Choreography Using Process Algebra. | Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu |
| 2007 | SEW | An Inconsistency Free Formalization of B/S Architecture. | Qin Li, Huibiao Zhu, Jifeng He |
| 2007 | SEW | Looking into Compensable Transactions. | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | SEW | Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
| 2007 | SEW | An Operational Approach to BPEL-like Programming. | Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li |
| 2006 | DDECS | An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. | Geguang Pu, Jifeng He, Zongyan Qiu |
| 2006 | ICECCS | Reactive Component based Service-Oriented Design - A Case Study. | Jing Liu, Jifeng He |
| 2006 | ICECCS | Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2006 | ICECCS | From Algebraic Semantics to Denotational Semantics for Verilog. | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
| 2006 | ICFEM | Towards the Semantics for Web Service Choreography Description Language. | Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu |
| 2006 | ISoLA | Patterns with Algebraic Properties in BPEL0. | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
| 2006 | KES | A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. | Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He |
| 2006 | SEW | An Operational Semantics of an Event-Driven System-Level Simulator. | Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin |
| 2006 | SEW | Integrating Probability with Time and Shared-Variable Concurrency. | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
| 2005 | ICDCIT | Linking Theories of Concurrency by Retraction. | Jifeng He |
| 2005 | ICECCS | Consistency Checking of UML Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 2005 | ICTAC | Linking Theories of Concurrency. | Jifeng He, C. A. R. Hoare |
| 2005 | ICTAC | Component-Based Software Engineering. | Jifeng He, Xiaoshan Li, Zhiming Liu |
| 2005 | ICTAC | POST: A Case Study for an Incremental Development in rCOS. | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
| 2005 | SEFM | Towards A Truly Concurrent Model for Processes Sharing Resources. | Naiyong Jin, Jifeng He |
| 2004 | APLAS | A Relational Model for Object-Oriented Designs. | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
| 2004 | ICDCIT | Generating a Prototype from a UML Model of System Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long |
| 2004 | ICFEM | Deriving Probabilistic Semantics Via the 'Weakest Completion'. | Jifeng He, Carroll Morgan, Annabelle McIver |
| 2004 | ICTAC | Integrating Variants of DC. | Jifeng He, Naiyong Jin |
| 2004 | ICTAC | A Framework for Specification and Validation of Real-Time Systems Using | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
| 2004 | IFM | An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
| 2004 | SEFM | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2004 | SEFM | Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. | Naiyong Jin, Jifeng He |
| 2003 | ICFEM | A Relational Model for Formal Object-Oriented Requirement Analysis in UML. | Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen |
| 2002 | ICECCS | Integrating CSP and DC. | Jifeng He |
| 2002 | ICFEM | Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2002 | ICFEM | Using Transition Systems to Unify UML Models. | Zhiming Liu, Xiaoshan Li, Jifeng He |
| 2002 | ICFEM | Hardware/Software Partitioning in Verilog. | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |
| 2002 | ICFEM | Towards a Time Model for Circus. | Adnan Sherif, Jifeng He |
| 2001 | APSEC | Partitioning Program into Hardware and Software. | Shengchao Qin, Jifeng He |
| 2001 | APSEC | A Theory of Combinational Programs. | Van Dung Tran, Jifeng He |
| 2001 | APSEC | Deriving Operational Semantics from Denotational Semantics for Verilog. | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2001 | COMPSAC | Formal and Use-Case Driven Requirement Analysis in UML. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 2000 | APSEC | Unifying theories of healthiness condition. | Jifeng He, C. A. R. Hoare |
| 2000 | ICFEM | An Animatable Operational Semantics of the Verilog Hardware Description Language. | Jonathan P. Bowen, Jifeng He, Qiwen Xu |
| 2000 | PDPTA | An Operational Semantics of a Simulator Algorithm. | Jifeng He, Qiwen Xu |
| 1999 | ECOOP | A Trace Model for Pointers and Objects. | C. A. R. Hoare, Jifeng He |
| 1999 | FM | A Behavioral Model for Co-design. | Jifeng He |
| 1999 | IFM | A Common Framework for Mixed Hardware/Software Systems. | Jifeng He |
| 1999 | RTCSA | A Denotational Semantics of Timed RSL Using Duration Calculus. | Li Li, Jifeng He |
| 1997 | EuroPar | Unifying Theories for Parallel Programming. | C. A. R. Hoare, Jifeng He |
| 1996 | EuroPar | Algebraic Laws for BSP Programming. | Jifeng He, Quentin Miller, Lei Chen |
| 1993 | MFCS | Hybrid Parallel Programming and Implementation of Synchronised Communication. | Jifeng He |
| 1993 | MFCS | Real-Time Refinement: Semantics and Application. | David Scholefield, Hussein S. M. Zedan, Jifeng He |
| 1993 | MFPS | A Predicative Semantics for the Refinement of Real-Time Systems. | David Scholefield, Hussein S. M. Zedan, Jifeng He |
| 1992 | ECRTS | Time interval semantics and implementation of a real-time programming language. | Jifeng He, Jonathan P. Bowen |
| 1989 | MFPS | Categorical Semantics for Programming Languages. | Jifeng He, C. A. R. Hoare |
| 1986 | ESOP | Data Refinement Refined. | Jifeng He, C. A. R. Hoare, Jeff W. Sanders |