Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhiming Liu 0001
刘志明
Person information
- affiliation: Northwestern Polytechnical University, Xian, China
- affiliation (former): Southwest University, China
- affiliation (former): Birmingham City University
- affiliation (former): 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
- 2023
[j40]Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu
:
Towards correctness proof for hybrid Simulink block diagrams. J. Syst. Archit. 141: 102922 (2023)- [c95]Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu:
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI 2023: 15278-15286 - [c94]Zhiming Liu:
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. Theories of Programming and Formal Methods 2023: 52-84 - 2022
- [j39]Xian Mo, Jun Pang, Zhiming Liu:
THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. 16(2): 162304 (2022) - [j38]Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu:
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16(3): 162203 (2022) - [j37]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) - [j36]Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu:
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics 12(4): 453-483 (2022) - [j35]Dapeng Yan, Kui Liu, Yuqing Niu, Li Li, Zhe Liu, Zhiming Liu, Jacques Klein, Tegawendé F. Bissyandé:
Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics. Inf. Softw. Technol. 152: 107043 (2022) - [j34]Wei Zhao, Zhiming Liu:
A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. PeerJ Comput. Sci. 8: e1094 (2022) - [c93]Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu:
Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR 2022: 4263-4269 - [c92]Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu:
Human-Cyber-Physical Automata and Their Synthesis. ICTAC 2022: 36-41 - [c91]Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu:
A Contract-Based Semantics and Refinement for Simulink. SETTA 2022: 134-148 - [c90]Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu:
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. SETTA 2022: 149-165 - [c89]Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu:
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. SMC 2022: 1778-1785 - [e19]Helmut Seidl, Zhiming Liu, Corina S. Pasareanu:
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13572, Springer 2022, ISBN 978-3-031-17714-9 [contents] - 2021
- [j33]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) - [j32]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j31]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) - [j30]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) - [j29]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) - [c88]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 - [c87]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 - [c86]Dapeng Yan, Yuqing Niu, Kui Liu, Zhe Liu, Zhiming Liu, Tegawendé F. Bissyandé:
Estimating the Attack Surface from Residual Vulnerabilities in Open Source Software Supply Chain. QRS 2021: 493-502 - 2020
- [j28]Zhiming Liu, Ji Wang:
Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11): 1535-1553 (2020) - [j27]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) - [j26]Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu:
Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. 69(2): 632-656 (2020) - [c85]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu:
Synthesizing barrier certificates using neural networks. HSCC 2020: 25:1-25:11 - [c84]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - [c83]Xian Mo, Jun Pang, Zhiming Liu:
Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) 2020: 3-15 - [e18]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
- [c82]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 - [c81]Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke:
RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) 2019: 59-62 - [c80]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 - [e17]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
- [j25]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) - [c79]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 - [c78]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
On Security in Encrypted Computing. ICICS 2018: 192-211 - [c77]Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu:
Identifying Microservices Using Functional Decomposition. SETTA 2018: 50-65 - [c76]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE 2018: 1336-1341 - [e16]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
- [j24]Xuandong Li, Zhiming Liu:
Editorial. Formal Aspects Comput. 29(4): 581-582 (2017) - [c75]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST 2017: 1-6 - [c74]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 - [e15]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
- [j23]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) - [c73]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu:
Querying Medical Datasets While Preserving Privacy. EUSPN/ICTH 2016: 324-331 - [c72]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 - [c71]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
A Practical Encrypted Microprocessor. SECRYPT 2016: 239-250 - [e14]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
- [j22]José Luiz Fiadeiro, Zhiming Liu:
Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. 113: 221-222 (2015) - [c70]Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653 - [e13]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
- [j21]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) - [j20]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) - [c69]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 - [c68]Zhiming Liu, Xiaohong Chen:
Model-Driven Design of Object and Component Systems. SETSS 2014: 152-255 - [c67]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 - [e12]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
- [j19]Xiaohong Chen, Jing Liu, Zhiming Liu:
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56(8): 1-15 (2013) - [j18]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) - [j17]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) - [c66]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 - [c65]Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393 - [c64]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 - [c63]Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446 - [c62]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 - [c61]Zhiming Liu, Nafees Qamar, Jie Qian:
An Automated Routine Childhood Immunization Approach using openEHR. MedInfo 2013: 1075 - [c60]Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar:
Actualizing a Mobile Integrated System for Geriatric Care. MedInfo 2013: 1109 - [e11]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] - [e10]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] - [e9]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
- [j16]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) - [j15]Zhiming Liu, Abhik Roychoudhury:
Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. 14(6): 631-638 (2012) - [j14]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455: 31-65 (2012) - [c59]Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu:
Unblockable compositions of software components. CBSE 2012: 103-108 - [c58]Cristiano Bertolini, Zhiming Liu, Jirí Srba:
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES 2012: 19-36 - [c57]Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu:
Automated Reviewing of Healthcare Security Policies. FHIES 2012: 176-193 - [c56]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 - [e8]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
- [j13]Zhiming Liu, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(2): 151 (2011) - [c55]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 - [c54]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
- [j12]Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010) - [c53]Roberto Bruni, Zhiming Liu, Liang Zhao:
Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS 2010: 259-276 - [c52]Zhenbang Chen, Zhiming Liu:
An Extended cCSP with Stable Failures Semantics. ICTAC 2010: 121-136 - [c51]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624 - [c50]Zhiming Liu, Charles Morisset, Shuling Wang:
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
2000 – 2009
- 2009
- [j11]Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu:
Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1-2): 103-131 (2009) - [j10]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) - [c49]Zhiming Liu, Charles Morisset, Volker Stolz:
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80 - [c48]Miaomiao Zhang, Zhiming Liu, Naijun Zhan:
Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259 - [c47]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 - [e7]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
- [j9]Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:
Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4(3): 241-248 (2008) - [c46]Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 - [c45]Long Quan, Zongyan Qiu, Zhiming Liu:
Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338 - [c44]Zhiming Liu, Charles Morisset, Volker Stolz:
A Component-Based Access Control Monitor. ISoLA 2008: 339-353 - [c43]Leila Silva, Augusto Sampaio, Zhiming Liu:
Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226 - [c42]Naijun Zhan, Eun-Young Kang, Zhiming Liu:
Component Publications and Compositions. UTP 2008: 238-257 - [c41]Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li:
State Based Robustness Testing for Components. FACS 2008: 173-188 - [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
- [j8]Jorge Cuéllar, Zhiming Liu:
SoSyM Special Section on Software Engineering and Formal Methods. Softw. Syst. Model. 6(1): 37-38 (2007) - [c40]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 - [c39]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 - [c38]Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan:
A Model of Component-Based Programming. FSEN 2007: 191-206 - [c37]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c36]Xin Chen, Zhiming Liu, Vladimir Mencl:
Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831 - [c35]Xiaoshan Li, Zhiming Liu:
Prototyping System Requirements Model. TTSS 2007: 17-32 - [e6]