default search action
25th ICECCS 2020: Singapore
- Yi Li, Alan Wee-Chung Liew:
25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020. IEEE 2020, ISBN 978-1-7281-8558-3
Formal Methods I
- Polina Ovsiannikova
, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin:
Visual counterexample explanation for model checking with OERITTE. 1-10 - Tayssir Touili, Xin Ye:
CTL Model Checking of Self Modifying Code. 11-20 - Victor Rivera:
Formal Verification of Access Control Model for My Health Record System. 21-30
Formal Methods II
- Hadrien Bride, Jin Song Dong, Zhé Hóu
RL: a Language for Formal Engineering. 31-36 - Étienne André
Parametric non-interference in timed automata. 37-42 - Xuan-Bach Le, David Sanán
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. 43-52
Deep Learning
- Kan Jiang
Deep Learning Application in Broadcast Tennis Video Annotation. 53-62 - Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. 63-72 - Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai:
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. 73-82
Robotics and Autonomous Systems
- Mario Gleirscher, Radu Calinescu:
Safety Controller Synthesis for Collaborative Robots. 83-92 - Thomas Laurent, Paolo Arcaini
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. 93-102 - Mohammad Ashiqur Rahman
Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines. 103-112 - Simon Foster
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. 113-118
Blockchain and Security
- Babu Pillai, Kamanashis Biswas, Zhé Hóu
The Burn-to-Claim cross-blockchain asset transfer protocol. 119-124 - Ru Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts. 125-134 - Hanlin Wei
Foggy: A New Anonymous Communication Architecture Based on Microservices. 135-144
Software Development
- Hao Huang, Yao Lu, Xinjun Mao:
Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study. 145-155 - Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen:
IFIX: Fixing Concurrency Bugs While They Are Introduced. 155-164 - Rong Wang
A Fault Localization Approach Derived From Testing-based Formal Verification. 165-170
Infrastructures
- Behzad Farokhi, Katharina Dost
The Semantic Spreadsheet. 171-176 - Yan Yan, Kaixin Huang, Shengan Zheng, Dongliang Xue, Linpeng Huang:
ReoFS: A Read-Efficient and Write-Optimized File System for Persistent Memory. 177-186 - Sean Rivera, Antonio Ken Iannillo, Sofiane Lagraa, Clément Joly, Radu State:
ROS-FM: Fast Monitoring for the Robotic Operating System(ROS). 187-196
Planning and Optimization
- Claudia Szabo, Vanja Radenovic, Gregory Judd, Dustin Craggs, Kin Leong Lee, Xiaoshan Chen, Kevin Chan:
Optimizing Communication Strategies in Contested and Dynamic Environments. 197-205 - Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk
An Anytime Algorithm for Large-scale Heterogeneous Task Allocation. 206-215 - Nacha Chondamrongkul, Jing Sun, Ian Warren:
Automated Planning for Software Architectural Migration. 216-224
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-11-18 20:33 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: