The complementation problem for Bu¨chi automata with applications to temporal logic
Theoretical Computer Science
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Construction of Abstract State Graphs with PVS
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Declarative specification of Web sites with S
The VLDB Journal — The International Journal on Very Large Data Bases
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Verification of Web Service Flows with Model-Checking Techniques
CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Verifying Interactive Web Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A system for specification and verification of interactive, data-driven web applications
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
ESOP'03 Proceedings of the 12th European conference on Programming
Specification and design of workflow-driven hypertexts
Journal of Web Engineering
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Modelling and Verification of Web Navigation
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
Specification and verification of multi-user data-driven web applications
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Comparison of model checking tools for information systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Relational transducers for declarative networking
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Putting lipstick on pig: enabling database-style workflow provenance
Proceedings of the VLDB Endowment
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Querying schemas with access restrictions
Proceedings of the VLDB Endowment
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Deciding eventual consistency for a simple class of relational transducer networks
Proceedings of the 15th International Conference on Database Theory
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Modelling trusted web applications
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Verification of GSM-Based artifact-centric systems through finite abstraction
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Model-Driven testing for web applications using abstract state machines
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Automatic behavior composition synthesis
Artificial Intelligence
Journal of Artificial Intelligence Research
Relational transducers for declarative networking
Journal of the ACM (JACM)
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Verification of database-driven systems via amalgamation
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
We study data-driven Web applications provided by Web sites interacting with users or applications. The Web site can access an underlying database, as well as state information updated as the interaction progresses, and receives user input. The structure and contents of Web pages, as well as the actions to be taken, are determined dynamically by querying the underlying database as well as the state and inputs. The properties to be verified concern the sequences of events (inputs, states, and actions) resulting from the interaction, and are expressed in linear or branching-time temporal logics. The results establish under what conditions automatic verification of such properties is possible and provide the complexity of verification. This brings into play a mix of techniques from logic and model checking.