WorldCat Identities

Liu, Zhiming 1961-

Overview
Works: 39 works in 265 publications in 2 languages and 8,126 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Other, Creator, htt, Contributor
Publication Timeline
.
Most widely held works by Zhiming Liu
Mathematical frameworks for component software : models for analysis and synthesis by Zhiming Liu( )

13 editions published in 2006 in English and held by 1,656 WorldCat member libraries worldwide

The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this volume is its focus on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them. The volume contains eleven chapters by well-established researchers writing from different perspectives. Each chapter gives explicit definitions of components in terms of a set of key aspects and addresses some of the problems of integration and analysis of various views: component specification, component composition, component coordination, refinement and substitution, and techniques for solving problems. The concepts and techniques are motivated and explained with the help of examples and case studies
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers by Keijiro Araki( )

28 editions published in 2005 in English and Undetermined and held by 622 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics
Domain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced lectures by Chris W George( )

21 editions published in 2007 in English and Undetermined and held by 564 WorldCat member libraries worldwide

Annotation
Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26 - 28, 2007 ; proceedings by Cliff B Jones( )

20 editions published between 2007 and 2013 in English and Undetermined and held by 533 WorldCat member libraries worldwide

Printbegrænsninger: Der kan printes kapitelvis
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings by Zhiming Liu( )

16 editions published in 2006 in English and held by 520 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement
Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings by Zhiming Liu( )

13 editions published in 2009 in English and held by 480 WorldCat member libraries worldwide

Annotation
Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures by Jonathan P Bowen( )

20 editions published between 2016 and 2019 in English and Undetermined and held by 461 WorldCat member libraries worldwide

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
Foundations of health informatics engineering and systems : first International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised selected papers by Zhiming Liu( )

13 editions published in 2012 in English and held by 437 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records
Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures by Zhiming Liu( )

12 editions published between 2003 and 2013 in English and held by 402 WorldCat member libraries worldwide

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday by Zhiming Liu( )

11 editions published in 2013 in English and held by 398 WorldCat member libraries worldwide

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics. He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP), the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely read and followed by a large number of researchers, and it has been used in many postgraduate courses. He was a senior researcher at Oxford during 1984-1998, and then a senior research fellow at the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during 1998-2005. He has been a professor and currently the Dean of the Institute of Software Engineering at East China Normal University, Shanghai, China. In 2005, He Jifeng was elected as an academician to the Chinese Academy of Sciences. He also received an honorary doctorate from the University of York. He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government
Theoretical aspects of computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings by Zhiming Liu( )

11 editions published in 2013 in English and held by 386 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development
Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers by José Luiz Fiadeiro( )

10 editions published in 2014 in English and held by 375 WorldCat member libraries worldwide

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds
Engineering trustworthy software systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014, tutorial lectures by SETSS( )

10 editions published in 2016 in 3 languages and held by 304 WorldCat member libraries worldwide

The courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra
Dependable Software Engineering: Theories, Tools, and Applications by Xuandong Li( )

11 editions published in 2015 in English and held by 283 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedings by International Conference on Formal Engineering Methods( )

2 editions published in 2006 in English and held by 18 WorldCat member libraries worldwide

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings by Zhiming Liu( )

2 editions published in 2009 in English and held by 14 WorldCat member libraries worldwide

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings by Zhiming Liu( )

1 edition published in 2013 in English and held by 12 WorldCat member libraries worldwide

Theoretical Aspects of Computing ICTAC 2007 00 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings( )

1 edition published in 2007 in English and held by 11 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and f
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.44 (from 0.03 for Mathematic ... to 0.92 for Theoretica ...)

WorldCat IdentitiesRelated Identities
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Covers
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papersDomain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced lecturesFormal methods and hybrid real-time systems : essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24-25, 2007 ; Festschrift Symposium]Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26 - 28, 2007 ; proceedingsFormal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedingsAutomated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedingsFormal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ProceedingsFormal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedingsAutomated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Alternative Names
Zhiming Liu

Zhiming, Liu 1961-

Zhiming Liu computer scientist

Languages
English (228)

German (1)