Si Liu

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 22

Top Topics

Qualitative And Quantitative

Formal Analysis

Mobile Ad Hoc Networks

Transaction Systems

Top Venues

Proc. ACM Manag. Data

J. Log. Algebraic Methods Program.

Publications

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) (2024)
Huayi Duan, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig, Si Liu, Bernhard Tellenbach
CAMP: Compositional Amplification Attacks against DNS. USENIX Security Symposium (2024)
Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR (2024)
Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) (2024)
Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin
NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data 2 (1) (2024)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR (2023)
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks. NeurIPS (2023)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR (2023)
Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA (2023)
Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig
A Formal Framework for End-to-End DNS Resolution. SIGCOMM (2023)
Huayi Duan, Rubén Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig
RHINE: Robust and High-performance Internet Naming with E2E Authenticity. NSDI (2023)
Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE (2022)
Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM (2020)
Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. 31 (5) (2019)
Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) (2019)
Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE (2018)
Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS (2018)
Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM (2017)
Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. Leibniz Trans. Embed. Syst. 4 (1) (2017)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. J. Log. Algebraic Methods Program. 85 (1) (2016)
Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer
Formal modeling and analysis of RAMP transaction systems. SAC (2016)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems (2015)
Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. QEST (2015)
Si Liu, Peter Csaba Ölveczky, José Meseguer
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA (2014)
Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
Formal Modeling and Analysis of Cassandra in Maude. ICFEM (2014)