Probabilistic Timed Model Checking for Atomic Web Service

2011 IEEE World Congress on Services ◽

10.1109/services.2011.42 ◽

2011 ◽

Author(s):

Honghao Gao ◽

Huaikou Miao ◽

Shengbo Chen ◽

Jia Mei

Keyword(s):

Model Checking ◽

Web Service ◽

Timed Model Checking

Download Full-text

A Framework for Model Checking Web Service Compositions Based on BPEL4WS

IEEE International Conference on e-Business Engineering (ICEBE'07) ◽

10.1109/icebe.2007.11 ◽

2007 ◽

Author(s):

Guilan Dai ◽

Xiaoying Bai ◽

Chongchong Zhao

Keyword(s):

Model Checking ◽

Download Full-text

Distributing Timed Model Checking — How the Search Order Matters

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_19 ◽

2000 ◽

pp. 216-231 ◽

Author(s):

Gerd Behrmann ◽

Thomas Hune ◽

Frits Vaandrager

Keyword(s):

Model Checking ◽

Search Order ◽

Timed Model Checking

Download Full-text

Web service composition based on bounded model checking

2011 International Conference on Computer Science and Service System (CSSS) ◽

10.1109/csss.2011.5974799 ◽

2011 ◽

Author(s):

Zhi Fang ◽

Lejian Liao ◽

Ruoyu Chen

Keyword(s):

Model Checking ◽

Web Service ◽

Service Composition ◽

Bounded Model Checking ◽

Web Service Composition

Download Full-text

Predictive Web Service Monitoring using Probabilistic Model Checking

Applied Mathematics & Information Sciences ◽

10.12785/amis/071l20 ◽

2013 ◽

Vol 7 (1L) ◽

pp. 139-148 ◽

Author(s):

Honghao Gao ◽

Huaikou Miao ◽

Hongwei Zeng

Keyword(s):

Model Checking ◽

Web Service ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Service Monitoring

Download Full-text

Issues in distributed timed model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-004-0143-z ◽

2004 ◽

Vol 7 (1) ◽

pp. 4-18 ◽

Author(s):

Víctor Braberman ◽

Alfredo Olivero ◽

Fernando Schapachnik

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Bounded Model Checking for Web Service Discovery and Composition

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ◽

10.1109/snpd.2010.38 ◽

2010 ◽

Author(s):

Zhi Fang ◽

Lejian Liao ◽

Ruoyu Chen

Keyword(s):

Model Checking ◽

Web Service ◽

Service Discovery ◽

Bounded Model Checking ◽

Web Service Discovery

Download Full-text

Timed model checking with abstractions

Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 ◽

10.1145/2380356.2380372 ◽

2012 ◽

Author(s):

Georgia Giannopoulou ◽

Kai Lampka ◽

Nikolay Stoimenov ◽

Lothar Thiele

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text

Web service composition verification based on symbol model checking and Petri nets

Developments of Artificial Intelligence Technologies in Computation and Robotics ◽

10.1142/9789811223334_0038 ◽

2020 ◽

Author(s):

Shijie Zhang ◽

Peng Xu ◽

Yang Xu

Keyword(s):

Model Checking ◽

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL

Web Information Systems and Mining - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23982-3_52 ◽

2011 ◽

pp. 428-435 ◽

Author(s):

Guangquan Zhang ◽

Huijuan Shi ◽

Mei Rong ◽

Haojun Di

Keyword(s):

Model Checking ◽

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

Networked Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67087-0_7 ◽

2021 ◽

pp. 94-111

Author(s):

Boutheina Bannour ◽

Arnault Lapitre ◽

Pascale Le Gall

Keyword(s):

Model Checking ◽

Symbolic Execution ◽

Timed Model Checking

Download Full-text