BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: He:Jifeng

Contributed to:

ICSE 20152015
FSE 20142014
SEFM 20122012
ICSM 20082008
IFM 20072007
SEFM 20072007
SEFM 20052005
IFM 20042004
SEFM 20042004
ECOOP 19991999
World Congress on Formal Methods 19991999
IFM 19991999
PLILP 19901990
ESOP 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.