Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective
Published 2018 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective
Authors
Keywords
-
Journal
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Volume 28, Issue 10, Pages 1369-1397
Publisher
World Scientific Pub Co Pte Lt
Online
2018-09-25
DOI
10.1142/s0218194018500390
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- CloudScout: A Non-Intrusive Approach to Service Dependency Discovery
- (2017) Jianwei Yin et al. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
- Network Location-Aware Service Recommendation with Random Walk in Cyber-Physical Systems
- (2017) Yuyu Yin et al. SENSORS
- Bidirectional transformation between BPMN and BPEL with graph grammar
- (2016) Zhan Shi et al. COMPUTERS & ELECTRICAL ENGINEERING
- Ontology-based Transformation from CIM to PIM
- (2016) Nemury Silega et al. IEEE Latin America Transactions
- Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems
- (2016) Radu Calinescu et al. IEEE TRANSACTIONS ON RELIABILITY
- Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
- (2016) Antonio Filieri et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- QoS Prediction for Web Service Recommendation with Network Location-Aware Neighbor Selection
- (2016) Yuyu Yin et al. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
- JTangCSB: A Cloud Service Bus for Cloud and Enterprise Application Integration
- (2015) Jianwei Yin et al. IEEE INTERNET COMPUTING
- Predictive Web Service Monitoring using Probabilistic Model Checking
- (2013) Honghao Gao et al. Applied Mathematics & Information Sciences
- Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks
- (2012) Sophia Petridou et al. IEEE Systems Journal
- Analysing and determining substitutability of different granularity Web services
- (2012) Yuyu Yin et al. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
- A Hardware-in-the-Loop Simulation Platform for the Verification and Validation of Safety Control Systems
- (2011) Drew J. Rankin et al. IEEE TRANSACTIONS ON NUCLEAR SCIENCE
- Accounting for platform effects in the design of real-time software using model-based methods
- (2010) B. Selic
- Design validation of service delivery platform using modeling and simulation
- (2009) T. Ingham et al. IEEE COMMUNICATIONS MAGAZINE
- Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking
- (2008) Aleksandra Sesic et al. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
- Model Checking Probabilistic and Stochastic Extensions of the π-Calculus
- (2008) G. Norman et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- SERVICE-ORIENTED COMPUTING: A RESEARCH ROADMAP
- (2008) MICHAEL P. PAPAZOGLOU et al. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
- Probabilistic model checking of complex biological pathways
- (2007) John Heath et al. THEORETICAL COMPUTER SCIENCE
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started