( en | de | ru )

 

Disambiguation of "Jifeng, He"

Author of the publication

copydeleteadd this publication to your clipboard
Deriving operational semantics from denotational semantics for Verilog

, , and . page 177--184. (2001)
DOI: http://dx.doi.org/http://dx.doi.org/10.1109/APSEC.2001.991475

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jifeng Fei

Xiaowen He

Hucang He

Ning He

Hongxia He

 

Other publications of authors with the same name

Deriving operational semantics from denotational semantics for Verilog, , and . page 177--184. (2001)rCOS: A refinement calculus of object systems, , and . Theoretical Computer Science, 365 (1-2): 109--142 (November 2006)Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics, , and . (2002)MDM: A Mode Diagram Modeling Framework for Periodic Control Systems, , , , , , , and . CoRR, (2012)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , and 1 other author(s). CoRR, (2023)The stochastic semantics and verification for periodic control systems., , , , , and . Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)An Algebraic Hardware/Software Partitioning Algorithm., , , and . J. Comput. Sci. Technol., 17 (3): 284-294 (2002)Intelligent Hazard-Risk Prediction Model for Train Control Systems., , , , , and . IEEE Trans. Intell. Transp. Syst., 21 (11): 4693-4704 (2020)An Approach to the Specification and Verification of a Hardware Compilation Scheme., and . J. Supercomput., 19 (1): 23-39 (2001)A Behavioral Model for Co-design.. World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1420-1438. Springer, (1999)