Primary tabs

Most recent publications

S. Ali

Systematic Model and Search-Based Testing of Cyber-Physical Systems

In User Conference on Advanced Automated Testing (UCAAT). Sophia Antipolis, France: ETSI, 2015.
Talk, keynote
2015
View
H. Zhang, T. Yue, S. Ali and C. Liu

Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios

In 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), 2015.
Proceedings, refereed
2015
View
S. Wang, S. Ali, T. Yue and M. Liaaen

UPMOA: An Improved Search Algorithm to Support User- Preference Multi-Objective Optimization

In The 26th IEEE International Symposium on Software Reliability Engineering (ISSRE). Gaithersburg, USA, November 2-5., 2015.
Proceedings, refereed
2015
View
S. Ali, M. Z. Iqbal, M. Khalid and A. Arcuri

Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach

The Empirical Software Engineering Journal (EMSE) (2015): 1-44.
Journal Article
2015
View

About

Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664

News

08 June 2023
Cover picture for the white paper: Contributions towards a Norwegian Quantum Computing Strategy

Researchers call for Norwegian quantum computing strategy

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 24 results:
2015

Technical reports

T. Yue, H. Zhang, S. Ali and C. Liu

A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications

Simula Research Laboratory, 2015.
Status: Published
M. Zhang, B. Selic, S. Ali, T. Yue, O. Okariz and R. Norgren

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

Simula Research Laboratory, 2015.
Status: Published
H. Zhang, T. Yue, S. Ali and J. Wu

Modelling and Validating Real-Time Properties at the Requirements Level

Simula Research Laboratory, 2015.
Status: Published

Talks, invited

S. Ali

Model-based engineering (MBE) Of Cyber-Physical Systems

In Aker Solutions, Oslo, 2015.
Status: Published
S. Ali and T. Yue

Modelling and Testing Cyber-Physical Systems: Robustness, Product Line and Self * Properties

In Ericsson, Sweden, 2015.
Status: Published
S. Ali

Model-based testing of product lines in an industrial context

In University of Waterloo Seminar. Waterloo, Canada, 2015.
Status: Published
T. Yue and S. Ali

Uncertainty in Complex CPS

In NASA Jet Propulsion Laboratory (JPL), Pasadena, USA, 2015.
Status: Published
T. Yue and S. Ali

Research Projects on Modeling Cyber-Physical Systems

In OMG Systems Engineering Domain Special Interest Group Meeting, Berlin, Germany, 2015.
Status: Published

Talks, contributed

S. Ali

Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems

In Testing in Practice track of International Conference on Software Testing (ICST). IEEE, 2015.
Status: Published
S. Ali

Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context

In International Symposium on Software Testing and Analysis (ISSTA). Baltimore, USA: ACM, 2015.
Status: Published