23 Result(s)

within Huibiao Zhu

Relevance Newest First Oldest First
previous Page of 2
and
  1. Article

    Editorial: Context-Aware Systems and Applications (ICCASA 2015)

    Phan Cong Vinh, Leonard Barolli, Emil Vassev in Mobile Networks and Applications (2017)

  2. Article

    Nature of Computation and Communication

    Phan Cong Vinh in Mobile Networks and Applications (2016)

  3. No Access

    Article

    SMT-Based Symbolic Encoding and Formal Analysis of HML Models

    Hybrid system is a dynamic system that involves continuous, discrete behaviors, and the interactions between continuous physical components and discrete controllers. In this paper a hybrid modeling language (c...

    Huixing Fang, Huibiao Zhu, Jifeng He in Mobile Networks and Applications (2016)

  4. No Access

    Chapter and Conference Paper

    Observation-Oriented Semantics for Calculus of Wireless Systems

    Wireless networks are being deployed in a wide range of communication scenarios. Calculus of Wireless Systems [8] is introduced for specifying the behaviour of wireless communication. It contains several interest...

    Xiaofeng Wu, Huibiao Zhu, Xi Wu in Unifying Theories of Programming (2015)

  5. No Access

    Article

    Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

    A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially designed in the continuous domain and subsequently discretized, can be captured ...

    Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang in Formal Aspects of Computing (2014)

  6. Article

    Editorial

    Eerke A. Boiten, John Derrick, Steve Reeves in Formal Aspects of Computing (2014)

  7. No Access

    Chapter and Conference Paper

    Developments in Concurrent Kleene Algebra

    This report summarises recent progress in the research of its co-authors towards the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency i...

    Tony Hoare, Stephan van Staden in Relational and Algebraic Methods in Comput… (2014)

  8. No Access

    Chapter and Conference Paper

    Linking Operational Semantics and Algebraic Semantics for Wireless Networks

    Wireless technology has achieved lots of applications in computer networks. To model and analyze wireless systems, a calculus called CWS and its operational semantics have been investigated. This paper conside...

    Xiaofeng Wu, Huibiao Zhu in Formal Methods and Software Engineering (2013)

  9. No Access

    Chapter

    Towards a Modeling Language for Cyber-Physical Systems

    A cyber-physical system (CPS) is an interactive system of continuous plants and real-time controller programs. These systems usually feature a tight relationship between the physical and computational componen...

    Longfei Zhu, Yongxin Zhao, Huibiao Zhu in Theories of Programming and Formal Methods (2013)

  10. No Access

    Chapter and Conference Paper

    Introduction to the Second International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2012)

    The main goal of the International Workshop on Performance Assessment and Auditing in Service Computing (PAASC) is to bring together researchers and industry representatives, providing them the opportunity to ...

    Claudia-Melania Chituc in Service-Oriented Computing - ICSOC 2012 Workshops (2013)

  11. No Access

    Chapter and Conference Paper

    2012 International Workshop on Data Intensive Services Based Application (DISA2012)

    On behalf of the Organizing Committee, we welcome you to the 2012 International Workshop on Data Intensive Services based Application (DISA 2012) and to Shanghai, China.

    Ying Li, Shuiguang Deng, Guoray Cai in Service-Oriented Computing - ICSOC 2012 Wo… (2013)

  12. No Access

    Chapter and Conference Paper

    Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA’12)

    The Workshop on Engineering Service Oriented Applications (WESOA) focuses on core service software engineering issues, as well as keeping pace with new developments that include research into methods for engin...

    George Feuerlicht, Winfried Lamersdorf in Service-Oriented Computing - ICSOC 2012 Wo… (2013)

  13. No Access

    Chapter and Conference Paper

    Formal Modeling and Analysis of the REST Architecture Using CSP

    As one of the most promising architectural styles, Representational State Transfer (REST) was first proposed to support the enablement of scalable and reliable design for largescale distributed hypermedia syst...

    Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao in Web Services and Formal Methods (2013)

  14. No Access

    Chapter and Conference Paper

    A Proof System in PADS

    The PADS (Process Algebra for Demand and Supply) framework is an approach to model resource demand and supply for the formal analysis of hierarchical scheduling. Inspired by the demand relation in PADS, we pro...

    Xinghua Yao, Min Zhang, Yixiang Chen in Theoretical Aspects of Computing – ICTAC 2013 (2013)

  15. No Access

    Chapter and Conference Paper

    ASM and Controller Synthesis

    While many systems are naturally viewed as the interaction between a controller subsystem and a controlled, or plant subsystem, they are often most easily understood and designed monolithically. A practical im...

    Richard Banach, Huibiao Zhu, Wen Su in Abstract State Machines, Alloy, B, VDM, an… (2012)

  16. No Access

    Chapter and Conference Paper

    Continuous Behaviour in Event-B: A Sketch

    Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events)...

    Richard Banach, Huibiao Zhu, Wen Su in Abstract State Machines, Alloy, B, VDM, an… (2012)

  17. No Access

    Chapter and Conference Paper

    Continuous ASM, and a Pacemaker Sensing Fragment

    The ASM framework is extended to include continuously varying quantities as well as conventional discretely changing ones. This opens the door to the more faithful modeling of many scenarios where digital syst...

    Richard Banach, Huibiao Zhu, Wen Su in Abstract State Machines, Alloy, B, VDM, an… (2012)

  18. No Access

    Chapter and Conference Paper

    A Denotational Model for Instantaneous Signal Calculus

    In this paper we explore an observation-oriented denotational semantics for instantaneous signal calculus which contains all conceptually instantaneous reactions of signal calculus for event-based synchronous ...

    Yongxin Zhao, Longfei Zhu, Huibiao Zhu in Software Engineering and Formal Methods (2012)

  19. No Access

    Chapter and Conference Paper

    The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

    Web services have become more and more important in these years, and BPEL4WS (BPEL) is the OASIS standard for web services composition and orchestration. It contains several distinct features, including scope-...

    Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin in Software Engineering and Formal Methods (2012)

  20. No Access

    Article

    Algebraic approach to linking the semantics of web services

    Web services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including th...

    Huibiao Zhu, Jifeng He, Jing Li in Innovations in Systems and Software Engine… (2011)

previous Page of 2