Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSi Liu 0003
Person information
- affiliation: ETH Zürich, Switzerland
- affiliation (former): University of Illinois at Urbana-Champaign, Department of Computer Science, IL, USA
Other persons with the same name
- Si Liu — disambiguation page
- Si Liu 0001
![[0000-0002-9180-2935]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-9180-2935")
— Beihang University, School of Computer Science and Engineering, Beijing Key Laboratory of Digital Media, China (and 3 more) - Si Liu 0002 — University of New South Wales, Canberra, Australia
- Si Liu 0004 — Tianjin University of Technology, Key Lab of Intelligent Computing and Novel Software Technology, Ministry of Education, Tianjin, China
- Si Liu 0005 — Michigan Technological University, Department of Mechanical Engineering and Engineering Mechanics, Houghton, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2019
[b1]Si Liu:
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude. University of Illinois Urbana-Champaign, USA, 2019
Journal Articles
- 2023
- [j6]Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan:
Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. 16(6): 1264-1276 (2023) - 2022
- [j5]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): 315-344 (2022) - [j4]Si Liu:
All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions. ACM Trans. Softw. Eng. Methodol. 31(3): 43:1-43:44 (2022) - 2019
- [j3]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): 503-540 (2019) - 2017
- [j2]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): 03:1-03:26 (2017) - 2016
- [j1]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): 34-66 (2016)
Conference and Workshop Papers
- 2024
- [c19]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: 73-97 - 2023
- [c18]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: 16251-16260 - [c17]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: 1182-1194 - [c16]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 - [c15]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: 531-553 - [c14]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: 932-949 - 2022
- [c13]Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin:
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF 2022: 147-162 - [c12]Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang:
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE 2022: 80:1-80:13 - 2020
- [c11]Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang:
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM 2020: 22-40 - 2019
- [c10]Qi Wang, Pubali Datta, Wei Yang, Si Liu, Adam Bates, Carl A. Gunter:
Charting the Attack Surface of Trigger-Action IoT Platforms. CCS 2019: 1439-1453 - [c9]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: 40-57 - 2018
- [c8]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: 77-93 - [c7]Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018: 136-152 - 2017
- [c6]Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer:
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM 2017: 298-314 - 2016
- [c5]Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer:
Formal modeling and analysis of RAMP transaction systems. SAC 2016: 1700-1707 - 2015
- [c4]Si Liu, Peter Csaba Ölveczky, José Meseguer:
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems 2015: 231-252 - [c3]Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer:
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. QEST 2015: 228-243 - 2014
- [c2]Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer:
Formal Modeling and Analysis of Cassandra in Maude. ICFEM 2014: 332-347 - [c1]Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014: 162-177
Informal and Other Publications
- 2023
- [i6]Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan:
Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR abs/2301.07313 (2023) - [i5]Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang:
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR abs/2303.11552 (2023) - [i4]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. CoRR abs/2305.16998 (2023) - 2022
- [i3]Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang:
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR abs/2208.09872 (2022) - [i2]Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang:
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems. CoRR abs/2211.11127 (2022) - [i1]Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang:
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR abs/2211.11186 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 06:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
