Guoqiang Li

IEEE Trans. Ind. Informatics, 2020

Pipeline provenance for cloud-based big data analytics.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2020

Statistical Detection of Collective Data Fraud.

[BibT_eX]

[DOI]

Ruoyu Wang

Daniel Sun

CoRR, 2020

Object detection for graphical user interface: old fashioned or deep learning or a combination?

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Statistical Detection Of Collective Data Fraud.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2020

2019

A Configurable WoT Application Platform Based on Spatiotemporal Semantic Scenarios.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2019

Multi-objective Optimisation of Online Distributed Software Update for DevOps in Clouds.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2019

Unsupervised blocking and probabilistic parallelisation for record matching of distributed big data.

[BibT_eX]

[DOI]

J. Supercomput., 2019

Ada-Things: An adaptive virtual machine monitoring and migration strategy for internet of things applications.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2019

Statistically managing cloud operations for latency-tail-tolerance in IoT-enabled smart cities.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2019

A context-based service matching approach towards functional reliability for industrial systems.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2019

Video denoising for security and privacy in fog computing.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2019

Hierarchical extreme learning machine based image denoising network for visual Internet of Things.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2019

Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning.

[BibT_eX]

[DOI]

Muhammad Jahanzeb Khan

Ruoyu Wang

Daniel Sun

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Detect Triangle Attack on Blockchain by Trace Analysis.

[BibT_eX]

[DOI]

Yingying Wang

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Object Detection Boosting using Object Attributes in Detect and Describe Framework.

[BibT_eX]

[DOI]

Muhammad Jahanzeb Khan

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

ActionNet: vision-based workflow action recognition from programming screencasts.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems.

[BibT_eX]

[DOI]

Haitao Zhang

Ayang Tuo

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

R<sup>2</sup>C: Robust Rolling-Upgrade in Clouds.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2018

Fog Computing Approach for Music Cognition System Based on Machine Learning Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2018

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2018

Asynchronous multi-process timed automata.

[BibT_eX]

[DOI]

Li Liu

Akira Fukuda

Softw. Qual. J., 2018

A CNN-SIFT Hybrid Pedestrian Navigation Method Based on First-Person Vision.

[BibT_eX]

[DOI]

Remote. Sens., 2018

Data-Driven Proactive Policy Assurance of Post Quality in Community q&a Sites.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2018

Digital image splicing detection based on Markov features in block DWT domain.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2018

Double JPEG compression detection based on block statistics.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2018

Detecting users' anomalous emotion using social media for business intelligence.

[BibT_eX]

[DOI]

J. Comput. Sci., 2018

A customised automata algorithm and toolkit for language learning and application.

[BibT_eX]

[DOI]

Int. J. Big Data Intell., 2018

autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Updatable timed automata with one updatable clock.

[BibT_eX]

[DOI]

Yunqing Wen

Sci. China Inf. Sci., 2018

Evaluation of redundancy-based system: a model checking approach.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

SCFM: Social and crowdsourcing factorization machines for recommendation.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2018

Comparison among Four Prominent Text Processing Tools.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Pervasive Systems, 2018

Intelligent Healthcare Knowledge Resources in Chinese: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Pervasive Systems, 2018

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.

[BibT_eX]

[DOI]

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

An efficient approach for verifying automobile distributed application systems on timing property.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Examine Manipulated Datasets with Topology Data Analysis: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 20th International Conference, 2018

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2017

Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Dynamic Weight-Based Individual Similarity Calculation for Information Searching in Social Computing.

[BibT_eX]

[DOI]

IEEE Syst. J., 2017

Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler.

[BibT_eX]

[DOI]

J. Syst. Archit., 2017

A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2017

Active Learning with Density-Initialized Decision Tree for Record Matching.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Scientific and Statistical Database Management, 2017

The Complexity of Linear-Time Temporal Logic Model Repair.

[BibT_eX]

[DOI]

Xiuting Tao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Nested Timed Automata with Invariants.

[BibT_eX]

