


Остановите войну!
for scientists:
Zhiming Liu 0001
刘志明
Person information

- affiliation: Southwest University, China
- affiliation: Birmingham City University
- affiliation: United Nations University, Macao
- unicode name: 刘志明
Other persons with the same name
- Zhiming Liu — disambiguation page
- Zhiming Liu 0002 — New Jersey Institute of Technology, USA
- Zhiming Liu 0003 — Nanhua University, Hengyang, Republic of China
- Zhiming Liu 0004 — School of Economics and Management, Beihang University, Beijing, China
- Zhiming Liu 0005 — Sichuan University, Chengdu, China
- Zhiming Liu 0006 — Northeast Normal University, Changchun, China
- Zhiming Liu 0007 — Hubei Univ. of Educ., Wuhan
- Zhiming Liu 0008 — Zhengzhou University
- Zhiming Liu 0009 — University of Nevada, Reno, USA
- Zhiming Liu 0010 — University of York, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j43]Xian Mo, Jun Pang, Zhiming Liu:
THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. 16(2): 162304 (2022) - [j42]Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu:
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16(3): 162203 (2022) - [j41]Yuanrui Zhang, Frédéric Mallet, Zhiming Liu:
A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. 16(4): 164407 (2022) - 2021
- [j40]Xian Mo, Jun Pang, Zhiming Liu:
Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding. Comput. J. 64(3): 325-336 (2021) - [j39]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j38]Hengjun Zhao, Xia Zeng
, Taolue Chen, Zhiming Liu, Jim Woodcock
:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021) - [j37]Yuanrui Zhang
, Frédéric Mallet
, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
:
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202: 102546 (2021) - [j36]Zhibing Sha, Jun Li
, Lihao Song, Jiewen Tang, Min Huang, Zhigang Cai, Lianju Qian, Jianwei Liao, Zhiming Liu:
Low I/O Intensity-aware Partial GC Scheduling to Reduce Long-tail Latency in SSDs. ACM Trans. Archit. Code Optim. 18(4): 46:1-46:25 (2021) - [c80]Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng
, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu:
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) 2021: 467-490 - [c79]Jun Li, Minjun Li, Zhigang Cai, François Trahay, Mohamed Wahib, Balazs Gerofi, Zhiming Liu, Min Huang, Jianwei Liao:
Intra-page Cache Update in SLC-mode with Partial Programming in High Density SSDs. ICPP 2021: 46:1-46:10 - 2020
- [j35]Zhiming Liu
, Ji Wang:
Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11): 1535-1553 (2020) - [j34]Jianwei Liao
, Zhibing Sha, Zhigang Cai, Zhiming Liu, Kenli Li, Wei-Keng Liao, Alok N. Choudhary, Yutaka Ishikawa:
Toward Efficient Block Replication Management in Distributed Storage. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5(3): 13:1-13:27 (2020) - [j33]Yilong Yang
, Xiaoshan Li
, Wei Ke
, Zhiming Liu
:
Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. 69(2): 632-656 (2020) - [c78]Hengjun Zhao, Xia Zeng
, Taolue Chen, Zhiming Liu:
Synthesizing barrier certificates using neural networks. HSCC 2020: 25:1-25:11 - [c77]Hengjun Zhao, Xia Zeng
, Taolue Chen, Zhiming Liu, Jim Woodcock
:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - [c76]Xian Mo, Jun Pang, Zhiming Liu:
Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) 2020: 3-15 - [e17]Jonathan P. Bowen
, Zhiming Liu
, Zili Zhang:
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures. Lecture Notes in Computer Science 12154, Springer 2020, ISBN 978-3-030-55088-2 [contents] - [i9]Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen:
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR abs/2002.03328 (2020) - [i8]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020)
2010 – 2019
- 2019
- [c75]Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He:
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR 2019: 11418-11427 - [c74]Yilong Yang
, Xiaoshan Li, Zhiming Liu, Wei Ke
:
RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) 2019: 59-62 - [c73]Zhiming Liu
, Jonathan P. Bowen
, Bo Liu
, Shmuel S. Tyszberowicz
, Tingting Zhang
:
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS 2019: 159-219 - [e16]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Lecture Notes in Computer Science 11430, Springer 2019, ISBN 978-3-030-17600-6 [contents] - [i7]Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu:
Online Observability of Boolean Control Networks. CoRR abs/1903.07462 (2019) - 2018
- [j32]Yilong Yang
, Xiaoshan Li, Nafees Qamar, Peng Liu, Wei Ke
, Bingqing Shen, Zhiming Liu:
Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers. IEEE Access 6: 46949-46961 (2018) - [c72]Peter T. Breuer
, Jonathan P. Bowen
, Esther Palomar, Zhiming Liu:
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. EuroS&P Workshops 2018: 145-152 - [c71]Peter T. Breuer
, Jonathan P. Bowen
, Esther Palomar, Zhiming Liu:
On Security in Encrypted Computing. ICICS 2018: 192-211 - [c70]Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu:
Identifying Microservices Using Functional Decomposition. SETTA 2018: 50-65 - [c69]Peter T. Breuer
, Jonathan P. Bowen
, Esther Palomar, Zhiming Liu:
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE 2018: 1336-1341 - [e15]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Lecture Notes in Computer Science 11174, Springer 2018, ISBN 978-3-030-02927-2 [contents] - [i6]Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu:
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR abs/1803.05353 (2018) - [i5]Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen:
Parameter Synthesis Problems for Parametric Timed Automata. CoRR abs/1808.06792 (2018) - [i4]Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen:
Automated Prototype Generation from Formal Requirements Model. CoRR abs/1808.10657 (2018) - [i3]Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018) - 2017
- [j31]Xuandong Li, Zhiming Liu:
Editorial. Formal Aspects Comput. 29(4): 581-582 (2017) - [c68]Peter T. Breuer
, Jonathan P. Bowen
, Esther Palomar, Zhiming Liu:
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST 2017: 1-6 - [c67]Peter T. Breuer
, Jonathan P. Bowen
, Esther Palomar, Zhiming Liu:
On Obfuscating Compilation for Encrypted Computing. SECRYPT 2017: 247-254 - [p3]Xin Chen, Zhiming Liu:
Towards Interface-Driven Design of Evolving Component-Based Architectures. Provably Correct Systems 2017: 121-148 - [e14]Jonathan P. Bowen
, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215, 2017, ISBN 978-3-319-56840-9 [contents] - 2016
- [j30]Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen
:
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors 16(11): 1810 (2016) - [c66]Nafees Qamar, Yilong Yang
, András Nádas, Zhiming Liu:
Querying Medical Datasets While Preserving Privacy. EUSPN/ICTH 2016: 324-331 - [c65]Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu:
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM 2016: 721-738 - [c64]Peter T. Breuer
, Jonathan P. Bowen
, Esther Palomar, Zhiming Liu:
A Practical Encrypted Microprocessor. SECRYPT 2016: 239-250 - [e13]Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. Lecture Notes in Computer Science 9506, Springer 2016, ISBN 978-3-319-29627-2 [contents] - 2015
- [j29]José Luiz Fiadeiro, Zhiming Liu:
Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. 113: 221-222 (2015) - [c63]Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653 - [e12]Xuandong Li, Zhiming Liu, Wang Yi:
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science 9409, Springer 2015, ISBN 978-3-319-25941-3 [contents] - [i2]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits:
Anonymously Analyzing Clinical Datasets. CoRR abs/1501.05916 (2015) - 2014
- [j28]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57(12): 1-17 (2014) - [j27]Liang Zhao, Roberto Bruni, Zhiming Liu:
A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94: 255-288 (2014) - [c62]Nafees Qamar, Yilong Yang
, András Nádas, Zhiming Liu, Janos Sztipanovits:
A Tool for Analyzing Clinical Datasets as Blackbox. FHIES/SEHC 2014: 222-238 - [c61]Zhiming Liu, Xiaohong Chen:
Model-Driven Design of Object and Component Systems. SETSS 2014: 152-255 - [c60]Esther Palomar, Zhiming Liu, Jonathan P. Bowen
, Yan Zhang, Sabita Maharjan:
Component-based modelling for sustainable and scalable smart meter networks. WoWMoM 2014: 1-6 - [e11]José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents] - 2013
- [j26]Xiaohong Chen, Jing Liu, Zhiming Liu:
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56(8): 1-15 (2013) - [j25]Wei Ke
, Zhiming Liu, Shuling Wang, Liang Zhao:
A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. 7(1): 109-134 (2013) - [j24]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9(1): 3-16 (2013) - [c59]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 - [c58]Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393 - [c57]Zhiming Liu, Nafees Qamar, Jie Qian:
A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. FHIES 2013: 274-289 - [c56]Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446 - [c55]Ruzhen Dong, Johannes Faber, Wei Ke
, Zhiming Liu:
rCOS: Defining Meanings of Component-Based Software Architectures. ICTAC Training School on Software Engineering 2013: 1-66 - [c54]Zhiming Liu, Nafees Qamar, Jie Qian:
An Automated Routine Childhood Immunization Approach using openEHR. MedInfo 2013: 1075 - [c53]Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar:
Actualizing a Mobile Integrated System for Geriatric Care. MedInfo 2013: 1109 - [e10]Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents] - [e9]Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents] - [e8]Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
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. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents] - 2012
- [j23]Wei Ke
, Xiaoshan Li, Zhiming Liu, Volker Stolz:
rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China 6(1): 17-39 (2012) - [j22]Zhiming Liu, Abhik Roychoudhury
:
Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. 14(6): 631-638 (2012) - [j21]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455: 31-65 (2012) - [c52]Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu:
Unblockable compositions of software components. CBSE 2012: 103-108 - [c51]Cristiano Bertolini, Zhiming Liu, Jirí Srba:
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES 2012: 19-36 - [c50]Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu:
Automated Reviewing of Healthcare Security Policies. FHIES 2012: 176-193 - [c49]Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao:
Component Based Design of Fault Tolerant Devices in Cyber Physical System. ISORC Workshops 2012: 37-42 - [e7]Zhiming Liu, Alan Wassyng:
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7151, Springer 2012, ISBN 978-3-642-32354-6 [contents] - 2011
- [j20]Zhiming Liu, Jim Woodcock
:
Editorial. Formal Aspects Comput. 23(2): 151 (2011) - [c48]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 - [c47]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-Divergence Refinement of Compensating Communicating Processes. FM 2011: 262-277 - [i1]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011) - 2010
- [j19]Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li:
State Based Robustness Testing for Components. Electron. Notes Theor. Comput. Sci. 260: 173-188 (2010) - [j18]Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010) - [c46]Roberto Bruni
, Zhiming Liu, Liang Zhao:
Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS 2010: 259-276 - [c45]Zhenbang Chen, Zhiming Liu:
An Extended cCSP with Stable Failures Semantics. ICTAC 2010: 121-136 - [c44]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624 - [c43]Zhiming Liu, Charles Morisset, Shuling Wang:
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
2000 – 2009
- 2009
- [j17]Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu:
Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1-2): 103-131 (2009) - [j16]Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan:
Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009) - [c42]Zhiming Liu, Charles Morisset, Volker Stolz:
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80 - [c41]Miaomiao Zhang, Zhiming Liu, Naijun Zhan:
Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259 - [c40]Wei Ke
, Zhiming Liu, Shuling Wang, Liang Zhao:
A Graph-Based Operational Semantics of OO Programs. ICFEM 2009: 347-366 - [p2]Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84 - [e6]Zhiming Liu, Anders P. Ravn:
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5799, Springer 2009, ISBN 978-3-642-04760-2 [contents] - 2008
- [j15]Xiaoshan Li, Zhiming Liu:
Prototyping System Requirements Model. Electron. Notes Theor. Comput. Sci. 207: 17-32 (2008) - [j14]Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:
Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4(3): 241-248 (2008) - [c39]Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 - [c38]Long Quan, Zongyan Qiu, Zhiming Liu:
Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338 - [c37]Zhiming Liu, Charles Morisset, Volker Stolz:
A Component-Based Access Control Monitor. ISoLA 2008: 339-353 - [c36]Leila Silva, Augusto Sampaio, Zhiming Liu:
Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226 - [c35]Naijun Zhan, Eun-Young Kang
, Zhiming Liu:
Component Publications and Compositions. UTP 2008: 238-257 - [p1]Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders:
Ensemble Engineering and Emergence. Software-Intensive Systems and New Computing Paradigms 2008: 162-178 - 2007
- [j13]Xiaojian Liu, Zhiming Liu, Liang Zhao:
Object-Oriented Structure Refinement - A Graph Transformational Approach. Electron. Notes Theor. Comput. Sci. 187: 145-159 (2007) - [j12]Jorge Cuéllar, Zhiming Liu:
SoSyM Special Section on Software Engineering and Formal Methods. Softw. Syst. Model. 6(1): 37-38 (2007) - [c34]Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang:
Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114 - [c33]Zhenbang Chen, Abdelhakim Hannousse
, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan:
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145 - [c32]Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan:
A Model of Component-Based Programming. FSEN 2007: 191-206 - [c31]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c30]Xin Chen, Zhiming Liu, Vladimir Mencl:
Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831 - [e5]Chris George, Zhiming Liu, Jim Woodcock
:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710, Springer 2007, ISBN 978-3-540-74963-9 [contents] - [e4]Cliff B. Jones
, Zhiming Liu, Jim Woodcock
:
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents] - [e3]Cliff B. Jones
, Zhiming Liu, Jim Woodcock
:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents] - 2006
- [j11]Jing Liu, Jifeng He, Zhiming Liu:
A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. 49(6): 864-884 (2006) - [j10]Zhiming Liu, Luís Soares Barbosa
:
Preface. Electron. Notes Theor. Comput. Sci. 160: 1-2 (2006) - [j9]Jifeng He, Xiaoshan Li, Zhiming Liu:
A Theory of Reactive Components. Electron. Notes Theor. Comput. Sci. 160: 173-195 (2006) - [j8]Jifeng He, Xiaoshan Li, Zhiming Liu:
rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006) - [c29]Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah:
Developing a TTCN-3 Test Harness for Legacy Software. AST 2006: 104-110 - [c28]Zhiming Liu, Vladimir Mencl
, Anders P. Ravn, Lu Yang:
Harnessing Theories for Tool Support. ISoLA 2006: 371-382 - [e2]Zhiming Liu, Jifeng He:
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260, Springer 2006, ISBN 3-540-47460-9 [contents] - 2005
- [j7]Zhiming Liu, Jifeng He, Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development. Electron. Notes Theor. Comput. Sci. 130: 57-77 (2005) - [c27]Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:
Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30 - [c26]Xiaoshan Li, Zhiming Liu, Jifeng He:
Consistency Checking of UML Requirements. ICECCS 2005: 411-420 - [c25]Jifeng He, Xiaoshan Li, Zhiming Liu:
Component-Based Software Engineering. ICTAC 2005: 70-95 - [c24]Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He:
POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500 - [c23]