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
News
21 December 2020
- 1 of 6
- next
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2020
Journal articles
ACM Transactions on Software Engineering and Methodology 29288, no. 2 (2020): 1-29.
Status: Published
Software and Systems Modeling (SoSym) 19, no. 4 (2020): 1-55.
Status: Published
Proceedings, refereed
In 12th Symposium on Search-Based Software Engineering. LNCS, 2020.
Status: Published
In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Status: Published
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Status: Published
Technical reports
Simula Research Laboratory, Technical Report, 2020.
Status: Published
Talks, invited
Talks, contributed
In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
Status: Published
In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Status: Published
In IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 2020.
Status: Published