Seguir
Si Liu
Si Liu
Senior Researcher (Oberassistent), Department of Computer Science, ETH Zurich
Dirección de correo verificada de inf.ethz.ch
Título
Citado por
Citado por
Año
Charting the Attack Surface of Trigger-Action IoT Platforms
Q Wang, P Datta, W Yang, S Liu, A Bates, CA Gunter
1582019
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
432018
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
382014
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
372017
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
372015
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
282016
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
282016
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
202019
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
182018
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
182014
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
162019
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
162017
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
152018
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
132020
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
132012
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
112011
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
102011
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
102011
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
92022
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
92015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20