Hong Lu

S. A. Safdar, H. Lu, T. Yue, S. Ali and K. Nie

A framework for automated multi‑stage and multi‑step product confguration of cyber‑physical systems

Software and Systems Modeling (SoSym)

H. Lu, T. Yue and S. Ali

Pattern-based Interactive Configuration Derivation for Cyber-Physical System Product Lines

ACM Transactions on Cyber-Physical Systems

S. A. Safdar, T. Yue, S. Ali and H. Lu

Using multi-objective search and machine learning to infer rules constraining product configurations

Automated Software Engineering

S. A. Safdar, T. Yue, S. Ali and H. Lu

Employing Multi-Objective Search and Machine Learning to Mine Cross Product Line Rules: A Technical Report

H. Lu, S. Wang, T. Yue, S. Ali and J. Nygård

Automated Refactoring of OCL Constraints with Search

IEEE Transactions on Software Engineering (TSE)

S. A. Safdar, H. Lu, T. Yue and S. Ali

Mining Cross Product Line Rules with Multi-Objective Search and Machine Learning

Genetic and Evolutionary Computation Conference (GECCO)

A. Iglesias, H. Lu, C. Arellano, T. Yue and S. Ali

Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis

The 21st International Systems and Software Product Line Conference

S. Ali, H. Lu, S. Wang, T. Yue and M. Zhang

Uncertainty-wise Testing of Cyber-Physical Systems

Advances in Computers

S. Ali, H. Muhammad, H. Lu, J. Nygård, S. Wang and T. Yue

A Pilot Experiment to Assess Interactive OCL Specification in a Real Setting

H. Lu, T. Yue, S. Ali and L. Zhang

Model-based Incremental Conformance Checking to Enable Interactive Product Configuration

Information and Software Technology

S. Wang, H. Lu, T. Yue, S. Ali and J. Nygård

A Model-Based Approach with Tool Support to Facilitate the Cancer Registration Process in Cancer Registry of Norway

European Telemedicine Conference (ETC)

S. A. Safdar, T. Yue, S. Ali and H. Lu

Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering

System Analysis and Modelling (SAM) Conference

S. Ali, T. Yue, X. Qiu and H. Lu

Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms

IEEE World Congress on Computational Intelligence

S. Wang, H. Lu, T. Yue, S. Ali and J. Nygård

MBF4CR: A Model-Based Framework for Supporting An Automated Cancer Registry System

12th European Conference on Modelling Foundations and Applications (ECMFA 2016)

H. Lu, T. Yue, S. Ali and L. Zhang

Nonconformity Resolving Recommendations for Product Line Configuration

IEEE International Conference on Software Testing, Verification and Validation (ICST)

T. Yue, S. Ali, H. Lu and K. Nie

Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System

International Conference on Model-Driven Engineering and Software Development

H. Lu, T. Yue, S. Ali and L. Zhang

Zen-CI: Combining Automated Configuration Inference and Incremental Conformance Checking to Support Interactive Configuration of Product Lines

H. Lu, T. Yue, S. Ali, K. Nie and L. Zhang

Automated and Incremental Conformance Checking to Support Interactive Product Configuration

The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE)