-
1
-
-
38649091847
-
-
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, R Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Technical report, OASIS, 2003-05-05 2003
-
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, R Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Technical report, OASIS, 2003-05-05 2003.
-
-
-
-
2
-
-
35048899679
-
Zing: Exploiting program structure for model checking concurrent software
-
P. Gardner and N. Yoshida, editors, CONCUR 2004, Concurrency Theory, 15th International Conference, Proceedings, of, Springer
-
T. Andrews, S. Qadeer, S. K. Rajamani, and Y. Xie. Zing: Exploiting program structure for model checking concurrent software. In P. Gardner and N. Yoshida, editors, CONCUR 2004 - Concurrency Theory, 15th International Conference, Proceedings, volume 3170 of Lecture Notes in Computer Science, pages 1-15. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3170
, pp. 1-15
-
-
Andrews, T.1
Qadeer, S.2
Rajamani, S.K.3
Xie, Y.4
-
4
-
-
35048837282
-
-
J. Arias-Fisteus, L. S. Fernández, and C. D. Kloos. Formal Verification of BPEL4WS Business Collaborations. In ECommerce and Web Technologies, 5th International Conference, EC-Web 2004, Proceedings, 3182 of Lecture Notes in Computer Science, pages 76-85. Springer, 2004.
-
J. Arias-Fisteus, L. S. Fernández, and C. D. Kloos. Formal Verification of BPEL4WS Business Collaborations. In ECommerce and Web Technologies, 5th International Conference, EC-Web 2004, Proceedings, volume 3182 of Lecture Notes in Computer Science, pages 76-85. Springer, 2004.
-
-
-
-
5
-
-
33750135558
-
Towards Open-World Software: Issues and Challenges
-
October
-
L. Baresi, E. Di Nitto, and C. Ghezzi. Towards Open-World Software: Issues and Challenges. IEEE Computer, 39:3643, October 2006.
-
(2006)
IEEE Computer
, vol.39
, pp. 3643
-
-
Baresi, L.1
Di Nitto, E.2
Ghezzi, C.3
-
7
-
-
33744965631
-
-
L. Baresi and S. Guinea. Towards Dynamic Monitoring of WS-BPEL Processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, 3826 of Lecture Notes in Computer Science, pages 269-282. Springer, 2005.
-
L. Baresi and S. Guinea. Towards Dynamic Monitoring of WS-BPEL Processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, volume 3826 of Lecture Notes in Computer Science, pages 269-282. Springer, 2005.
-
-
-
-
8
-
-
84958037228
-
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
-
Proc. of Workshop on Verification and Control of Hybrid Systems III, number in, SpringerVerlag, October
-
J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232-243. SpringerVerlag, October 1995.
-
(1995)
Lecture Notes in Computer Science
, vol.1066
, pp. 232-243
-
-
Bengtsson, J.1
Larsen, K.G.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
-
9
-
-
84944406286
-
Counterexample-guided abstraction refinement
-
London, UK, Springer-Verlag
-
E. M. Clarke, O. Grumberg, S. Jha, Y Lu, and H. Veith. Counterexample-guided abstraction refinement. In CAV'00: Proceedings of the 12th International Conference on Computer Aided Verification, pages 154-169, London, UK, 2000. Springer-Verlag.
-
(2000)
CAV'00: Proceedings of the 12th International Conference on Computer Aided Verification
, pp. 154-169
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
10
-
-
0003962322
-
-
MIT Press, Cambridge, MA, USA
-
E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, Cambridge, MA, USA, 1999.
-
(1999)
Model checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
11
-
-
0027342054
-
-
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, January 1993.
-
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, January 1993.
-
-
-
-
13
-
-
38649128049
-
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In 18th IEEE International Conference on Automated Software Engineering (ASE2003), pages 152-163. IEEE Computer Society, 2003.
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In 18th IEEE International Conference on Automated Software Engineering (ASE2003), pages 152-163. IEEE Computer Society, 2003.
-
-
-
-
14
-
-
19944405131
-
-
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press.
-
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press.
-
-
-
-
15
-
-
35048883047
-
-
X. Fu, T. Bultan, and J. Su. WSAT: A Tool for Formal Analysis of Web Services. In Computer Aided Verification, 16th International Conference, CAV 2004, Proceedings, 311A of Lecture Notes in Computer Science, pages 510-514. Springer, 2004.
-
X. Fu, T. Bultan, and J. Su. WSAT: A Tool for Formal Analysis of Web Services. In Computer Aided Verification, 16th International Conference, CAV 2004, Proceedings, volume 311A of Lecture Notes in Computer Science, pages 510-514. Springer, 2004.
-
-
-
-
16
-
-
84957667493
-
-
P. Godefroid. Using partial orders to improve automatic verification methods. In CAV '90: Proceedings of the 2nd International Workshop on Computer Aided Verification, pages 176-185, London, UK, 1991. Springer-Verlag.
-
P. Godefroid. Using partial orders to improve automatic verification methods. In CAV '90: Proceedings of the 2nd International Workshop on Computer Aided Verification, pages 176-185, London, UK, 1991. Springer-Verlag.
-
-
-
-
18
-
-
38649140341
-
-
C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. A benchmark for comparing different approaches for specifying and verifying real-time systems. In Proc. Tenth Intern. Workshop on Real-Time Operating Systems and Software. IEEE Computer Society Press, may 1993.
-
C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. A benchmark for comparing different approaches for specifying and verifying real-time systems. In Proc. Tenth Intern. Workshop on Real-Time Operating Systems and Software. IEEE Computer Society Press, may 1993.
-
-
-
-
19
-
-
0036041563
-
Lazy abstraction
-
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Symposium on Principles of Programming Languages, pages 58-70, 2002.
-
(2002)
Symposium on Principles of Programming Languages
, pp. 58-70
-
-
Henzinger, T.A.1
Jhala, R.2
Majumdar, R.3
Sutre, G.4
-
20
-
-
18944390941
-
-
G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279-295, 1997.
-
G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279-295, 1997.
-
-
-
-
21
-
-
33744492591
-
Automated Model Checking and Testing for Composite Web Services
-
IEEE Computer Society
-
H. Huang, W.-T. Tsai, R. Paul, and Y. Chen. Automated Model Checking and Testing for Composite Web Services. In 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), pages 300-307. IEEE Computer Society, 2005.
-
(2005)
8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005)
, pp. 300-307
-
-
Huang, H.1
Tsai, W.-T.2
Paul, R.3
Chen, Y.4
-
22
-
-
38649086266
-
-
M. Koshkina and F. van Breugel. Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University - Department of Computer Science, 4700 Keele Street, Toronto, M3J 1P3, Canada, October 2003.
-
M. Koshkina and F. van Breugel. Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University - Department of Computer Science, 4700 Keele Street, Toronto, M3J 1P3, Canada, October 2003.
-
-
-
-
23
-
-
38649109320
-
-
G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
-
G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
-
-
-
-
24
-
-
38649120717
-
-
F. Leymann. Web Services Flow Language (WSFL) 1.1., 2001.
-
F. Leymann. Web Services Flow Language (WSFL) 1.1., 2001.
-
-
-
-
25
-
-
84961775491
-
-
S. Nakajima. Verification of Web Service Flows with model checking techniques. In CW '02: Proceedings of the First International Symposium on Cyber Worlds (CW'02), page 0378, Washington, DC, USA, 2002. IEEE Computer Society.
-
S. Nakajima. Verification of Web Service Flows with model checking techniques. In CW '02: Proceedings of the First International Symposium on Cyber Worlds (CW'02), page 0378, Washington, DC, USA, 2002. IEEE Computer Society.
-
-
-
-
27
-
-
38649104632
-
-
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.
-
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.
-
-
-
-
28
-
-
38649117453
-
Towards the Semantics and Verification of BPEL4WS
-
G. Puyz, Z. Xiangpengy, W. Shulingy, and Q. ZongyanyS. Towards the Semantics and Verification of BPEL4WS. In Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM 2005, 2005.
-
(2005)
Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM 2005
-
-
Puyz, G.1
Xiangpengy, Z.2
Shulingy, W.3
ZongyanyS, Q.4
-
29
-
-
77954500284
-
Bogor: An extensible and highly-modular software model checking framework
-
Robby, M. B. Dwyer, and J. Hatcliff. Bogor: an extensible and highly-modular software model checking framework. In ESEC/FSE-11, pages 267-276, 2003.
-
(2003)
ESEC/FSE-11
, pp. 267-276
-
-
Robby, M.1
Dwyer, B.2
Hatcliff, J.3
-
30
-
-
3042542999
-
-
Robby, M. B. Dwyer, J. Hatcliff, and R. Iosif. Spacereduction strategies for model checking dynamic systems. In Proceeding of the 2003 Workshop on Software Model Checking, 89 of Electronic Notes in Theoretical Computer Science. Elsevier, July 2003.
-
Robby, M. B. Dwyer, J. Hatcliff, and R. Iosif. Spacereduction strategies for model checking dynamic systems. In Proceeding of the 2003 Workshop on Software Model Checking, volume 89 of Electronic Notes in Theoretical Computer Science. Elsevier, July 2003.
-
-
-
-
32
-
-
84947248092
-
-
K. Schmidt. LoLA: A low level analyser. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets, 21st International Conference (ICATPN 2000), 1825 of Lecture Notes in Computer Science, pages 465-474. Springer-Verlag, June 2000.
-
K. Schmidt. LoLA: A low level analyser. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets, 21st International Conference (ICATPN 2000), volume 1825 of Lecture Notes in Computer Science, pages 465-474. Springer-Verlag, June 2000.
-
-
-
-
34
-
-
33846278837
-
-
W3C. XML Schema, 2004. http://www.w3.org/ XML/Schema.
-
(2004)
W3C. XML Schema
-
-
|