He Jifeng

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linking theories of probabilistic programming Lecture Notes in Computer Science	2023-08-02	Paper
A predicative semantics for the refinement of real-time systems Lecture Notes in Computer Science	2023-04-28	Paper
A hybrid relational modelling language	2018-03-26	Paper
A new roadmap for linking theories of programming Unifying Theories of Programming	2017-04-04	Paper
A clock-based framework for construction of hybrid systems Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
A probabilistic BPEL-like language Unifying Theories of Programming	2010-11-09	Paper
Probabilistic programming with coordination Reflections on the Work of C.A.R. Hoare	2010-10-26	Paper
Transaction calculus (invited paper) Unifying Theories of Programming	2010-08-31	Paper
A process algebraic framework for specification and validation of real-time systems Formal Aspects of Computing	2010-05-05	Paper
An algebraic approach to the VERILOG programming. Lecture Notes in Computer Science	2010-03-30	Paper
Mutation testing in UTP Formal Aspects of Computing	2009-05-27	Paper
Integrated Formal Methods Lecture Notes in Computer Science	2009-05-07	Paper
UTP Semantics for Web Services Lecture Notes in Computer Science	2009-03-06	Paper
Compensable Programs Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2006-11-01	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 1487724 (Why is no real title available?)	2000-08-10	Paper
Probabilistic models for the guarded command language Science of Computer Programming	1997-06-16	Paper
scientific article; zbMATH DE number 756078 (Why is no real title available?)	1995-05-17	Paper
A specification-oriented semantics for the refinement of real-time systems Theoretical Computer Science	1994-08-29	Paper
Process simulation and refinement Formal Aspects of Computing	1989-01-01	Paper

Research outcomes over time

This page was built for person: He Jifeng