20 citations · 20 across the 1 of their papers we have counts for
2 papers
cs.SE2020
Automated synthesis of local time requirement for service composition
Étienne André, Tian Huat Tan, Manman Chen +4
Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time c…
cs.LG2019★ 20 cited
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Yizhen Dong, Peixin Zhang, Jingyi Wang +7
Deep neural networks (DNN) are increasingly applied in safety-critical systems, e.g., for face recognition, autonomous car control and malware detection. It is also shown that DNNs…