Primary tabs
Shaukat Ali
Head of Department
Chief Research Scientist/Research Professor
Organisation:
Research interests:
Verification and Validation
Search-Based Software Engineering
Autonomous Driving
Cyber-Physical Systems
Digital Twins
Quantum Software Engineering
Most recent publications
News
29 May 2019
People
- 1 of 5
- next
Projects
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2020
Journal articles
ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Status: Accepted
ACM Transactions on Cyber-Physical Systems (2020).
Status: Accepted
ACM Transactions on Software Engineering and Methodology (2020).
Status: Accepted
Proceedings, refereed
In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Status: Accepted
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Status: Published
Technical reports
Simula Research Laboratory, Technical Report, 2020.
Status: Published
Talks, contributed
In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Status: Published
In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
Status: Published
2019
Journal articles
Software Quality Journal 27, no. 2 (2019): 615-649.
Status: Published
Information and Software Technology 111 (2019): 22-36.
Status: Published