The following pages link to Jifeng He (Q207989):
Displayed 50 items.
- Prespecification in data refinement (Q578901) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Advanced features of duration calculus and their applications in sequential hybrid programs (Q706508) (← links)
- Convergence and optimality of BS-type discrete hedging strategy under stochastic interest rate (Q763624) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Service refinement (Q954408) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- General predicate transformer and the semantics of a programming language with go to statement (Q1050764) (← links)
- Algebraic specification and proof of a distributed recovery algorithm (Q1090102) (← links)
- The weakest prespecification (Q1091121) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- The Rely-Guarantee method for verifying shared variable concurrent programs (Q1362776) (← links)
- An algebraic hardware/software partitioning algorithm (Q1613267) (← links)
- A UTP semantic model for Orc language with execution status and fault handling (Q1633048) (← links)
- An explicit transition system construction approach to LTL satisfiability checking (Q1707341) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Exploring optimal solution to hardware/software partitioning for synchronous model (Q2432215) (← links)
- (Q2767980) (← links)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- On the Relationship between LTL Normal Forms and Büchi Automata (Q2842641) (← links)
- (Q2848461) (← links)
- (Q3040553) (← links)
- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language (Q3055754) (← links)
- (Q3309038) (← links)
- (Q3309039) (← links)
- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude (Q3455649) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
- A Model of Component-Based Programming (Q3508526) (← links)
- Linking Semantic Models (Q3525072) (← links)
- Algebraic Semantics for Compensable Transactions (Q3525093) (← links)
- Denotational Approach to an Event-Driven System-Level Language (Q3585036) (← links)
- A Denotational Semantical Model for Orc Language (Q3585046) (← links)
- (Q3713577) (← links)
- (Q3740201) (← links)
- (Q3763567) (← links)
- Laws of programming (Q3766810) (← links)
- Corrigenda: laws of programming (Q3799624) (← links)
- (Q4315825) (← links)
- (Q4412491) (← links)
- (Q4412546) (← links)
- (Q4412558) (← links)
- (Q4412559) (← links)
- (Q4493904) (← links)
- (Q4536898) (← links)
- Accelerating LTL satisfiability checking by SAT solvers (Q4612433) (← links)