Primary tabs

Most recent publications

H. Zhang, M. Zhang, T. Yue, S. Ali and L. Yan

Uncertainty-wise Requirements Prioritization with Search

ACM Transactions on Software Engineering and Methodology (2020).
Journal Article
2020
View
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems

In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Proceedings, refereed
2020
View
H. Lu, T. Yue and S. Ali

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

ACM Transactions on Cyber-Physical Systems (2020).
Journal Article
2020
View
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems

In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Proceedings, refereed
2020
View

News

26 March 2019
People

Dipesh Pradhan successfully defended his PhD

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

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

Department of Engineering Complex Software Systems

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 254 results:
2019

Journal articles

D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

Employing Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

Journal of Systems and Software 153 (2019): 86-104.
Status: Published
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 (2019): 1-62.
Status: Published
M. Zhang, S. Ali and T. Yue

Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems

Journal of Systems and Software 153 (2019).
Status: Published

Edited books

S. Ali, T. Yue and R. Abreu

Second International Workshop on Verification and Validation of Internet of Things

IEEE, 2019.
Status: Published
B. Combemale and S. Ali

The 15th European Conference on Modelling Foundations and Applications (ECMFA)

2nd ed. Vol. 18. The Journal of Object Technology, 2019.
Status: Published
V. Garousi and S. Ali

Evaluation and Assessment in Software Engineering 2019

ACM, 2019.
Status: Published

Proceedings, refereed

S. Ali, F. Damiani, S. Dustdar, M. Sanseverino, M. Viroli and D. Weyns

Big data from the cloud to the edge: the aggregate computing solution

In Proceedings of the 13th European Conference on Software Architecture. Vol. 2. New York, NY, USA: ACM, 2019.
Status: Published
S. Ali, P. Arcaini, I. Hasuo, F. Ishikawa and N. Lee

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems. New York, NY, USA: ACM, 2019.
Status: Published
N. Lee, P. Arcaini, S. Ali and F. Ishikawa

Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach

In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
Status: Published

Talks, invited

S. Ali

Practical Cyber-Physical Systems Testing with Artificial Intelligence Techniques

In Artificial Intelligence Lab, Oslo Metropolitan University, Norway, 2019.
Status: Published