Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jin Song Dong
@article{DBLP:journals/apin/ZhangHHSBDG23,
author = {Gelin Zhang and
Zh{\'{e}} H{\'{o}}u and
Yanhong Huang and
Jianqi Shi and
Hadrien Bride and
Jin Song Dong and
Yongsheng Gao},
title = {Extracting optimal explanations for ensemble trees via automated reasoning},
journal = {Appl. Intell.},
volume = {53},
number = {11},
pages = {14371--14382},
year = {2023},
url = {https://doi.org/10.1007/s10489-022-04180-1},
doi = {10.1007/S10489-022-04180-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/ZhangHHSBDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Andre00C0D23,
author = {{\'{E}}tienne Andr{\'{e}} and
Shuang Liu and
Yang Liu and
Christine Choppy and
Jun Sun and
Jin Song Dong},
title = {Formalizing {UML} State Machines for Automated Verification - {A}
Survey},
journal = {{ACM} Comput. Surv.},
volume = {55},
number = {13s},
pages = {277:1--277:47},
year = {2023},
url = {https://doi.org/10.1145/3579821},
doi = {10.1145/3579821},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Andre00C0D23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/LiuJH0D23,
author = {Zhaoyu Liu and
Kan Jiang and
Zhe Hou and
Yun Lin and
Jin Song Dong},
editor = {Guihai Chen and
Latifur Khan and
Xiaofeng Gao and
Meikang Qiu and
Witold Pedrycz and
Xindong Wu},
title = {Insight Analysis for Tennis Strategy and Tactics},
booktitle = {{IEEE} International Conference on Data Mining, {ICDM} 2023, Shanghai,
China, December 1-4, 2023},
pages = {1169--1174},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICDM58522.2023.00143},
doi = {10.1109/ICDM58522.2023.00143},
timestamp = {Tue, 13 Feb 2024 11:46:18 +0100},
biburl = {https://dblp.org/rec/conf/icdm/LiuJH0D23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongJLDHHGL23,
author = {Jin Song Dong and
Kan Jiang and
Zhaoyu Liu and
Chen Dong and
Zhe Hou and
Rajdeep Singh Hundal and
Jingyu Guo and
Yun Lin},
editor = {Yamine A{\"{\i}}t{-}Ameur and
Ferhat Khendek and
Dominique M{\'{e}}ry},
title = {Sports Analytics Using Probabilistic Model Checking and Deep Learning},
booktitle = {27th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2023, Toulouse, France, June 14-16, 2023},
pages = {7--11},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICECCS59891.2023.00011},
doi = {10.1109/ICECCS59891.2023.00011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongJLDHHGL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MengBTD23,
author = {Mark Huasong Meng and
Guangdong Bai and
Sin G. Teo and
Jin Song Dong},
editor = {Yamine A{\"{\i}}t{-}Ameur and
Ferhat Khendek and
Dominique M{\'{e}}ry},
title = {Supervised Robustness-preserving Data-free Neural Network Pruning},
booktitle = {27th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2023, Toulouse, France, June 14-16, 2023},
pages = {22--31},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICECCS59891.2023.00013},
doi = {10.1109/ICECCS59891.2023.00013},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MengBTD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RenLXLSFD23,
author = {Xiaoning Ren and
Yun Lin and
Yinxing Xue and
Ruofan Liu and
Jun Sun and
Zhiyong Feng and
Jin Song Dong},
title = {DeepArc: Modularizing Neural Networks for the Model Maintenance},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1008--1019},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00092},
doi = {10.1109/ICSE48619.2023.00092},
timestamp = {Wed, 19 Jul 2023 10:09:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/RenLXLSFD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/LiuLLLZD23,
author = {Mengyue Liu and
Yun Lin and
Jun Liu and
Bohao Liu and
Qinghua Zheng and
Jin Song Dong},
editor = {Ambuj K. Singh and
Yizhou Sun and
Leman Akoglu and
Dimitrios Gunopulos and
Xifeng Yan and
Ravi Kumar and
Fatma Ozcan and
Jieping Ye},
title = {B\({}^{\mbox{2}}\)-Sampling: Fusing Balanced and Biased Sampling for
Graph Contrastive Learning},
booktitle = {Proceedings of the 29th {ACM} {SIGKDD} Conference on Knowledge Discovery
and Data Mining, {KDD} 2023, Long Beach, CA, USA, August 6-10, 2023},
pages = {1489--1500},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3580305.3599262},
doi = {10.1145/3580305.3599262},
timestamp = {Mon, 25 Sep 2023 08:29:22 +0200},
biburl = {https://dblp.org/rec/conf/kdd/LiuLLLZD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/WangLL0DDZ23,
author = {Jihong Wang and
Minnan Luo and
Jundong Li and
Yun Lin and
Yushun Dong and
Jin Song Dong and
Qinghua Zheng},
editor = {Ambuj K. Singh and
Yizhou Sun and
Leman Akoglu and
Dimitrios Gunopulos and
Xifeng Yan and
Ravi Kumar and
Fatma Ozcan and
Jieping Ye},
title = {Empower Post-hoc Graph Explanations with Information Bottleneck: {A}
Pre-training and Fine-tuning Perspective},
booktitle = {Proceedings of the 29th {ACM} {SIGKDD} Conference on Knowledge Discovery
and Data Mining, {KDD} 2023, Long Beach, CA, USA, August 6-10, 2023},
pages = {2349--2360},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3580305.3599330},
doi = {10.1145/3580305.3599330},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kdd/WangLL0DDZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/MengZXZZBLTD23,
author = {Mark Huasong Meng and
Qing Zhang and
Guangshuai Xia and
Yuwei Zheng and
Yanjun Zhang and
Guangdong Bai and
Zhi Liu and
Sin G. Teo and
Jin Song Dong},
title = {Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards
of User-unresettable Identifiers},
booktitle = {30th Annual Network and Distributed System Security Symposium, {NDSS}
2023, San Diego, California, USA, February 27 - March 3, 2023},
publisher = {The Internet Society},
year = {2023},
url = {https://www.ndss-symposium.org/ndss-paper/post-gdpr-threat-hunting-on-android-phones-dissecting-os-level-safeguards-of-user-unresettable-identifiers/},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/MengZXZZBLTD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CaiLLWZLGD23,
author = {YuFan Cai and
Yun Lin and
Chenyan Liu and
Jinglian Wu and
Yifan Zhang and
Yiming Liu and
Yeyun Gong and
Jin Song Dong},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {On-the-Fly Adapting Code Summarization on Trainable Cost-Effective
Language Models},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/b16e6de5fbbdcb2df237aa66b302bc17-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/CaiLLWZLGD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/MengTBWD23,
author = {Mark Huasong Meng and
Sin G. Teo and
Guangdong Bai and
Kailong Wang and
Jin Song Dong},
editor = {Hisashi Kashima and
Tsuyoshi Id{\'{e}} and
Wen{-}Chih Peng},
title = {Enhancing Federated Learning Robustness Using Data-Agnostic Model
Pruning},
booktitle = {Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia
Conference on Knowledge Discovery and Data Mining, {PAKDD} 2023, Osaka,
Japan, May 25-28, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13936},
pages = {441--453},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33377-4\_34},
doi = {10.1007/978-3-031-33377-4\_34},
timestamp = {Wed, 31 May 2023 14:56:56 +0200},
biburl = {https://dblp.org/rec/conf/pakdd/MengTBWD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/LiuJD23,
author = {Zhaoyu Liu and
Kan Jiang and
Jin Song Dong},
title = {Sports Injury Prediction in Professional Tennis},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {304--308},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00048},
doi = {10.1109/PRDC59308.2023.00048},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/prdc/LiuJD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/LiuGWWJD23,
author = {Zhaoyu Liu and
Jingyu Guo and
Mo Wang and
Ruicong Wang and
Kan Jiang and
Jin Song Dong},
title = {Recognizing a Sequence of Events from Tennis Video Clips: Addressing
Timestep Identification and Subtle Class Differences},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {337--341},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00054},
doi = {10.1109/PRDC59308.2023.00054},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/LiuGWWJD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/WangLZY0BOD23,
author = {Kailong Wang and
Yuxi Ling and
Yanjun Zhang and
Zhou Yu and
Haoyu Wang and
Guangdong Bai and
Beng Chin Ooi and
Jin Song Dong},
editor = {Evgenia Smirni and
Konstantin Avrachenkov and
Phillipa Gill and
Bhuvan Urgaonkar},
title = {Characterizing Cryptocurrency-themed Malicious Browser Extensions},
booktitle = {Abstract Proceedings of the 2023 {ACM} {SIGMETRICS} International
Conference on Measurement and Modeling of Computer Systems, {SIGMETRICS}
2023, Orlando, FL, USA, June 19-23, 2023},
pages = {91--92},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578338.3593529},
doi = {10.1145/3578338.3593529},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/WangLZY0BOD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Yang0ZHD023,
author = {Xianglin Yang and
Yun Lin and
Yifan Zhang and
Linpeng Huang and
Jin Song Dong and
Hong Mei},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {DeepDebugger: An Interactive Time-Travelling Debugging Approach for
Deep Classifiers},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {973--985},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616252},
doi = {10.1145/3611643.3616252},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Yang0ZHD023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/Liu0ZLD23,
author = {Ruofan Liu and
Yun Lin and
Yifan Zhang and
Penn Han Lee and
Jin Song Dong},
editor = {Joseph A. Calandrino and
Carmela Troncoso},
title = {Knowledge Expansion and Counterfactual Interaction for Reference-Based
Phishing Detection},
booktitle = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
CA, USA, August 9-11, 2023},
pages = {4139--4156},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/liu-ruofan},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/Liu0ZLD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-00399,
author = {Yan Xiao and
Xinyue Zuo and
Lei Xue and
Kailong Wang and
Jin Song Dong and
Ivan Beschastnikh},
title = {Empirical Study on Transformer-based Techniques for Software Engineering},
journal = {CoRR},
volume = {abs/2310.00399},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.00399},
doi = {10.48550/ARXIV.2310.00399},
eprinttype = {arXiv},
eprint = {2310.00399},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CaiSDHBDL22,
author = {Cheng{-}Hao Cai and
Jing Sun and
Gillian Dobbie and
Zh{\'{e}} H{\'{o}}u and
Hadrien Bride and
Jin Song Dong and
Scott Uk{-}Jin Lee},
title = {Fast Automated Abstract Machine Repair Using Simultaneous Modifications
and Refactoring},
journal = {Formal Aspects Comput.},
volume = {34},
number = {2},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3536430},
doi = {10.1145/3536430},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/CaiSDHBDL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/0024HQQW0D22,
author = {Qian Li and
Qingyuan Hu and
Saiyu Qi and
Yong Qi and
Di Wu and
Yun Lin and
Jin Song Dong},
title = {Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label},
journal = {Knowl. Based Syst.},
volume = {241},
pages = {107936},
year = {2022},
url = {https://doi.org/10.1016/j.knosys.2021.107936},
doi = {10.1016/J.KNOSYS.2021.107936},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/0024HQQW0D22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhangWSWDWDD22,
author = {Peixin Zhang and
Jingyi Wang and
Jun Sun and
Xinyu Wang and
Guoliang Dong and
Xingen Wang and
Ting Dai and
Jin Song Dong},
title = {Automatic Fairness Testing of Neural Classifiers Through Adversarial
Sampling},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {9},
pages = {3593--3612},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3101478},
doi = {10.1109/TSE.2021.3101478},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhangWSWDWDD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Yang0LHWDM22,
author = {Xianglin Yang and
Yun Lin and
Ruofan Liu and
Zhenfeng He and
Chao Wang and
Jin Song Dong and
Hong Mei},
title = {DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal
Causality of Deep Classification Training},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5359--5366},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20473},
doi = {10.1609/AAAI.V36I5.20473},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Yang0LHWDM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HouLFDS22,
author = {Zh{\'{e}} H{\'{o}}u and
Qinyi Li and
Ernest Foo and
Jin Song Dong and
Paulo de Souza},
title = {A Digital Twin Runtime Verification Framework for Protecting Satellites
Systems from Cyber Attacks},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {117--122},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00022},
doi = {10.1109/ICECCS54210.2022.00022},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/HouLFDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiangLSSFD22,
author = {Yunkai Liang and
Yun Lin and
Xuezhi Song and
Jun Sun and
Zhiyong Feng and
Jin Song Dong},
title = {gDefects4DL: {A} Dataset of General Real-World Deep Learning Program
Defects},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2022, Pittsburgh, PA, USA,
May 22-24, 2022},
pages = {90--94},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3510454.3516826},
doi = {10.1145/3510454.3516826},
timestamp = {Sat, 20 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiangLSSFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Yang0LD22,
author = {Xianglin Yang and
Yun Lin and
Ruofan Liu and
Jin Song Dong},
editor = {Luc De Raedt},
title = {Temporality Spatialization: {A} Scalable and Faithful Time-Travelling
Visualization for Deep Classifier Training},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4022--4028},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/558},
doi = {10.24963/IJCAI.2022/558},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Yang0LD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Song0NW0DM22,
author = {Xuezhi Song and
Yun Lin and
Siang Hwee Ng and
Yijian Wu and
Xin Peng and
Jin Song Dong and
Hong Mei},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {RegMiner: towards constructing a large regression dataset from code
evolution history},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {314--326},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534224},
doi = {10.1145/3533767.3534224},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Song0NW0DM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LingWB0D22,
author = {Yuxi Ling and
Kailong Wang and
Guangdong Bai and
Haoyu Wang and
Jin Song Dong},
title = {Are they Toeing the Line? Diagnosing Privacy Compliance Violations
among Browser Extensions},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {10:1--10:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3560436},
doi = {10.1145/3551349.3560436},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LingWB0D22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Xiao0BSRD22,
author = {Yan Xiao and
Yun Lin and
Ivan Beschastnikh and
Changsheng Sun and
David S. Rosenblum and
Jin Song Dong},
title = {Repairing Failure-inducing Inputs with Input Reflection},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {85:1--85:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556932},
doi = {10.1145/3551349.3556932},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Xiao0BSRD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/WangZZBQZD22,
author = {Kailong Wang and
Yuwei Zheng and
Qing Zhang and
Guangdong Bai and
Mingchuang Qin and
Donghui Zhang and
Jin Song Dong},
title = {Assessing certificate validation user interfaces of {WPA} supplicants},
booktitle = {{ACM} MobiCom '22: The 28th Annual International Conference on Mobile
Computing and Networking, Sydney, NSW, Australia, October 17 - 21,
2022},
pages = {501--513},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3495243.3517026},
doi = {10.1145/3495243.3517026},
timestamp = {Mon, 17 Oct 2022 13:14:44 +0200},
biburl = {https://dblp.org/rec/conf/mobicom/WangZZBQZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Liu0YD22,
author = {Ruofan Liu and
Yun Lin and
Xianglin Yang and
Jin Song Dong},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Debugging and Explaining Metric Learning Approaches: An Influence
Function Based Perspective},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/3322a9a72a1707de14badd5e552ff466-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/Liu0YD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Song0WZN0DM22,
author = {Xuezhi Song and
Yun Lin and
Yijian Wu and
Yifan Zhang and
Siang Hwee Ng and
Xin Peng and
Jin Song Dong and
Hong Mei},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {RegMiner: mining replicable regression dataset from code repositories},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1711--1715},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3558929},
doi = {10.1145/3540250.3558929},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Song0WZN0DM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DongWSCWDSD22,
author = {Guoliang Dong and
Jingyi Wang and
Jun Sun and
Sudipta Chattopadhyay and
Xinyu Wang and
Ting Dai and
Jie Shi and
Jin Song Dong},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Repairing Adversarial Texts Through Perturbation},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {29--48},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_3},
doi = {10.1007/978-3-031-10363-6\_3},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/DongWSCWDSD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/Liu0YNDD22,
author = {Ruofan Liu and
Yun Lin and
Xianglin Yang and
Siang Hwee Ng and
Dinil Mon Divakaran and
Jin Song Dong},
editor = {Kevin R. B. Butler and
Kurt Thomas},
title = {Inferring Phishing Intention via Webpage Appearance and Dynamics:
{A} Deep Vision Based Approach},
booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
MA, USA, August 10-12, 2022},
pages = {1633--1650},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/liu-ruofan},
timestamp = {Tue, 18 Oct 2022 17:10:36 +0200},
biburl = {https://dblp.org/rec/conf/uss/Liu0YNDD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-01155,
author = {Xianglin Yang and
Yun Lin and
Ruofan Liu and
Zhenfeng He and
Chao Wang and
Jin Song Dong and
Hong Mei},
title = {DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal
Causality of Deep Classification Training},
journal = {CoRR},
volume = {abs/2201.01155},
year = {2022},
url = {https://arxiv.org/abs/2201.01155},
eprinttype = {arXiv},
eprint = {2201.01155},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-01155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-02504,
author = {Guoliang Dong and
Jingyi Wang and
Jun Sun and
Sudipta Chattopadhyay and
Xinyu Wang and
Ting Dai and
Jie Shi and
Jin Song Dong},
title = {Repairing Adversarial Texts through Perturbation},
journal = {CoRR},
volume = {abs/2201.02504},
year = {2022},
url = {https://arxiv.org/abs/2201.02504},
eprinttype = {arXiv},
eprint = {2201.02504},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-02504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-10714,
author = {Yuting Yang and
Pei Huang and
Juan Cao and
Jintao Li and
Yun Lin and
Jin Song Dong and
Feifei Ma and
Jian Zhang},
title = {A Prompting-based Approach for Adversarial Example Generation and
Robustness Enhancement},
journal = {CoRR},
volume = {abs/2203.10714},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.10714},
doi = {10.48550/ARXIV.2203.10714},
eprinttype = {arXiv},
eprint = {2203.10714},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-10714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00783,
author = {Mark Huasong Meng and
Guangdong Bai and
Sin Gee Teo and
Jin Song Dong},
title = {Paoding: Supervised Robustness-preserving Data-free Neural Network
Pruning},
journal = {CoRR},
volume = {abs/2204.00783},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.00783},
doi = {10.48550/ARXIV.2204.00783},
eprinttype = {arXiv},
eprint = {2204.00783},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-00783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-02083,
author = {Bernhard M{\"{o}}ller and
Tony Hoare and
Zhe Hou and
Jin Song Dong},
title = {Geometric Theory for Program Testing},
journal = {CoRR},
volume = {abs/2206.02083},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.02083},
doi = {10.48550/ARXIV.2206.02083},
eprinttype = {arXiv},
eprint = {2206.02083},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-02083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12227,
author = {Mark Huasong Meng and
Guangdong Bai and
Sin Gee Teo and
Zhe Hou and
Yan Xiao and
Yun Lin and
Jin Song Dong},
title = {Adversarial Robustness of Deep Neural Networks: {A} Survey from a
Formal Verification Perspective},
journal = {CoRR},
volume = {abs/2206.12227},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12227},
doi = {10.48550/ARXIV.2206.12227},
eprinttype = {arXiv},
eprint = {2206.12227},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/BrideDGHMO21,
author = {Hadrien Bride and
Jin Song Dong and
Ryan Green and
Zh{\'{e}} H{\'{o}}u and
Brendan P. Mahony and
Martin Oxenham},
title = {{GRAVITAS:} {A} model checking based planning and goal reasoning framework
for autonomous systems},
journal = {Eng. Appl. Artif. Intell.},
volume = {97},
pages = {104091},
year = {2021},
url = {https://doi.org/10.1016/j.engappai.2020.104091},
doi = {10.1016/J.ENGAPPAI.2020.104091},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/BrideDGHMO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/BrideCDDHMS21,
author = {Hadrien Bride and
Cheng{-}Hao Cai and
Jie Dong and
Jin Song Dong and
Zh{\'{e}} H{\'{o}}u and
Seyedali Mirjalili and
Jing Sun},
title = {Silas: {A} high-performance machine learning foundation for logical
reasoning and verification},
journal = {Expert Syst. Appl.},
volume = {176},
pages = {114806},
year = {2021},
url = {https://doi.org/10.1016/j.eswa.2021.114806},
doi = {10.1016/J.ESWA.2021.114806},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/BrideCDDHMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HouSTLHD21,
author = {Zh{\'{e}} H{\'{o}}u and
David San{\'{a}}n and
Alwen Tiu and
Yang Liu and
Koh Chuen Hoa and
Jin Song Dong},
title = {An Isabelle/HOL Formalisation of the {SPARC} Instruction Set Architecture
and the {TSO} Memory Model},
journal = {J. Autom. Reason.},
volume = {65},
number = {4},
pages = {569--598},
year = {2021},
url = {https://doi.org/10.1007/s10817-020-09579-4},
doi = {10.1007/S10817-020-09579-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HouSTLHD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pomacs/WangLZYWBOD21,
author = {Kailong Wang and
Yuxi Ling and
Yanjun Zhang and
Zhou Yu and
Haoyu Wang and
Guangdong Bai and
Beng Chin Ooi and
Jin Song Dong},
title = {Characterizing Cryptocurrency-themed Malicious Browser Extensions},
journal = {Proc. {ACM} Meas. Anal. Comput. Syst.},
volume = {6},
number = {3},
pages = {43:1--43:31},
year = {2021},
url = {https://doi.org/10.1145/3570603},
doi = {10.1145/3570603},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pomacs/WangLZYWBOD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/LiQHQLD21,
author = {Qian Li and
Yong Qi and
Qingyuan Hu and
Saiyu Qi and
Yun Lin and
Jin Song Dong},
title = {Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex
Interpolation},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {16},
pages = {2447--2460},
year = {2021},
url = {https://doi.org/10.1109/TIFS.2020.3047752},
doi = {10.1109/TIFS.2020.3047752},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/LiQHQLD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangLYSLDZL21,
author = {Haijun Wang and
Yun Lin and
Zijiang Yang and
Jun Sun and
Yang Liu and
Jin Song Dong and
Qinghua Zheng and
Ting Liu},
title = {Explaining Regressions via Alignment Slicing and Mending},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {11},
pages = {2421--2437},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2949568},
doi = {10.1109/TSE.2019.2949568},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WangLYSLDZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MahadewaWBSLDL21,
author = {Kulani Mahadewa and
Kailong Wang and
Guangdong Bai and
Ling Shi and
Yan Liu and
Jin Song Dong and
Zhenkai Liang},
title = {Scrutinizing Implementations of Smart Home Integrations},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {12},
pages = {2667--2683},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2960690},
doi = {10.1109/TSE.2019.2960690},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MahadewaWBSLDL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiaoBRSE0D21,
author = {Yan Xiao and
Ivan Beschastnikh and
David S. Rosenblum and
Changsheng Sun and
Sebastian G. Elbaum and
Yun Lin and
Jin Song Dong},
title = {Self-Checking Deep Neural Networks in Deployment},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {372--384},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00044},
doi = {10.1109/ICSE43902.2021.00044},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/XiaoBRSE0D21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MahadewaZBBZFLD21,
author = {Kulani Mahadewa and
Yanjun Zhang and
Guangdong Bai and
Lei Bu and
Zhiqiang Zuo and
Dileepa Fernando and
Zhenkai Liang and
Jin Song Dong},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {Identifying privacy weaknesses from multi-party trigger-action integration
platforms},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {2--15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460319.3464838},
doi = {10.1145/3460319.3464838},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MahadewaZBBZFLD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiLXLLGLD21,
author = {Siqi Li and
Yun Lin and
Xiaofei Xie and
Yuekang Li and
Xiaohong Li and
Weimin Ge and
Yang Liu and
Jin Song Dong},
title = {A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1186--1189},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678794},
doi = {10.1109/ASE51524.2021.9678794},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LiLXLLGLD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001O00D21,
author = {Yun Lin and
You Sheng Ong and
Jun Sun and
Gordon Fraser and
Jin Song Dong},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Graph-based seed object synthesis for search-based unit testing},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1068--1080},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468619},
doi = {10.1145/3468264.3468619},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/0001O00D21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LinLDNCLSZD21,
author = {Yun Lin and
Ruofan Liu and
Dinil Mon Divakaran and
Jun Yang Ng and
Qing Zhou Chan and
Yiwen Lu and
Yuxuan Si and
Fan Zhang and
Jin Song Dong},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {Phishpedia: {A} Hybrid Deep Learning Based Approach to Visually Identify
Phishing Webpages},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {3793--3810},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/lin},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/LinLDNCLSZD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/WangZBKD21,
author = {Kailong Wang and
Junzhe Zhang and
Guangdong Bai and
Ryan K. L. Ko and
Jin Song Dong},
editor = {Jure Leskovec and
Marko Grobelnik and
Marc Najork and
Jie Tang and
Leila Zia},
title = {It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting
Social Media Websites Through {CDN} Bursts},
booktitle = {{WWW} '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia,
April 19-23, 2021},
pages = {2142--2153},
publisher = {{ACM} / {IW3C2}},
year = {2021},
url = {https://doi.org/10.1145/3442381.3450008},
doi = {10.1145/3442381.3450008},
timestamp = {Mon, 07 Jun 2021 12:37:30 +0200},
biburl = {https://dblp.org/rec/conf/www/WangZBKD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02191,
author = {Gelin Zhang and
Zhe Hou and
Yanhong Huang and
Jianqi Shi and
Hadrien Bride and
Jin Song Dong and
Yongsheng Gao},
title = {Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning},
journal = {CoRR},
volume = {abs/2103.02191},
year = {2021},
url = {https://arxiv.org/abs/2103.02191},
eprinttype = {arXiv},
eprint = {2103.02191},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02371,
author = {Yan Xiao and
Ivan Beschastnikh and
David S. Rosenblum and
Changsheng Sun and
Sebastian G. Elbaum and
Yun Lin and
Jin Song Dong},
title = {Self-Checking Deep Neural Networks in Deployment},
journal = {CoRR},
volume = {abs/2103.02371},
year = {2021},
url = {https://arxiv.org/abs/2103.02371},
eprinttype = {arXiv},
eprint = {2103.02371},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02371.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08176,
author = {Peixin Zhang and
Jingyi Wang and
Jun Sun and
Xinyu Wang and
Guoliang Dong and
Xingen Wang and
Ting Dai and
Jin Song Dong},
title = {Automatic Fairness Testing of Neural Classifiers through Adversarial
Sampling},
journal = {CoRR},
volume = {abs/2107.08176},
year = {2021},
url = {https://arxiv.org/abs/2107.08176},
eprinttype = {arXiv},
eprint = {2107.08176},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-12389,
author = {Xuezhi Song and
Yun Lin and
Siang Hwee Ng and
Ping Yu and
Xin Peng and
Jin Song Dong},
title = {Constructing Regression Dataset from Code Evolution History},
journal = {CoRR},
volume = {abs/2109.12389},
year = {2021},
url = {https://arxiv.org/abs/2109.12389},
eprinttype = {arXiv},
eprint = {2109.12389},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-12389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-02718,
author = {Yan Xiao and
Yun Lin and
Ivan Beschastnikh and
Changsheng Sun and
David S. Rosenblum and
Jin Song Dong},
title = {Generalizing Neural Networks by Reflecting Deviating Data in Production},
journal = {CoRR},
volume = {abs/2110.02718},
year = {2021},
url = {https://arxiv.org/abs/2110.02718},
eprinttype = {arXiv},
eprint = {2110.02718},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/DongBHLD20,
author = {Naipeng Dong and
Guangdong Bai and
Lung{-}Chen Huang and
Edmund Kok Heng Lim and
Jin Song Dong},
title = {A blockchain-based decentralized booking system},
journal = {Knowl. Eng. Rev.},
volume = {35},
pages = {e17},
year = {2020},
url = {https://doi.org/10.1017/S0269888920000260},
doi = {10.1017/S0269888920000260},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/DongBHLD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AndreTCL00D20,
author = {{\'{E}}tienne Andr{\'{e}} and
Tian Huat Tan and
Manman Chen and
Shuang Liu and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Automated synthesis of local time requirement for service composition},
journal = {Softw. Syst. Model.},
volume = {19},
number = {4},
pages = {983--1013},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00787-5},
doi = {10.1007/S10270-020-00787-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AndreTCL00D20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SiddharthSJWD20,
author = {Satish Siddharth and
Sircar Saurav and
Kan Jiang and
Bimlesh Wadhwa and
Jin Song Dong},
title = {Model Driven Inputs to aid Athlete's Decision Making},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {485--489},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00061},
doi = {10.1109/APSEC51365.2020.00061},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/SiddharthSJWD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrideCDGHMM20,
author = {Hadrien Bride and
Cheng{-}Hao Cai and
Jin Song Dong and
Rajeev Gor{\'{e}} and
Zh{\'{e}} H{\'{o}}u and
Brendan P. Mahony and
Jim McCarthy},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {{N-PAT:} {A} Nested Model-Checker - (System Description)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {369--377},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_22},
doi = {10.1007/978-3-030-51054-1\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrideCDGHMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BrideDHMM20,
author = {Hadrien Bride and
Jin Song Dong and
Zh{\'{e}} H{\'{o}}u and
Brendan P. Mahony and
Jim McCarthy},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {{RL:} a Language for Formal Engineering},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {31--36},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00011},
doi = {10.1109/ICECCS51672.2020.00011},
timestamp = {Fri, 04 Feb 2022 07:45:01 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BrideDHMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JiangILD20,
author = {Kan Jiang and
Masoumeh Izadi and
Zhaoyu Liu and
Jin Song Dong},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Deep Learning Application in Broadcast Tennis Video Annotation},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {53--62},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00014},
doi = {10.1109/ICECCS51672.2020.00014},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/JiangILD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongZWLSH0WDD20,
author = {Yizhen Dong and
Peixin Zhang and
Jingyi Wang and
Shuang Liu and
Jun Sun and
Jianye Hao and
Xinyu Wang and
Li Wang and
Jin Song Dong and
Ting Dai},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {An Empirical Study on Correlation between Coverage and Robustness
for Deep Neural Networks},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {73--82},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00016},
doi = {10.1109/ICECCS51672.2020.00016},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/DongZWLSH0WDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangW0D0WDD20,
author = {Peixin Zhang and
Jingyi Wang and
Jun Sun and
Guoliang Dong and
Xinyu Wang and
Xingen Wang and
Jin Song Dong and
Ting Dai},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {White-box fairness testing through adversarial sampling},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {949--960},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380331},
doi = {10.1145/3377811.3380331},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhangW0D0WDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/00010FXLD20,
author = {Yun Lin and
Jun Sun and
Gordon Fraser and
Ziheng Xiu and
Ting Liu and
Jin Song Dong},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Recovering fitness gradients for interprocedural Boolean flags in
search-based testing},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {440--451},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397358},
doi = {10.1145/3395363.3397358},
timestamp = {Sun, 19 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/00010FXLD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DongWSZWDDW20,
author = {Guoliang Dong and
Jingyi Wang and
Jun Sun and
Yang Zhang and
Xinyu Wang and
Ting Dai and
Jin Song Dong and
Xingen Wang},
title = {Towards Interpreting Recurrent Neural Networks through Probabilistic
Abstraction},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {499--510},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416592},
doi = {10.1145/3324884.3416592},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DongWSZWDDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sci/811,
editor = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
title = {Nature-Inspired Optimizers - Theories, Literature Reviews and Applications},
series = {Studies in Computational Intelligence},
volume = {811},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-12127-3},
doi = {10.1007/978-3-030-12127-3},
isbn = {978-3-030-12126-6},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08116,
author = {{\'{E}}tienne Andr{\'{e}} and
Tian Huat Tan and
Manman Chen and
Shuang Liu and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Automated synthesis of local time requirement for service composition},
journal = {CoRR},
volume = {abs/2003.08116},
year = {2020},
url = {https://arxiv.org/abs/2003.08116},
eprinttype = {arXiv},
eprint = {2003.08116},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05520,
author = {Hadrien Bride and
Cheng{-}Hao Cai and
Jin Song Dong and
Rajeev Gor{\'{e}} and
Zh{\'{e}} H{\'{o}}u and
Brendan P. Mahony and
Jim McCarthy},
title = {{N-PAT:} {A} Nested Model-Checker},
journal = {CoRR},
volume = {abs/2005.05520},
year = {2020},
url = {https://arxiv.org/abs/2005.05520},
eprinttype = {arXiv},
eprint = {2005.05520},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05520.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsur/KumarLBPDM19,
author = {Pardeep Kumar and
Yun Lin and
Guangdong Bai and
Andrew Paverd and
Jin Song Dong and
Andrew P. Martin},
title = {Smart Grid Metering Networks: {A} Survey on Security, Privacy and
Open Research Issues},
journal = {{IEEE} Commun. Surv. Tutorials},
volume = {21},
number = {3},
pages = {2886--2927},
year = {2019},
url = {https://doi.org/10.1109/COMST.2019.2899354},
doi = {10.1109/COMST.2019.2899354},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsur/KumarLBPDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/JegourelSD19,
author = {Cyrille J{\'{e}}gourel and
Jun Sun and
Jin Song Dong},
title = {Sequential Schemes for Frequentist Estimation of Properties in Statistical
Model Checking},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {29},
number = {4},
pages = {25:1--25:22},
year = {2019},
url = {https://doi.org/10.1145/3310226},
doi = {10.1145/3310226},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/JegourelSD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/YeZBDLDW19,
author = {Quanqi Ye and
Yan Zhang and
Guangdong Bai and
Naipeng Dong and
Zhenkai Liang and
Jin Song Dong and
Haoyu Wang},
editor = {Zhiqiang Lin and
Charalampos Papamanthou and
Michalis Polychronakis},
title = {LightSense: {A} Novel Side Channel for Zero-permission Mobile User
Tracking},
booktitle = {Information Security - 22nd International Conference, {ISC} 2019,
New York City, NY, USA, September 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11723},
pages = {299--318},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30215-3\_15},
doi = {10.1007/978-3-030-30215-3\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/YeZBDLDW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/MirjaliliD19,
author = {Seyedali Mirjalili and
Jin Song Dong},
editor = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
title = {Introduction to Nature-Inspired Algorithms},
booktitle = {Nature-Inspired Optimizers - Theories, Literature Reviews and Applications},
series = {Studies in Computational Intelligence},
volume = {811},
pages = {1--5},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12127-3\_1},
doi = {10.1007/978-3-030-12127-3\_1},
timestamp = {Thu, 18 Feb 2021 13:46:45 +0100},
biburl = {https://dblp.org/rec/series/sci/MirjaliliD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/MirjaliliDL19,
author = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
editor = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
title = {Ant Colony Optimizer: Theory, Literature Review, and Application in
{AUV} Path Planning},
booktitle = {Nature-Inspired Optimizers - Theories, Literature Reviews and Applications},
series = {Studies in Computational Intelligence},
volume = {811},
pages = {7--21},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12127-3\_2},
doi = {10.1007/978-3-030-12127-3\_2},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/MirjaliliDL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/MirjaliliDSF19,
author = {Seyedali Mirjalili and
Jin Song Dong and
Ali Safa Sadiq and
Hossam Faris},
editor = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
title = {Genetic Algorithm: Theory, Literature Review, and Application in Image
Reconstruction},
booktitle = {Nature-Inspired Optimizers - Theories, Literature Reviews and Applications},
series = {Studies in Computational Intelligence},
volume = {811},
pages = {69--85},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12127-3\_5},
doi = {10.1007/978-3-030-12127-3\_5},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/MirjaliliDSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/SaremiMMD19,
author = {Shahrzad Saremi and
Seyedeh Zahra Mirjalili and
Seyedali Mirjalili and
Jin Song Dong},
editor = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
title = {Grasshopper Optimization Algorithm: Theory, Literature Review, and
Application in Hand Posture Estimation},
booktitle = {Nature-Inspired Optimizers - Theories, Literature Reviews and Applications},
series = {Studies in Computational Intelligence},
volume = {811},
pages = {107--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12127-3\_7},
doi = {10.1007/978-3-030-12127-3\_7},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/SaremiMMD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/MirjaliliDLS19,
author = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis and
Ali Safa Sadiq},
editor = {Seyedali Mirjalili and
Jin Song Dong and
Andrew Lewis},
title = {Particle Swarm Optimization: Theory, Literature Review, and Application
in Airfoil Design},
booktitle = {Nature-Inspired Optimizers - Theories, Literature Reviews and Applications},
series = {Studies in Computational Intelligence},
volume = {811},
pages = {167--184},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12127-3\_10},
doi = {10.1007/978-3-030-12127-3\_10},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/MirjaliliDLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-11203,
author = {Zhe Hou and
David San{\'{a}}n and
Alwen Tiu and
Yang Liu and
Jin Song Dong},
title = {A formalisation of the {SPARC} {TSO} memory model for multi-core machine
code},
journal = {CoRR},
volume = {abs/1906.11203},
year = {2019},
url = {http://arxiv.org/abs/1906.11203},
eprinttype = {arXiv},
eprint = {1906.11203},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-10023,
author = {Guoliang Dong and
Jingyi Wang and
Jun Sun and
Yang Zhang and
Xinyu Wang and
Ting Dai and
Jin Song Dong},
title = {Analyzing Recurrent Neural Network by Probabilistic Abstraction},
journal = {CoRR},
volume = {abs/1909.10023},
year = {2019},
url = {http://arxiv.org/abs/1909.10023},
eprinttype = {arXiv},
eprint = {1909.10023},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-10023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01380,
author = {Hadrien Bride and
Jin Song Dong and
Ryan Green and
Zhe Hou and
Brendan P. Mahony and
Martin Oxenham},
title = {{GRAVITAS:} {A} Model Checking Based Planning and Goal Reasoning Framework
for Autonomous Systems},
journal = {CoRR},
volume = {abs/1910.01380},
year = {2019},
url = {http://arxiv.org/abs/1910.01380},
eprinttype = {arXiv},
eprint = {1910.01380},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01382,
author = {Hadrien Bride and
Zhe Hou and
Jie Dong and
Jin Song Dong and
Seyed Mohammad Mirjalili},
title = {Silas: High Performance, Explainable and Verifiable Machine Learning},
journal = {CoRR},
volume = {abs/1910.01382},
year = {2019},
url = {http://arxiv.org/abs/1910.01382},
eprinttype = {arXiv},
eprint = {1910.01382},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05904,
author = {Yizhen Dong and
Peixin Zhang and
Jingyi Wang and
Shuang Liu and
Jun Sun and
Jianye Hao and
Xinyu Wang and
Li Wang and
Jin Song Dong and
Dai Ting},
title = {There is Limited Correlation between Coverage and Robustness for Deep
Neural Networks},
journal = {CoRR},
volume = {abs/1911.05904},
year = {2019},
url = {http://arxiv.org/abs/1911.05904},
eprinttype = {arXiv},
eprint = {1911.05904},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-05904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ShiZLSDQ18,
author = {Ling Shi and
Yongxin Zhao and
Yang Liu and
Jun Sun and
Jin Song Dong and
Shengchao Qin},
title = {A {UTP} semantics for communicating processes with shared variables
and its formal encoding in {PVS}},
journal = {Formal Aspects Comput.},
volume = {30},
number = {3-4},
pages = {351--380},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0453-7},
doi = {10.1007/S00165-018-0453-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ShiZLSDQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/SaremiMLLD18,
author = {Shahrzad Saremi and
Seyedali Mirjalili and
Andrew Lewis and
Alan Wee{-}Chung Liew and
Jin Song Dong},
title = {Enhanced multi-objective particle swarm optimisation for estimating
hand postures},
journal = {Knowl. Based Syst.},
volume = {158},
pages = {175--195},
year = {2018},
url = {https://doi.org/10.1016/j.knosys.2018.05.043},
doi = {10.1016/J.KNOSYS.2018.05.043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/SaremiMLLD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swevo/MirjaliliLD18,
author = {Seyedali Mirjalili and
Andrew Lewis and
Jin Song Dong},
title = {Confidence-based robust optimisation using multi-objective meta-heuristics},
journal = {Swarm Evol. Comput.},
volume = {43},
pages = {109--126},
year = {2018},
url = {https://doi.org/10.1016/j.swevo.2018.04.002},
doi = {10.1016/J.SWEVO.2018.04.002},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/swevo/MirjaliliLD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaiYWBSLDV18,
author = {Guangdong Bai and
Quanqi Ye and
Yongzheng Wu and
Heila Botha and
Jun Sun and
Yang Liu and
Jin Song Dong and
Willem Visser},
title = {Towards Model Checking Android Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {6},
pages = {595--612},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2697848},
doi = {10.1109/TSE.2017.2697848},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BaiYWBSLDV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/0044000D18,
author = {Li Li and
Jun Sun and
Yang Liu and
Meng Sun and
Jin Song Dong},
title = {A Formal Specification and Verification Framework for Timed Security
Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {8},
pages = {725--746},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2712621},
doi = {10.1109/TSE.2017.2712621},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/0044000D18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MahadewaWBSDL18,
author = {Kulani Tharaka Mahadewa and
Kailong Wang and
Guangdong Bai and
Ling Shi and
Jin Song Dong and
Zhenkai Liang},
title = {{HOMESCAN:} Scrutinizing Implementations of Smart Home Integrations},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00011},
doi = {10.1109/ICECCS2018.2018.00011},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MahadewaWBSDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ThinDBD18,
author = {Wai Yan Maung Maung Thin and
Naipeng Dong and
Guangdong Bai and
Jin Song Dong},
title = {Formal Analysis of a Proof-of-Stake Blockchain},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {197--200},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00031},
doi = {10.1109/ICECCS2018.2018.00031},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ThinDBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FernandoDJD18,
author = {Dileepa Fernando and
Naipeng Dong and
Cyrille J{\'{e}}gourel and
Jin Song Dong},
editor = {Jing Sun and
Meng Sun},
title = {Verification of Strong Nash-equilibrium for Probabilistic {BAR} Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {106--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_7},
doi = {10.1007/978-3-030-02450-5\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FernandoDJD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BrideDHMO18,
author = {Hadrien Bride and
Jin Song Dong and
Zh{\'{e}} H{\'{o}}u and
Brendan P. Mahony and
Martin Oxenham},
editor = {Jing Sun and
Meng Sun},
title = {Towards Trustworthy {AI} for Autonomous Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {407--411},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_24},
doi = {10.1007/978-3-030-02450-5\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BrideDHMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BrideDDH18,
author = {Hadrien Bride and
Jie Dong and
Jin Song Dong and
Zh{\'{e}} H{\'{o}}u},
editor = {Jing Sun and
Meng Sun},
title = {Towards Dependable and Explainable Machine Learning Using Automated
Reasoning},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {412--416},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_25},
doi = {10.1007/978-3-030-02450-5\_25},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BrideDDH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Jegourel0D18,
author = {Cyrille J{\'{e}}gourel and
Jun Sun and
Jin Song Dong},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Sequential Massart Algorithm for Statistical Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {287--304},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_19},
doi = {10.1007/978-3-030-03421-4\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Jegourel0D18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Lin0TBWD18,
author = {Yun Lin and
Jun Sun and
Lyly Tran and
Guangdong Bai and
Haijun Wang and
Jin Song Dong},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Break the dead end of dynamic slicing: localizing data and control
omission bug},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {509--519},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238163},
doi = {10.1145/3238147.3238163},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Lin0TBWD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ShiLHKHD17,
author = {Ling Shi and
Shuang Liu and
Jianye Hao and
Jun Yang Koh and
Zhe Hou and
Jin Song Dong},
title = {Towards Solving Decision Making Problems Using Probabilistic Model
Checking},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {150--153},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.21},
doi = {10.1109/ICECCS.2017.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ShiLHKHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiDPSBLD17,
author = {Li Li and
Naipeng Dong and
Jun Pang and
Jun Sun and
Guangdong Bai and
Yang Liu and
Jin Song Dong},
editor = {Zhenhua Duan and
Luke Ong},
title = {A Verification Framework for Stateful Security Protocols},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {262--280},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_16},
doi = {10.1007/978-3-319-68690-5\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiDPSBLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuoDBYDXS17,
author = {Chenkai Guo and
Naipeng Dong and
Guangdong Bai and
Quanqi Ye and
Jin Song Dong and
Jing Xu and
Guannan Si},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {App genome: callback sequencing in Android},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {149--151},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.82},
doi = {10.1109/ICSE-C.2017.82},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GuoDBYDXS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LinSXLD17,
author = {Yun Lin and
Jun Sun and
Yinxing Xue and
Yang Liu and
Jin Song Dong},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Feedback-based debugging},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {393--403},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.43},
doi = {10.1109/ICSE.2017.43},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LinSXLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LinMXXSPLZD17,
author = {Yun Lin and
Guozhu Meng and
Yinxing Xue and
Zhenchang Xing and
Jun Sun and
Xin Peng and
Yang Liu and
Wenyun Zhao and
Jin Song Dong},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Mining implicit design templates for actionable code reuse},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {394--404},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115652},
doi = {10.1109/ASE.2017.8115652},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LinMXXSPLZD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Jegourel0D17,
author = {Cyrille J{\'{e}}gourel and
Jun Sun and
Jin Song Dong},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Sequential Schemes for Frequentist Estimation of Properties in Statistical
Model Checking},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {333--350},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_23},
doi = {10.1007/978-3-319-66335-7\_23},
timestamp = {Mon, 16 Sep 2019 15:31:32 +0200},
biburl = {https://dblp.org/rec/conf/qest/Jegourel0D17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/YeBDD17,
author = {Quanqi Ye and
Guangdong Bai and
Naipeng Dong and
Jin Song Dong},
editor = {Xiaodong Lin and
Ali A. Ghorbani and
Kui Ren and
Sencun Zhu and
Aiqing Zhang},
title = {Inferring Implicit Assumptions and Correct Usage of Mobile Payment
Protocols},
booktitle = {Security and Privacy in Communication Networks - 13th International
Conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22-25,
2017, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {238},
pages = {469--488},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-78813-5\_24},
doi = {10.1007/978-3-319-78813-5\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/YeBDD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/WangBDD17,
author = {Kailong Wang and
Guangdong Bai and
Naipeng Dong and
Jin Song Dong},
editor = {Xiaodong Lin and
Ali A. Ghorbani and
Kui Ren and
Sencun Zhu and
Aiqing Zhang},
title = {A Framework for Formal Analysis of Privacy on {SSO} Protocols},
booktitle = {Security and Privacy in Communication Networks - 13th International
Conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22-25,
2017, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {238},
pages = {763--777},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-78813-5\_41},
doi = {10.1007/978-3-319-78813-5\_41},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/WangBDD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MerzPD16,
author = {Stephan Merz and
Jun Pang and
Jin Song Dong},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {28},
number = {3},
pages = {343--344},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0378-y},
doi = {10.1007/S00165-016-0378-Y},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MerzPD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MerzPD16a,
author = {Stephan Merz and
Jun Pang and
Jin Song Dong},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {28},
number = {5},
pages = {723--724},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0390-2},
doi = {10.1007/S00165-016-0390-2},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MerzPD16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Zhu0DL16,
author = {Huiquan Zhu and
Jing Sun and
Jin Song Dong and
Shang{-}Wei Lin},
title = {From verified model to executable program: the {PAT} approach},
journal = {Innov. Syst. Softw. Eng.},
volume = {12},
number = {1},
pages = {1--26},
year = {2016},
url = {https://doi.org/10.1007/s11334-015-0269-z},
doi = {10.1007/S11334-015-0269-Z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Zhu0DL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SongZLASDC16,
author = {Songzheng Song and
Jiexin Zhang and
Yang Liu and
Mikhail Auguston and
Jun Sun and
Jin Song Dong and
Tieming Chen},
title = {Formalizing and verifying stochastic system architectures using Monterey
Phoenix},
journal = {Softw. Syst. Model.},
volume = {15},
number = {2},
pages = {453--471},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0411-7},
doi = {10.1007/S10270-014-0411-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SongZLASDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiSD16,
author = {Li Li and
Jun Sun and
Jin Song Dong},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Automated Verification of Timed Security Protocols with Clock Drift},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {513--530},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_31},
doi = {10.1007/978-3-319-48989-6\_31},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FernandoDJD16,
author = {Dileepa Fernando and
Naipeng Dong and
Cyrille J{\'{e}}gourel and
Jin Song Dong},
editor = {Hai Wang and
Mounir Mokhtari},
title = {Verification of Nash-Equilibrium for Probabilistic {BAR} Systems},
booktitle = {21st International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICECCS.2016.016},
doi = {10.1109/ICECCS.2016.016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FernandoDJD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiuSXWDW16,
author = {Shuang Liu and
Jun Sun and
Hao Xiao and
Bimlesh Wadhwa and
Jin Song Dong and
Xinyu Wang},
editor = {Hai Wang and
Mounir Mokhtari},
title = {Improving Quality of Use Case Documents through Learning and User
Interaction},
booktitle = {21st International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICECCS.2016.021},
doi = {10.1109/ICECCS.2016.021},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiuSXWDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiuBSD16,
author = {Shuang Liu and
Guangdong Bai and
Jun Sun and
Jin Song Dong},
editor = {Hai Wang and
Mounir Mokhtari},
title = {Towards Using Concurrent Java {API} Correctly},
booktitle = {21st International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
pages = {219--222},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICECCS.2016.038},
doi = {10.1109/ICECCS.2016.038},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiuBSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GuoYDBDX16,
author = {Chenkai Guo and
Quanqi Ye and
Naipeng Dong and
Guangdong Bai and
Jin Song Dong and
Jing Xu},
editor = {Hai Wang and
Mounir Mokhtari},
title = {Automatic Construction of Callback Model for Android Application},
booktitle = {21st International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
pages = {231--234},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICECCS.2016.041},
doi = {10.1109/ICECCS.2016.041},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/GuoYDBDX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenTSWL0D16,
author = {Manman Chen and
Tian Huat Tan and
Jun Sun and
Jingyi Wang and
Yang Liu and
Jing Sun and
Jin Song Dong},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Service Adaptation with Probabilistic Partial Models},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {122--140},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_9},
doi = {10.1007/978-3-319-47846-3\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenTSWL0D16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/NguyenTSLLCD16,
author = {Truong Khanh Nguyen and
Tian Huat Tan and
Jun Sun and
Jiaying Li and
Yang Liu and
Manman Chen and
Jin Song Dong},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Scaling BDD-based Timed Verification with Simulation Reduction},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {363--382},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_23},
doi = {10.1007/978-3-319-47846-3\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/NguyenTSLLCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanCSLAXD16,
author = {Tian Huat Tan and
Manman Chen and
Jun Sun and
Yang Liu and
{\'{E}}tienne Andr{\'{e}} and
Yinxing Xue and
Jin Song Dong},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Optimizing selection of competing services with probabilistic hierarchical
refinement},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {85--95},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884861},
doi = {10.1145/2884781.2884861},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TanCSLAXD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jist/2016,
editor = {Yuan{-}Fang Li and
Wei Hu and
Jin Song Dong and
Grigoris Antoniou and
Zhe Wang and
Jun Sun and
Yang Liu},
title = {Semantic Technology - 6th Joint International Conference, {JIST} 2016,
Singapore, Singapore, November 2-4, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10055},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50112-3},
doi = {10.1007/978-3-319-50112-3},
isbn = {978-3-319-50111-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jist/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DongFLTWW15,
author = {Jin Song Dong and
Yuzhang Feng and
Yuan{-}Fang Li and
Colin Keng{-}Yan Tan and
Bimlesh Wadhwa and
Hai H. Wang},
title = {{BOWL:} augmenting the Semantic Web with beliefs},
journal = {Innov. Syst. Softw. Eng.},
volume = {11},
number = {3},
pages = {203--215},
year = {2015},
url = {https://doi.org/10.1007/s11334-015-0243-9},
doi = {10.1007/S11334-015-0243-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/DongFLTWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangSWLSDYL15,
author = {Ting Wang and
Jun Sun and
Xinyu Wang and
Yang Liu and
Yuanjie Si and
Jin Song Dong and
Xiaohu Yang and
Xiaohong Li},
title = {A Systematic Study on Explicit-State Non-Zenoness Checking for Timed
Automata},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {1},
pages = {3--18},
year = {2015},
url = {https://doi.org/10.1109/TSE.2014.2359893},
doi = {10.1109/TSE.2014.2359893},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WangSWLSDYL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiSLD15,
author = {Li Li and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Verifying Parameterized Timed Security Protocols},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {342--359},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_22},
doi = {10.1007/978-3-319-19249-9\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiSLD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BaiSWYLDG15,
author = {Guangdong Bai and
Jun Sun and
Jianliang Wu and
Quanqi Ye and
Li Li and
Jin Song Dong and
Shanqing Guo},
title = {All Your Sessions Are Belong to Us: Investigating Authenticator Leakage
through Backup Channels on Android},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.17},
doi = {10.1109/ICECCS.2015.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BaiSWYLDG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YeBWD15,
author = {Quanqi Ye and
Guangdong Bai and
Kailong Wang and
Jin Song Dong},
title = {Formal Analysis of a Single Sign-On Protocol Implementation for Android},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.20},
doi = {10.1109/ICECCS.2015.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YeBWD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongSCJ015,
author = {Jin Song Dong and
Ling Shi and
Le Vu Nguyen Chuong and
Kan Jiang and
Jing Sun},
title = {Sports Strategy Analytics Using Probabilistic Reasoning},
booktitle = {20th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2015, Gold Coast, Australia, December 9-12, 2015},
pages = {182--185},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICECCS.2015.28},
doi = {10.1109/ICECCS.2015.28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/DongSCJ015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TanXCSLD15,
author = {Tian Huat Tan and
Yinxing Xue and
Manman Chen and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Michal Young and
Tao Xie},
title = {Optimizing selection of competing features via feedback-directed evolutionary
algorithms},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {246--256},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771808},
doi = {10.1145/2771783.2771808},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/TanXCSLD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuiSLD15,
author = {Lin Gui and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Michal Young and
Tao Xie},
title = {Reliability assessment for distributed systems via communication abstraction
and refinement},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {293--304},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771794},
doi = {10.1145/2771783.2771794},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GuiSLD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LinSNLD15,
author = {Shang{-}Wei Lin and
Jun Sun and
Truong Khanh Nguyen and
Yang Liu and
Jin Song Dong},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Interpolation Guided Compositional Verification {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.33},
doi = {10.1109/ASE.2015.33},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LinSNLD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SongLASDC15,
author = {Songzheng Song and
Yang Liu and
Mikhail Auguston and
Jun Sun and
Jin Song Dong and
Tieming Chen},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Formalizing and verifying stochastic system architectures using Monterey
Phoenix (SoSyM abstract)},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {449},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338279},
doi = {10.1109/MODELS.2015.7338279},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SongLASDC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Dong0LL0S15,
author = {Jin Song Dong and
Jun Sun and
Yang Liu and
Yuan{-}Fang Li and
Jing Sun and
Ling Shi},
title = {Event and Strategy Analytics},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2015, Nanjing, China, September 12-14, 2015},
pages = {4--6},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TASE.2015.28},
doi = {10.1109/TASE.2015.28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Dong0LL0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DongLSZ14,
author = {Jin Song Dong and
Yang Liu and
Jun Sun and
Xian Zhang},
title = {Towards verification of computation orchestration},
journal = {Formal Aspects Comput.},
volume = {26},
number = {4},
pages = {729--759},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0280-9},
doi = {10.1007/S00165-013-0280-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DongLSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/Si0LDPZY14,
author = {Yuanjie Si and
Jun Sun and
Yang Liu and
Jin Song Dong and
Jun Pang and
Shao Jie Zhang and
Xiaohu Yang},
title = {Model checking with fairness assumptions using {PAT}},
journal = {Frontiers Comput. Sci.},
volume = {8},
number = {1},
pages = {1--16},
year = {2014},
url = {https://doi.org/10.1007/s11704-013-3091-5},
doi = {10.1007/S11704-013-3091-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/Si0LDPZY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LiDSLS14,
author = {Yi Li and
Jin Song Dong and
Jing Sun and
Yang Liu and
Jun Sun},
title = {Model checking approach to automated planning},
journal = {Formal Methods Syst. Des.},
volume = {44},
number = {2},
pages = {176--202},
year = {2014},
url = {https://doi.org/10.1007/s10703-013-0197-1},
doi = {10.1007/S10703-013-0197-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/LiDSLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Liu0LD14,
author = {Guan Jun Liu and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Complexity of the Soundness Problem of Workflow Nets},
journal = {Fundam. Informaticae},
volume = {131},
number = {1},
pages = {81--101},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1005},
doi = {10.3233/FI-2014-1005},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Liu0LD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Andre00D14,
author = {{\'{E}}tienne Andr{\'{e}} and
Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Parameter synthesis for hierarchical concurrent real-time systems},
journal = {Real Time Syst.},
volume = {50},
number = {5-6},
pages = {620--679},
year = {2014},
url = {https://doi.org/10.1007/s11241-014-9208-6},
doi = {10.1007/S11241-014-9208-6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/Andre00D14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/LiuZLDSBM14,
author = {Yan Liu and
Xian Zhang and
Yang Liu and
Jin Song Dong and
Jun Sun and
Jit Biswas and
Mounir Mokhtari},
title = {Towards Formal Modelling and Verification of Pervasive Computing Systems},
journal = {Trans. Comput. Collect. Intell.},
volume = {16},
pages = {62--91},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44871-7\_3},
doi = {10.1007/978-3-662-44871-7\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcci/LiuZLDSBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LinAL0D14,
author = {Shang{-}Wei Lin and
{\'{E}}tienne Andr{\'{e}} and
Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Learning Assumptions for CompositionalVerification of Timed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {2},
pages = {137--153},
year = {2014},
url = {https://doi.org/10.1109/TSE.2013.57},
doi = {10.1109/TSE.2013.57},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LinAL0D14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZhaoDL014,
author = {Yongxin Zhao and
Jin Song Dong and
Yang Liu and
Jun Sun},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Towards a Combination of CafeOBJ and {PAT}},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {151--170},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_8},
doi = {10.1007/978-3-642-54624-2\_8},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ZhaoDL014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiPL0D14,
author = {Li Li and
Jun Pang and
Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Symbolic Analysis of an Electric Vehicle Charging Protocol},
booktitle = {2014 19th International Conference on Engineering of Complex Computer
Systems, Tianjin, China, August 4-7, 2014},
pages = {11--18},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICECCS.2014.11},
doi = {10.1109/ICECCS.2014.11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/LiPL0D14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Gui0S0D14,
author = {Lin Gui and
Jun Sun and
Songzheng Song and
Yang Liu and
Jin Song Dong},
editor = {Stephan Merz and
Jun Pang},
title = {SCC-Based Improved Reachability Analysis for Markov Decision Processes},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {171--186},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_12},
doi = {10.1007/978-3-319-11737-9\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Gui0S0D14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiHSLD14,
author = {Li Li and
Hong Hu and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Stephan Merz and
Jun Pang},
title = {Practical Analysis Framework for Software-Based Attestation Scheme},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {284--299},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_19},
doi = {10.1007/978-3-319-11737-9\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiHSLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiSLD14,
author = {Li Li and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Stephan Merz and
Jun Pang},
title = {TAuth: Verifying Timed Security Protocols},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {300--315},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_20},
doi = {10.1007/978-3-319-11737-9\_20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiSLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenT0LD14,
author = {Manman Chen and
Tian Huat Tan and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {VeriWS: a tool for verification of combined functional and non-functional
requirements of web service composition},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {564--567},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591070},
doi = {10.1145/2591062.2591070},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChenT0LD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/LinXPL0ZD14,
author = {Yun Lin and
Zhenchang Xing and
Xin Peng and
Yang Liu and
Jun Sun and
Wenyun Zhao and
Jin Song Dong},
title = {Clonepedia: Summarizing Code Clones by Common Syntactic Context for
Software Maintenance},
booktitle = {30th {IEEE} International Conference on Software Maintenance and Evolution,
Victoria, BC, Canada, September 29 - October 3, 2014},
pages = {341--350},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSME.2014.56},
doi = {10.1109/ICSME.2014.56},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsm/LinXPL0ZD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Dong0LL14,
author = {Jin Song Dong and
Jun Sun and
Yang Liu and
Yuan{-}Fang Li},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {Event Analytics},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {17--24},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_2},
doi = {10.1007/978-3-319-10882-7\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Dong0LL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuSLZWDW14,
author = {Shuang Liu and
Jun Sun and
Yang Liu and
Yue Zhang and
Bimlesh Wadhwa and
Jin Song Dong and
Xinyu Wang},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Automatic early defects detection in use case documents},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {785--790},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642969},
doi = {10.1145/2642937.2642969},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LiuSLZWDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Gui00ND14,
author = {Lin Gui and
Jun Sun and
Yang Liu and
Truong Khanh Nguyen and
Jin Song Dong},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {RaPiD: a toolkit for reliability analysis of non-deterministic systems},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {727--730},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2661668},
doi = {10.1145/2635868.2661668},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Gui00ND14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/TanCA0LD14,
author = {Tian Huat Tan and
Manman Chen and
{\'{E}}tienne Andr{\'{e}} and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Chin{-}Wan Chung and
Andrei Z. Broder and
Kyuseok Shim and
Torsten Suel},
title = {Automated runtime recovery for QoS-based service composition},
booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
of Korea, April 7-11, 2014},
pages = {563--574},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2566486.2568048},
doi = {10.1145/2566486.2568048},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/TanCA0LD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiPLSD14,
author = {Li Li and
Jun Pang and
Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Stateful Security Protocol Verification},
journal = {CoRR},
volume = {abs/1403.2237},
year = {2014},
url = {http://arxiv.org/abs/1403.2237},
eprinttype = {arXiv},
eprint = {1403.2237},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiPLSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/00010DLSA13,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Yan Liu and
Ling Shi and
{\'{E}}tienne Andr{\'{e}}},
title = {Modeling and verifying hierarchical real-time systems using stateful
timed {CSP}},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {1},
pages = {3:1--3:29},
year = {2013},
url = {https://doi.org/10.1145/2430536.2430537},
doi = {10.1145/2430536.2430537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/00010DLSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Liu0L0ZD13,
author = {Yang Liu and
Wei Chen and
Yanhong A. Liu and
Jun Sun and
Shao Jie Zhang and
Jin Song Dong},
title = {Verifying Linearizability via Optimized Refinement Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {7},
pages = {1018--1039},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.82},
doi = {10.1109/TSE.2012.82},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Liu0L0ZD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JiLL0DN13,
author = {Kun Ji and
Yang Liu and
Shang{-}Wei Lin and
Jun Sun and
Jin Song Dong and
Truong Khanh Nguyen},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {{CELL:} {A} Compositional Verification Framework},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {474--477},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_38},
doi = {10.1007/978-3-319-02444-8\_38},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/JiLL0DN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AndreLSDL13,
author = {{\'{E}}tienne Andr{\'{e}} and
Yang Liu and
Jun Sun and
Jin Song Dong and
Shang{-}Wei Lin},
editor = {Natasha Sharygina and
Helmut Veith},
title = {PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time
Systems},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {984--989},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_70},
doi = {10.1007/978-3-642-39799-8\_70},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AndreLSDL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ShiZL0DQ13,
author = {Ling Shi and
Yongxin Zhao and
Yang Liu and
Jun Sun and
Jin Song Dong and
Shengchao Qin},
editor = {Lindsay Groves and
Jing Sun},
title = {A {UTP} Semantics for Communicating Processes with Shared Variables},
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 = {215--230},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_15},
doi = {10.1007/978-3-642-41202-8\_15},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ShiZL0DQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanA00DC13,
author = {Tian Huat Tan and
{\'{E}}tienne Andr{\'{e}} and
Jun Sun and
Yang Liu and
Jin Song Dong and
Manman Chen},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Dynamic synthesis of local time requirement for service composition},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {542--551},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606600},
doi = {10.1109/ICSE.2013.6606600},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TanA00DC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DongSL04,
author = {Jin Song Dong and
Jun Sun and
Yang Liu},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Build your own model checker in one month},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1481--1483},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606751},
doi = {10.1109/ICSE.2013.6606751},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DongSL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZhuDWL13,
author = {Huiquan Zhu and
Jin Song Dong and
Bimlesh Wadhwa and
Shang{-}Wei Lin},
title = {Generating C{\#} Programs from CSP{\#} Models},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {21--26},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.10},
doi = {10.1109/ICSTW.2013.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ZhuDWL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Song00LD13,
author = {Songzheng Song and
Lin Gui and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Improved Reachability Analysis in {DTMC} via Divide and Conquer},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {162--176},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_12},
doi = {10.1007/978-3-642-38613-8\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Song00LD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LiuLACSWD13,
author = {Shuang Liu and
Yang Liu and
{\'{E}}tienne Andr{\'{e}} and
Christine Choppy and
Jun Sun and
Bimlesh Wadhwa and
Jin Song Dong},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {A Formal Semantics for Complete {UML} State Machines with Communications},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {331--346},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_23},
doi = {10.1007/978-3-642-38613-8\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LiuLACSWD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuiSLSDW13,
author = {Lin Gui and
Jun Sun and
Yang Liu and
Yuanjie Si and
Jin Song Dong and
Xinyu Wang},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Combining model checking and testing with an application to reliability
prediction and distribution},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {101--111},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483779},
doi = {10.1145/2483760.2483779},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GuiSLSDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Zhang0SLMD13,
author = {Shao Jie Zhang and
Jun Sun and
Chengnian Sun and
Yang Liu and
Junwei Ma and
Jin Song Dong},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Constraint-based automatic symmetry detection},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {15--25},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693062},
doi = {10.1109/ASE.2013.6693062},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Zhang0SLMD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Wu0LD13,
author = {Yongzheng Wu and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automatically partition software into least privilege components using
dynamic data dependency analysis},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {323--333},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693091},
doi = {10.1109/ASE.2013.6693091},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Wu0LD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/BaiLMVS00D13,
author = {Guangdong Bai and
Jike Lei and
Guozhu Meng and
Sai Sathyanarayan Venkatraman and
Prateek Saxena and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {{AUTHSCAN:} Automatic Extraction of Web Authentication Protocols from
Implementations},
booktitle = {20th Annual Network and Distributed System Security Symposium, {NDSS}
2013, San Diego, California, USA, February 24-27, 2013},
publisher = {The Internet Society},
year = {2013},
url = {https://www.ndss-symposium.org/ndss2013/authscan-automatic-extraction-web-authentication-protocols-implementations},
timestamp = {Mon, 01 Feb 2021 08:42:13 +0100},
biburl = {https://dblp.org/rec/conf/ndss/BaiLMVS00D13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/ReddyFLD0K13,
author = {G. Satya Reddy and
Yuzhang Feng and
Yang Liu and
Jin Song Dong and
Jun Sun and
Rajaraman Kanagasabai},
title = {Towards Formal Modeling and Verification of Cloud Architectures: {A}
Case Study on Hadoop},
booktitle = {{IEEE} Ninth World Congress on Services, {SERVICES} 2013, Santa Clara,
CA, USA, June 28 - July 3, 2013},
pages = {306--311},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SERVICES.2013.47},
doi = {10.1109/SERVICES.2013.47},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/services/ReddyFLD0K13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiuL0ZWD13,
author = {Shuang Liu and
Yang Liu and
Jun Sun and
Manchun Zheng and
Bimlesh Wadhwa and
Jin Song Dong},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {{USMMC:} a self-contained model checker for {UML} state machines},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {623--626},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2494595},
doi = {10.1145/2491411.2494595},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LiuL0ZWD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhengS0LD013,
author = {Manchun Zheng and
David San{\'{a}}n and
Jun Sun and
Yang Liu and
Jin Song Dong and
Yu Gu},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {State Space Reduction for Sensor Networks Using Two-Level Partial
Order Reduction},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {515--535},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_30},
doi = {10.1007/978-3-642-35873-9\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhengS0LD013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoitenDDR12,
author = {Eerke A. Boiten and
John Derrick and
Jin Song Dong and
Steve Reeves},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {24},
number = {1},
pages = {1},
year = {2012},
url = {https://doi.org/10.1007/s00165-011-0220-5},
doi = {10.1007/S00165-011-0220-5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoitenDDR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/LuuSLDLT12,
author = {Anh Tuan Luu and
Jun Sun and
Yang Liu and
Jin Song Dong and
Xiaohong Li and
Thanh Tho Quan},
title = {SeVe: automatic tool for verification of security protocols},
journal = {Frontiers Comput. Sci. China},
volume = {6},
number = {1},
pages = {57--75},
year = {2012},
url = {https://doi.org/10.1007/s11704-012-2903-3},
doi = {10.1007/S11704-012-2903-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/LuuSLDLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Chen0LDZ12,
author = {Chunqing Chen and
Jun Sun and
Yang Liu and
Jin Song Dong and
Manchun Zheng},
title = {Formal modeling and validation of Stateflow diagrams},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {6},
pages = {653--671},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0235-0},
doi = {10.1007/S10009-012-0235-0},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Chen0LDZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LiuSLD12,
author = {Guan Jun Liu and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Serge Haddad and
Lucia Pomello},
title = {Complexity of the Soundness Problem of Bounded Workflow Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {92--107},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_6},
doi = {10.1007/978-3-642-31131-4\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LiuSLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ZhangLA0D12,
author = {Jiexin Zhang and
Yang Liu and
Mikhail Auguston and
Jun Sun and
Jin Song Dong},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Using Monterey Phoenix to Formalize and Verify System Architectures},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {644--653},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.60},
doi = {10.1109/APSEC.2012.60},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/ZhangLA0D12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SongSLD12,
author = {Songzheng Song and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {A Model Checker for Hierarchical Probabilistic Real-Time Systems},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {705--711},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_53},
doi = {10.1007/978-3-642-31424-7\_53},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SongSLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LinLSDA12,
author = {Shang{-}Wei Lin and
Yang Liu and
Jun Sun and
Jin Song Dong and
{\'{E}}tienne Andr{\'{e}}},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Automatic Compositional Verification of Timed Systems},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {272--276},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_24},
doi = {10.1007/978-3-642-32759-9\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LinLSDA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NguyenSLDL12,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong and
Yan Liu},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Improved BDD-Based Discrete Analysis of Timed Systems},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {326--340},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_28},
doi = {10.1007/978-3-642-32759-9\_28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NguyenSLDL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Zhang00D012,
author = {Jiexin Zhang and
Yang Liu and
Jing Sun and
Jin Song Dong and
Jun Sun},
title = {Model Checking Software Architecture Design},
booktitle = {14th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2012, Omaha, NE, USA, October 25-27, 2012},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HASE.2012.12},
doi = {10.1109/HASE.2012.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/Zhang00D012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiuZDL0BM12,
author = {Yan Liu and
Xian Zhang and
Jin Song Dong and
Yang Liu and
Jun Sun and
Jit Biswas and
Mounir Mokhtari},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {Formal Analysis of Pervasive Computing Systems},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.19},
doi = {10.1109/ICECCS.2012.19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/LiuZDL0BM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Li0DL012,
author = {Yi Li and
Jing Sun and
Jin Song Dong and
Yang Liu and
Jun Sun},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {Translating {PDDL} into CSP{\#} - The {PAT} Approach},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {240--249},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.41},
doi = {10.1109/ICECCS.2012.41},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/Li0DL012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AndreL0D12,
author = {{\'{E}}tienne Andr{\'{e}} and
Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {253--262},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.29},
doi = {10.1109/ICECCS.2012.29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/AndreL0D12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LinLH0D12,
author = {Shang{-}Wei Lin and
Yang Liu and
Pao{-}Ann Hsiung and
Jun Sun and
Jin Song Dong},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Automatic Generation of Provably Correct Embedded Systems},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {214--229},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_17},
doi = {10.1007/978-3-642-34281-3\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LinLH0D12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangS0LDWL12,
author = {Ting Wang and
Songzheng Song and
Jun Sun and
Yang Liu and
Jin Song Dong and
Xinyu Wang and
Shanping Li},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {More Anti-chain Based Refinement Checking},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {364--380},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_26},
doi = {10.1007/978-3-642-34281-3\_26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WangS0LDWL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ShiL0DC12,
author = {Ling Shi and
Yang Liu and
Jun Sun and
Jin Song Dong and
Gustavo Carvalho},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {An Analytical and Experimental Comparison of {CSP} Extensions and
Tools},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {381--397},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_27},
doi = {10.1007/978-3-642-34281-3\_27},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ShiL0DC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Nguyen0LD12,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Symbolic Model-Checking of Stateful Timed {CSP} Using {BDD} and Digitization},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {398--413},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_28},
doi = {10.1007/978-3-642-34281-3\_28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Nguyen0LD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icost/LeeLZPSZBDM12,
author = {Vwen Yen Lee and
Yan Liu and
Xian Zhang and
Clifton Phua and
Kelvin Sim and
Jiaqi Zhu and
Jit Biswas and
Jin Song Dong and
Mounir Mokhtari},
editor = {Mark P. Donnelly and
Cristiano Paggetti and
Chris D. Nugent and
Mounir Mokhtari},
title = {{ACARP:} Auto Correct Activity Recognition Rules Using Process Analysis
Toolkit {(PAT)}},
booktitle = {Impact Analysis of Solutions for Chronic Disease Prevention and Management
- 10th International Conference on Smart Homes and Health Telematics,
{ICOST} 2012, Artiminio, Italy, June 12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7251},
pages = {182--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30779-9\_23},
doi = {10.1007/978-3-642-30779-9\_23},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icost/LeeLZPSZBDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SongHLSLD12,
author = {Songzheng Song and
Jianye Hao and
Yang Liu and
Jun Sun and
Ho{-}fung Leung and
Jin Song Dong},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Analyzing multi-agent systems with probabilistic model checking approach},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1337--1340},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227085},
doi = {10.1109/ICSE.2012.6227085},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SongHLSLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/HaoSLSGDL12,
author = {Jianye Hao and
Songzheng Song and
Yang Liu and
Jun Sun and
Lin Gui and
Jin Song Dong and
Ho{-}fung Leung},
editor = {Iyad Rahwan and
Wayne Wobcke and
Sandip Sen and
Toshiharu Sugawara},
title = {Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games
Using Counter Abstraction},
booktitle = {{PRIMA} 2012: Principles and Practice of Multi-Agent Systems - 15th
International Conference, Kuching, Sarawak, Malaysia, September 3-7,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7455},
pages = {16--30},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32729-2\_2},
doi = {10.1007/978-3-642-32729-2\_2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/HaoSLSGDL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/Li0DL012,
author = {Yi Li and
Jing Sun and
Jin Song Dong and
Yang Liu and
Jun Sun},
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {Planning as Model Checking Tasks},
booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEW.2012.25},
doi = {10.1109/SEW.2012.25},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sew/Li0DL012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/SunLD12,
author = {Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Jiacun Wang},
title = {Timed Automata},
booktitle = {Handbook of Finite State Based Models and Applications},
pages = {87--111},
publisher = {Chapman and Hall/CRC},
year = {2012},
url = {https://doi.org/10.1201/b13055-6},
doi = {10.1201/B13055-6},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/SunLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/DongMM12,
author = {Jin Song Dong and
Annabelle McIver and
Carroll Morgan},
title = {Quantitative methods in security and safety critical applications
{(NII} Shonan Meeting 2012-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2012},
year = {2012},
url = {https://shonan.nii.ac.jp/seminars/017/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/DongMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/TunDT11,
author = {Nwe Ni Tun and
Jin Song Dong and
Satoshi Tojo},
title = {A philosophy-driven entity classification and enrichment for ontology
mapping},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {28},
number = {2},
pages = {138--166},
year = {2011},
url = {https://doi.org/10.1111/j.1468-0394.2010.00544.x},
doi = {10.1111/J.1468-0394.2010.00544.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/TunDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LinADSL11,
author = {Shang{-}Wei Lin and
{\'{E}}tienne Andr{\'{e}} and
Jin Song Dong and
Jun Sun and
Yang Liu},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {An Efficient Algorithm for Learning Event-Recording Automata},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {463--472},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_35},
doi = {10.1007/978-3-642-24372-1\_35},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LinADSL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZhangSPLD11,
author = {Shao Jie Zhang and
Jun Sun and
Jun Pang and
Yang Liu and
Jin Song Dong},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {On Combining State Space Reductions with Global Fairness Assumptions},
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 = {432--447},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_32},
doi = {10.1007/978-3-642-21437-0\_32},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ZhangSPLD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Tan0SD11,
author = {Tian Huat Tan and
Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Verification of Orchestration Systems Using Compositional Partial
Order Reduction},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {98--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_9},
doi = {10.1007/978-3-642-24559-6\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Tan0SD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SunLSDL11,
author = {Jun Sun and
Yang Liu and
Songzheng Song and
Jin Song Dong and
Xiaohong Li},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {{PRTS:} An Approach for Model Checking Probabilistic Real-Time Hierarchical
Systems},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {147--162},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_12},
doi = {10.1007/978-3-642-24559-6\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SunLSDL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhengSLDG11,
author = {Manchun Zheng and
Jun Sun and
Yang Liu and
Jin Song Dong and
Yu Gu},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Towards a Model Checker for NesC and Wireless Sensor Networks},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {372--387},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_26},
doi = {10.1007/978-3-642-24559-6\_26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhengSLDG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XingSLD11,
author = {Zhenchang Xing and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Differencing Labeled Transition Systems},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {537--552},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_36},
doi = {10.1007/978-3-642-24559-6\_36},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/XingSLD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiuSD11,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Tadashi Dohi and
Bojan Cukic},
title = {{PAT} 3: An Extensible Architecture for Building Multi-domain Model
Checkers},
booktitle = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
{ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
pages = {190--199},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISSRE.2011.19},
doi = {10.1109/ISSRE.2011.19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/LiuSD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenSLD11,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {A model checking framework for hierarchical systems},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {633--636},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100143},
doi = {10.1109/ASE.2011.6100143},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NguyenSLD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/ZhengSSLDG11,
author = {Manchun Zheng and
Jun Sun and
David San{\'{a}}n and
Yang Liu and
Jin Song Dong and
Yu Gu},
editor = {Jie Liu and
Philip Alexander Levis and
Kay R{\"{o}}mer},
title = {Towards bug-free implementation for wireless sensor networks},
booktitle = {Proceedings of the 9th International Conference on Embedded Networked
Sensor Systems, SenSys 2011, Seattle, WA, USA, November 1-4, 2011},
pages = {407--408},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070942.2071013},
doi = {10.1145/2070942.2071013},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/ZhengSSLDG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ChenDSM10,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun and
Andrew P. Martin},
title = {A verification system for interval-based specification languages},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {19},
number = {4},
pages = {13:1--13:36},
year = {2010},
url = {https://doi.org/10.1145/1734229.1734232},
doi = {10.1145/1734229.1734232},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/ChenDSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SunLDPT10,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Geguang Pu and
Tian Huat Tan},
editor = {Jun Han and
Tran Dan Thu},
title = {Model-Based Methods for Linking Web Service Choreography and Orchestration},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
Australia, November 30 - December 3, 2010},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSEC.2010.28},
doi = {10.1109/APSEC.2010.28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/SunLDPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiuSD10,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Developing Model Checkers Using {PAT}},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {371--377},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_30},
doi = {10.1007/978-3-642-15643-4\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiuSD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icost/BiswasMDY10,
author = {Jit Biswas and
Mounir Mokhtari and
Jin Song Dong and
Philip Lin Kiat Yap},
editor = {Yeunsook Lee and
Z. Zenn Bien and
Mounir Mokhtari and
Jeong Tai Kim and
Mignon Park and
Jongbae Kim and
Heyoung Lee and
Ismail Khalil},
title = {Mild Dementia Care at Home - Integrating Activity Monitoring, User
Interface Plasticity and Scenario Verification},
booktitle = {Aging Friendly Technology for Health and Independence, 8th International
Conference on Smart Homes and Health Telematics, {ICOST} 2010, Seoul,
Korea, June 22-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6159},
pages = {160--170},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13778-5\_20},
doi = {10.1007/978-3-642-13778-5\_20},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/icost/BiswasMDY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XingSLD10,
author = {Zhenchang Xing and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {SpecDiff: debugging formal specifications},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {353--354},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859072},
doi = {10.1145/1858996.1859072},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/XingSLD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiuSD10,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Analyzing hierarchical complex real-time systems},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {365--366},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882350},
doi = {10.1145/1882291.1882350},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LiuSD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2010,
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4},
doi = {10.1007/978-3-642-16901-4},
isbn = {978-3-642-16900-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PaigeB09,
author = {Richard F. Paige and
Phillip J. Brooke and
Jin Song Dong and
J. C. P. Woodcock},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {303},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0113-z},
doi = {10.1007/S00165-009-0113-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PaigeB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChenDS09,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun},
title = {A formal framework for modeling and validating Simulink diagrams},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {451--483},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0108-9},
doi = {10.1007/S00165-009-0108-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ChenDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/LiangDSW09,
author = {Hui Liang and
Jin Song Dong and
Jing Sun and
W. Eric Wong},
title = {Software monitoring through formal specification animation},
journal = {Innov. Syst. Softw. Eng.},
volume = {5},
number = {4},
pages = {231--241},
year = {2009},
url = {https://doi.org/10.1007/s11334-009-0096-1},
doi = {10.1007/S11334-009-0096-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/LiangDSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DongS09,
author = {Jin Song Dong and
Jing Sun},
title = {{SCP} special issue on the grand challenge - Preface},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {167},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.10.001},
doi = {10.1016/J.SCICO.2008.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DongS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SunLDP09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Jun Pang},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {{PAT:} Towards Flexible Verification under Fairness},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {709--714},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_59},
doi = {10.1007/978-3-642-02658-4\_59},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SunLDP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SunLRLD09,
author = {Jun Sun and
Yang Liu and
Abhik Roychoudhury and
Shanshan Liu and
Jin Song Dong},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Fair Model Checking with Process Counter Abstraction},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {123--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_9},
doi = {10.1007/978-3-642-05089-3\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SunLRLD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuSD09,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},
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 = {426--445},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_22},
doi = {10.1007/978-3-642-10373-5\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiuSD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SunLDZ09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Xian Zhang},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Verifying Stateful Timed {CSP} Using Implicit Clocks and Zone Abstraction},
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 = {581--600},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_30},
doi = {10.1007/978-3-642-10373-5\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SunLDZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhangLSDCL09,
author = {Shao Jie Zhang and
Yang Liu and
Jun Sun and
Jin Song Dong and
Wei Chen and
Yanhong A. Liu},
title = {Formal Verification of Scalable NonZero Indicators},
booktitle = {Proceedings of the 21st International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2009), Boston, Massachusetts,
USA, July 1-3, 2009},
pages = {406--411},
publisher = {Knowledge Systems Institute Graduate School},
year = {2009},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhangLSDCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DongS09,
author = {Jin Song Dong and
Jun Sun},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Towards Expressive Specification and Efficient Model Checking},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {9},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.63},
doi = {10.1109/TASE.2009.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/DongS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/SunLDC09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Chunqing Chen},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Integrating Specification and Programs for System Modeling and Verification},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {127--135},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.32},
doi = {10.1109/TASE.2009.32},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/SunLDC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/SunLDS08,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Jing Sun},
title = {Compositional encoding for bounded model checking},
journal = {Frontiers Comput. Sci. China},
volume = {2},
number = {4},
pages = {368--379},
year = {2008},
url = {https://doi.org/10.1007/s11704-008-0035-6},
doi = {10.1007/S11704-008-0035-6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/SunLDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/TaguchiD08,
author = {Kenji Taguchi and
Jin Song Dong},
title = {Formally specifying and verifying mobile agents - model checking mobility:
the MobiOZ approach},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {2},
number = {4},
pages = {449--474},
year = {2008},
url = {https://doi.org/10.1504/IJAOSE.2008.020140},
doi = {10.1504/IJAOSE.2008.020140},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/TaguchiD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DongHQSY08,
author = {Jin Song Dong and
Ping Hao and
Shengchao Qin and
Jun Sun and
Wang Yi},
title = {Timed Automata Patterns},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {6},
pages = {844--859},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.52},
doi = {10.1109/TSE.2008.52},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DongHQSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SunLDW08,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Hai H. Wang},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {Specifying and Verifying Event-Based Fairness Enhanced Systems},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {5--24},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_4},
doi = {10.1007/978-3-540-88194-0\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SunLDW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongSSTZ08,
author = {Jin Song Dong and
Jing Sun and
Jun Sun and
Kenji Taguchi and
Xian Zhang},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {Specifying and Verifying Sensor Networks: An Experiment of Formal
Methods},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {318--337},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_20},
doi = {10.1007/978-3-540-88194-0\_20},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongSSTZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenDS08,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {A verification system for timed interval calculus},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {271--280},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368126},
doi = {10.1145/1368088.1368126},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChenDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiuSD08,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {An analyzer for extended compositional process algebras},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {919--920},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370187},
doi = {10.1145/1370175.1370187},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiuSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SunLD08,
author = {Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking {CSP} Revisited: Introducing a Process Analysis Toolkit},
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 = {307--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_22},
doi = {10.1007/978-3-540-88479-8\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SunLD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TunD08,
author = {Nwe Ni Tun and
Jin Song Dong},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Ontology Generation through the Fusion of Partial Reuse and Relation
Extraction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {318--328},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-031.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TunD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/FerndrigerBDFLH08,
author = {Simon Ferndriger and
Abraham Bernstein and
Jin Song Dong and
Yuzhang Feng and
Yuan{-}Fang Li and
Jane Hunter},
editor = {Amit P. Sheth and
Steffen Staab and
Mike Dean and
Massimo Paolucci and
Diana Maynard and
Timothy W. Finin and
Krishnaprasad Thirunarayan},
title = {Enhancing Semantic Web Services with Inheritance},
booktitle = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference,
{ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5318},
pages = {162--177},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88564-1\_11},
doi = {10.1007/978-3-540-88564-1\_11},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/FerndrigerBDFLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/SunLDS08,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Jing Sun},
title = {Bounded Model Checking of Compositional Processes},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.12},
doi = {10.1109/TASE.2008.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/SunLDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongFL07,
author = {Jin Song Dong and
Yuzhang Feng and
Ho{-}fung Leung},
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {A Verification Framework for Agent Knowledge},
booktitle = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
pages = {57--75},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6\_5},
doi = {10.1007/978-3-540-76650-6\_5},
timestamp = {Sat, 19 Oct 2019 20:19:23 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenDS07,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun},
editor = {Michael J. Butler and
Michael G. Hinchey and
Mar{\'{\i}}a M. Larrondo{-}Petrie},
title = {Machine-Assisted Proof Support for Validation Beyond Simulink},
booktitle = {Formal Methods and Software Engineering, 9th International Conference
on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
November 14-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4789},
pages = {96--115},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76650-6\_7},
doi = {10.1007/978-3-540-76650-6\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenDS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiangDS07,
author = {Hui Liang and
Jin Song Dong and
Jing Sun},
title = {Evolution and Runtime Monitoring of Software Systems},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {343--348},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/LiangDS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LuuQCD07,
author = {Anh Tuan Luu and
Tho T. Quan and
Tru Hoang Cao and
Jin Song Dong},
editor = {Fernando Bobillo and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Francis Fung and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles and
Yun Peng and
Michael Pool and
Pavel Smrz and
Peter Vojt{\'{a}}s},
title = {Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology
and Knowledge Base},
booktitle = {Proceedings of the Third {ISWC} Workshop on Uncertainty Reasoning
for the Semantic Web Busan, Korea, November 12, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {327},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-327/pos\_paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:06 +0100},
biburl = {https://dblp.org/rec/conf/semweb/LuuQCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangQSD07,
author = {Hai H. Wang and
Shengchao Qin and
Jun Sun and
Jin Song Dong},
title = {Realizing Live Sequence Charts in SystemVerilog},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.41},
doi = {10.1109/TASE.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangQSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/0002DJW06,
author = {Jing Sun and
Jin Song Dong and
Stan Jarzabek and
Hai H. Wang},
title = {Computer-aided dispatch system family architecture and verification:
an integrated formal approach},
journal = {{IEE} Proc. Softw.},
volume = {153},
number = {3},
pages = {102--112},
year = {2006},
url = {https://doi.org/10.1049/ip-sen:20050014},
doi = {10.1049/IP-SEN:20050014},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/0002DJW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/WangDSS06,
author = {Hai H. Wang and
Jin Song Dong and
Jing Sun and
Jun Sun},
title = {Reasoning support for Semantic Web ontology family languages using
Alloy},
journal = {Multiagent Grid Syst.},
volume = {2},
number = {4},
pages = {455--471},
year = {2006},
url = {https://doi.org/10.3233/mgs-2006-2410},
doi = {10.3233/MGS-2006-2410},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/WangDSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/YuanDSB06,
author = {Ling Yuan and
Jin Song Dong and
Jing Sun and
Hamid Abdul Basit},
title = {Generic Fault Tolerant Software Architecture Reasoning and Customization},
journal = {{IEEE} Trans. Reliab.},
volume = {55},
number = {3},
pages = {421--435},
year = {2006},
url = {https://doi.org/10.1109/TR.2006.879605},
doi = {10.1109/TR.2006.879605},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/YuanDSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SunD06,
author = {Jun Sun and
Jin Song Dong},
title = {Design Synthesis from Interaction and State-Based Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {6},
pages = {349--364},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.55},
doi = {10.1109/TSE.2006.55},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SunD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YuanDS06,
author = {Ling Yuan and
Jin Song Dong and
Jing Sun},
title = {Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL},
booktitle = {13th Asia-Pacific Software Engineering Conference {(APSEC} 2006),
6-8 December 2006, Bangalore, India},
pages = {209--216},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/APSEC.2006.44},
doi = {10.1109/APSEC.2006.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/YuanDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucanuLD06,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Semantic Web Languages - Towards an Institutional Perspective},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {99--123},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_6},
doi = {10.1007/11780274\_6},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LucanuLD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiangDSDS06,
author = {Hui Liang and
Jin Song Dong and
Jing Sun and
Roger Duke and
Rudolph E. Seviora},
title = {Formal Specification-based Online Monitoring},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {152--162},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.56},
doi = {10.1109/ICECCS.2006.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiangDSDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenD06,
author = {Chunqing Chen and
Jin Song Dong},
editor = {Zhiming Liu and
Jifeng He},
title = {Applying Timed Interval Calculus to Simulink Diagrams},
booktitle = {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},
pages = {74--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_5},
doi = {10.1007/11901433\_5},
timestamp = {Mon, 21 Mar 2022 22:43:10 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ChenD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongLSZ06,
author = {Jin Song Dong and
Yang Liu and
Jun Sun and
Xian Zhang},
editor = {Zhiming Liu and
Jifeng He},
title = {Verification of Computation Orchestration Via Timed Automata},
booktitle = {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},
pages = {226--245},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_13},
doi = {10.1007/11901433\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongLSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongHSZ06,
author = {Jin Song Dong and
Ping Hao and
Jun Sun and
Xian Zhang},
editor = {Zhiming Liu and
Jifeng He},
title = {A Reasoning Method for Timed {CSP} Based on Constraint Solving},
booktitle = {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},
pages = {342--359},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_19},
doi = {10.1007/11901433\_19},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongHSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DongHZQ06,
author = {Jin Song Dong and
Ping Hao and
Xian Zhang and
Shengchao Qin},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {HighSpec: a tool for building and checking {OZTA} models},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {775--778},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134409},
doi = {10.1145/1134285.1134409},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DongHZQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Dong06,
author = {Jin Song Dong},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {From semantic web to expressive software specifications: a modeling
languages spectrum},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {1063--1064},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134507},
doi = {10.1145/1134285.1134507},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Dong06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DongFSS06,
author = {Jin Song Dong and
Yuzhang Feng and
Jing Sun and
Jun Sun},
title = {Context Awareness Systems Design and Reasoning},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {335--340},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.29},
doi = {10.1109/ISOLA.2006.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DongFSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005wlfm,
editor = {Alvaro Arenas and
Jin Song Dong and
Andrew Martin and
Brian Matthews},
title = {Proceedings of the International Workshop on Web Languages and Formal
Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/151/issue/2},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2005wlfm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/DongHM05,
author = {Jin Song Dong and
Ping Hao and
Brendan P. Mahony},
title = {Formal Designs for Embedded and Hybrid Systems},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {15},
number = {2},
pages = {373--378},
year = {2005},
url = {https://doi.org/10.1142/S0218194005002117},
doi = {10.1142/S0218194005002117},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/DongHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DongFLS05,
author = {Jin Song Dong and
Yuzhang Feng and
Yuan{-}Fang Li and
Jun Sun},
title = {A Tools Environment for Developing and Reasoning about Ontologies},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {465--472},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.21},
doi = {10.1109/APSEC.2005.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/DongFLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SunD05,
author = {Jun Sun and
Jin Song Dong},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Synthesis of Distributed Processes from Scenario-Based Specifications},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {415--431},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_28},
doi = {10.1007/11526841\_28},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/SunD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongD05,
author = {Jin Song Dong and
D. Dan},
title = {Software Engineering Approaches to Semantic Web},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.78},
doi = {10.1109/ICECCS.2005.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SunD05,
author = {Jun Sun and
Jin Song Dong},
title = {Extracting FSMs from Object-Z Specifications with History Invariants},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.44},
doi = {10.1109/ICECCS.2005.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SunD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongDH05,
author = {Jin Song Dong and
Roger Duke and
Ping Hao},
title = {Integrating Object-Z with Timed Automata},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {488--497},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.56},
doi = {10.1109/ICECCS.2005.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SunD05a,
author = {Jun Sun and
Jin Song Dong},
title = {Model Checking Live Sequence Charts},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {529--538},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.60},
doi = {10.1109/ICECCS.2005.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SunD05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongHQZ05,
author = {Jin Song Dong and
Ping Hao and
Shengchao Qin and
Xian Zhang},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {The Semantics and Tool Support of {OZTA}},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {66--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_6},
doi = {10.1007/11576280\_6},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/DongHQZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LucanuLD05,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {Institution Morphisms for Relating {OWL} and {Z}},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {286--291},
year = {2005},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/LucanuLD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangDSL05,
author = {Hai H. Wang and
Jin Song Dong and
Jing Sun and
Yuan{-}Fang Li},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {{TCOZ} Approach to {OWL-S} Process Model Design},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {354--359},
year = {2005},
timestamp = {Tue, 09 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/WangDSL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangDS05,
author = {Hai H. Wang and
Jin Song Dong and
Jing Sun},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {Reasoning Support for {SWRL-FOL} Using Alloy},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {626--631},
year = {2005},
timestamp = {Tue, 09 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/WangDS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/LucanuLD05,
author = {Dorel Lucanu and
Yuan{-}Fang Li and
Jin Song Dong},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Soundness proof of {Z} semantics of {OWL} using institutions},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
and posters},
pages = {1048--1049},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062862},
doi = {10.1145/1062745.1062862},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/LucanuLD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArenasDMM06,
author = {Alvaro E. Arenas and
Jin Song Dong and
Andrew P. Martin and
Brian Matthews},
editor = {Alvaro Arenas and
Jin Song Dong and
Andrew Martin and
Brian Matthews},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Web Languages and Formal
Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.032},
doi = {10.1016/J.ENTCS.2005.07.032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ArenasDMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pervasive/WangDCHZ04,
author = {Xiaohang Wang and
Jin Song Dong and
Chung{-}Yau Chin and
SankaRavipriya Hettiarachchi and
Daqing Zhang},
title = {Semantic Space: An Infrastructure for Smart Spaces},
journal = {{IEEE} Pervasive Comput.},
volume = {3},
number = {3},
pages = {32--39},
year = {2004},
url = {https://doi.org/10.1109/MPRV.2004.1321026},
doi = {10.1109/MPRV.2004.1321026},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pervasive/WangDCHZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/YueDJM04,
author = {Yue Tang and
Jin Song Dong and
Jing Sun and
Brendan P. Mahony},
title = {Reasoning about Semantic Web in Isabelle/HOL},
booktitle = {11th Asia-Pacific Software Engineering Conference {(APSEC} 2004),
30 November - 3 December 2004, Busan, Korea},
pages = {46--53},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/APSEC.2004.82},
doi = {10.1109/APSEC.2004.82},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/YueDJM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TaguchiDC04,
author = {Kenji Taguchi and
Jin Song Dong and
Gabriel Ciobanu},
title = {Relating pi-calculus to Object-Z},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310908},
doi = {10.1109/ICECCS.2004.1310908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TaguchiDC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongHQSY04,
author = {Jin Song Dong and
Ping Hao and
Shengchao Qin and
Jun Sun and
Wang Yi},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Timed Patterns: {TCOZ} to 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 = {483--498},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_39},
doi = {10.1007/978-3-540-30482-1\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongHQSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DongLLW04,
author = {Jin Song Dong and
Chew Hung Lee and
Yuan{-}Fang Li and
Hai H. Wang},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Verifying {DAML+OIL} and Beyond in {Z/EVES}},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317442},
doi = {10.1109/ICSE.2004.1317442},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DongLLW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Dong04,
author = {Jin Song Dong},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Software Modeling Techniques and the Semantic Web},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {724--725},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317506},
doi = {10.1109/ICSE.2004.1317506},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Dong04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DongFL04,
author = {Jin Song Dong and
Yuzhang Feng and
Yuan{-}Fang Li},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Verifying {OWL} and {ORL} Ontologies in {PVS}},
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 = {265--279},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_20},
doi = {10.1007/978-3-540-31862-0\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/DongFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DongQS04,
author = {Jin Song Dong and
Shengchao Qin and
Jun Sun},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Generating MSCs from an Integrated Formal Specification Language},
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 = {168--186},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_10},
doi = {10.1007/978-3-540-24756-2\_10},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DongQS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/DongLW04,
author = {Jin Song Dong and
Yuan{-}Fang Li and
Hai H. Wang},
editor = {Stuart I. Feldman and
Mike Uretsky and
Marc Najork and
Craig E. Wills},
title = {{TCOZ} approach to semantic web services design},
booktitle = {Proceedings of the 13th international conference on World Wide Web
- Alternate Track Papers {\&} Posters, {WWW} 2004, New York, NY,
USA, May 17-20, 2004},
pages = {442--443},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013367.1013516},
doi = {10.1145/1013367.1013516},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/DongLW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/DongLLLW04,
author = {Jin Song Dong and
Chew Hung Lee and
Hian Beng Lee and
Yuan{-}Fang Li and
Hai H. Wang},
editor = {Stuart I. Feldman and
Mike Uretsky and
Marc Najork and
Craig E. Wills},
title = {A combined approach to checking web ontologies},
booktitle = {Proceedings of the 13th international conference on World Wide Web,
{WWW} 2004, New York, NY, USA, May 17-20, 2004},
pages = {714--722},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/988672.988770},
doi = {10.1145/988672.988770},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/DongLLLW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/YangDHH03,
author = {Hong Li Yang and
Jin Song Dong and
Ke Gang Hao and
Jun Gang Han},
editor = {Xiaofang Zhou and
Yanchun Zhang and
Maria E. Orlowska},
title = {Formalizing Semantics of {XSLT} Using Object-Z},
booktitle = {Web Technologies and Applications, 5th Asian-Pacific Web Conference,
APWeb 2003, Xian, China, April 23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2642},
pages = {120--131},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36901-5\_13},
doi = {10.1007/3-540-36901-5\_13},
timestamp = {Tue, 03 Dec 2019 08:19:31 +0100},
biburl = {https://dblp.org/rec/conf/apweb/YangDHH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/QinDC03,
author = {Shengchao Qin and
Jin Song Dong and
Wei{-}Ngan Chin},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {A Semantic Foundation for {TCOZ} in Unifying Theories of Programming},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {321--340},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_19},
doi = {10.1007/978-3-540-45236-2\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/QinDC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DongSW03,
author = {Jin Song Dong and
Jing Sun and
Hai H. Wang},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Checking and Reasoning about Semantic Web through Alloy},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {796--813},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_43},
doi = {10.1007/978-3-540-45236-2\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DongSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DongSWLL03,
author = {Jin Song Dong and
Jun Sun and
Hai H. Wang and
Chew Hung Lee and
Hian Beng Lee},
title = {Analysing Web Ontology in Alloy: {A} Military Case Study},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {542--546},
year = {2003},
timestamp = {Thu, 31 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/DongSWLL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/UttingTSMDDC03,
author = {Mark Utting and
Ian Toyn and
Jing Sun and
Andrew P. Martin and
Jin Song Dong and
Nicholas Daley and
David W. Currie},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {{ZML:} {XML} Support for Standard {Z}},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {437--456},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_26},
doi = {10.1007/3-540-44880-2\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/UttingTSMDDC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2003,
editor = {Jin Song Dong and
Jim Woodcock},
title = {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},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94115},
doi = {10.1007/B94115},
isbn = {3-540-20461-X},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/SunDLW02,
author = {Jing Sun and
Jin Song Dong and
Jing Liu and
Hai H. Wang},
title = {A Formal Object Approach to the Design of {ZML}},
journal = {Ann. Softw. Eng.},
volume = {13},
number = {1-4},
pages = {329--356},
year = {2002},
url = {https://doi.org/10.1023/A:1016513914276},
doi = {10.1023/A:1016513914276},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/SunDLW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MahonyD02,
author = {Brendan P. Mahony and
Jin Song Dong},
title = {Deep Semantic Links of {TCSP} and Object-Z: {TCOZ} Approach},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {142--160},
year = {2002},
url = {https://doi.org/10.1007/s001650200004},
doi = {10.1007/S001650200004},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MahonyD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/StupnikovKD02,
author = {Sergey A. Stupnikov and
Leonid A. Kalinichenko and
Jin Song Dong},
editor = {Yannis Manolopoulos and
Pavol N{\'{a}}vrat},
title = {Applying CSP-like Workflow Process Specifications for their Refinement
in {AMN} by Pre-existing Workflows},
booktitle = {Advances in Databases and Information Systems, 6th East European Conference,
{ADBIS} 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings,
Volume 2: Research Communications},
pages = {206--216},
publisher = {Slovak University of Technology, Bratislava},
year = {2002},
url = {http://www.dcs.elf.stuba.sk/adbis2002/bin/abstracts1.htm\#stupnikov},
timestamp = {Thu, 11 Nov 2004 14:29:36 +0100},
biburl = {https://dblp.org/rec/conf/adbis/StupnikovKD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SunD02,
author = {Jing Sun and
Jin Song Dong},
title = {Specifying and Reasoning about Generic Architecture in {TCOZ}},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {405},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1183010},
doi = {10.1109/APSEC.2002.1183010},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SunD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DongL02,
author = {Jin Song Dong and
Shaoying Liu},
title = {The Semantics of Extended {SOFL}},
booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
2002), Prolonging Software Life: Development and Redevelopment, 26-29
August 2002, Oxford, England, Proceedings},
pages = {653--658},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CMPSAC.2002.1045077},
doi = {10.1109/CMPSAC.2002.1045077},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/DongL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DongSW02,
author = {Jin Song Dong and
Jing Sun and
Hai H. Wang},
editor = {Lars{-}Henrik Eriksson and
Peter A. Lindsay},
title = {Semantic Web for Extending and Linking Formalisms},
booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2391},
pages = {587--606},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45614-7\_33},
doi = {10.1007/3-540-45614-7\_33},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DongSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TaguchiD02,
author = {Kenji Taguchi and
Jin Song Dong},
editor = {Chris George and
Huaikou Miao},
title = {An Overview of Mobile Object-Z},
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 = {144--155},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_17},
doi = {10.1007/3-540-36103-0\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TaguchiD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongSW02,
author = {Jin Song Dong and
Jing Sun and
Hai H. Wang},
editor = {Chris George and
Huaikou Miao},
title = {Z Approach to Semantic Web},
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 = {156--167},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_18},
doi = {10.1007/3-540-36103-0\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongLSSW02,
author = {Jin Song Dong and
Yuan{-}Fang Li and
Jing Sun and
Jun Sun and
Hai H. Wang},
editor = {Chris George and
Huaikou Miao},
title = {XML-Based Static Type Checking and Dynamic Visualization for {TCOZ}},
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 = {311--322},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_33},
doi = {10.1007/3-540-36103-0\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongLSSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LiuD02,
author = {Shaoying Liu and
Jin Song Dong},
title = {Extending {SOFL} to support both top-down and bottom-up approaches},
booktitle = {{IEEE} International Conference on Systems, Man and Cybernetics: Bridging
the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002 -
Volume 1},
pages = {6},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICSMC.2002.1175573},
doi = {10.1109/ICSMC.2002.1175573},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/smc/LiuD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/LiuD01,
author = {Shaoying Liu and
Jin Song Dong},
title = {Class and Module in {SOFL}},
booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
December 2001, Hong Kong, China, Proceedings},
pages = {241--248},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.990026},
doi = {10.1109/APAQS.2001.990026},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/LiuD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SunDLW01,
author = {Jing Sun and
Jin Song Dong and
Jing Liu and
Hai H. Wang},
title = {An {XML/XSL} Approach to Visualize and Animate {TCOZ}},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {453--460},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991514},
doi = {10.1109/APSEC.2001.991514},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SunDLW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Dong01,
author = {Jin Song Dong},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {State, Event, Time and Diagram in System Modeling},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {733--734},
publisher = {{IEEE} Computer Society},
year = {2001},
timestamp = {Mon, 14 May 2012 18:17:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/Dong01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SunDLW01,
author = {Jing Sun and
Jin Song Dong and
Jing Liu and
Hai H. Wang},
editor = {Vincent Y. Shen and
Nobuo Saito and
Michael R. Lyu and
Mary Ellen Zurko},
title = {Object-Z web environment and projections to {UML}},
booktitle = {Proceedings of the Tenth International World Wide Web Conference,
{WWW} 10, Hong Kong, China, May 1-5, 2001},
pages = {725--734},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/371920.372189},
doi = {10.1145/371920.372189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/SunDLW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/idea/siau2001/LiuDMS01,
author = {Jing Liu and
Jin Song Dong and
Brendan P. Mahony and
Kun Shi},
editor = {Keng Siau and
Terry A. Halpin},
title = {Linking {UML} with Integrated Formal Techniques},
booktitle = {Unified Modeling Language: Systems Analysis, Design and Development
Issues},
pages = {210--223},
publisher = {Idea Group},
year = {2001},
timestamp = {Tue, 06 Aug 2019 10:03:14 +0200},
biburl = {https://dblp.org/rec/books/idea/siau2001/LiuDMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MahonyD00,
author = {Brendan P. Mahony and
Jin Song Dong},
title = {Timed Communicating Object {Z}},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {2},
pages = {150--177},
year = {2000},
url = {https://doi.org/10.1109/32.841115},
doi = {10.1109/32.841115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MahonyD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LiuDS00,
author = {Jing Liu and
Jin Song Dong and
Jing Sun},
title = {{TRMCS} in {TCOZ}},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {63--74},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857228},
doi = {10.5555/857171.857228},
timestamp = {Fri, 13 May 2022 15:20:05 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LiuDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DongMF99,
author = {Jin Song Dong and
Brendan P. Mahony and
Neale Fulton},
title = {Capturing Periodic Concurrent Interactions of Mission Computer Tasks},
booktitle = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10
December 1999, Takamatsu, Japan},
pages = {538--545},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/APSEC.1999.809647},
doi = {10.1109/APSEC.1999.809647},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/DongMF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MahonyD99,
author = {Brendan P. Mahony and
Jin Song Dong},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Sensors and Actuators in {TCOZ}},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1166--1185},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_12},
doi = {10.1007/3-540-48118-4\_12},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MahonyD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DongMF99,
author = {Jin Song Dong and
Brendan P. Mahony and
Neale Fulton},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Modeling Aircraft Mission Computer Task Rates},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1855},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_49},
doi = {10.1007/3-540-48118-4\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DongMF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MahonyD99,
author = {Brendan P. Mahony and
Jin Song Dong},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Overview of the Semantics of {TCOZ}},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {66--85},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_5},
doi = {10.1007/978-1-4471-0851-1\_5},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MahonyD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DongL99,
author = {Jin Song Dong and
Shaoying Liu},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {An Object Semantic Model of {SOFL}},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {189--208},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_11},
doi = {10.1007/978-1-4471-0851-1\_11},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DongL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongM98,
author = {Jin Song Dong and
Brendan P. Mahony},
title = {Active Objects in {TCOZ}},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {16--25},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730566},
doi = {10.1109/ICFEM.1998.730566},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/DongM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MahonyD98,
author = {Brendan P. Mahony and
Jin Song Dong},
editor = {Koji Torii and
Kokichi Futatsugi and
Richard A. Kemmerer},
title = {Blending Object-Z and Timed {CSP:} An Introduction to {TCOZ}},
booktitle = {Forging New Links, Proceedings of the 1998 International Conference
on Software Engineering, {ICSE} 98, Kyoto, Japan, April 19-25, 1998},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSE.1998.671106},
doi = {10.1109/ICSE.1998.671106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MahonyD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MahonyD98,
author = {Brendan P. Mahony and
Jin Song Dong},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Network Topology and a Case Study in {TCOZ}},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {308--327},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_21},
doi = {10.1007/978-3-540-49676-2\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/MahonyD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oos/DongDR97,
author = {Jin Song Dong and
Roger Duke and
Gordon A. Rose},
title = {An object-oriented denotational semantics of a small programming language},
journal = {Object Oriented Syst.},
volume = {4},
pages = {29--52},
year = {1997},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oos/DongDR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongFZC97,
author = {Jin Song Dong and
Neale Fulton and
Lin Zucconi and
John Colton},
title = {Formalizing Process Scheduling Requirements for an Aircraft Operational
Flight Program},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {161--169},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630423},
doi = {10.1109/ICFEM.1997.630423},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/DongFZC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/DongZD97,
author = {Jin Song Dong and
Lin Zucconi and
Roger Duke},
title = {Specifying Parallel and Distributed Systems in Object-Z},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1997, Boston, MA, USA, May 17-18, 1997},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PDSE.1997.596834},
doi = {10.1109/PDSE.1997.596834},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/DongZD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/DongZ97,
author = {Jin Song Dong and
Lin Zucconi},
title = {A framework for adding time into formal object models},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
'97), 5-7 February 1997, Newport Beach, CA, {USA}},
pages = {26--31},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WORDS.1997.609922},
doi = {10.1109/WORDS.1997.609922},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/DongZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/au/Dong95,
author = {Jin Song Dong},
title = {Formal object modelling techniques and denotational semantics studies},
school = {University of Queensland, Australia},
year = {1995},
url = {https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ\_ALMA2199307450003131},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/au/Dong95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Dong95,
author = {Jin Song Dong},
title = {Living with Free Type and Class Union},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {304--312},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496979},
doi = {10.1109/APSEC.1995.496979},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Dong95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongRD95,
author = {Jin Song Dong and
Gordon A. Rose and
Roger Duke},
title = {The role of secondary attributes in formal object modelling},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479299},
doi = {10.1109/ICECCS.1995.479299},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongRD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/DongD93,
author = {Jin Song Dong and
Roger Duke},
editor = {Jan de Meer and
Bernd Mahr and
Silke Storp},
title = {An Object-Oriented Approach to the Formal Specification of {ODP} Trader},
booktitle = {Open Distributed Processing, {II:} Proceedings of the {IFIP} {TC6/WG6.1}
International Conference on Open Distributed Processing, Berlin, Germany,
13-16 September 1993},
series = {{IFIP} Transactions},
volume = {{C-20}},
pages = {341--352},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 12:06:41 +0100},
biburl = {https://dblp.org/rec/conf/odp/DongD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/DongD93,
author = {Jin Song Dong and
Roger Duke},
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
title = {Class Union and Polymorphism},
booktitle = {Technology of Object-Oriented Languages and Systems Tools 12: Proceedings
of the twelfth International Conference Tools Pacific, Melbourne 1993.
Incorporating the proceedings of Tools 9, Sydney 1992},
pages = {181--190},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/DongD93.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-25 05:43 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:
