A Verifier for Interactive, Data-driven Web Applications
Summary: WAVE: a verifier for interactive, database-driven Web apps specified with WebML. Complete for a broad class of infinite-state runs; by coupling model checking with database-optimization, it achieves seconds-level verification on real apps and supports incomplete verification. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Alin Deutsch (University of California San Diego)
- 2. Monica Marcus (University of California San Diego)
- 3. Liying Sui (University of California San Diego)
- 4. Victor Vianu (University of California San Diego)
- 5. Dayou Zhou (University of California San Diego)
BibTeX Citation
@inproceedings{deutsch_sigmod05,
title = {{A Verifier for Interactive, Data-driven Web Applications}},
author = {Deutsch, Alin and Marcus, Monica and Sui, Liying and Vianu, Victor and Zhou, Dayou},
series = {{SIGMOD} '05},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/1066157.1066219},
url = {https://dl.acm.org/doi/10.1145/1066157.1066219},
year = {2005}
}
Incoming Citations (Sorted by Pagerank)
Showing 12 of 12 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,176 | Relational Transducers for Electronic Commerce | 1998 | PODS | 0.00011643011 |
| 2,159 | E-Services: A Look Behind the Curtain | 2003 | PODS | 8.9372589e-05 |
| 2,695 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 8.1213392e-05 |
| 4,170 | Specification and Verification of Data-driven Web Services | 2004 | PODS | 6.7615597e-05 |
| 4,724 | Tools for Design of Composite Web Services (Tutorial Abstract) | 2004 | SIGMOD | 6.4523909e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,644 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB |
| 2 | 14,197 | Declarative Specification of Web Applications exploiting Web Services and Workflows | 2004 | SIGMOD |
| 3 | 5,244 | Verification of Database-driven Systems via Amalgamation | 2013 | PODS |
| 4 | 7,503 | Static Analysis of Active XML Systems | 2008 | PODS |
| 5 | 6,328 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD |
| 6 | 12,642 | Querying Schemas With Access Restrictions | 2012 | VLDB |
| 7 | 5,206 | A Temporal Framework for Database Specification and Verification | 1984 | VLDB |
| 8 | 2,164 | Verification of Communicating Data-Driven Web Services | 2006 | PODS |
| 9 | 4,170 | Specification and Verification of Data-driven Web Services | 2004 | PODS |
| 10 | 3,907 | A System for Specification and Verification of Interactive, Data-driven Web Applications | 2006 | SIGMOD |