Formal Verification of e-Services and Workflows
暂无分享,去创建一个
Xiang Fu | Jianwen Su | Tevfik Bultan | T. Bultan | Jianwen Su | Xiang Fu
[1] Gerhard Weikum,et al. Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems , 2000, EDBT.
[2] E. Clarke,et al. Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .
[3] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[4] Richard Gerber,et al. Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic , 1997, CAV.
[5] Derek C. Oppen,et al. A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic , 1978, J. Comput. Syst. Sci..
[6] Xiang Fu,et al. Verification of Vortex Workflows , 2001, TACAS.
[7] Pirkko Walden,et al. C-Commerce Virtuality - Will it Work in the Internet? , 2000 .
[8] Giorgio Delzanno. Automatic Verification of Parameterized Cache Coherence Protocols , 2000, CAV.
[9] Albert R. Meyer,et al. Papers presented at the IEEE symposium on Logic in computer science , 1994 .
[10] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[11] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[12] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[13] Mihalis Yannakakis,et al. On nested depth first search , 1996, The Spin Verification System.
[14] Akhil Kumar,et al. A dynamic warehouse for XML Data of the Web. , 2001 .
[15] Wil M. P. van der Aalst,et al. Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..
[16] Erwin Engeler,et al. Logic of Programs, Workshop , 1981 .
[17] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[18] Giorgio Delzanno,et al. Constraint-Based Verification of Client-Server Protocols , 2001, CP.
[19] Tevfik Bultan,et al. A Library for Composite Symbolic Representations , 2001, TACAS.
[20] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[21] Michael Schroeder. Verification of Business Processes for a Correspondence Handling Center Using CCS , 1999, EUROVAV.
[22] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[23] Serge Abiteboul,et al. Detecting changes in XML documents , 2002, Proceedings 18th International Conference on Data Engineering.
[24] A. Pnueli. The Temporal Semantics of Concurrent Programs , 1979, Theor. Comput. Sci..
[25] Hye-Young Paik,et al. Self-Coordinated and Self-Traced Composite Services with Dynamic Provider Selection , 2001 .
[26] Fabio Casati,et al. Developing E-Services for Composing E-Services , 2001, CAiSE.
[27] Jianwen Su,et al. Declarative workflows that support easy modification and dynamic browsing , 1999 .
[28] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[29] Tevfik Bultan,et al. Action Language: a specification language for model checking reactive systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[30] Gerard J. Holzmann,et al. An Analysis of Bitstate Hashing , 1995, Formal Methods Syst. Des..
[31] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[32] Gerhard Weikum,et al. The MENTOR workbench for enterprise-wide workflow management , 1997, SIGMOD '97.
[33] Richard Gerber,et al. Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results , 1999, TOPL.
[34] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[35] Patrice Godefroid,et al. Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) , 1993, CAV.
[36] Hye-Young Paik,et al. Peer-to-Peer Traced Execution of Composite Services , 2001, TES.
[37] C. R. Ramakrishnan,et al. Logic based modeling and analysis of workflows , 1998, PODS '98.
[38] Hassen Saïdi,et al. Model Checking Guided Abstraction and Analysis , 2000, SAS.
[39] Serge Abiteboul,et al. Relational transducers for electronic commerce , 1998, J. Comput. Syst. Sci..
[40] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[41] Akhil Kumar,et al. Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications , 2001, TES.
[42] Patrick Cousot,et al. Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation , 1992, PLILP.
[43] Gerhard Weikum,et al. Enterprise-wide workflow management based on state and activity charts , 1998 .
[44] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[45] William Pugh,et al. The Omega Library interface guide , 1995 .
[46] Fabio Casati,et al. Dynamic and adaptive composition of e-services , 2001, Inf. Syst..