-
6
-
-
34548781336
-
Randomized state-space search
-
Minneapolis, May
-
M.B. Dwyer, S. Elbaum, S. Person, and R. Purandare Randomized state-space search Proceedings of the 29th International Conference on Software Engineering (ICSE 2007) Minneapolis, May 2007 3 12
-
(2007)
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007)
, pp. 3-12
-
-
Dwyer, M.B.1
Elbaum, S.2
Person, S.3
Purandare, R.4
-
8
-
-
85017640349
-
Model-based verification of Web service compositions
-
Montreal, Canada
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer Model-based verification of Web service compositions Proceedings of the 8th IEEE International Conference on Automated Software Engineering (ASE) Montreal, Canada 2003 152 161
-
(2003)
Proceedings of the 8th IEEE International Conference on Automated Software Engineering (ASE)
, pp. 152-161
-
-
Foster, H.1
Uchitel, S.2
Magee, J.3
Kramer, J.4
-
14
-
-
85027595530
-
Refining dependencies improves partial-order verification methods
-
Springer-Verlag, Elounda, June
-
P. Godefroid, and D. Pirottin Refining dependencies improves partial-order verification methods Proceedings of the 5th Conference on Computer Aided Verification, volume 697 of Lecture Notes in Computer Science Springer-Verlag, Elounda, June 1993 438 449
-
(1993)
Proceedings of the 5th Conference on Computer Aided Verification, Volume 697 of Lecture Notes in Computer Science
, pp. 438-449
-
-
Godefroid, P.1
Pirottin, D.2
-
15
-
-
84929062089
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
Aalborg, July
-
P. Godefroid, and P. Wolper Using partial orders for the efficient verification of deadlock freedom and safety properties Proceedings of the 3rd Workshop on Computer Aided Verification Aalborg, July 1991 332 342
-
(1991)
Proceedings of the 3rd Workshop on Computer Aided Verification
, pp. 332-342
-
-
Godefroid, P.1
Wolper, P.2
-
16
-
-
0027577622
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
P. Godefroid, and P. Wolper Using partial orders for the efficient verification of deadlock freedom and safety properties Formal Methods in System Design 2 April (2) 1993 149 164
-
(1993)
Formal Methods in System Design
, vol.2
, Issue.APRIL 2
, pp. 149-164
-
-
Godefroid, P.1
Wolper, P.2
-
22
-
-
36148944304
-
WS-CDL+ for Web service collaboration
-
Z. Kang, H. Wang, and P. Hung WS-CDL+ for Web service collaboration Information Systems Frontiers 9 September (4) 2007 375 389
-
(2007)
Information Systems Frontiers
, vol.9
, Issue.SEPTEMBER 4
, pp. 375-389
-
-
Kang, Z.1
Wang, H.2
Hung, P.3
-
24
-
-
10444235367
-
-
Version 1.0. W3C Candidate Recommendation
-
Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C., 2005. Web Services Choreography Description Language Version 1.0. W3C Candidate Recommendation.
-
(2005)
Web Services Choreography Description Language
-
-
Kavantzas, N.1
Burdett, D.2
Ritzinger, G.3
Fletcher, T.4
Lafon, Y.5
Barreto, C.6
-
28
-
-
35248867800
-
Specifying and verifying systems with TLA+
-
Saint-Emilion, France, September
-
L. Lamport, J. Matthews, M. Tuttle, and Y. Yu Specifying and verifying systems with TLA+ Proceedings of the Tenth ACM SIGOPS European Workshop Saint-Emilion, France, September 2002 45 48
-
(2002)
Proceedings of the Tenth ACM SIGOPS European Workshop
, pp. 45-48
-
-
Lamport, L.1
Matthews, J.2
Tuttle, M.3
Yu, Y.4
-
32
-
-
41649087956
-
-
OASIS Web Services Business Process Execution Language Technical Committee Version 2.0. OASIS Standard
-
OASIS Web Services Business Process Execution Language Technical Committee, 2007. Web Services Business Process Execution Language Version 2.0. OASIS Standard.
-
(2007)
Web Services Business Process Execution Language
-
-
-
33
-
-
70449419385
-
Effective Web service composition in diverse and large-scale service networks
-
S.-C. Oh, D. Lee, and S.R.T. Kumara Effective Web service composition in diverse and large-scale service networks IEEE Transactions on Services Computing 1 January-March (1) 2008 15 32
-
(2008)
IEEE Transactions on Services Computing
, vol.1
, Issue.JANUARY-MARCH 1
, pp. 15-32
-
-
Oh, S.-C.1
Lee, D.2
Kumara, S.R.T.3
-
35
-
-
49149133038
-
The temporal logic of concurrent programs
-
A. Pnueli The temporal logic of concurrent programs Theoretical Computer Science 13 1981 45 60
-
(1981)
Theoretical Computer Science
, Issue.13
, pp. 45-60
-
-
Pnueli, A.1
-
37
-
-
9444298254
-
The complexity of temporal logic model checking
-
Ph. Schnoebelen The complexity of temporal logic model checking Advances in Modal Logic 4 2002 1 44
-
(2002)
Advances in Modal Logic
, vol.4
, pp. 1-44
-
-
Schnoebelen, Ph.1
-
38
-
-
84947425596
-
Parallelizing the Murφ verifier
-
U. Stern, and D.L. Dill Parallelizing the Murφ verifier O. Grumberg, Computer-Aided Verification, 9th International Conference, Volume 1254 of Lecture Notes in Computer Science Springer, June 1997 256 267
-
(1997)
Computer-Aided Verification, 9th International Conference, Volume 1254 of Lecture Notes in Computer Science
, pp. 256-267
-
-
Stern, U.1
Dill, D.L.2
-
39
-
-
58149495956
-
A Petri net-based method for compatibility analysis and composition of Web services in business process execution language
-
W. Tan, Y. Fan, and M.C. Zhou A Petri net-based method for compatibility analysis and composition of Web services in business process execution language IEEE Transactions on Automation Science and Engineering 6 January (1) 2009 94 106
-
(2009)
IEEE Transactions on Automation Science and Engineering
, vol.6
, Issue.JANUARY 1
, pp. 94-106
-
-
Tan, W.1
Fan, Y.2
Zhou, M.C.3
-
41
-
-
77956056497
-
-
York University, Toronto, M3J 1P3, Canada
-
van Breugel, F., Koshkina, M., 2006. Models and Verification of BPEL, Technical Report. York University, Toronto, M3J 1P3, Canada.
-
(2006)
Models and Verification of BPEL, Technical Report
-
-
Van Breugel, F.1
Koshkina, M.2
-
44
-
-
48349089737
-
A new approach to describe Web services
-
Fremont, CA, USA
-
H. Wang, H. Liu, C. Wang, and Patrick Hung A new approach to describe Web services Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence Fremont, CA, USA 2007 568 571
-
(2007)
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
, pp. 568-571
-
-
Wang, H.1
Liu, H.2
Wang, C.3
Hung, P.4
-
46
-
-
84891812362
-
Verification of WS-CDL choreography
-
Macao SAR, China, October
-
X. Zhao, H. Yang, C. Cai, X. Dai, and Z. Qiu Verification of WS-CDL choreography Proceeding of the 1st Asian Working Conference on Verified Software (AWCVS 2006) 2006 Macao SAR, China, October
-
(2006)
Proceeding of the 1st Asian Working Conference on Verified Software (AWCVS 2006)
-
-
Zhao, X.1
Yang, H.2
Cai, C.3
Dai, X.4
Qiu, Z.5
|