Primary tabs
Shaukat Ali
Head of Department
Chief Research Scientist/Research Professor
Organisation:
Email:
Research interests:
Verification and Validation
Search-Based Software Engineering
Autonomous Driving
Cyber-Physical Systems
Digital Twins
Quantum Software Engineering
Most recent publications
About
Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664
News
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2022
Proceedings, refereed
In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
Status: Published
In 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 2022.
Status: Published
In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2022.
Status: Published
In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Status: Published
In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Status: Published
In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
Status: Published
In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2022.
Status: Published
Technical reports
Simula Research Laboratory, 2022.
Status: Published
Simula Research Laboratory, 2022.
Status: Published
Simula Research Laboratory, 2022.
Status: Published