Travelled to:1 × France
1 × Greece
1 × Italy
1 × Portugal
1 × Sweden
2 × Germany
3 × China
4 × United Kingdom
Collaborated with:∅ N.Jin C.A.R.Hoare G.Pu J.P.Bowen H.Zhu W.Yi P.K.Pandya J.W.Sanders Y.Zhao L.Zhu J.Li D.V.Hung T.Su Z.Fu Z.Su J.Li Y.Yao L.Zhang X.Zhao S.Wang Z.Qiu
Talks about:model (8) hardwar (5) approach (4) softwar (4) refin (3) resourc (2) specif (2) servic (2) semant (2) partit (2)
Person: Jifeng He
DBLP: He:Jifeng
Contributed to:
2015
2014
2012
2008
20072007200520042004
1999
19991999
1990
1986Wrote 15 papers:
- ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing
- Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
- FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
- Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.
- SEFM-2012-ZhaoZZH #calculus
- A Denotational Model for Instantaneous Signal Calculus (YZ, LZ, HZ, JH), pp. 126–140.
- ICSM-2008-He #generative #programming #refinement #testing
- Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.
- IFM-2007-Jifeng #semantics #web #web service
- UTP Semantics for Web Services (JH), pp. 353–372.
- SEFM-2007-ZhuHLB #algebra #approach #semantics #web #web service
- Algebraic Approach to Linking the Semantics of Web Services (HZ, JH, JL, JPB), pp. 315–328.
- SEFM-2005-JinH #concurrent #process #towards
- Towards A Truly Concurrent Model for Processes Sharing Resources (NJ, JH), pp. 231–239.
- IFM-2004-PuHHY #approach #clustering #hardware
- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model (GP, DVH, JH, WY), pp. 363–381.
- SEFM-2004-GeguangXSZHY #approach #clustering #hardware #multi
- An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model (GP, XZ, SW, ZQ, JH, WY), pp. 376–385.
- SEFM-2004-NaiyongJ #co-evolution #design #hardware #modelling #specification
- Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language (NJ, JH), pp. 132–141.
- ECOOP-1999-HoareJ #pointer
- A Trace Model for Pointers and Objects (CARH, JH), pp. 1–17.
- FM-v2-1999-Jifeng #behaviour #co-evolution #design
- A Behavioral Model for Co-design (JH), pp. 1420–1438.
- IFM-1999-He #framework #hardware
- A Common Framework for Mixed Hardware/Software Systems (JH), pp. 3–25.
- PLILP-1990-BowenJP #approach #compilation #prototype #specification
- An Approach to Verifiable Compiling Specification and Prototyping (JPB, JH, PKP), pp. 45–59.
- ESOP-1986-HeHS #refinement
- Data Refinement Refined (JH, CARH, JWS), pp. 187–196.