Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective

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