Si Liu

According to our database, Si Liu authored at least 42 papers between 2011 and 2024.

Collaborative distances:

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

2024

IsoVista: Black-box Checking Database Isolation Guarantees.

Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei, Yuxing Chen, David A. Basin

Proc. VLDB Endow., August, 2024

NOC-NOC: Towards Performance-optimal Distributed Transactions.

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

Proc. ACM Manag. Data, February, 2024

Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels.

Si Liu, Long Gu, Hengfeng Wei, David A. Basin

Proc. ACM Program. Lang., 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

CAMP: Compositional Amplification Attacks against DNS.

Huayi Duan, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig, Si Liu, Bernhard Tellenbach

Proceedings of the 33rd USENIX Security Symposium, 2024

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

Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang

Proceedings of the Computer Aided Verification - 36th International Conference, 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

2021

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude.

Lei Liang, Si Liu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

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

Reasoning about Group-Based Mobility in MANETs.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 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

2013

Modeling and verifying the Ariadne protocol using process algebra.

Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu

Comput. Sci. Inf. Syst., 2013

2012

Modeling and Verifying the Ariadne Protocol Using CSP.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011

Modeling and Analyzing the (mu)TESLA Protocol Using CSP.

Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards Denotational Semantics for Verilog in PVS.

Han Zhu, Huibiao Zhu, Si Liu, Jian Guo

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Approaches to Wireless Sensor Networks.

Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Model of Interrupt Program from a Probabilistic Perspective.

Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011