Primary tabs

Most recent publications

A. Gartziandia, A. Arrieta, S. Ali, T. Yue, A. Agirre, G. Sagardui and M. Arratibel

Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems

In ICSA Software Architecture in Practice (SAIP) . IEEE, 2021.
Proceedings, refereed
2021
View
S. A. Safdar, T. Yue and S. Ali

Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-Objective Search

ACM Transactions on Software Engineering and Methodology (TOSEM) (2021).
Journal Article
2021
View
P. Arcaini, A. Calň, F. Ishikawa, T. Laurent, X. Zhang, S. Ali, F. Hauer and A. Ventresque

Parameter-Based Testing and Debugging of Autonomous Driving Systems

In 2021 IEEE Intelligent Vehicles Symposium (IV). IEEE, 2021.
Proceedings, refereed
2021
View
K. Yin, P. Arcaini, T. Yue and S. Ali

Analyzing the Impact of Product Configuration Variations on Advanced Driver Assistance Systems with Search

In The Genetic and Evolutionary Computation Conference. ACM, 2021.
Proceedings, refereed
2021
View

News

29 May 2019
People

Four projects receive funding from IKT pluss

Projects

MBE-CR

MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System

U-Test logo

U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies

MPM4CPS

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Zen Configurator

Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 

MBT4CPS

MBT4CPS: Model-Based Testing For Cyber-Physical Systems

Department of Engineering Complex Software Systems

Co-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems

Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs

Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 275 results:
2021

Talks, contributed

S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue

Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation

In 43rd International Conference on Software Engineering. IEEE, 2021.
Status: Published
S. Ali, P. Arcaini, X. Wang and T. Yue

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

In IEEE International Conference on Software Testing, Verification and Validation . IEEE, 2021.
Status: Published
S. Ali, P. Arcaini and T. Yue

Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering? (Hot Off the Press)

In The Genetic and Evolutionary Computation Conference, 2021.
Status: Published
Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

In IEEE International Conference on Software Testing, Verification and Validation , 2021.
Status: Published
2020

Journal articles

S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue

Quality indicators in search-based software engineering: an empirical evaluation

ACM Transactions on Software Engineering and Methodology 29 (2020).
Status: Published
H. Lu, T. Yue and S. Ali

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

ACM Transactions on Cyber-Physical Systems 4, no. 4 (2020): 24.
Status: Published
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) 19, no. 4 (2020): 1-55.
Status: Published
H. Zhang, M. Zhang, T. Yue, S. Ali and L. Yan

Uncertainty-wise Requirements Prioritization with Search

ACM Transactions on Software Engineering and Methodology 30, no. 1 (2020): 1-54.
Status: Published

Proceedings, refereed

S. Ali, P. Arcaini and T. Yue

Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering?

In 12th Symposium on Search-Based Software Engineering. LNCS, 2020.
Status: Published
S. Ali and T. Yue

Modeling Quantum Programs: Challenges, Initial Results, and Research Directions

In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Status: Published