Si Liu

According to our database, Si Liu authored at least 29 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NOC-NOC: Towards Performance-optimal Distributed Transactions.

Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin

Proc. ACM Manag. Data, February, 2024

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems.

Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang

CoRR, 2024

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Efficient Black-box Checking of Snapshot Isolation in Databases.

Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan

Proc. VLDB Endow., 2023

A Formal Framework for End-to-End DNS Resolution.

Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

RHINE: Robust and High-performance Internet Naming with E2E Authenticity.

Huayi Duan, Rubén Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.

Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions.

Si Liu

ACM Trans. Softw. Eng. Methodol., 2022

Bridging the semantic gap between qualitative and quantitative models of distributed systems.

Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin

Proc. ACM Program. Lang., 2022

DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.

Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang

CoRR, 2022

BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

CoRR, 2022

Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.

Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures.

Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.

Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Si Liu

PhD thesis, 2019

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.

Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer

Formal Aspects Comput., 2019

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.

Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Charting the Attack Surface of Trigger-Action IoT Platforms.

Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Formal Modeling and Analysis of the Walter Transactional Data Store.

Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.

Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Quantitative Analysis of Consistency in NoSQL Key-Value Stores.

Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer

Leibniz Trans. Embed. Syst., 2017

Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.

Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Modeling and analyzing mobile ad hoc networks in Real-Time Maude.

Si Liu, Peter Csaba Ölveczky, José Meseguer

J. Log. Algebraic Methods Program., 2016

Formal modeling and analysis of RAMP transaction systems.

Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

Formal Analysis of Leader Election in MANETs Using Real-Time Maude.

Si Liu, Peter Csaba Ölveczky, José Meseguer

Proceedings of the Software, 2015

2014

A Framework for Mobile Ad hoc Networks in Real-Time Maude.

Si Liu, Peter Csaba Ölveczky, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Formal Modeling and Analysis of Cassandra in Maude.

Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2014