Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Zhiming Liu 0001
@article{DBLP:journals/jlap/ZhangL24,
author = {Yuanrui Zhang and
Zhiming Liu},
title = {A dynamic logic with branching modalities},
journal = {J. Log. Algebraic Methods Program.},
volume = {136},
pages = {100921},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2023.100921},
doi = {10.1016/J.JLAMP.2023.100921},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/ZhangL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ZhangPLCLWLW24,
author = {Yufeng Zhang and
Jialu Pan and
Wanwei Liu and
Zhenbang Chen and
Kenli Li and
Ji Wang and
Zhiming Liu and
Hongmei Wei},
title = {Kullback-Leibler Divergence-Based Out-of-Distribution Detection With
Flow-Based Generative Models},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {36},
number = {4},
pages = {1683--1697},
year = {2024},
url = {https://doi.org/10.1109/TKDE.2023.3309853},
doi = {10.1109/TKDE.2023.3309853},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ZhangPLCLWLW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ZhangLWWM23,
author = {Fengxiang Zhang and
Zhiming Liu and
Qin Wu and
Sumei Wang and
Dandi Ma},
title = {Efficient schedulability analysis of hierarchical {EDF} scheduling
with resource sharing},
journal = {J. Syst. Archit.},
volume = {135},
pages = {102804},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2022.102804},
doi = {10.1016/J.SYSARC.2022.102804},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/ZhangLWWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ZhangS0023,
author = {Wei Zhang and
Quan Sun and
Chao Wang and
Zhiming Liu},
title = {Towards correctness proof for hybrid Simulink block diagrams},
journal = {J. Syst. Archit.},
volume = {141},
pages = {102922},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.102922},
doi = {10.1016/J.SYSARC.2023.102922},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/ZhangS0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SunZWL23,
author = {Quan Sun and
Wei Zhang and
Chao Wang and
Zhiming Liu},
title = {A contract-based semantics and refinement for hybrid Simulink block
diagrams},
journal = {J. Syst. Archit.},
volume = {143},
pages = {102963},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.102963},
doi = {10.1016/J.SYSARC.2023.102963},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/SunZWL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/TangZLDL23,
author = {Xiaochen Tang and
Miaomiao Zhang and
Wanwei Liu and
Bowen Du and
Zhiming Liu},
title = {Towards a model of human-cyber-physical automata and a synthesis framework
for control policies},
journal = {J. Syst. Archit.},
volume = {144},
pages = {102989},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2023.102989},
doi = {10.1016/J.SYSARC.2023.102989},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/TangZLDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZengYZTZ023,
author = {Xia Zeng and
Zhengfeng Yang and
Li Zhang and
Xiaochao Tang and
Zhenbing Zeng and
Zhiming Liu},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Safety Verification of Nonlinear Systems with Bayesian Neural Network
Controllers},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {15278--15286},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26782},
doi = {10.1609/AAAI.V37I12.26782},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZengYZTZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/000123,
author = {Zhiming Liu},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Linking Formal Methods in Software Development - {A} Reflection on
the Development of rCOS},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {52--84},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_3},
doi = {10.1007/978-3-031-40436-8\_3},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/000123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenSZLM23,
author = {Hanyue Chen and
Yu Su and
Miaomiao Zhang and
Zhiming Liu and
Junri Mi},
editor = {Constantin Enea and
Akash Lal},
title = {Learning Assumptions for Compositional Verification of Timed Automata},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {40--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_3},
doi = {10.1007/978-3-031-37706-8\_3},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChenSZLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LiuTL23,
author = {Zhiming Liu and
Jiadong Teng and
Bo Liu},
editor = {Javier C{\'{a}}mara and
Sung{-}Shik Jongmans},
title = {Formal Aspects of Component Software - An Overview on Concepts and
Relations of Different Theories},
booktitle = {Formal Aspects of Component Software - 19th International Conference,
{FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14485},
pages = {168--193},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52183-6\_9},
doi = {10.1007/978-3-031-52183-6\_9},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/LiuTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/WangPLZ23,
author = {Jingqi Wang and
Jiajie Peng and
Zhiming Liu and
Hengjun Zhao},
title = {HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2023, Gold
Coast, Australia, June 18-23, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IJCNN54540.2023.10191863},
doi = {10.1109/IJCNN54540.2023.10191863},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcnn/WangPLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/YanGL23,
author = {Dapeng Yan and
Zhipeng Gao and
Zhiming Liu},
title = {A Closer Look at Different Difficulty Levels Code Generation Abilities
of ChatGPT},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1887--1898},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00096},
doi = {10.1109/ASE56229.2023.00096},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/YanGL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuTL23,
author = {Zhiming Liu and
Jiadong Teng and
Bo Liu},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Multi-dimensional Abstraction and Decomposition for Separation of
Concerns},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {152--170},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_9},
doi = {10.1007/978-981-99-8664-4\_9},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LiuTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/MoPL22,
author = {Xian Mo and
Jun Pang and
Zhiming Liu},
title = {{THS-GWNN:} a deep learning framework for temporal network link prediction},
journal = {Frontiers Comput. Sci.},
volume = {16},
number = {2},
pages = {162304},
year = {2022},
url = {https://doi.org/10.1007/s11704-020-0092-z},
doi = {10.1007/S11704-020-0092-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/MoPL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ZhaoLLDL22,
author = {Wei Zhao and
Rui Li and
Wanwei Liu and
Wei Dong and
Zhiming Liu},
title = {Probabilistic synthesis against {GR(1)} winning condition},
journal = {Frontiers Comput. Sci.},
volume = {16},
number = {3},
pages = {162203},
year = {2022},
url = {https://doi.org/10.1007/s11704-020-0076-z},
doi = {10.1007/S11704-020-0076-Z},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ZhaoLLDL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ZhangML22,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Zhiming Liu},
title = {A dynamic logic for verification of synchronous models based on theorem
proving},
journal = {Frontiers Comput. Sci.},
volume = {16},
number = {4},
pages = {164407},
year = {2022},
url = {https://doi.org/10.1007/s11704-022-1374-4},
doi = {10.1007/S11704-022-1374-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ZhangML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ZhaoLZL22,
author = {Hengjun Zhao and
Quanzhong Li and
Xia Zeng and
Zhiming Liu},
title = {Safe Reinforcement Learning Algorithm and Its Application in Intelligent
Control for {CPS}},
journal = {Int. J. Softw. Informatics},
volume = {12},
number = {4},
pages = {453--483},
year = {2022},
url = {https://doi.org/10.21655/ijsi.1673-7288.00284},
doi = {10.21655/IJSI.1673-7288.00284},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsi/ZhaoLZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/YanLNLLLKB22,
author = {Dapeng Yan and
Kui Liu and
Yuqing Niu and
Li Li and
Zhe Liu and
Zhiming Liu and
Jacques Klein and
Tegawend{\'{e}} F. Bissyand{\'{e}}},
title = {Crex: Predicting patch correctness in automated repair of {C} programs
through transfer learning of execution semantics},
journal = {Inf. Softw. Technol.},
volume = {152},
pages = {107043},
year = {2022},
url = {https://doi.org/10.1016/j.infsof.2022.107043},
doi = {10.1016/J.INFSOF.2022.107043},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/YanLNLLLKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerj-cs/ZhaoL22,
author = {Wei Zhao and
Zhiming Liu},
title = {A learning-based synthesis approach of reward asynchronous probabilistic
games against the linear temporal logic winning condition},
journal = {PeerJ Comput. Sci.},
volume = {8},
pages = {e1094},
year = {2022},
url = {https://doi.org/10.7717/peerj-cs.1094},
doi = {10.7717/PEERJ-CS.1094},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peerj-cs/ZhaoL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/ChengJZZ022,
author = {Yike Cheng and
Ji{-}Le Jiang and
Ning Zhang and
Hengjun Zhao and
Zhiming Liu},
title = {Automatic Lumbar Vertebra Landmark Localization and Segmentation for
Pedicle Screw Placement},
booktitle = {26th International Conference on Pattern Recognition, {ICPR} 2022,
Montreal, QC, Canada, August 21-25, 2022},
pages = {4263--4269},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPR56361.2022.9956489},
doi = {10.1109/ICPR56361.2022.9956489},
timestamp = {Thu, 01 Dec 2022 13:56:03 +0100},
biburl = {https://dblp.org/rec/conf/icpr/ChengJZZ022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ZhangLTDL22,
author = {Miaomiao Zhang and
Wanwei Liu and
Xiaochen Tang and
Bowen Du and
Zhiming Liu},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Human-Cyber-Physical Automata and Their Synthesis},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {36--41},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_4},
doi = {10.1007/978-3-031-17715-6\_4},
timestamp = {Fri, 07 Oct 2022 16:33:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/ZhangLTDL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SunZWL22,
author = {Quan Sun and
Wei Zhang and
Chao Wang and
Zhiming Liu},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {A Contract-Based Semantics and Refinement for Simulink},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {134--148},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_9},
doi = {10.1007/978-3-031-21213-0\_9},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SunZWL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WangPLLL22,
author = {Chao Wang and
Gustavo Petri and
Yi Lv and
Teng Long and
Zhiming Liu},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Decidability of Liveness for Concurrent Objects on the {TSO} Memory
Model},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {149--165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_10},
doi = {10.1007/978-3-031-21213-0\_10},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/WangPLLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LiuTLL22,
author = {Yu Liu and
Shmuel S. Tyszberowicz and
Zhiming Liu and
Bo Liu},
title = {iTrustEval: {A} framework for software trustworthiness evaluation
with an intelligent AHP-based method},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2022, Prague, Czech Republic, October 9-12, 2022},
pages = {1778--1785},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SMC53654.2022.9945278},
doi = {10.1109/SMC53654.2022.9945278},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/LiuTLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2022,
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6},
doi = {10.1007/978-3-031-17715-6},
isbn = {978-3-031-17714-9},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MoPL21,
author = {Xian Mo and
Jun Pang and
Zhiming Liu},
title = {Effective Link Prediction with Topological and Temporal Information
using Wavelet Neural Network Embedding},
journal = {Comput. J.},
volume = {64},
number = {3},
pages = {325--336},
year = {2021},
url = {https://doi.org/10.1093/comjnl/bxaa085},
doi = {10.1093/COMJNL/BXAA085},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/MoPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChenLWW21,
author = {Xiaoping Chen and
Zhiming Liu and
Ji Wang and
Jim Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {33},
number = {3},
pages = {299--300},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00552-5},
doi = {10.1007/S00165-021-00552-5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ChenLWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhaoZCLW21,
author = {Hengjun Zhao and
Xia Zeng and
Taolue Chen and
Zhiming Liu and
Jim Woodcock},
title = {Learning safe neural network controllers with barrier certificates},
journal = {Formal Aspects Comput.},
volume = {33},
number = {3},
pages = {437--455},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00544-5},
doi = {10.1007/S00165-021-00544-5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ZhaoZCLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangMZCLL21,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Huibiao Zhu and
Yixiang Chen and
Bo Liu and
Zhiming Liu},
title = {A clock-based dynamic logic for schedulability analysis of {CCSL}
specifications},
journal = {Sci. Comput. Program.},
volume = {202},
pages = {102546},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2020.102546},
doi = {10.1016/J.SCICO.2020.102546},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangMZCLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/ShaLSTHCQLL21,
author = {Zhibing Sha and
Jun Li and
Lihao Song and
Jiewen Tang and
Min Huang and
Zhigang Cai and
Lianju Qian and
Jianwei Liao and
Zhiming Liu},
title = {Low {I/O} Intensity-aware Partial {GC} Scheduling to Reduce Long-tail
Latency in SSDs},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {18},
number = {4},
pages = {46:1--46:25},
year = {2021},
url = {https://doi.org/10.1145/3460433},
doi = {10.1145/3460433},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/ShaLSTHCQLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangZLZTZL21,
author = {Zhengfeng Yang and
Yidan Zhang and
Wang Lin and
Xia Zeng and
Xiaochao Tang and
Zhenbing Zeng and
Zhiming Liu},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems
via Barrier Certificate Generation},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {467--490},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_22},
doi = {10.1007/978-3-030-81685-8\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangZLZTZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LiLCTWG0HL21,
author = {Jun Li and
Minjun Li and
Zhigang Cai and
Fran{\c{c}}ois Trahay and
Mohamed Wahib and
Balazs Gerofi and
Zhiming Liu and
Min Huang and
Jianwei Liao},
editor = {Xian{-}He Sun and
Sameer Shende and
Laxmikant V. Kal{\'{e}} and
Yong Chen},
title = {Intra-page Cache Update in SLC-mode with Partial Programming in High
Density SSDs},
booktitle = {{ICPP} 2021: 50th International Conference on Parallel Processing,
Lemont, IL, USA, August 9 - 12, 2021},
pages = {46:1--46:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472456.3472492},
doi = {10.1145/3472456.3472492},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpp/LiLCTWG0HL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/YanNLLLB21,
author = {Dapeng Yan and
Yuqing Niu and
Kui Liu and
Zhe Liu and
Zhiming Liu and
Tegawend{\'{e}} F. Bissyand{\'{e}}},
title = {Estimating the Attack Surface from Residual Vulnerabilities in Open
Source Software Supply Chain},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {493--502},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00060},
doi = {10.1109/QRS54544.2021.00060},
timestamp = {Sun, 23 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/YanNLLLB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09930,
author = {Chao Wang and
Gustavo Petri and
Yi Lv and
Teng Long and
Zhiming Liu},
title = {Decidability of Liveness on the {TSO} Memory Model},
journal = {CoRR},
volume = {abs/2107.09930},
year = {2021},
url = {https://arxiv.org/abs/2107.09930},
eprinttype = {arXiv},
eprint = {2107.09930},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jzusc/LiuW20,
author = {Zhiming Liu and
Ji Wang},
title = {Human-cyber-physical systems: concepts, challenges, and research opportunities},
journal = {Frontiers Inf. Technol. Electron. Eng.},
volume = {21},
number = {11},
pages = {1535--1553},
year = {2020},
url = {https://doi.org/10.1631/FITEE.2000537},
doi = {10.1631/FITEE.2000537},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jzusc/LiuW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tompecs/LiaoSC00LCI20,
author = {Jianwei Liao and
Zhibing Sha and
Zhigang Cai and
Zhiming Liu and
Kenli Li and
Wei{-}Keng Liao and
Alok N. Choudhary and
Yutaka Ishikawa},
title = {Toward Efficient Block Replication Management in Distributed Storage},
journal = {{ACM} Trans. Model. Perform. Evaluation Comput. Syst.},
volume = {5},
number = {3},
pages = {13:1--13:27},
year = {2020},
url = {https://doi.org/10.1145/3412450},
doi = {10.1145/3412450},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tompecs/LiaoSC00LCI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/YangLKL20,
author = {Yilong Yang and
Xiaoshan Li and
Wei Ke and
Zhiming Liu},
title = {Automated Prototype Generation From Formal Requirements Model},
journal = {{IEEE} Trans. Reliab.},
volume = {69},
number = {2},
pages = {632--656},
year = {2020},
url = {https://doi.org/10.1109/TR.2019.2934348},
doi = {10.1109/TR.2019.2934348},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/YangLKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhaoZC020,
author = {Hengjun Zhao and
Xia Zeng and
Taolue Chen and
Zhiming Liu},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {Synthesizing barrier certificates using neural networks},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {25:1--25:11},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382222},
doi = {10.1145/3365365.3382222},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZhaoZC020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhaoZCLW20,
author = {Hengjun Zhao and
Xia Zeng and
Taolue Chen and
Zhiming Liu and
Jim Woodcock},
editor = {Jun Pang and
Lijun Zhang},
title = {Learning Safe Neural Network Controllers with Barrier Certificates},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {177--185},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_11},
doi = {10.1007/978-3-030-62822-2\_11},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhaoZCLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/MoPL20,
author = {Xian Mo and
Jun Pang and
Zhiming Liu},
editor = {Zhisheng Huang and
Wouter Beek and
Hua Wang and
Rui Zhou and
Yanchun Zhang},
title = {Higher-Order Graph Convolutional Embedding for Temporal Networks},
booktitle = {Web Information Systems Engineering - {WISE} 2020 - 21st International
Conference, Amsterdam, The Netherlands, October 20-24, 2020, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12342},
pages = {3--15},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62005-9\_1},
doi = {10.1007/978-3-030-62005-9\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wise/MoPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2019,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - 5th International School,
{SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12154},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55089-9},
doi = {10.1007/978-3-030-55089-9},
isbn = {978-3-030-55088-2},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03328,
author = {Yufeng Zhang and
Wanwei Liu and
Zhenbang Chen and
Ji Wang and
Zhiming Liu and
Kenli Li and
Hongmei Wei and
Zuoning Chen},
title = {Out-of-Distribution Detection with Distance Guarantee in Deep Generative
Models},
journal = {CoRR},
volume = {abs/2002.03328},
year = {2020},
url = {https://arxiv.org/abs/2002.03328},
eprinttype = {arXiv},
eprint = {2002.03328},
timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09826,
author = {Hengjun Zhao and
Xia Zeng and
Taolue Chen and
Zhiming Liu and
Jim Woodcock},
title = {Learning Safe Neural Network Controllers with Barrier Certificates},
journal = {CoRR},
volume = {abs/2009.09826},
year = {2020},
url = {https://arxiv.org/abs/2009.09826},
eprinttype = {arXiv},
eprint = {2009.09826},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/LinYCZLLH19,
author = {Wang Lin and
Zhengfeng Yang and
Xin Chen and
Qingye Zhao and
Xiangkun Li and
Zhiming Liu and
Jifeng He},
title = {Robustness Verification of Classification Deep Neural Networks via
Linear Programming},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
2019, Long Beach, CA, USA, June 16-20, 2019},
pages = {11418--11427},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2019},
url = {http://openaccess.thecvf.com/content\_CVPR\_2019/html/Lin\_Robustness\_Verification\_of\_Classification\_Deep\_Neural\_Networks\_via\_Linear\_Programming\_CVPR\_2019\_paper.html},
doi = {10.1109/CVPR.2019.01168},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/LinYCZLLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001L0K19,
author = {Yilong Yang and
Xiaoshan Li and
Zhiming Liu and
Wei Ke},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {{RM2PT:} a tool for automated prototype generation from requirements
model},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
2019},
pages = {59--62},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-Companion.2019.00038},
doi = {10.1109/ICSE-COMPANION.2019.00038},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001L0K19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/LiuBLTZ19,
author = {Zhiming Liu and
Jonathan P. Bowen and
Bo Liu and
Shmuel S. Tyszberowicz and
Tingting Zhang},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Software Abstractions and Human-Cyber-Physical Systems Architecture
Modelling},
booktitle = {Engineering Trustworthy Software Systems - 5th International School,
{SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12154},
pages = {159--219},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-55089-9\_5},
doi = {10.1007/978-3-030-55089-9\_5},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setss/LiuBLTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2018,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17601-3},
doi = {10.1007/978-3-030-17601-3},
isbn = {978-3-030-17600-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07462,
author = {Guisen Wu and
Liyun Dai and
Zhiming Liu and
Taolue Chen and
Jun Pang and
Hongyang Qu},
title = {Online Observability of Boolean Control Networks},
journal = {CoRR},
volume = {abs/1903.07462},
year = {2019},
url = {http://arxiv.org/abs/1903.07462},
eprinttype = {arXiv},
eprint = {1903.07462},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangLQLKSL18,
author = {Yilong Yang and
Xiaoshan Li and
Nafees Qamar and
Peng Liu and
Wei Ke and
Bingqing Shen and
Zhiming Liu},
title = {Medshare: {A} Novel Hybrid Cloud for Medical Resource Sharing Among
Autonomous Healthcare Providers},
journal = {{IEEE} Access},
volume = {6},
pages = {46949--46961},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2865535},
doi = {10.1109/ACCESS.2018.2865535},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/YangLQLKSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BreuerBP018,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
title = {The Secret Processor Will Go to the Ball: Benchmark Insider-Proof
Encrypted Computing},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy Workshops,
EuroS{\&}P Workshops 2018, London, United Kingdom, April 23-27,
2018},
pages = {145--152},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSPW.2018.00027},
doi = {10.1109/EUROSPW.2018.00027},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/BreuerBP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/BreuerBP018,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
editor = {David Naccache and
Shouhuai Xu and
Sihan Qing and
Pierangela Samarati and
Gregory Blanc and
Rongxing Lu and
Zonghua Zhang and
Ahmed Meddahi},
title = {On Security in Encrypted Computing},
booktitle = {Information and Communications Security - 20th International Conference,
{ICICS} 2018, Lille, France, October 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11149},
pages = {192--211},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01950-1\_12},
doi = {10.1007/978-3-030-01950-1\_12},
timestamp = {Sat, 05 Sep 2020 18:01:07 +0200},
biburl = {https://dblp.org/rec/conf/icics/BreuerBP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/TyszberowiczHLL18,
author = {Shmuel S. Tyszberowicz and
Robert Heinrich and
Bo Liu and
Zhiming Liu},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Identifying Microservices Using Functional Decomposition},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {50--65},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_4},
doi = {10.1007/978-3-319-99933-3\_4},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/TyszberowiczHLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/BreuerBP018,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
title = {Superscalar Encrypted {RISC:} The Measure of a Secret Computer},
booktitle = {17th {IEEE} International Conference On Trust, Security And Privacy
In Computing And Communications / 12th {IEEE} International Conference
On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New
York, NY, USA, August 1-3, 2018},
pages = {1336--1341},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/TrustCom/BigDataSE.2018.00184},
doi = {10.1109/TRUSTCOM/BIGDATASE.2018.00184},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/BreuerBP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2017,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - Third International School,
{SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11174},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02928-9},
doi = {10.1007/978-3-030-02928-9},
isbn = {978-3-030-02927-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05353,
author = {Yilong Yang and
Xiaoshan Li and
Nafees Qamar and
Wei Ke and
Zhiming Liu},
title = {MedShare: Medical Resource Sharing among Autonomous Healthcare Providers},
journal = {CoRR},
volume = {abs/1803.05353},
year = {2018},
url = {http://arxiv.org/abs/1803.05353},
eprinttype = {arXiv},
eprint = {1803.05353},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-05353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-06792,
author = {Liyun Dai and
Bo Liu and
Zhiming Liu and
Taolue Chen},
title = {Parameter Synthesis Problems for Parametric Timed Automata},
journal = {CoRR},
volume = {abs/1808.06792},
year = {2018},
url = {http://arxiv.org/abs/1808.06792},
eprinttype = {arXiv},
eprint = {1808.06792},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-06792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10657,
author = {Yilong Yang and
Xiaoshan Li and
Zhiming Liu and
Wei Ke and
Quan Zu and
Xiaohong Chen},
title = {Automated Prototype Generation from Formal Requirements Model},
journal = {CoRR},
volume = {abs/1808.10657},
year = {2018},
url = {http://arxiv.org/abs/1808.10657},
eprinttype = {arXiv},
eprint = {1808.10657},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-10657.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-07177,
author = {Liyun Dai and
Taolue Chen and
Zhiming Liu and
Bican Xia and
Naijun Zhan and
Kim G. Larsen},
title = {Parameter Synthesis Problems for one parametric clock Timed Automata},
journal = {CoRR},
volume = {abs/1809.07177},
year = {2018},
url = {http://arxiv.org/abs/1809.07177},
eprinttype = {arXiv},
eprint = {1809.07177},
timestamp = {Mon, 15 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-07177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiL17,
author = {Xuandong Li and
Zhiming Liu},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {29},
number = {4},
pages = {581--582},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0431-5},
doi = {10.1007/S00165-017-0431-5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccst/BreuerBP017,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
title = {Encrypted computing: Speed, security and provable obfuscation against
insiders},
booktitle = {International Carnahan Conference on Security Technology, {ICCST}
2017, Madrid, Spain, October 23-26, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCST.2017.8167847},
doi = {10.1109/CCST.2017.8167847},
timestamp = {Wed, 09 Mar 2022 16:39:53 +0100},
biburl = {https://dblp.org/rec/conf/iccst/BreuerBP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/BreuerBP017,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
editor = {Pierangela Samarati and
Mohammad S. Obaidat and
Enrique Cabello},
title = {On Obfuscating Compilation for Encrypted Computing},
booktitle = {Proceedings of the 14th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
Spain, July 24-26, 2017},
pages = {247--254},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006394002470254},
doi = {10.5220/0006394002470254},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/BreuerBP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/Chen017,
author = {Xin Chen and
Zhiming Liu},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Towards Interface-Driven Design of Evolving Component-Based Architectures},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {121--148},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_6},
doi = {10.1007/978-3-319-48628-4\_6},
timestamp = {Thu, 18 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/Chen017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2016,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - Second International School,
{SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10215},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-56841-6},
doi = {10.1007/978-3-319-56841-6},
isbn = {978-3-319-56840-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PalomarC0MB16,
author = {Esther Palomar and
Xiaohong Chen and
Zhiming Liu and
Sabita Maharjan and
Jonathan P. Bowen},
title = {Component-Based Modelling for Scalable Smart City Systems Interoperability:
{A} Case Study on Integrating Energy Demand Response Systems},
journal = {Sensors},
volume = {16},
number = {11},
pages = {1810},
year = {2016},
url = {https://doi.org/10.3390/s16111810},
doi = {10.3390/S16111810},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/PalomarC0MB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/QamarYN016,
author = {Nafees Qamar and
Yilong Yang and
Andr{\'{a}}s N{\'{a}}das and
Zhiming Liu},
editor = {Elhadi M. Shakshuki},
title = {Querying Medical Datasets While Preserving Privacy},
booktitle = {The 7th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2016)/The 6th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare (ICTH-2016)/Affiliated Workshops, September 19-22, 2016,
London, United Kingdom},
series = {Procedia Computer Science},
volume = {98},
pages = {324--331},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.09.049},
doi = {10.1016/J.PROCS.2016.09.049},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/euspn/QamarYN016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/YangHCL016,
author = {Zhengfeng Yang and
Chao Huang and
Xin Chen and
Wang Lin and
Zhiming Liu},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {A Linear Programming Relaxation Based Approach for Generating Barrier
Certificates of Hybrid Systems},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {721--738},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_44},
doi = {10.1007/978-3-319-48989-6\_44},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/YangHCL016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/BreuerBP016,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
editor = {Christian Callegari and
Marten van Sinderen and
Panagiotis G. Sarigiannidis and
Pierangela Samarati and
Enrique Cabello and
Pascal Lorenz and
Mohammad S. Obaidat},
title = {A Practical Encrypted Microprocessor},
booktitle = {Proceedings of the 13th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2016) - Volume 4: SECRYPT, Lisbon,
Portugal, July 26-28, 2016},
pages = {239--250},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005955902390250},
doi = {10.5220/0005955902390250},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/BreuerBP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2014,
editor = {Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - First International School,
{SETSS} 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9506},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29628-9},
doi = {10.1007/978-3-319-29628-9},
isbn = {978-3-319-29627-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Fiadeiro015,
author = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu},
title = {Formal Aspects of Component Software {(FACS} 2013)},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {221--222},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.11.001},
doi = {10.1016/J.SCICO.2015.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Fiadeiro015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangCWD015,
author = {Yufeng Zhang and
Zhenbang Chen and
Ji Wang and
Wei Dong and
Zhiming Liu},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Regular Property Guided Dynamic Symbolic Execution},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {643--653},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.80},
doi = {10.1109/ICSE.2015.80},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangCWD015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2015,
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0},
doi = {10.1007/978-3-319-25942-0},
isbn = {978-3-319-25941-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/QamarYN0S15,
author = {Nafees Qamar and
Yilong Yang and
Andr{\'{a}}s N{\'{a}}das and
Zhiming Liu and
Janos Sztipanovits},
title = {Anonymously Analyzing Clinical Datasets},
journal = {CoRR},
volume = {abs/1501.05916},
year = {2015},
url = {http://arxiv.org/abs/1501.05916},
eprinttype = {arXiv},
eprint = {1501.05916},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/QamarYN0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LiL0S14,
author = {Dan Li and
Xiaoshan Li and
Zhiming Liu and
Volker Stolz},
title = {Automated transformations from {UML} behavior models to contracts},
journal = {Sci. China Inf. Sci.},
volume = {57},
number = {12},
pages = {1--17},
year = {2014},
url = {https://doi.org/10.1007/s11432-014-5159-8},
doi = {10.1007/S11432-014-5159-8},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LiL0S14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhaoB014,
author = {Liang Zhao and
Roberto Bruni and
Zhiming Liu},
title = {A sound and complete theory of graph transformations for service programming
with sessions and pipelines},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {255--288},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.029},
doi = {10.1016/J.SCICO.2013.11.029},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhaoB014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/QamarYN0S14,
author = {Nafees Qamar and
Yilong Yang and
Andr{\'{a}}s N{\'{a}}das and
Zhiming Liu and
Janos Sztipanovits},
editor = {Michaela Huhn and
Laurie A. Williams},
title = {A Tool for Analyzing Clinical Datasets as Blackbox},
booktitle = {Software Engineering in Health Care - 4th International Symposium,
{FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington,
DC, USA, July 17-18, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9062},
pages = {222--238},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-63194-3\_15},
doi = {10.1007/978-3-319-63194-3\_15},
timestamp = {Mon, 07 Sep 2020 10:46:59 +0200},
biburl = {https://dblp.org/rec/conf/fhies/QamarYN0S14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/0001C14,
author = {Zhiming Liu and
Xiaohong Chen},
editor = {Zhiming Liu and
Zili Zhang},
title = {Model-Driven Design of Object and Component Systems},
booktitle = {Engineering Trustworthy Software Systems - First International School,
{SETSS} 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9506},
pages = {152--255},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-29628-9\_4},
doi = {10.1007/978-3-319-29628-9\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/setss/0001C14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/PalomarLBZM14,
author = {Esther Palomar and
Zhiming Liu and
Jonathan P. Bowen and
Yan Zhang and
Sabita Maharjan},
title = {Component-based modelling for sustainable and scalable smart meter
networks},
booktitle = {Proceeding of {IEEE} International Symposium on a World of Wireless,
Mobile and Multimedia Networks, WoWMoM 2014, Sydney, Australia, June
19, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WoWMoM.2014.6918927},
doi = {10.1109/WOWMOM.2014.6918927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/PalomarLBZM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2013,
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07602-7},
doi = {10.1007/978-3-319-07602-7},
isbn = {978-3-319-07601-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ChenLL13,
author = {Xiaohong Chen and
Jing Liu and
Zhiming Liu},
title = {Requirements monitoring for Internetware: an interaction based approach},
journal = {Sci. China Inf. Sci.},
volume = {56},
number = {8},
pages = {1--15},
year = {2013},
url = {https://doi.org/10.1007/s11432-013-4909-3},
doi = {10.1007/S11432-013-4909-3},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/ChenLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/KeLWZ13,
author = {Wei Ke and
Zhiming Liu and
Shuling Wang and
Liang Zhao},
title = {A graph-based generic type system for object-oriented programs},
journal = {Frontiers Comput. Sci.},
volume = {7},
number = {1},
pages = {109--134},
year = {2013},
url = {https://doi.org/10.1007/s11704-012-1307-8},
doi = {10.1007/S11704-012-1307-8},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/KeLWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/GriesmayerLMW13,
author = {Andreas Griesmayer and
Zhiming Liu and
Charles Morisset and
Shuling Wang},
title = {A framework for automated and certified refinement steps},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {3--16},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0183-6},
doi = {10.1007/S11334-012-0183-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/GriesmayerLMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LiLLS13,
author = {Dan Li and
Xiaoshan Li and
Zhiming Liu and
Volker Stolz},
title = {Support Formal Component-Based Development with {UML} Profile},
booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
4-7 June 2013, Melbourne, Victoria, Australia},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASWEC.2013.31},
doi = {10.1109/ASWEC.2013.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/LiLLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZhaoWL13,
author = {Liang Zhao and
Shuling Wang and
Zhiming Liu},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Graph-Based Object-Oriented Hoare Logic},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {374--393},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_23},
doi = {10.1007/978-3-642-39698-4\_23},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ZhaoWL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/LiuQQ13,
author = {Zhiming Liu and
Nafees Qamar and
Jie Qian},
editor = {Jeremy Gibbons and
Wendy MacCaull},
title = {A Quantitative Analysis of the Performance and Scalability of De-identification
Tools for Medical Data},
booktitle = {Foundations of Health Information Engineering and Systems - Third
International Symposium, {FHIES} 2013, Macau, China, August 21-23,
2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8315},
pages = {274--289},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-53956-5\_18},
doi = {10.1007/978-3-642-53956-5\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fhies/LiuQQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ArltLS13,
author = {Stephan Arlt and
Zhiming Liu and
Martin Sch{\"{a}}f},
editor = {Lindsay Groves and
Jing Sun},
title = {Reconstructing Paths for Reachable Code},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {431--446},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_28},
doi = {10.1007/978-3-642-41202-8\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ArltLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DongFKL13,
author = {Ruzhen Dong and
Johannes Faber and
Wei Ke and
Zhiming Liu},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {rCOS: Defining Meanings of Component-Based Software Architectures},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {8050},
pages = {1--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39721-9\_1},
doi = {10.1007/978-3-642-39721-9\_1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DongFKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/LiuQQ13,
author = {Zhiming Liu and
Nafees Qamar and
Jie Qian},
editor = {Christoph Ulrich Lehmann and
Elske Ammenwerth and
Christian N{\o}hr},
title = {An Automated Routine Childhood Immunization Approach using openEHR},
booktitle = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
series = {Studies in Health Technology and Informatics},
volume = {192},
pages = {1075},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-289-9-1075},
doi = {10.3233/978-1-61499-289-9-1075},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/LiuQQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/ChewFLMQ13,
author = {Han Ei Chew and
Johannes Faber and
Zhiming Liu and
Vanessa Madera and
Nafees Qamar},
editor = {Christoph Ulrich Lehmann and
Elske Ammenwerth and
Christian N{\o}hr},
title = {Actualizing a Mobile Integrated System for Geriatric Care},
booktitle = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
series = {Studies in Health Technology and Informatics},
volume = {192},
pages = {1109},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-289-9-1109},
doi = {10.3233/978-1-61499-289-9-1109},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/ChewFLMQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013he,
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4},
doi = {10.1007/978-3-642-39698-4},
isbn = {978-3-642-39697-7},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2013he.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2013,
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9},
doi = {10.1007/978-3-642-39718-9},
isbn = {978-3-642-39717-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2013s,
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {8050},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39721-9},
doi = {10.1007/978-3-642-39721-9},
isbn = {978-3-642-39720-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2013s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/KeLLS12,
author = {Wei Ke and
Xiaoshan Li and
Zhiming Liu and
Volker Stolz},
title = {rCOS: a formal model-driven engineering method for component-based
software},
journal = {Frontiers Comput. Sci. China},
volume = {6},
number = {1},
pages = {17--39},
year = {2012},
url = {https://doi.org/10.1007/s11704-012-2901-5},
doi = {10.1007/S11704-012-2901-5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/KeLLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LiuR12,
author = {Zhiming Liu and
Abhik Roychoudhury},
title = {Relating software validation to technology trends},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {6},
pages = {631--638},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0259-5},
doi = {10.1007/S10009-012-0259-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LiuR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenLW12,
author = {Zhenbang Chen and
Zhiming Liu and
Ji Wang},
title = {Failure-divergence semantics and refinement of long running transactions},
journal = {Theor. Comput. Sci.},
volume = {455},
pages = {31--65},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.040},
doi = {10.1016/J.TCS.2012.04.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/DongFLSZZ12,
author = {Ruzhen Dong and
Johannes Faber and
Zhiming Liu and
Jir{\'{\i}} Srba and
Naijun Zhan and
Jiaqi Zhu},
editor = {Vincenzo Grassi and
Raffaela Mirandola and
Nenad Medvidovic and
Magnus Larsson},
title = {Unblockable compositions of software components},
booktitle = {Proceedings of the 15th {ACM} {SIGSOFT} Symposium on Component Based
Software Engineering, {CBSE} 2012, part of Comparch '12 Federated
Events on Component-Based Software Engineering and Software Architecture,
Bertinoro, Italy, June 25-28, 2012},
pages = {103--108},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2304736.2304754},
doi = {10.1145/2304736.2304754},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/DongFLSZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/BertoliniLS12,
author = {Cristiano Bertolini and
Zhiming Liu and
Jir{\'{\i}} Srba},
editor = {Jens H. Weber and
Isabelle Perseil},
title = {Verification of Timed Healthcare Workflows Using Component Timed-Arc
Petri Nets},
booktitle = {Foundations of Health Information Engineering and Systems - Second
International Symposium, {FHIES} 2012, Paris, France, August 27-28,
2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7789},
pages = {19--36},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39088-3\_2},
doi = {10.1007/978-3-642-39088-3\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fhies/BertoliniLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/QamarFLL12,
author = {Nafees Qamar and
Johannes Faber and
Yves Ledru and
Zhiming Liu},
editor = {Jens H. Weber and
Isabelle Perseil},
title = {Automated Reviewing of Healthcare Security Policies},
booktitle = {Foundations of Health Information Engineering and Systems - Second
International Symposium, {FHIES} 2012, Paris, France, August 27-28,
2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7789},
pages = {176--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39088-3\_12},
doi = {10.1007/978-3-642-39088-3\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhies/QamarFLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/XuLTZZ12,
author = {Tianhua Xu and
Zhiming Liu and
Tao Tang and
Wei Zheng and
Lin Zhao},
title = {Component Based Design of Fault Tolerant Devices in Cyber Physical
System},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.17},
doi = {10.1109/ISORCW.2012.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/XuLTZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fhies/2011,
editor = {Zhiming Liu and
Alan Wassyng},
title = {Foundations of Health Informatics Engineering and Systems - First
International Symposium, {FHIES} 2011, Johannesburg, South Africa,
August 29-30, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32355-3},
doi = {10.1007/978-3-642-32355-3},
isbn = {978-3-642-32354-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhies/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiuW11,
author = {Zhiming Liu and
Jim Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {23},
number = {2},
pages = {151},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0173-8},
doi = {10.1007/S00165-011-0173-8},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/LiuW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/LiLLS11,
author = {Dan Li and
Xiaoshan Li and
Zhiming Liu and
Volker Stolz},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Interactive Transformations from Object-Oriented Models to Component-Based
Models},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {97--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_7},
doi = {10.1007/978-3-642-35743-5\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/LiLLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChenLW11,
author = {Zhenbang Chen and
Zhiming Liu and
Ji Wang},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Failure-Divergence Refinement of Compensating Communicating Processes},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {262--277},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_21},
doi = {10.1007/978-3-642-21437-0\_21},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChenLW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0215,
author = {Andreas Griesmayer and
Zhiming Liu and
Charles Morisset and
Shuling Wang},
title = {A Framework for Automated and Certified Refinement Steps},
journal = {CoRR},
volume = {abs/1112.0215},
year = {2011},
url = {http://arxiv.org/abs/1112.0215},
eprinttype = {arXiv},
eprint = {1112.0215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeiLLMS10,
author = {Bin Lei and
Xuandong Li and
Zhiming Liu and
Charles Morisset and
Volker Stolz},
title = {Robustness testing for software components},
journal = {Sci. Comput. Program.},
volume = {75},
number = {10},
pages = {879--897},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2010.02.005},
doi = {10.1016/J.SCICO.2010.02.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LeiLLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BruniLZ10,
author = {Roberto Bruni and
Zhiming Liu and
Liang Zhao},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Graph Representation of Sessions and Pipelines for Structured Service
Programming},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {259--276},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_15},
doi = {10.1007/978-3-642-27269-1\_15},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BruniLZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChenL10,
author = {Zhenbang Chen and
Zhiming Liu},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {An Extended cCSP with Stable Failures Semantics},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {121--136},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_9},
doi = {10.1007/978-3-642-14808-8\_9},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ChenL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LiLSY10,
author = {Xiaoshan Li and
Zhiming Liu and
Martin Sch{\"{a}}f and
Ling Yin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {AutoPA: Automatic Prototyping from Requirements},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {609--624},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_49},
doi = {10.1007/978-3-642-16558-0\_49},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/LiLSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiuMW10,
author = {Zhiming Liu and
Charles Morisset and
Shuling Wang},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Graph-Based Implementation for Mechanized Refinement Calculus of
{OO} Programs},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {258--273},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_17},
doi = {10.1007/978-3-642-19829-8\_17},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiuMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhaoLLQ09,
author = {Liang Zhao and
Xiaojian Liu and
Zhiming Liu and
Zongyan Qiu},
title = {Graph transformations for object-oriented refinement},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {103--131},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0067-y},
doi = {10.1007/S00165-007-0067-Y},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ZhaoLLQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChenLRSZ09,
author = {Zhenbang Chen and
Zhiming Liu and
Anders P. Ravn and
Volker Stolz and
Naijun Zhan},
title = {Refinement and verification in component-based model-driven design},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {168--196},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.08.003},
doi = {10.1016/J.SCICO.2008.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ChenLRSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/LiuMS09,
author = {Zhiming Liu and
Charles Morisset and
Volker Stolz},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {rCOS: Theory and Tool for Component-Based Model Driven Development},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {62--80},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_3},
doi = {10.1007/978-3-642-11623-0\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/LiuMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/ZhangLZ09,
author = {Miaomiao Zhang and
Zhiming Liu and
Naijun Zhan},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Model Checking Linear Duration Invariants of Networks of Automata},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {244--259},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_14},
doi = {10.1007/978-3-642-11623-0\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/ZhangLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KeLWZ09,
author = {Wei Ke and
Zhiming Liu and
Shuling Wang and
Liang Zhao},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {A Graph-Based Operational Semantics of {OO} Programs},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {347--366},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_18},
doi = {10.1007/978-3-642-10373-5\_18},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/KeLWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ZhangLMR09,
author = {Miaomiao Zhang and
Zhiming Liu and
Charles Morisset and
Anders P. Ravn},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Design and Verification of Fault-Tolerant Components},
booktitle = {Methods, Models and Tools for Fault Tolerance},
series = {Lecture Notes in Computer Science},
volume = {5454},
pages = {57--84},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00867-2\_4},
doi = {10.1007/978-3-642-00867-2\_4},
timestamp = {Sun, 02 Jun 2019 20:42:25 +0200},
biburl = {https://dblp.org/rec/series/lncs/ZhangLMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2009,
editor = {Zhiming Liu and
Anders P. Ravn},
title = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9},
doi = {10.1007/978-3-642-04761-9},
isbn = {978-3-642-04760-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/LiLLL08,
author = {Dan Li and
Xiaoshan Li and
Jicong Liu and
Zhiming Liu},
title = {Validation of requirement models by automatic prototyping},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {3},
pages = {241--248},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0062-3},
doi = {10.1007/S11334-008-0062-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/LiLLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ZhangHL08,
author = {Miaomiao Zhang and
Dang Van Hung and
Zhiming Liu},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Verification of Linear Duration Invariants by Model Checking {CTL}
Properties},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {395--409},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_27},
doi = {10.1007/978-3-540-85762-4\_27},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ZhangHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuanQL08,
author = {Long Quan and
Zongyan Qiu and
Zhiming Liu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Use of Design Patterns and Refactoring},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {323--338},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_23},
doi = {10.1007/978-3-540-88479-8\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/QuanQL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LiuMS08,
author = {Zhiming Liu and
Charles Morisset and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Component-Based Access Control Monitor},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {339--353},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_24},
doi = {10.1007/978-3-540-88479-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LiuMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SilvaSL08,
author = {Leila Silva and
Augusto Sampaio and
Zhiming Liu},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Laws of Object-Orientation with Reference Semantics},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {217--226},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.29},
doi = {10.1109/SEFM.2008.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SilvaSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/ZhanKL08,
author = {Naijun Zhan and
Eun{-}Young Kang and
Zhiming Liu},
editor = {Andrew Butterfield},
title = {Component Publications and Compositions},
booktitle = {Unifying Theories of Programming, Second International Symposium,
{UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5713},
pages = {238--257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-14521-6\_14},
doi = {10.1007/978-3-642-14521-6\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/ZhanKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeiLML10,
author = {Bin Lei and
Zhiming Liu and
Charles Morisset and
Xuandong Li},
editor = {Carlos Canal and
Corina S. Pasareanu},
title = {State Based Robustness Testing for Components},
booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of
Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {260},
pages = {173--188},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.12.037},
doi = {10.1016/J.ENTCS.2009.12.037},
timestamp = {Thu, 09 Mar 2023 15:34:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LeiLML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/JunLRS08,
author = {Hu Jun and
Zhiming Liu and
G. M. Reed and
J. W. Sanders},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Ensemble Engineering and Emergence},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {162--178},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_11},
doi = {10.1007/978-3-540-89437-7\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/JunLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CuellarL07,
author = {Jorge Cu{\'{e}}llar and
Zhiming Liu},
title = {SoSyM Special Section on Software Engineering and Formal Methods},
journal = {Softw. Syst. Model.},
volume = {6},
number = {1},
pages = {37--38},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0010-3},
doi = {10.1007/S10270-006-0010-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CuellarL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChenLLSY07,
author = {Zhenbang Chen and
Xiaoshan Li and
Zhiming Liu and
Volker Stolz and
Lu Yang},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Harnessing rCOS for Tool Support - The CoCoME Experience},
booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
Papers presented at a Symposium held in Macao, China, September 24-25,
2007},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {83--114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_5},
doi = {10.1007/978-3-540-75221-9\_5},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ChenLLSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChenHHKLLLNORSYZ07,
author = {Zhenbang Chen and
Abdelhakim Hannousse and
Dang Van Hung and
Istvan Knoll and
Xiaoshan Li and
Zhiming Liu and
Yang Liu and
Qu Nan and
Joseph C. Okika and
Anders P. Ravn and
Volker Stolz and
Lu Yang and
Naijun Zhan},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {Modelling with Relational Calculus of Object and Component Systems
- rCOS},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {116--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_6},
doi = {10.1007/978-3-540-85289-6\_6},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChenHHKLLLNORSYZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/ChenHLZ07,
author = {Xin Chen and
Jifeng He and
Zhiming Liu and
Naijun Zhan},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {A Model of Component-Based Programming},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {191--206},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_13},
doi = {10.1007/978-3-540-75698-9\_13},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/ChenHLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ChenLSYR07,
author = {Zhenbang Chen and
Zhiming Liu and
Volker Stolz and
Lu Yang and
Anders P. Ravn},
title = {A Refinement Driven Component-Based Design},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {277--289},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.12},
doi = {10.1109/ICECCS.2007.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ChenLSYR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChenLM07,
author = {Xin Chen and
Zhiming Liu and
Vladimir Mencl},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Separation of Concerns and Consistent Integration in Requirements
Modelling},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {819--831},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_71},
doi = {10.1007/978-3-540-69507-3\_71},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChenLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiL08,
author = {Xiaoshan Li and
Zhiming Liu},
editor = {Geguang Pu and
Volker Stolz},
title = {Prototyping System Requirements Model},
booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
pages = {17--32},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.083},
doi = {10.1016/J.ENTCS.2008.03.083},
timestamp = {Mon, 13 Feb 2023 14:02:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2007duration,
editor = {Chris George and
Zhiming Liu and
Jim Woodcock},
title = {Domain Modeling and the Duration Calculus, International Training
School, Shanghai, China, September 17-21. 2007, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {4710},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74964-6},
doi = {10.1007/978-3-540-74964-6},
isbn = {978-3-540-74963-9},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ac/2007duration.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007bz,
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
Papers presented at a Symposium held in Macao, China, September 24-25,
2007},
series = {Lecture Notes in Computer Science},
volume = {4700},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9},
doi = {10.1007/978-3-540-75221-9},
isbn = {978-3-540-75220-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2007bz.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2007,
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9},
doi = {10.1007/978-3-540-75292-9},
isbn = {978-3-540-75290-5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LiuHL06,
author = {Jing Liu and
Jifeng He and
Zhiming Liu},
title = {A strategy for service realization in service-oriented design},
journal = {Sci. China Ser. {F} Inf. Sci.},
volume = {49},
number = {6},
pages = {864--884},
year = {2006},
url = {https://doi.org/10.1007/s11432-006-2033-3},
doi = {10.1007/S11432-006-2033-3},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LiuHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HeLL06,
author = {Jifeng He and
Xiaoshan Li and
Zhiming Liu},
title = {rCOS: {A} refinement calculus of object systems},
journal = {Theor. Comput. Sci.},
volume = {365},
number = {1-2},
pages = {109--142},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.034},
doi = {10.1016/J.TCS.2006.07.034},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HeLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OkikaRLS06,
author = {Joseph C. Okika and
Anders P. Ravn and
Zhiming Liu and
Lokesh Siddalingaiah},
editor = {Hong Zhu and
Joseph R. Horgan and
Shing{-}Chi Cheung and
J. Jenny Li},
title = {Developing a {TTCN-3} Test Harness for Legacy Software},
booktitle = {Proceedings of the 2006 International Workshop on Automation of Software
Test, {AST} 2006, Shanghai, China, May 23, 2006},
pages = {104--110},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138929.1138950},
doi = {10.1145/1138929.1138950},
timestamp = {Thu, 30 Apr 2020 12:10:35 +0200},
biburl = {https://dblp.org/rec/conf/icse/OkikaRLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LiuMRY06,
author = {Zhiming Liu and
Vladimir Mencl and
Anders P. Ravn and
Lu Yang},
title = {Harnessing Theories for Tool Support},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {371--382},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.49},
doi = {10.1109/ISOLA.2006.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LiuMRY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuLZ07,
author = {Xiaojian Liu and
Zhiming Liu and
Liang Zhao},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Object-Oriented Structure Refinement - {A} Graph Transformational
Approach},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {145--159},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.049},
doi = {10.1016/J.ENTCS.2006.08.049},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2005,
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/160/suppl/C},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
editor = {Zhiming Liu and
Jifeng He},
title = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433},
doi = {10.1007/11901433},
isbn = {3-540-47460-9},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LongLLH05,
author = {Quan Long and
Zhiming Liu and
Xiaoshan Li and
Jifeng He},
title = {Consistent Code Generation from {UML} Models},
booktitle = {16th Australian Software Engineering Conference {(ASWEC} 2005), 31
March - 1 April 2005, Brisbane, Australia},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ASWEC.2005.17},
doi = {10.1109/ASWEC.2005.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/LongLLH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiLH05,
author = {Xiaoshan Li and
Zhiming Liu and
Jifeng He},
title = {Consistency Checking of {UML} Requirements},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {411--420},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.28},
doi = {10.1109/ICECCS.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiLH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/JifengLL05,
author = {Jifeng He and
Xiaoshan Li and
Zhiming Liu},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Component-Based Software Engineering},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {70--95},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_5},
doi = {10.1007/11560647\_5},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/JifengLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LongQLSJ05,
author = {Quan Long and
Zongyan Qiu and
Zhiming Liu and
Lingshuang Shao and
Jifeng He},
editor = {Dang Van Hung and
Martin Wirsing},
title = {{POST:} {A} Case Study for an Incremental Development in rCOS},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {485--500},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_32},
doi = {10.1007/11560647\_32},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/LongQLSJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LiuV05,
author = {Zhiming Liu and
R. Venkatesh},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Methods and Tools for Formal Software Engineering},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {31--41},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_4},
doi = {10.1007/978-3-540-69149-5\_4},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/LiuV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AichernigJLR05,
author = {Bernhard K. Aichernig and
Jifeng He and
Zhiming Liu and
Mike Reed},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Integrating Theories and Techniques for Program Modelling, Design
and Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {291--300},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_31},
doi = {10.1007/978-3-540-69149-5\_31},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/AichernigJLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuB06,
author = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.011},
doi = {10.1016/J.ENTCS.2006.05.011},
timestamp = {Thu, 15 Dec 2022 16:29:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeLL06,
author = {Jifeng He and
Xiaoshan Li and
Zhiming Liu},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {A Theory of Reactive Components},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {173--195},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.022},
doi = {10.1016/J.ENTCS.2006.05.022},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2004,
editor = {Zhiming Liu and
Keijiro Araki},
title = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107116},
doi = {10.1007/B107116},
isbn = {3-540-25304-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiuRL04,
author = {Zhiming Liu and
Anders P. Ravn and
Xiaoshan Li},
title = {Unifying proof methodologies of duration calculus and timed linear
temporal logic},
journal = {Formal Aspects Comput.},
volume = {16},
number = {2},
pages = {140--154},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0036-7},
doi = {10.1007/S00165-004-0036-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiuRL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HeLLQ04,
author = {Jifeng He and
Zhiming Liu and
Xiaoshan Li and
Shengchao Qin},
editor = {Wei{-}Ngan Chin},
title = {A Relational Model for Object-Oriented Designs},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {415--436},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_28},
doi = {10.1007/978-3-540-30477-7\_28},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/HeLLQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LiLJ04,
author = {Xiaoshan Li and
Zhiming Liu and
Jifeng He},
title = {A Formal Semantics of {UML} Sequence Diagram},
booktitle = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
April 2004, Melbourne, Australia},
pages = {168--177},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASWEC.2004.1290469},
doi = {10.1109/ASWEC.2004.1290469},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/LiLJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LiuLHL04,
author = {Jing Liu and
Zhiming Liu and
Jifeng He and
Xiaoshan Li},
title = {Linking {UML} Models of Design and Requirement},
booktitle = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
April 2004, Melbourne, Australia},
pages = {329--338},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASWEC.2004.1290486},
doi = {10.1109/ASWEC.2004.1290486},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/LiuLHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/UpadhyayaL04,
author = {Bhim Prasad Upadhyaya and
Zhiming Liu},
title = {Formal Support for Development of JavaBeans? Component Systems},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC}
2004), Design and Assessment of Trustworthy Software-Based Systems,
27-30 September 2004, Hong Kong, China, Proceedings},
pages = {23--28},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CMPSAC.2004.1342801},
doi = {10.1109/CMPSAC.2004.1342801},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/UpadhyayaL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/LiuHL04,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {rCOS: Refinement of Component and Object Systems},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {183--221},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_9},
doi = {10.1007/11561163\_9},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/LiuHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/LiLHL04,
author = {Xiaoshan Li and
Zhiming Liu and
Jifeng He and
Quan Long},
editor = {R. K. Ghosh and
Hrushikesha Mohanty},
title = {Generating a Prototype from a {UML} Model of System Requirements},
booktitle = {Distributed Computing and Internet Technology, First International
Conference, {ICDCIT} 2004, Bhubaneswar, India, December 22-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3347},
pages = {255--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30555-2\_30},
doi = {10.1007/978-3-540-30555-2\_30},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcit/LiLHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenL04,
author = {Yifeng Chen and
Zhiming Liu},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {From Durational Specifications to {TLA} Designs of Timed Automata},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {464--482},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_38},
doi = {10.1007/978-3-540-30482-1\_38},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/YangLLL04,
author = {Jing Yang and
Quan Long and
Zhiming Liu and
Xiaoshan Li},
editor = {Zhiming Liu and
Keijiro Araki},
title = {A Predicative Semantic Model for Integrating {UML} Models},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {170--186},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_14},
doi = {10.1007/978-3-540-31862-0\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/YangLLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Liu04,
author = {Zhiming Liu},
editor = {Zhiming Liu and
Keijiro Araki},
title = {A Summary of the Tutorials at {ICTAC} 2004},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {557--560},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_39},
doi = {10.1007/978-3-540-31862-0\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Liu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/LiuHL04,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Contract Oriented Development of Component Software},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {349--366},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_28},
doi = {10.1007/1-4020-8141-3\_28},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/LiuHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ChenL04,
author = {Yifeng Chen and
Zhiming Liu},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Integrating Temporal Logics},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {402--420},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_22},
doi = {10.1007/978-3-540-24756-2\_22},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ChenL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/LiuJ04,
author = {Zhiming Liu and
Mathai Joseph},
editor = {Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
title = {Real-Time and Fault-Tolerant Systems},
booktitle = {Refinement Techniques in Software Engineering, First Pernambuco Summer
School on Software Engineering, {PSSE} 2004, Recife, Brazil, November
23-December 5, 2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3167},
pages = {156--219},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11889229\_5},
doi = {10.1007/11889229\_5},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/psse/LiuJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuHL05,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Towards a Rigorous Approach to UML-Based Development},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {57--77},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.005},
doi = {10.1016/J.ENTCS.2005.03.005},
timestamp = {Mon, 12 Dec 2022 15:57:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuJLC03,
author = {Zhiming Liu and
Jifeng He and
Xiaoshan Li and
Yifeng Chen},
editor = {Jin Song Dong and
Jim Woodcock},
title = {A Relational Model for Formal Object-Oriented Requirement Analysis
in {UML}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {641--664},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_36},
doi = {10.1007/978-3-540-39893-6\_36},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiuJLC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuHLL04,
author = {Zhiming Liu and
Jifeng He and
Jing Liu and
Xiaoshan Li},
editor = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Unifying Views of {UML}},
booktitle = {Proceedings of the Workshop on the Compositional Verification of {UML}
Models, {CVUML} 2003, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {101},
pages = {95--127},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.018},
doi = {10.1016/J.ENTCS.2004.02.018},
timestamp = {Thu, 08 Dec 2022 23:10:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuHLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEicci/JifengZX02,
author = {Jifeng He and
Zhiming Liu and
Xiaoshan Li},
title = {Towards a Refinement Calculus for Object Systems},
booktitle = {Proceedings of the 1st {IEEE} International Conference on Cognitive
Informatics {(ICCI} 2002), 19-20 August 2002, Calgary, Canada},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/COGINF.2002.1039284},
doi = {10.1109/COGINF.2002.1039284},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEicci/JifengZX02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuLH02,
author = {Zhiming Liu and
Xiaoshan Li and
Jifeng He},
editor = {Chris George and
Huaikou Miao},
title = {Using Transition Systems to Unify {UML} Models},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {535--547},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_54},
doi = {10.1007/3-540-36103-0\_54},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiuLH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiuJ01,
author = {Zhiming Liu and
Mathai Joseph},
title = {Verification, refinement and scheduling of real-time programs},
journal = {Theor. Comput. Sci.},
volume = {253},
number = {1},
pages = {119--152},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00091-8},
doi = {10.1016/S0304-3975(00)00091-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiuJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiLG01,
author = {Xiaoshan Li and
Zhiming Liu and
Zhensheng Guo},
title = {Formal Object-Oriented Analysis and Design of an Online Ticketing
System},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {259},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991486},
doi = {10.1109/APSEC.2001.991486},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiLG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiLH01,
author = {Xiaoshan Li and
Zhiming Liu and
Jifeng He},
title = {Formal and Use-Case Driven Requirement Analysis in {UML}},
booktitle = {25th International Computer Software and Applications Conference {(COMPSAC}
2001), Invigorating Software Development, 8-12 October 2001, Chicago,
IL, {USA}},
pages = {215--224},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CMPSAC.2001.960619},
doi = {10.1109/CMPSAC.2001.960619},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LiLH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiuJ99,
author = {Zhiming Liu and
Mathai Joseph},
title = {Specification and Verification of Fault-Tolerance, Timing, and Scheduling},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {1},
pages = {46--89},
year = {1999},
url = {https://doi.org/10.1145/314602.314605},
doi = {10.1145/314602.314605},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LiuJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/LiuRL98,
author = {Zhiming Liu and
Anders P. Ravn and
Xiaoshan Li},
editor = {David Gries and
Willem P. de Roever},
title = {Verifying duration properties of timed transition systems},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {327--345},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Sat, 03 May 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/procomet/LiuRL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/LiuJ97,
author = {Zhiming Liu and
Mathai Joseph},
editor = {Miquel Bertran and
Teodor Rus},
title = {Formalizing Real-Time Scheduling as Program Refinement},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {295--309},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_20},
doi = {10.1007/3-540-63010-4\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/LiuJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/LiuJ96,
author = {Zhiming Liu and
Mathai Joseph},
title = {Verification of Fault Tolerance and Real Time},
booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
pages = {220--229},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/FTCS.1996.534609},
doi = {10.1109/FTCS.1996.534609},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/LiuJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiuJJ95,
author = {Zhiming Liu and
Mathai Joseph and
Tomasz Janowski},
title = {Verification of Schedulability for Real-Time Programs},
journal = {Formal Aspects Comput.},
volume = {7},
number = {5},
pages = {510--532},
year = {1995},
url = {https://doi.org/10.1007/BF01211630},
doi = {10.1007/BF01211630},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiuJJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LiuJ94,
author = {Zhiming Liu and
Mathai Joseph},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Stepwise Development of Fault-Tolerant Reactive Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {529--546},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_182},
doi = {10.1007/3-540-58468-4\_182},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LiuJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiuJ92,
author = {Zhiming Liu and
Mathai Joseph},
title = {Transformation of Programs for Fault-Tolerance},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {442--469},
year = {1992},
url = {https://doi.org/10.1007/BF01211393},
doi = {10.1007/BF01211393},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiuJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Liu91,
author = {Zhiming Liu},
title = {Fault-tolerant programming by transformations},
school = {University of Warwick, {UK}},
year = {1991},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.293750},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Liu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
