Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Qiusong Yang
@inproceedings{DBLP:conf/iccd/MengYCZZ023,
author = {Xiaoni Meng and
Qiusong Yang and
Yiwei Ci and
Pei Zhao and
Shan Zhao and
Mingshu Li},
title = {Execute on Clear (EoC): Enhancing Security for Unsafe Speculative
Instructions by Precise Identification and Safe Execution},
booktitle = {41st {IEEE} International Conference on Computer Design, {ICCD} 2023,
Washington, DC, USA, November 6-8, 2023},
pages = {587--595},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCD58817.2023.00094},
doi = {10.1109/ICCD58817.2023.00094},
timestamp = {Tue, 09 Jan 2024 15:43:43 +0100},
biburl = {https://dblp.org/rec/conf/iccd/MengYCZZ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MengYCZZH022,
author = {Xiaoni Meng and
Qiusong Yang and
Yiwei Ci and
Pei Zhao and
Shan Zhao and
Tianlin Huo and
Mingshu Li},
title = {Secure Access Policy {(SAP):} Invisibly Executing Speculative Unsafe
Accesses in an Isolated Environment},
booktitle = {{IEEE} 40th International Conference on Computer Design, {ICCD} 2022,
Olympic Valley, CA, USA, October 23-26, 2022},
pages = {80--88},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCD56317.2022.00022},
doi = {10.1109/ICCD56317.2022.00022},
timestamp = {Tue, 05 Dec 2023 14:45:33 +0100},
biburl = {https://dblp.org/rec/conf/iccd/MengYCZZH022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/JiangYC22,
author = {Shizhi Jiang and
Qiusong Yang and
Yiwei Ci},
title = {Merging Similar Patterns for Hardware Prefetching},
booktitle = {55th {IEEE/ACM} International Symposium on Microarchitecture, {MICRO}
2022, Chicago, IL, USA, October 1-5, 2022},
pages = {1012--1026},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MICRO56248.2022.00071},
doi = {10.1109/MICRO56248.2022.00071},
timestamp = {Fri, 04 Nov 2022 09:24:05 +0100},
biburl = {https://dblp.org/rec/conf/micro/JiangYC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/JiangCYL21,
author = {Shizhi Jiang and
Yiwei Ci and
Qiusong Yang and
Mingshu Li},
editor = {Xian{-}He Sun and
Sameer Shende and
Laxmikant V. Kal{\'{e}} and
Yong Chen},
title = {Matryoshka: {A} Coalesced Delta Sequence Prefetcher},
booktitle = {{ICPP} 2021: 50th International Conference on Parallel Processing,
Lemont, IL, USA, August 9 - 12, 2021},
pages = {5:1--5:11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472456.3473510},
doi = {10.1145/3472456.3473510},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpp/JiangCYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/FengYS018,
author = {Xinyue Feng and
Qiusong Yang and
Lin Shi and
Qing Wang},
title = {BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for
Operating System Kernel},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018},
pages = {13--24},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS.2018.00015},
doi = {10.1109/QRS.2018.00015},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/FengYS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/WuYH17,
author = {Tao Wu and
Qiusong Yang and
Yeping He},
title = {A secure and rapid response architecture for virtual machine migration
from an untrusted hypervisor to a trusted one},
journal = {Frontiers Comput. Sci.},
volume = {11},
number = {5},
pages = {821--835},
year = {2017},
url = {https://doi.org/10.1007/s11704-016-5190-6},
doi = {10.1007/S11704-016-5190-6},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/WuYH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LinMBYWK16,
author = {Yuqi Lin and
Saif Ur Rehman Malik and
Kashif Bilal and
Qiusong Yang and
Yongji Wang and
Samee U. Khan},
title = {Designing and Modeling of Covert Channels in Operating Systems},
journal = {{IEEE} Trans. Computers},
volume = {65},
number = {6},
pages = {1706--1719},
year = {2016},
url = {https://doi.org/10.1109/TC.2015.2458862},
doi = {10.1109/TC.2015.2458862},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LinMBYWK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XieYWCM15,
author = {Miao Xie and
Qiusong Yang and
Qing Wang and
Gao Cong and
Gerard de Melo},
editor = {Blai Bonet and
Sven Koenig},
title = {DynaDiffuse: {A} Dynamic Diffusion Model for Continuous Time Constrained
Influence Maximization},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {346--352},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9203},
doi = {10.1609/AAAI.V29I1.9203},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XieYWCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/XieYZW14,
author = {Miao Xie and
Qiusong Yang and
Jian Zhai and
Qing Wang},
title = {A vertex centric parallel algorithm for linear temporal logic model
checking in Pregel},
journal = {J. Parallel Distributed Comput.},
volume = {74},
number = {11},
pages = {3161--3174},
year = {2014},
url = {https://doi.org/10.1016/j.jpdc.2014.07.009},
doi = {10.1016/J.JPDC.2014.07.009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/XieYZW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/HuangXYWW13,
author = {Hui Huang and
Junchao Xiao and
Qiusong Yang and
Qing Wang and
Hong Wu},
title = {Creating Process-Agents incrementally by mining process asset library},
journal = {Inf. Sci.},
volume = {233},
pages = {183--199},
year = {2013},
url = {https://doi.org/10.1016/j.ins.2012.12.052},
doi = {10.1016/J.INS.2012.12.052},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/HuangXYWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/YangCKL12,
author = {Qiusong Yang and
Edmund M. Clarke and
Anvesh Komuravelli and
Mingshu Li},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Assumption Generation for Asynchronous Systems by Abstraction Refinement},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {260--276},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_16},
doi = {10.1007/978-3-642-35861-6\_16},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/YangCKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/DongYWZR11,
author = {Xin Dong and
Qiusong Yang and
Qing Wang and
Jian Zhai and
G{\"{u}}nther Ruhe},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Value-Risk Trade-off Analysis for Iteration Planning in Extreme Programming},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {397--404},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.11},
doi = {10.1109/APSEC.2011.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/DongYWZR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/YangZZL11,
author = {Qiusong Yang and
Bei Zhang and
Jian Zhai and
Mingshu Li},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Attacking the Dimensionality Problem of Parameterized Systems via
Bounded Reachability Graphs},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {221--235},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_15},
doi = {10.1007/978-3-642-29320-7\_15},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/YangZZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/HuangYXZ11,
author = {Hui Huang and
Qiusong Yang and
Junchao Xiao and
Jian Zhai},
editor = {David Raffo and
Dietmar Pfahl and
Li Zhang},
title = {Automatic mining of change set size information from repository for
precise productivity estimation},
booktitle = {International Conference on Software and Systems Process, {ICSSP}
2011, Honolulu, HI, USA, May 21-22, 2011, Proceedings},
pages = {72--80},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1987875.1987889},
doi = {10.1145/1987875.1987889},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/HuangYXZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LiuYYL11,
author = {Yanbin Liu and
Ye Yang and
Qiusong Yang and
Mingshu Li},
title = {DRiVeR: Diagnosing Runtime Property Violations Based on Dependency
Rules},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {194--201},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.38},
doi = {10.1109/SSIRI-C.2011.38},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/LiuYYL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YangL10,
author = {Qiusong Yang and
Mingshu Li},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {A cut-off approach for bounded verification of parameterized systems},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {345--354},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806851},
doi = {10.1145/1806799.1806851},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/YangL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/XiaoWLYXL09,
author = {Junchao Xiao and
Qing Wang and
Mingshu Li and
Qiusong Yang and
Lizi Xie and
Dapeng Liu},
editor = {Qing Wang and
Vahid Garousi and
Raymond J. Madachy and
Dietmar Pfahl},
title = {Value-Based Multiple Software Projects Scheduling with Genetic Algorithm},
booktitle = {Trustworthy Software Development Processes, International Conference
on Software Process, {ICSP} 2009 Vancouver, Canada, May 16-17, 2009
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5543},
pages = {50--62},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01680-6\_7},
doi = {10.1007/978-3-642-01680-6\_7},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/XiaoWLYXL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ZhaiYSXWL09,
author = {Jian Zhai and
Qiusong Yang and
Feng Su and
Junchao Xiao and
Qing Wang and
Mingshu Li},
editor = {Qing Wang and
Vahid Garousi and
Raymond J. Madachy and
Dietmar Pfahl},
title = {Stochastic Process Algebra Based Software Process Simulation Modeling},
booktitle = {Trustworthy Software Development Processes, International Conference
on Software Process, {ICSP} 2009 Vancouver, Canada, May 16-17, 2009
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5543},
pages = {136--147},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01680-6\_14},
doi = {10.1007/978-3-642-01680-6\_14},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/ZhaiYSXWL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seafood/ZhaiYYXWL08,
author = {Jian Zhai and
Qiusong Yang and
Ye Yang and
Junchao Xiao and
Qing Wang and
Mingshu Li},
editor = {Kay Berkling and
Mathai Joseph and
Bertrand Meyer and
Martin Nordio},
title = {Automated Process Quality Assurance for Distributed Software Development},
booktitle = {Software Engineering Approaches for Offshore and Outsourced Development
- 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland,
July 2-3, 2008. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {16},
pages = {196--210},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01856-5\_14},
doi = {10.1007/978-3-642-01856-5\_14},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seafood/ZhaiYYXWL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/YangLWYZLHY07,
author = {Qiusong Yang and
Mingshu Li and
Qing Wang and
Guowei Yang and
Jian Zhai and
Juan Li and
Lishan Hou and
Yun Yang},
editor = {Qing Wang and
Dietmar Pfahl and
David M. Raffo},
title = {An Algebraic Approach for Managing Inconsistencies in Software Processes,},
booktitle = {Software Process Dynamics and Agility, International Conference on
Software Process, {ICSP} 2007, Minneapolis, MN, USA, May 19-20, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4470},
pages = {121--133},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72426-1\_11},
doi = {10.1007/978-3-540-72426-1\_11},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/YangLWYZLHY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/LiYZY06,
author = {Mingshu Li and
Qiusong Yang and
Jian Zhai and
Guowei Yang},
editor = {Qing Wang and
Dietmar Pfahl and
David M. Raffo and
Paul Wernick},
title = {On Mobility of Software Processes},
booktitle = {Software Process Change, International Software Process Workshop and
International Workshop on Software Process Simulation and Modeling,
SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3966},
pages = {105--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754305\_12},
doi = {10.1007/11754305\_12},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/LiYZY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/DingDSTW05,
author = {Liping Ding and
Qiusong Yang and
Liang Sun and
Jie Tong and
Yongji Wang},
editor = {Mingshu Li and
Barry W. Boehm and
Leon J. Osterweil},
title = {Evaluation of the Capability of Personal Software Process Based on
Data Envelopment Analysis},
booktitle = {Unifying the Software Process Spectrum, International Software Process
Workshop, {SPW} 2005, Beijing, China, May 25-27, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3840},
pages = {235--248},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11608035\_21},
doi = {10.1007/11608035\_21},
timestamp = {Wed, 12 Apr 2023 13:19:01 +0200},
biburl = {https://dblp.org/rec/conf/ispw/DingDSTW05.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-01-10 23:00 CET 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:
