|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 145 occurrences of 80 keywords
|
|
|
|
|
Results
Found 151 publication records. Showing 151 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin |
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
Algebraic approach to linking the semantics of web services. |
ISSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Jifeng He |
Towards a Signal Calculus for Event-Based Synchronous Languages. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu |
A Unifying Approach to Validating Specification-Oriented XML Constraints. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lichen Zhang, Jifeng He |
Aspect-Oriented QoS Specification for Cyber-Physical Systems. |
ICHIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lichen Zhang, Jifeng He |
A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. |
ICHIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lichen Zhang, Jifeng He |
MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems. |
ICHIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
Formal Model of Interrupt Program from a Probabilistic Perspective. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio |
A process algebraic framework for specification and validation of real-time systems. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Tony Hoare |
CSP is a retract of CCS. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen |
Linking denotational semantics with operational semantics for web services. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li, Huibiao Zhu, Jifeng He |
A Denotational Semantical Model for Orc Language. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
A Probabilistic BPEL-Like Language. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Fan Yang, Jifeng He |
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
SPARDL: A Requirement Modeling Language for Periodic Control System. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Jifeng He |
Mutation testing in UTP. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing |
| 1 | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
PTSC: probability, time and shared-variable concurrency. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li, Huibiao Zhu, Jifeng He |
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Yongxin Zhao, Jifeng He |
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders |
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking |
| 1 | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
From algebraic semantics to denotational semantics for Verilog. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics |
| 1 | Jifeng He |
Service refinement. |
Science in China Series F: Information Sciences |
2008 |
DBLP DOI BibTeX RDF |
component, refinement, service |
| 1 | Jing Li, Huibiao Zhu, Jifeng He |
Specifying and Verifying Web Transactions. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He |
Execution Semantics for rCOS. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Service Refinement. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Transaction Calculus. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li, Huibiao Zhu, Jifeng He |
Towards the Service Composition Through Buses. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Transaction Calculus. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Huibiao Zhu, Jifeng He |
An Observational Model for Transactional Calculus of Services Orchestration. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He (eds.) |
Advances in Blended Learning, Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008. Revised Selected Papers |
WBL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He |
Refinement and test case generation in Unifying Theory of Programming. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin |
Denotational Approach to an Event-Driven System-Level Language. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Transaction Calculus - (Invited Paper). |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He |
A Denotational Model for Web Services Choreography. |
ICDCIT |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Denotational Semantics, Choreography, WS-CDL |
| 1 | Jifeng He |
Modelling Coordination and Compensation. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Jifeng He |
Refinement and Test Case Generation in UTP. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Huibiao Zhu, Geguang Pu |
A model for BPEL-like languages. |
Frontiers of Computer Science in China |
2007 |
DBLP DOI BibTeX RDF |
observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws |
| 1 | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He |
The Validation and Verification of WSCDL. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
| 1 | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen |
Algebraic Approach to Linking the Semantics of Web Services. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan |
A Model of Component-Based Programming. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs |
| 1 | Qin Li, Huibiao Zhu, Jing Li, Jifeng He |
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Linking Semantic Models. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Huibiao Zhu, Jifeng He |
Algebraic Semantics for Compensable Transactions. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu |
Modeling and Verifying Web Services Choreography Using Process Algebra. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li, Huibiao Zhu, Jifeng He |
An Inconsistency Free Formalization of B/S Architecture. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li |
An Operational Approach to BPEL-like Programming. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling |
| 1 | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
Looking into Compensable Transactions. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
UTP Semantics for Web Services. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jing Li |
Unifying Denotational Semantics with Operational Semantics for Web Services. |
ICDCIT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Compensable Programs. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
A Formal Model for Compensable Transactions. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Xiaoshan Li, Zhiming Liu |
rCOS: A refinement calculus of object systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu |
From Statecharts to Verilog: a formal approach to hardware/software co-specification. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws |
| 1 | Jing Liu, Jifeng He, Zhiming Liu |
A strategy for service realization in service-oriented design. |
Science in China Series F: Information Sciences |
2006 |
DBLP DOI BibTeX RDF |
component, interface, contract, service-oriented design |
| 1 | Jifeng He, Xiaoshan Li, Zhiming Liu |
A Theory of Reactive Components. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He |
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu |
Towards the Semantics for Web Service Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
exception handling, operational semantics, choreography, compensation, WS-CDL |
| 1 | Zhiming Liu, Jifeng He (eds.) |
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings |
ICFEM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
Integrating Probability with Time and Shared-Variable Concurrency. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin |
An Operational Semantics of an Event-Driven System-Level Simulator. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He |
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. |
KES |
2006 |
DBLP DOI BibTeX RDF |
tabu search, timed automata, scheduling algorithm, GRASP, hardware/software partitioning |
| 1 | Huibiao Zhu, Geguang Pu, Jifeng He |
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Shengchao Qin, Adnan Sherif |
Constructing Property-Oriented Models for Verification. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Jeff W. Sanders |
Unifying Probability. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, C. A. R. Hoare |
CSP Is a Retract of CCS. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
Patterns with Algebraic Properties in BPEL0. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
From Algebraic Semantics to Denotational Semantics for Verilog. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Jifeng He |
Reactive Component based Service-Oriented Design - A Case Study. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Jifeng He, Zongyan Qiu |
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. |
DDECS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi |
Exploring optimal solution to hardware/software partitioning for synchronous model. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Timed automata, Scheduling algorithm, Reachability, Hardware/software partitioning |
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
Towards a Rigorous Approach to UML-Based Development. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Zongyan Qiu, Jifeng He |
Integrating Time and Resource into Circus. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He |
Consistent Code Generation from UML Models. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
UTP, UML, Semantics, Object Orientation, Consistency, Code generation |
| 1 | Naiyong Jin, Jifeng He |
Towards A Truly Concurrent Model for Processes Sharing Resources. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
Trace Model, Resource Sharing, Semantic Model |
| 1 | Jifeng He, Xiaoshan Li, Zhiming Liu |
Component-Based Software Engineering. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Simulation, Protocols, Components, Interfaces, Composition, Refinement, Consistency, Contracts, Functionality |
| 1 | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
POST: A Case Study for an Incremental Development in rCOS. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Refinement, Refactoring, Software design |
| 1 | Jifeng He, C. A. R. Hoare |
Linking Theories of Concurrency. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed |
Integrating Theories and Techniques for Program Modelling, Design and Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
Linking Theories of Concurrency by Retraction. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He |
Consistency Checking of UML Requirements. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking |
| 1 | Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li |
Unifying Views of UML. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Carroll Morgan, Annabelle McIver |
Deriving Probabilistic Semantics Via the 'Weakest Completion'. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li |
Linking UML Models of Design and Requirement. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, semantics, consistency |
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He |
A Formal Semantics of UML Sequence Diagram. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, Semantics, Consistency, Sequence Diagram |
| 1 | Naiyong Jin, Jifeng He |
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Specification, Refinement, Program Models, Resource Constraints |
| 1 | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Naiyong Jin |
Integrating Variants of DC. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Formal methods integration, real-time systems, formal verification |
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
rCOS: Refinement of Component and Object Systems. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
timed automata, scheduling algorithm, reachability, Hardware/software partitioning |
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
Contract Oriented Development of Component Software. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long |
Generating a Prototype from a UML Model of System Requirements. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
Formal Specification, Prototype, Code Generation, Requirements analysis |
| 1 | Jifeng He |
Linking Theories of Concurrency. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Qiwen Xu |
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Verification, Semantics, Hybrid systems, Duration Calculus |
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
| 1 | Li Yongjian, Jifeng He |
Towards a Theory of Bisimulation for a Fragment of Verilog. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |
An Algebraic Hardware/Software Partitioning Algorithm. |
J. Comput. Sci. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 151 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")