Jifeng He - RankMe

219 papers A* 1A 5B 28C 42Misc 9Journal 61Unranked 69

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL. Formal Aspects Comput. Hongyan Zhao, Huibiao Zhu, Feng Sheng, Jifeng He, Jonathan P. Bowen
2024	J	`jnl`	Causal deconfounding deep reinforcement learning for mobile robot motion planning. Knowl. Based Syst. Wenbing Tang, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He
2024	—	`conf`	Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP. The Application of Formal Methods Ningning Chen, Huibiao Zhu, Jifeng He
2023	A	`conf`	An Empirical Study of Functional Bugs in Android Apps. ISSTA Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su
2023	J	`jnl`	FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2023	J	`jnl`	GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He
2023	B	`conf`	Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2022	C	`conf`	A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. SEKE Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2021	J	`jnl`	Editorial for the special issue on reliability and power efficiency for HPC. CCF Trans. High Perform. Comput. Jifeng He, Chenggang Wu, Huawei Li, Yang Guo, Tao Li
2020	—	`conf`	FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2020	J	`jnl`	Intelligent Hazard-Risk Prediction Model for Train Control Systems. IEEE Trans. Intell. Transp. Syst. Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou
2020	J	`jnl`	Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation. IEEE Trans. Cloud Comput. Mingsong Chen, Saijie Huang, Xin Fu, Xiao Liu, Jifeng He
2020	J	`jnl`	Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019	J	`jnl`	AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
2019	A*	`conf`	Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
2019	J	`jnl`	Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
2019	J	`jnl`	Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
2018	Misc	`ed.`	2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018 TASE Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng
2018	J	`jnl`	A new roadmap for linking theories of programming and its applications on GCL and CSP. Sci. Comput. Program. Jifeng He, Qin Li
2018	J	`jnl`	Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
2018	J	`jnl`	An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
2018	—	`ch.`	Linking Theories of Probabilistic Programming. Symposium on Real-Time and Hybrid Systems Jifeng He
2017	—	`conf`	A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles Jifeng He, Qin Li
2017	J	`jnl`	A Survey on Data-Flow Testing. ACM Comput. Surv. Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
2016	—	`conf`	A New Roadmap for Linking Theories of Programming. UTP Jifeng He
2016	Misc	`conf`	A New Roadmap on Linking Theories of Programming. TASE Jifeng He
2016	J	`jnl`	Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
2016	J	`jnl`	SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Mob. Networks Appl. Huixing Fang, Huibiao Zhu, Jifeng He
2015	—	`conf`	Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
2015	J	`jnl`	Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
2015	J	`jnl`	Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He
2015	B	`conf`	Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
2015	J	`jnl`	Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
2014	—	`conf`	A Formal Model for a Hybrid Programming Language. UTP Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
2014	J	`jnl`	A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
2014	—	`conf`	Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
2014	—	`conf`	Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. SERE Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao
2014	J	`jnl`	Fast LTL Satisfiability Checking by SAT Solvers. CoRR Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
2014	J	`jnl`	Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014	A	`conf`	LTLf Satisfiability Checking. ECAI Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2014	J	`jnl`	LTLf satisfiability checking. CoRR Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2013	C	`conf`	A Clock-Based Framework for Construction of Hybrid Systems. ICTAC Jifeng He
2013	J	`jnl`	A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
2013	Misc	`conf`	Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. CODES+ISSS Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He
2013	C	`conf`	Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
2013	J	`jnl`	Hybrid MARTE statecharts. Frontiers Comput. Sci. Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
2013	B	`conf`	Hybrid Relation Calculus. ICECCS Jifeng He
2013	C	`conf`	LTL Satisfiability Checking Revisited. TIME Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
2013	—	`conf`	On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
2013	J	`jnl`	Polsat: A Portfolio LTL Satisfiability Solver. CoRR Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He
2012	B	`conf`	A Denotational Model for Instantaneous Signal Calculus. SEFM Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
2012	—	`conf`	Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
2012	Misc	`conf`	Formal Specification of Hybrid MARTE Statecharts. TASE Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
2012	J	`jnl`	Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
2012	—	`conf`	MDM: A Mode Diagram Modeling Framework FTSCS Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
2012	J	`jnl`	MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
2012	—	`conf`	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin
2012	B	`conf`	ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
2012	J	`jnl`	On the Relationship between LTL Normal Forms and Buechi Automata CoRR Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
2012	B	`conf`	Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding
2012	J	`jnl`	The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
2011	—	`conf`	A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. ICHIT (2) Lichen Zhang, Jifeng He
2011	—	`conf`	A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
2011	J	`jnl`	Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2011	—	`conf`	Aspect-Oriented QoS Specification for Cyber-Physical Systems. ICHIT (2) Lichen Zhang, Jifeng He
2011	B	`conf`	Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
2011	—	`conf`	MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems. ICHIT (2) Lichen Zhang, Jifeng He
2011	C	`conf`	Towards a Signal Calculus for Event-Based Synchronous Languages. ICFEM Yongxin Zhao, Jifeng He
2010	C	`conf`	A Denotational Semantical Model for Orc Language. ICTAC Qin Li, Huibiao Zhu, Jifeng He
2010	—	`conf`	A Probabilistic BPEL-Like Language. UTP Jifeng He
2010	J	`jnl`	A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio
2010	J	`jnl`	CSP is a retract of CCS. Theor. Comput. Sci. Jifeng He, Tony Hoare
2010	—	`conf`	Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP Huibiao Zhu, Fan Yang, Jifeng He
2010	J	`jnl`	Linking denotational semantics with operational semantics for web services. Innov. Syst. Softw. Eng. Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
2010	—	`ch.`	Probabilistic Programming with Coordination. Reflections on the Work of C. A. R. Hoare Jifeng He
2010	—	`conf`	SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
2009	—	`conf`	A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference Qin Li, Huibiao Zhu, Jifeng He
2009	C	`conf`	Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders
2009	—	`conf`	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference Huibiao Zhu, Yongxin Zhao, Jifeng He
2009	J	`jnl`	Mutation testing in UTP. Formal Aspects Comput. Bernhard K. Aichernig, Jifeng He
2009	J	`jnl`	PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2009	—	`conf`	Probabilistic Programming With Coordination and Compensation. SSIRI Jifeng He
2008	Misc	`conf`	A Denotational Model for Web Services Choreography. ICDCIT Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
2008	—	`ed.`	Advances in Blended Learning, Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008. Revised Selected Papers WBL Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He
2008	C	`conf`	An Observational Model for Transactional Calculus of Services Orchestration. ICTAC Jing Li, Huibiao Zhu, Jifeng He
2008	—	`conf`	Denotational Approach to an Event-Driven System-Level Language. UTP Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin
2008	C	`conf`	Execution Semantics for rCOS. APSEC Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
2008	J	`jnl`	From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2008	C	`conf`	Modelling Coordination and Compensation. ISoLA Jifeng He
2008	—	`conf`	Refinement and test case generation in Unifying Theory of Programming. ICSM Jifeng He
2008	C	`conf`	Service Refinement. APSEC Jifeng He
2008	J	`jnl`	Service refinement. Sci. China Ser. F Inf. Sci. Jifeng He
2008	C	`conf`	Specifying and Verifying Web Transactions. FORTE Jing Li, Huibiao Zhu, Jifeng He
2008	—	`conf`	Towards the Service Composition Through Buses. HASE Qin Li, Huibiao Zhu, Jifeng He
2008	—	`conf`	Transaction Calculus - (Invited Paper). UTP Jifeng He
2008	B	`conf`	Transaction Calculus. Petri Nets Jifeng He
2008	—	`conf`	Transaction Calculus. HASE Jifeng He
2007	B	`conf`	A Formal Model for Compensable Transactions. ICECCS Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007	—	`conf`	A Model of Component-Based Programming. FSEN Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
2007	J	`jnl`	A model for BPEL-like languages. Frontiers Comput. Sci. China Jifeng He, Huibiao Zhu, Geguang Pu
2007	B	`conf`	Algebraic Approach to Linking the Semantics of Web Services. SEFM Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
2007	C	`conf`	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2007	C	`conf`	Algebraic Semantics for Compensable Transactions. ICTAC Jing Li, Huibiao Zhu, Jifeng He
2007	C	`conf`	An Inconsistency Free Formalization of B/S Architecture. SEW Qin Li, Huibiao Zhu, Jifeng He
2007	C	`conf`	An Operational Approach to BPEL-like Programming. SEW Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li
2007	—	`conf`	Compensable Programs. Formal Methods and Hybrid Real-Time Systems Jifeng He
2007	C	`conf`	Linking Semantic Models. ICTAC Jifeng He
2007	C	`conf`	Looking into Compensable Transactions. SEW Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
2007	C	`conf`	Modeling and Verifying Web Services Choreography Using Process Algebra. SEW Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
2007	—	`conf`	Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM Qin Li, Huibiao Zhu, Jing Li, Jifeng He
2007	C	`conf`	The Validation and Verification of WSCDL. APSEC Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
2007	B	`conf`	UTP Semantics for Web Services. IFM Jifeng He
2007	Misc	`conf`	Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT Huibiao Zhu, Jifeng He, Jing Li
2006	—	`conf`	A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN Huibiao Zhu, Geguang Pu, Jifeng He
2006	—	`conf`	A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
2006	J	`jnl`	A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. Jing Liu, Jifeng He, Zhiming Liu
2006	C	`conf`	An Operational Semantics of an Event-Driven System-Level Simulator. SEW Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
2006	C	`conf`	An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS Geguang Pu, Jifeng He, Zongyan Qiu
2006	—	`conf`	CSP Is a Retract of CCS. UTP Jifeng He, C. A. R. Hoare
2006	—	`conf`	Constructing Property-Oriented Models for Verification. UTP Jifeng He, Shengchao Qin, Adnan Sherif
2006	C	`ed.`	Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings ICFEM Zhiming Liu, Jifeng He
2006	B	`conf`	From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS Huibiao Zhu, Jifeng He, Jonathan P. Bowen
2006	J	`jnl`	From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu
2006	C	`conf`	Integrating Probability with Time and Shared-Variable Concurrency. SEW Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2006	B	`conf`	Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
2006	C	`conf`	Patterns with Algebraic Properties in BPEL0. ISoLA Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2006	B	`conf`	Reactive Component based Service-Oriented Design - A Case Study. ICECCS Jing Liu, Jifeng He
2006	—	`conf`	Refinement and Test Case Generation in UTP. Refine@ICFEM Bernhard K. Aichernig, Jifeng He
2006	—	`conf`	Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
2006	C	`conf`	Towards the Semantics for Web Service Choreography Description Language. ICFEM Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
2006	—	`conf`	Unifying Probability. UTP Jifeng He, Jeff W. Sanders
2006	J	`jnl`	rCOS: A refinement calculus of object systems. Theor. Comput. Sci. Jifeng He, Xiaoshan Li, Zhiming Liu
2005	—	`conf`	A Theory of Reactive Components. FACS Jifeng He, Xiaoshan Li, Zhiming Liu
2005	C	`conf`	Component-Based Software Engineering. ICTAC Jifeng He, Xiaoshan Li, Zhiming Liu
2005	B	`conf`	Consistency Checking of UML Requirements. ICECCS Xiaoshan Li, Zhiming Liu, Jifeng He
2005	—	`conf`	Consistent Code Generation from UML Models. Australian Software Engineering Conference Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
2005	J	`jnl`	Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
2005	—	`conf`	Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed
2005	Misc	`conf`	Linking Theories of Concurrency by Retraction. ICDCIT Jifeng He
2005	C	`conf`	Linking Theories of Concurrency. ICTAC Jifeng He, C. A. R. Hoare
2005	C	`conf`	POST: A Case Study for an Incremental Development in rCOS. ICTAC Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
2005	B	`conf`	Towards A Truly Concurrent Model for Processes Sharing Resources. SEFM Naiyong Jin, Jifeng He
2004	—	`conf`	A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference Xiaoshan Li, Zhiming Liu, Jifeng He
2004	C	`conf`	A Framework for Specification and Validation of Real-Time Systems Using ICTAC Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
2004	B	`conf`	A Relational Model for Object-Oriented Designs. APLAS Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
2004	B	`conf`	An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
2004	B	`conf`	An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
2004	—	`conf`	Contract Oriented Development of Component Software. IFIP TCS Zhiming Liu, Jifeng He, Xiaoshan Li
2004	C	`conf`	Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM Jifeng He, Carroll Morgan, Annabelle McIver
2004	Misc	`conf`	Generating a Prototype from a UML Model of System Requirements. ICDCIT Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
2004	—	`conf`	Integrating Time and Resource into SBMF Geguang Pu, Zongyan Qiu, Jifeng He
2004	C	`conf`	Integrating Variants of DC. ICTAC Jifeng He, Naiyong Jin
2004	—	`conf`	Linking Theories of Concurrency. 25 Years Communicating Sequential Processes Jifeng He
2004	—	`conf`	Linking UML Models of Design and Requirement. Australian Software Engineering Conference Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
2004	B	`conf`	Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. SEFM Naiyong Jin, Jifeng He
2004	—	`conf`	Towards a Rigorous Approach to UML-Based Development. SBMF Zhiming Liu, Jifeng He, Xiaoshan Li
2004	—	`conf`	rCOS: Refinement of Component and Object Systems. FMCO Zhiming Liu, Jifeng He, Xiaoshan Li
2003	C	`conf`	A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
2003	J	`jnl`	Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Aspects Comput. Jifeng He, Qiwen Xu
2003	A	`conf`	Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS Yongjian Li, Jifeng He
2003	—	`conf`	Unifying Views of UML. CVUML Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
2002	—	`conf`	An Algebraic Approach to the VERILOG Programming. 10th Anniversary Colloquium of UNU/IIST Jifeng He
2002	J	`jnl`	An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
2002	C	`conf`	Hardware/Software Partitioning in Verilog. ICFEM Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
2002	B	`conf`	Integrating CSP and DC. ICECCS Jifeng He
2002	C	`conf`	Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2002	—	`conf`	Towards a Refinement Calculus for Object Systems. IEEE ICCI Jifeng He, Zhiming Liu, Xiaoshan Li
2002	C	`conf`	Towards a Time Model for Circus. ICFEM Adnan Sherif, Jifeng He
2002	C	`conf`	Using Transition Systems to Unify UML Models. ICFEM Zhiming Liu, Xiaoshan Li, Jifeng He
2001	C	`conf`	A Theory of Combinational Programs. APSEC Van Dung Tran, Jifeng He
2001	J	`jnl`	An Approach to the Specification and Verification of a Hardware Compilation Scheme. J. Supercomput. Jonathan P. Bowen, Jifeng He
2001	—	`conf`	Constructing Hardware/Software Interface Using Protocol Converters. APAQS Shengchao Qin, Zongyan Qiu, Jifeng He
2001	C	`conf`	Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2001	B	`conf`	Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC Xiaoshan Li, Zhiming Liu, Jifeng He
2001	—	`conf`	From Operational Semantics to Denotational Semantics for Verilog. CHARME Huibiao Zhu, Jonathan P. Bowen, Jifeng He
2001	C	`conf`	Partitioning Program into Hardware and Software. APSEC Shengchao Qin, Jifeng He
2000	—	`ed.`	Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings ASIAN Jifeng He, Masahiko Sato
2000	—	`conf`	Algebraic derivation of an operational semantics. Proof, Language, and Interaction C. A. R. Hoare, Jifeng He, Augusto Sampaio
2000	C	`conf`	An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM Jonathan P. Bowen, Jifeng He, Qiwen Xu
2000	Misc	`conf`	An Operational Semantics of a Simulator Algorithm. PDPTA Jifeng He, Qiwen Xu
2000	—	`conf`	An algebraic approach to hardware/software partitioning. ICECS Shengchao Qin, Jifeng He
2000	—	`conf`	Formalising VERILOG. ICECS Jifeng He, Huibiao Zhu
2000	C	`conf`	Unifying theories of healthiness condition. APSEC Jifeng He, C. A. R. Hoare
1999	—	`conf`	A Behavioral Model for Co-design. World Congress on Formal Methods Jifeng He
1999	B	`conf`	A Common Framework for Mixed Hardware/Software Systems. IFM Jifeng He
1999	B	`conf`	A Denotational Semantics of Timed RSL Using Duration Calculus. RTCSA Li Li, Jifeng He
1999	A	`conf`	A Trace Model for Pointers and Objects. ECOOP C. A. R. Hoare, Jifeng He
1999	J	`jnl`	Linking Theories in Probabilistic Programming. Inf. Sci. Jifeng He, C. A. R. Hoare
1998	—	`conf`	Unifying theories of programming. RelMiCS Jifeng He, C. A. R. Hoare
1997	—	`conf`	Linking Theories in Probabilistic Programming. RelMiCS Jifeng He
1997	J	`jnl`	Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. Jifeng He, Karen Seidel, Annabelle McIver
1997	J	`jnl`	The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. Qiwen Xu, Willem P. de Roever, Jifeng He
1997	—	`conf`	Unifying Theories for Parallel Programming. Euro-Par C. A. R. Hoare, Jifeng He
1996	—	`conf`	Algebraic Laws for BSP Programming. Euro-Par, Vol. II Jifeng He, Quentin Miller, Lei Chen
1994	J	`jnl`	A Specification-Oriented Semantics for the Refinement of Real-Time Systems. Theor. Comput. Sci. David Scholefield, Hussein S. M. Zedan, Jifeng He
1994	—	`conf`	Laws of Parallel Programming with Shared Variables. Refine Qiwen Xu, Jifeng He
1994	—	`conf`	Provably Correct Systems. FTRTFT Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
1994	—	`conf`	Simulation Approach to Provably Correct Hardware Compilation. FTRTFT Jifeng He, Jianping Zheng
1994	J	`jnl`	Specification, Verification and Prototyping of an Optimized Compiler. Formal Aspects Comput. Jifeng He, Jonathan P. Bowen
1993	B	`conf`	A Predicative Semantics for the Refinement of Real-Time Systems. MFPS David Scholefield, Hussein S. M. Zedan, Jifeng He
1993	J	`jnl`	From Algebra to Operational Semantics. Inf. Process. Lett. Jifeng He, C. A. R. Hoare
1993	B	`conf`	Hybrid Parallel Programming and Implementation of Synchronised Communication. MFCS Jifeng He
1993	J	`jnl`	Normal Form Approach to Compiler Design. Acta Informatica C. A. R. Hoare, Jifeng He, Augusto Sampaio
1993	B	`conf`	Real-Time Refinement: Semantics and Application. MFCS David Scholefield, Hussein S. M. Zedan, Jifeng He
1993	—	`conf`	Towards a Provably Correct Hardware Implementation of Occam. CHARME Jifeng He, Ian Page, Jonathan P. Bowen
1992	—	`conf`	A case study in formally developing state-based parallel programs - the Dutch National Torus. Refine Qiwen Xu, Jifeng He
1992	—	`conf`	Time interval semantics and implementation of a real-time programming language. RTS Jifeng He, Jonathan P. Bowen
1991	J	`jnl`	Pre-Adjunctions in Order Enriched Categories. Math. Struct. Comput. Sci. C. E. Martin, C. A. R. Hoare, Jifeng He
1990	—	`conf`	A Theory of Synchrony and Asynchrony. Programming Concepts and Methods Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare
1990	—	`conf`	An Approach to Verifiable Compiling Specification and Prototyping. PLILP Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya
1989	B	`conf`	Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics Jifeng He, C. A. R. Hoare
1989	J	`jnl`	Process Simulation and Refinement. Formal Aspects Comput. Jifeng He
1989	—	`conf`	Various Simulations and Refinements. REX Workshop Jifeng He
1987	J	`jnl`	Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Comput. Jifeng He, C. A. R. Hoare
1987	J	`jnl`	Laws of Programming. Commun. ACM C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
1987	J	`jnl`	Prespecification in Data Refinement. Inf. Process. Lett. C. A. R. Hoare, Jifeng He, Jeff W. Sanders
1987	J	`jnl`	The Weakest Prespecification. Inf. Process. Lett. C. A. R. Hoare, Jifeng He
1986	A	`conf`	Data Refinement Refined. ESOP Jifeng He, C. A. R. Hoare, Jeff W. Sanders
1983	J	`jnl`	General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. Acta Informatica Jifeng He