[DOI]

Yuwei Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

A Novel Hidden Markov Model for Genome-Wide Association Studies.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Behavior Analysis Method Towards Product Quality Management.

[BibT_eX]

[DOI]

Proceedings of the Research and Practical Issues of Enterprise Information Systems, 2017

Nested Timed Automata with Diagonal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

Indexing for Large Scale Data Querying Based on Spark SQL.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on e-Business Engineering, 2017

2016

An online greedy allocation of VMs with non-increasing reservations in clouds.

[BibT_eX]

[DOI]

Prem Prakash Jayaraman

J. Supercomput., 2016

Non-Intrusive Anomaly Detection With Streaming Performance Metrics and Logs for DevOps in Public Clouds: A Case Study in AWS.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2016

A preemptive truthful VMs allocation online mechanism in private cloud.

[BibT_eX]

[DOI]

Prem Prakash Jayaraman

Rajiv Ranjan

J. Comput. Sci., 2016

On Termination and Boundedness of Nested Updatable Timed Automata.

[BibT_eX]

[DOI]

Yuwei Wang

Xiuting Tao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

CAT: A Customized Automata Toolkit.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

LogProv: Logging events as provenance of big data analytics pipelines with trustworthiness.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

Probabilistic parallelisation of blocking non-matched records for big data.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015

Constructing format-preserving printing from syntax-directed definitions.

[BibT_eX]

[DOI]

Lichao Wang

Zhenjiang Hu

Sci. China Inf. Sci., 2015

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.

[BibT_eX]

[DOI]

Yunqing Wen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

A Refined Algorithm for Reachability Analysis of Updatable Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Nested Timed Automata with Frozen Clocks.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

An Over-Approximation Forward Analysis for Nested Timed Automata.

[BibT_eX]

[DOI]

Yunqing Wen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Online Mechanism Design for VMs Allocation in Private Cloud.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 2014

Toward SIL Evaluation for a Resilience Strategy.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Game Analysis of Workload Factoring with the Hybrid Cloud.

[BibT_eX]

[DOI]

Xiaohong Wu

Yonggen Gu

Proceedings of the First International Symposium on Computing and Networking, 2013

Nested Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Modeling and Analysis of Real-Time Systems with Mutex Components.

[BibT_eX]

[DOI]

Xiaojuan Cai

Int. J. Found. Comput. Sci., 2012

Multi-index evaluation algorithm based on principal component analysis for node importance in complex networks.

[BibT_eX]

[DOI]

IET Networks, 2012

An Improved Full Abstraction Approach to Analyzing Locality Semantics.

[BibT_eX]

[DOI]

Jianxin Xue

Huan Long

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems.

[BibT_eX]

[DOI]

Yizhou Zhang

Hao Lin

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Measuring Time Lag with Nested Preemptions and Resumptions.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011

A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2009

Environmental Simulation of Real-Time Systems with Nested Interrupts.

[BibT_eX]

[DOI]

Masakazu Adachi

Proceedings of the TASE 2009, 2009

2008

Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

On-the-fly Model Checking of Security Protocols and Its Implementation by Maude.

[BibT_eX]

[DOI]

Inf. Media Technol., 2007

On-the-Fly Model Checking of Fair Non-repudiation Protocols.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Secrecy of Signals by Typing in Signal Transduction.

[BibT_eX]

[DOI]

Min Zhang

Yuxi Fu

Proceedings of the Advances in Natural Computation, Second International Conference, 2006

2005

A Simple Process Calculus for the analysis of Security Protocols.

[BibT_eX]

[DOI]

Yonggen Gu

Yuxi Fu

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Typing Aberrance in Signal Transduction.

[BibT_eX]

[DOI]

Proceedings of the Advances in Natural Computation, First International Conference, 2005

2004

Representation of the Signal Transduction with Aberrance Using Ipi Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computational and Information Science, First International Symposium, 2004

Analyzing iKP Security in Applied Pi Calculus.

[BibT_eX]

[DOI]

Yonggen Gu