| MIAPS: A web-based system for remotely accessing and presenting medical images H Shen, D Ma, Y Zhao, H Sun, S Sun, R Ye, L Huang, B Lang, Y Sun Computer methods and programs in biomedicine 113 (1), 266-283, 2014 | 52 | 2014 |
| An adaptive heuristic approach for distributed QoS-based service composition J Li, Y Zhao, M Liu, H Sun, D Ma The IEEE symposium on Computers and Communications, 687-694, 2010 | 40 | 2010 |
| Refinement-based specification and security analysis of separation kernels Y Zhao, D Sanán, F Zhang, Y Liu IEEE Transactions on Dependable and Secure Computing 16 (1), 127-141, 2017 | 33 | 2017 |
| Reasoning about information flow security of separation kernels with channel-based communication Y Zhao, D Sanán, F Zhang, Y Liu Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 29 | 2016 |
| A survey on formal specification and verification of separation kernels Y Zhao, Z Yang, D Ma Frontiers of Computer Science 11, 585-607, 2017 | 27 | 2017 |
| Csimpl: A rely-guarantee-based framework for verifying concurrent programs D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 24 | 2017 |
| Rely-guarantee reasoning about concurrent memory management in zephyr RTOS Y Zhao, D Sanán Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 21 | 2019 |
| Medical image retrieval with query-dependent feature fusion based on one-class SVM Y Huang, J Zhang, Y Zhao, D Ma 2010 13th IEEE International Conference on Computational Science and …, 2010 | 20 | 2010 |
| Model learning: a survey of foundations, tools and applications S Ali, H Sun, Y Zhao Frontiers of Computer Science 15 (5), 155210, 2021 | 17 | 2021 |
| Formal specification and analysis of partitioning operating systems by integrating ontology and refinement Y Zhao, D Sanán, F Zhang, Y Liu IEEE Transactions on Industrial Informatics 12 (4), 1321-1331, 2016 | 17 | 2016 |
| Formal verification of behavioral AADL models by stateful timed CSP F Zhang, Y Zhao, D Ma, W Niu IEEE Access 5, 27421-27438, 2017 | 16 | 2017 |
| Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B Y Zhao, Z Yang, D Sanán, Y Liu 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015 | 16 | 2015 |
| An aadl-based modeling method for arinc653-based avionics software Y Wang, D Ma, Y Zhao, L Zou, X Zhao 2011 IEEE 35th Annual Computer Software and Applications Conference, 224-229, 2011 | 16 | 2011 |
| Towards a verified compiler prototype for the synchronous language SIGNAL Z Yang, JP Bodeveix, M Filali, K Hu, Y Zhao, D Ma Frontiers of Computer Science 10, 37-53, 2016 | 15 | 2016 |
| Collaborative visualization of large scale datasets using web services Y Zhao, C Hu, Y Huang, D Ma Second International Conference on Internet and Web Applications and …, 2007 | 15 | 2007 |
| Model checking of adaptive programs with mode-extended linear temporal logic Y Zhao, D Ma, J Li, Z Li 2011 Eighth IEEE International Conference and Workshops on Engineering of …, 2011 | 14 | 2011 |
| High-assurance separation kernels: a survey on formal methods Y Zhao, D Sanán, F Zhang, Y Liu arXiv preprint arXiv:1701.01535, 2017 | 13 | 2017 |
| Collaborative annotation of medical images via web browser for teleradiology H Shen, D Ma, Y Zhao, R Ye 2012 International Conference on Computerized Healthcare (ICCH), 127-133, 2012 | 13 | 2012 |
| CSim2 Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee D Sanan, Y Zhao, SW Lin, L Yang ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-46, 2021 | 10 | 2021 |
| PBA4WSSP: a policy-based architecture for web services security processing H Zeng, D Ma, Y Zhao, Z Li Service Oriented Computing and Applications 8, 55-72, 2014 | 10 | 2014 |
