Παρακολούθηση
Si Liu
Si Liu
Senior Researcher (Oberassistent), Department of Computer Science, ETH Zurich
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ethz.ch - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Charting the Attack Surface of Trigger-Action IoT Platforms
Q Wang, P Datta, W Yang, S Liu, A Bates, CA Gunter
1952019
The Complete Guide to SCION: From Design Principles to Formal Verification
Information Security and Cryptography, 227-266, 477-517, 2022
58*2022
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
472018
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
402014
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
392017
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
392015
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
292016
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
292016
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
222019
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
212019
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
192018
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
192014
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
162018
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
Detecting Transactional Bugs in Database Engines via {Graph-Based} Oracle Construction
ZM Jiang, S Liu, M Rigger, Z Su
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
152023
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
152020
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
142022
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
Boosting verified training for robust image classifications via abstraction
Z Zhang, Z Xue, Y Chen, S Liu, Y Zhang, J Liu, M Zhang
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023
112023
All in one: Design, verification, and implementation of SNOW-optimal read atomic transactions
S Liu
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-44, 2022
112022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20