| Charting the Attack Surface of Trigger-Action IoT Platforms Q Wang, P Datta, W Yang, S Liu, A Bates, CA Gunter | 163 | 2019 |
| Survivability: design, formal modeling, and validation of cloud storage systems using Maude R Bobba, J Grov, I Gupta, S Liu, J Meseguer, PC Ölveczky, S Skeirik Assured cloud computing, 10-48, 2018 | 43 | 2018 |
| Formal Modeling and Analysis of Cassandra in Maude S Liu, MR Rahman, S Skeirik, I Gupta, J Meseguer International Conference on Formal Engineering Methods 8829, 332--347, 2014 | 38 | 2014 |
| Quantitative Analysis of Consistency in NoSQL Key-value Stores S Liu, J Ganhotra, MR Rahman, S Nguyen, I Gupta, J Meseguer Leibniz Transactions on Embedded Systems 4, 03:1-03:26, 2017 | 37 | 2017 |
| Quantitative Analysis of Consistency in NoSQL Key-value Stores S Liu, S Nguyen, J Ganhotra, MR Rahman, I Gupta, J Meseguer Quantitative Evaluation of Systems 9259, 228--243, 2015 | 37 | 2015 |
| Formal Modeling and Analysis of Ramp Transaction Systems S Liu, PC Ölveczky, MR Rahman, J Ganhotra, I Gupta, J Meseguer ACM Symposium on Applied Computing, 1700--1707, 2016 | 28 | 2016 |
| Modeling and Analyzing Mobile Ad hoc Networks in Real-Time Maude S Liu, PC Ölveczky, J Meseguer Journal of Logical and Algebraic Methods in Programming 85, 34--66, 2016 | 28 | 2016 |
| Automatic analysis of consistency properties of distributed transaction systems in Maude S Liu, PC Ölveczky, M Zhang, Q Wang, J Meseguer Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 20 | 2019 |
| ROLA: A New Distributed Transaction Protocol and Its Formal Analysis S Liu, PC Olveczky, K Santhanam, Q Wang, I Gupta, J Meseguer International Conference on Fundamental Approaches to Software Engineering …, 2018 | 18 | 2018 |
| A Framework for Mobile Ad hoc Networks in Real-Time Maude S Liu, PC Ölveczky, J Meseguer Rewriting Logic and Its Applications 8663, 162-177, 2014 | 18 | 2014 |
| Read atomic transactions with prevention of lost updates: ROLA and its formal analysis S Liu, PC Ölveczky, Q Wang, I Gupta, J Meseguer Formal Aspects of Computing 31, 503-540, 2019 | 16 | 2019 |
| Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking S Liu, PC Ölveczky, J Ganhotra, I Gupta, J Meseguer International Conference on Formal Engineering Methods 10610, 298-314, 2017 | 16 | 2017 |
| Formal modeling and analysis of the Walter transactional data store S Liu, PC Ölveczky, Q Wang, J Meseguer Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 …, 2018 | 15 | 2018 |
| Generating correct-by-construction distributed implementations from formal Maude designs S Liu, A Sandur, J Meseguer, PC Ölveczky, Q Wang NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 13 | 2020 |
| Modeling and Verifying the Ariadne Protocol Using CSP X Wu, S Liu, H Zhu, Y Zhao, L Chen International Conference and Workshops on Engineering of Computer-Based …, 2012 | 13 | 2012 |
| A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective S Liu, Y Zhao, H Zhu, Q Li International Symposium on High-Assurance Systems Engineering, 157-162, 2011 | 11 | 2011 |
| Provably tightest linear approximation for robustness verification of sigmoid-like neural networks Z Zhang, Y Wu, S Liu, J Liu, M Zhang Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 10 | 2022 |
| Formal Model of Interrupt Program from a Probabilistic Perspective Y Zhao, Y Huang, J He, S Liu International Conference on Engineering of Complex Computer Systems, 87-94, 2011 | 10 | 2011 |
| Formal Approaches to Wireless Sensor Networks S Liu, X Wu, Q Li, H Zhu, Q Wang International Conference on Secure Software Integration and Reliability …, 2011 | 10 | 2011 |
| Formal analysis of Leader Election in MANETs Using Real-Time Maude S Liu, PC Ölveczky, J Meseguer Software, Services, and Systems 8950, 231--252, 2015 | 9 | 2015 |
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
