Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iceccs/iceccs2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/iceccs/0001GC20,
author = {Simon Foster and
Mario Gleirscher and
Radu Calinescu},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Towards Deductive Verification of Control Algorithms for Autonomous
Marine Vehicles},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {113--118},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00020},
doi = {10.1109/ICECCS51672.2020.00020},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/0001GC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/0003AIV20,
author = {Thomas Laurent and
Paolo Arcaini and
Fuyuki Ishikawa and
Anthony Ventresque},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Achieving Weight Coverage for an Autonomous Driving System with Search-based
Test Generation},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {93--102},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00018},
doi = {10.1109/ICECCS51672.2020.00018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/0003AIV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AndreK20,
author = {{\'{E}}tienne Andr{\'{e}} and
Aleksander Kryukov},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Parametric non-interference in timed automata},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {37--42},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00012},
doi = {10.1109/ICECCS51672.2020.00012},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/AndreK20.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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/BrideDHMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Chondamrongkul020,
author = {Nacha Chondamrongkul and
Jing Sun and
Ian Warren},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Automated Planning for Software Architectural Migration},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {216--224},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00032},
doi = {10.1109/ICECCS51672.2020.00032},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/Chondamrongkul020.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/iceccs/FarokhiDWSL20,
author = {Behzad Farokhi and
Katharina Dost and
Gerald Weber and
Jing Sun and
Christof Lutteroth},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {The Semantic Spreadsheet},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {171--176},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00027},
doi = {10.1109/ICECCS51672.2020.00027},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FarokhiDWSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FengLCLL20,
author = {Ruitao Feng and
Jing Qiang Lim and
Sen Chen and
Shang{-}Wei Lin and
Yang Liu},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {SeqMobile: An Efficient Sequence-Based Malware Detection System Using
{RNN} on Mobile Devices},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {63--72},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00015},
doi = {10.1109/ICECCS51672.2020.00015},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FengLCLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GleirscherC20,
author = {Mario Gleirscher and
Radu Calinescu},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Safety Controller Synthesis for Collaborative Robots},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {83--92},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00017},
doi = {10.1109/ICECCS51672.2020.00017},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/GleirscherC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Huang0M20,
author = {Hao Huang and
Yao Lu and
Xinjun Mao},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Gathering GitHub {OSS} Requirements from Q{\&}A Community: an
Empirical Study},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {145--155},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00024},
doi = {10.1109/ICECCS51672.2020.00024},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/Huang0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JiHWWB020,
author = {Ru Ji and
Ningyu He and
Lei Wu and
Haoyu Wang and
Guangdong Bai and
Yao Guo},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum
Smart Contracts},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {125--134},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00022},
doi = {10.1109/ICECCS51672.2020.00022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JiHWWB020.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/LeS0020,
author = {Xuan{-}Bach Le and
David San{\'{a}}n and
Jun Sun and
Shang{-}Wei Lin},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Automatic Verification of Multi-threaded Programs by Inference of
Rely-Guarantee Specifications},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {43--52},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00013},
doi = {10.1109/ICECCS51672.2020.00013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/LeS0020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Li0VK20,
author = {Qinyuan Li and
Minyi Li and
Bao Quoc Vo and
Ryszard Kowalczyk},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {An Anytime Algorithm for Large-scale Heterogeneous Task Allocation},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {206--215},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00031},
doi = {10.1109/ICECCS51672.2020.00031},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/Li0VK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/OvsiannikovaBPV20,
author = {Polina Ovsiannikova and
Igor Buzhinsky and
Antti Pakonen and
Valeriy Vyatkin},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Visual counterexample explanation for model checking with {OERITTE}},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00008},
doi = {10.1109/ICECCS51672.2020.00008},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/OvsiannikovaBPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PillaiBHM20,
author = {Babu Pillai and
Kamanashis Biswas and
Zh{\'{e}} H{\'{o}}u and
Vallipuram Muthukkumarasamy},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {The Burn-to-Claim cross-blockchain asset transfer protocol},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {119--124},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00021},
doi = {10.1109/ICECCS51672.2020.00021},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/PillaiBHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RahmanMAD20,
author = {Mohammad Ashiqur Rahman and
Rahat Masum and
Matthew Anderson and
Steven L. Drager},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform
Resilient Surveillance of Critical Power Transmission Lines},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {103--112},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00019},
doi = {10.1109/ICECCS51672.2020.00019},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RahmanMAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Rivera20,
author = {Victor Rivera},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Formal Verification of Access Control Model for My Health Record System},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {21--30},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00010},
doi = {10.1109/ICECCS51672.2020.00010},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/Rivera20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RiveraILJS20,
author = {Sean Rivera and
Antonio Ken Iannillo and
Sofiane Lagraa and
Cl{\'{e}}ment Joly and
Radu State},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {{ROS-FM:} Fast Monitoring for the Robotic Operating System(ROS)},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {187--196},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00029},
doi = {10.1109/ICECCS51672.2020.00029},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/RiveraILJS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SzaboRJCLCC20,
author = {Claudia Szabo and
Vanja Radenovic and
Gregory Judd and
Dustin Craggs and
Kin Leong Lee and
Xiaoshan Chen and
Kevin Chan},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Optimizing Communication Strategies in Contested and Dynamic Environments},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {197--205},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00030},
doi = {10.1109/ICECCS51672.2020.00030},
timestamp = {Sat, 22 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/SzaboRJCLCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Touili020,
author = {Tayssir Touili and
Xin Ye},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {{CTL} Model Checking of Self Modifying Code},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {11--20},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00009},
doi = {10.1109/ICECCS51672.2020.00009},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/Touili020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WangLS20,
author = {Rong Wang and
Shaoying Liu and
Yuji Sato},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {A Fault Localization Approach Derived From Testing-based Formal Verification},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {165--170},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00026},
doi = {10.1109/ICECCS51672.2020.00026},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/WangLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WangWLSWC20,
author = {Zan Wang and
Haichi Wang and
Shuang Liu and
Jun Sun and
Haoyu Wang and
Junjie Chen},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {{IFIX:} Fixing Concurrency Bugs While They Are Introduced},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {155--164},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00025},
doi = {10.1109/ICECCS51672.2020.00025},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/WangWLSWC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/WeiBL20,
author = {Hanlin Wei and
Guangdong Bai and
Zongwei Luo},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Foggy: {A} New Anonymous Communication Architecture Based on Microservices},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {135--144},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00023},
doi = {10.1109/ICECCS51672.2020.00023},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/WeiBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YanHZXH20,
author = {Yan Yan and
Kaixin Huang and
Shengan Zheng and
Dongliang Xue and
Linpeng Huang},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {ReoFS: {A} Read-Efficient and Write-Optimized File System for Persistent
Memory},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {177--186},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00028},
doi = {10.1109/ICECCS51672.2020.00028},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/YanHZXH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2020,
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020},
doi = {10.1109/ICECCS51672.2020},
isbn = {978-1-7281-8558-3},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/2020.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.
retrieved on 2024-05-25 14:57 CEST from data curated 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:
