Si Liu - RankMe

60 papers A* 7A 2B 2C 3Misc 5Journal 27Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ATA: An Abstract-Train-Abstract approach for explanation-friendly deep reinforcement learning. Neural Networks Shi Peng, Si Liu, Dapeng Zhi, Peixin Wang, Chenyang Xu, Cheng Chen, Min Zhang
2025	J	`jnl`	Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version). CoRR Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen, Anqun Pan
2025	A*	`conf`	Boosting End-to-End Database Isolation Checking via Mini-Transactions. ICDE Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen, Anqun Pan
2025	J	`jnl`	Fast Verification of Strong Database Isolation (Extended Version). CoRR Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan
2025	J	`jnl`	Fast Verification of Strong Database Isolation. Proc. VLDB Endow. Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan
2025	—	`conf`	Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. TACAS (3) Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin
2025	J	`jnl`	Reachability Analysis of the Domain Name System. Proc. ACM Program. Lang. Dhruv Nevatia, Si Liu, David A. Basin
2025	J	`jnl`	Testing Graph Databases with Synthesized Queries. Proc. ACM Manag. Data Zijing Yin, Si Liu, David A. Basin
2025	J	`jnl`	VerIso: Verifiable Isolation Guarantees for Database Transactions. CoRR Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin
2025	J	`jnl`	VerIso: Verifiable Isolation Guarantees for Database Transactions. Proc. VLDB Endow. Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin
2024	A*	`conf`	CAMP: Compositional Amplification Attacks against DNS. USENIX Security Symposium Huayi Duan, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig, Si Liu, Bernhard Tellenbach
2024	J	`jnl`	IsoVista: Black-box Checking Database Isolation Guarantees. Proc. VLDB Endow. Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei, Yuxing Chen, David A. Basin
2024	J	`jnl`	NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin
2024	J	`jnl`	Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels. Proc. ACM Program. Lang. Si Liu, Long Gu, Hengfeng Wei, David A. Basin
2024	J	`jnl`	Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. CoRR Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin
2024	J	`jnl`	Reachability Analysis of the Domain Name System. CoRR Dhruv Nevatia, Si Liu, David A. Basin
2024	—	`conf`	Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2024	—	`conf`	Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
2024	J	`jnl`	Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
2023	A*	`conf`	A Formal Framework for End-to-End DNS Resolution. SIGCOMM Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig
2023	A	`conf`	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
2023	J	`jnl`	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. CoRR Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
2023	A*	`conf`	Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks. NeurIPS Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
2023	A*	`conf`	Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
2023	J	`jnl`	Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
2023	Misc	`conf`	RHINE: Robust and High-performance Internet Naming with E2E Authenticity. NSDI Huayi Duan, Rubén Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig
2022	J	`jnl`	All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions. ACM Trans. Softw. Eng. Methodol. Si Liu
2022	J	`jnl`	BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems. CoRR Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2022	J	`jnl`	Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
2022	J	`jnl`	DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang
2022	A	`conf`	N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin
2022	A*	`conf`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2022	J	`jnl`	Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
2021	Misc	`conf`	Exploring Design Alternatives for Replicated RAMP Transactions Using Maude. TASE Lei Liang, Si Liu
2020	—	`conf`	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
2019	—	`conf`	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
2019	A*	`conf`	Charting the Attack Surface of Trigger-Action IoT Platforms. CCS Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter
2019	—	`—`	Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude Si Liu
2019	J	`jnl`	Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
2018	—	`conf`	Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
2018	B	`conf`	ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
2017	C	`conf`	Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
2017	J	`jnl`	Quantitative Analysis of Consistency in NoSQL Key-Value Stores. Leibniz Trans. Embed. Syst. Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer
2016	Misc	`conf`	Formal modeling and analysis of RAMP transaction systems. SAC Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer
2016	J	`jnl`	Modeling and analyzing mobile ad hoc networks in Real-Time Maude. J. Log. Algebraic Methods Program. Si Liu, Peter Csaba Ölveczky, José Meseguer
2015	—	`conf`	Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems Si Liu, Peter Csaba Ölveczky, José Meseguer
2015	—	`conf`	Quantitative Analysis of Consistency in NoSQL Key-Value Stores. QEST Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer
2014	—	`conf`	A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA Si Liu, Peter Csaba Ölveczky, José Meseguer
2014	C	`conf`	Formal Modeling and Analysis of Cassandra in Maude. ICFEM Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer
2014	C	`conf`	Reasoning about Group-Based Mobility in MANETs. PRDC Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
2013	J	`jnl`	Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
2012	—	`conf`	Modeling and Verifying the Ariadne Protocol Using CSP. ECBS Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen
2011	—	`conf`	A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2011	—	`conf`	Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang
2011	B	`conf`	Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
2011	Misc	`conf`	Modeling and Analyzing the (mu)TESLA Protocol Using CSP. TASE Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu
2011	—	`conf`	Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) Han Zhu, Huibiao Zhu, Si Liu, Jian Guo
2011	Misc	`conf`	Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li